unassign('a', 'b', 'A', 'B', 'f', 'r', 't', 'dr', 'dt', 'R', 'T', 'X', 'dR', 'dT', 'dX', 'dS', 'temp', 'tempt') 

 

 

Derivation of the new metric. 

 

The new metric is derived here by substitution of a new set of coordinates into the Schwarzchild metric. This alternative derivation does not require the use of the Lambert function. 

 

The Schwarzchild metric for radial motion only, using units where the speed of light c=1 and and the gravitational constant G =1 is given by : 

 

 

 

 

interface(showassumed = 0); 1; assume(`>`(m, 0), `>`(r, 0))
interface(showassumed = 0); 1; assume(`>`(m, 0), `>`(r, 0))
 

0 (1)
 

Note: To obtain the Kruskal-Szekeres metric, define f:=1 here by deleting the # from the line below and then click the [!!!] symbol in the toolbar to execute the worksheet. 

 

 

 

 

These are the new coordinates for Time and Radius: 

 

`:=`(T, `*`(sqrt(`*`(`+`(`*`(r, `*`(`/`(`+`(`*`(2, `*`(m)))))), `-`(1)), `*`(f))), `*`(exp(`*`(r, `*`(`/`(`+`(`*`(4, `*`(m))))))), `*`(sinh(`*`(t, `*`(`/`(`+`(`*`(4, `*`(m))))))))))) 

`*`(`^`(`*`(`+`(`/`(`*`(`/`(1, 2), `*`(r)), `*`(m)), `-`(1)), `*`(f)), `/`(1, 2)), `*`(exp(`+`(`/`(`*`(`/`(1, 4), `*`(r)), `*`(m)))), `*`(sinh(`+`(`/`(`*`(`/`(1, 4), `*`(t)), `*`(m))))))) (2)
 

`:=`(R, `*`(sqrt(`/`(`*`(`+`(`*`(r, `*`(`/`(`+`(`*`(2, `*`(m)))))), `-`(1))), `*`(f))), `*`(exp(`*`(r, `*`(`/`(`+`(`*`(4, `*`(m))))))), `*`(cosh(`*`(t, `*`(`/`(`+`(`*`(4, `*`(m))))))), `*`(f))))) 

`*`(`^`(`/`(`*`(`+`(`/`(`*`(`/`(1, 2), `*`(r)), `*`(m)), `-`(1))), `*`(f)), `/`(1, 2)), `*`(exp(`+`(`/`(`*`(`/`(1, 4), `*`(r)), `*`(m)))), `*`(cosh(`+`(`/`(`*`(`/`(1, 4), `*`(t)), `*`(m)))), `*`(f)))) (3)
 

 

 

There is only one set of coordinates and they are equally valid above and below the event horizon.. 

The factor f is (r-2m)/abst(r-2m), but in this derivation f is handled implicitly. 

A proof that handling f implicitly is justified here, is given later. 

For a derivation where f is handled explicitly see the alternative derivation using the LambertW function. 

To obtain the new metric the first step is to obtain expressions for dt and dr in terms of R and T. 

 

 

`+`(R, T) 

`+`(`*`(`^`(`/`(`*`(`+`(`/`(`*`(`/`(1, 2), `*`(r)), `*`(m)), `-`(1))), `*`(f)), `/`(1, 2)), `*`(exp(`+`(`/`(`*`(`/`(1, 4), `*`(r)), `*`(m)))), `*`(cosh(`+`(`/`(`*`(`/`(1, 4), `*`(t)), `*`(m)))), `*`(f... (4)
 

 

`+`(dR, dT) = `+`(`*`(diff(`+`(R, T), r), `*`(dr)), `*`(diff(`+`(R, T), t), `*`(dt))); -1 

 

convert(%, exp); -1 

 

dr = simplify(solve(%, dr)) 

dr = `+`(`-`(`/`(`*`(`/`(1, 2), `*`(`+`(`*`(16, `*`(dR, `*`(csgn(`/`(1, `*`(f))), `*`(`^`(m, 2), `*`(r))))), `-`(`*`(32, `*`(dR, `*`(csgn(`/`(1, `*`(f))), `*`(`^`(m, 3)))))), `*`(16, `*`(dT, `*`(csgn(...
dr = `+`(`-`(`/`(`*`(`/`(1, 2), `*`(`+`(`*`(16, `*`(dR, `*`(csgn(`/`(1, `*`(f))), `*`(`^`(m, 2), `*`(r))))), `-`(`*`(32, `*`(dR, `*`(csgn(`/`(1, `*`(f))), `*`(`^`(m, 3)))))), `*`(16, `*`(dT, `*`(csgn(...
dr = `+`(`-`(`/`(`*`(`/`(1, 2), `*`(`+`(`*`(16, `*`(dR, `*`(csgn(`/`(1, `*`(f))), `*`(`^`(m, 2), `*`(r))))), `-`(`*`(32, `*`(dR, `*`(csgn(`/`(1, `*`(f))), `*`(`^`(m, 3)))))), `*`(16, `*`(dT, `*`(csgn(...
dr = `+`(`-`(`/`(`*`(`/`(1, 2), `*`(`+`(`*`(16, `*`(dR, `*`(csgn(`/`(1, `*`(f))), `*`(`^`(m, 2), `*`(r))))), `-`(`*`(32, `*`(dR, `*`(csgn(`/`(1, `*`(f))), `*`(`^`(m, 3)))))), `*`(16, `*`(dT, `*`(csgn(...
dr = `+`(`-`(`/`(`*`(`/`(1, 2), `*`(`+`(`*`(16, `*`(dR, `*`(csgn(`/`(1, `*`(f))), `*`(`^`(m, 2), `*`(r))))), `-`(`*`(32, `*`(dR, `*`(csgn(`/`(1, `*`(f))), `*`(`^`(m, 3)))))), `*`(16, `*`(dT, `*`(csgn(...
dr = `+`(`-`(`/`(`*`(`/`(1, 2), `*`(`+`(`*`(16, `*`(dR, `*`(csgn(`/`(1, `*`(f))), `*`(`^`(m, 2), `*`(r))))), `-`(`*`(32, `*`(dR, `*`(csgn(`/`(1, `*`(f))), `*`(`^`(m, 3)))))), `*`(16, `*`(dT, `*`(csgn(...
(5)
 

 

dt = simplify(solve(%, dt)) 

dt = `/`(`*`(`+`(`*`(dr, `*`(r, `*`(`^`(m, `/`(1, 2)), `*`(`^`(`+`(`-`(`*`(`+`(`-`(r), `*`(2, `*`(m))), `*`(f)))), `/`(1, 2)), `*`(csgn(`/`(1, `*`(f))), `*`(exp(`+`(`/`(`*`(`/`(1, 4), `*`(`+`(r, t))),...
dt = `/`(`*`(`+`(`*`(dr, `*`(r, `*`(`^`(m, `/`(1, 2)), `*`(`^`(`+`(`-`(`*`(`+`(`-`(r), `*`(2, `*`(m))), `*`(f)))), `/`(1, 2)), `*`(csgn(`/`(1, `*`(f))), `*`(exp(`+`(`/`(`*`(`/`(1, 4), `*`(`+`(r, t))),...
dt = `/`(`*`(`+`(`*`(dr, `*`(r, `*`(`^`(m, `/`(1, 2)), `*`(`^`(`+`(`-`(`*`(`+`(`-`(r), `*`(2, `*`(m))), `*`(f)))), `/`(1, 2)), `*`(csgn(`/`(1, `*`(f))), `*`(exp(`+`(`/`(`*`(`/`(1, 4), `*`(`+`(r, t))),...
dt = `/`(`*`(`+`(`*`(dr, `*`(r, `*`(`^`(m, `/`(1, 2)), `*`(`^`(`+`(`-`(`*`(`+`(`-`(r), `*`(2, `*`(m))), `*`(f)))), `/`(1, 2)), `*`(csgn(`/`(1, `*`(f))), `*`(exp(`+`(`/`(`*`(`/`(1, 4), `*`(`+`(r, t))),...
dt = `/`(`*`(`+`(`*`(dr, `*`(r, `*`(`^`(m, `/`(1, 2)), `*`(`^`(`+`(`-`(`*`(`+`(`-`(r), `*`(2, `*`(m))), `*`(f)))), `/`(1, 2)), `*`(csgn(`/`(1, `*`(f))), `*`(exp(`+`(`/`(`*`(`/`(1, 4), `*`(`+`(r, t))),...
(6)
 

 

 

dr and dt are defined in terms of each other so far. Alternative forms for dr and dt are now obtained so that after cancellations, dr and dt are defined independently. 

 

`+`(dR, `-`(dT)) = `+`(`*`(diff(`+`(R, `-`(T)), r), `*`(dr)), `*`(diff(`+`(R, `-`(T)), t), `*`(dt))); -1 

 

convert(%, exp); -1 

simplify(%); -1 

dt = simplify(solve(%, dt)) 

dt = `+`(`-`(`/`(`*`(`/`(1, 2), `*`(`+`(`-`(`*`(16, `*`(dR, `*`(`^`(m, `/`(3, 2)), `*`(`^`(`+`(`-`(`*`(`+`(`-`(r), `*`(2, `*`(m))), `*`(f)))), `/`(1, 2))))))), `*`(16, `*`(dT, `*`(`^`(m, `/`(3, 2)), `...
dt = `+`(`-`(`/`(`*`(`/`(1, 2), `*`(`+`(`-`(`*`(16, `*`(dR, `*`(`^`(m, `/`(3, 2)), `*`(`^`(`+`(`-`(`*`(`+`(`-`(r), `*`(2, `*`(m))), `*`(f)))), `/`(1, 2))))))), `*`(16, `*`(dT, `*`(`^`(m, `/`(3, 2)), `...
dt = `+`(`-`(`/`(`*`(`/`(1, 2), `*`(`+`(`-`(`*`(16, `*`(dR, `*`(`^`(m, `/`(3, 2)), `*`(`^`(`+`(`-`(`*`(`+`(`-`(r), `*`(2, `*`(m))), `*`(f)))), `/`(1, 2))))))), `*`(16, `*`(dT, `*`(`^`(m, `/`(3, 2)), `...
dt = `+`(`-`(`/`(`*`(`/`(1, 2), `*`(`+`(`-`(`*`(16, `*`(dR, `*`(`^`(m, `/`(3, 2)), `*`(`^`(`+`(`-`(`*`(`+`(`-`(r), `*`(2, `*`(m))), `*`(f)))), `/`(1, 2))))))), `*`(16, `*`(dT, `*`(`^`(m, `/`(3, 2)), `...
(7)
 

dr = simplify(solve(%, dr)) 

dr = `/`(`*`(`+`(`-`(`*`(dt, `*`(f, `*`(exp(`+`(`/`(`*`(`/`(1, 4), `*`(`+`(r, t))), `*`(m)))), `*`(r))))), `*`(2, `*`(dt, `*`(f, `*`(exp(`+`(`/`(`*`(`/`(1, 4), `*`(`+`(r, t))), `*`(m)))), `*`(m))))), ...
dr = `/`(`*`(`+`(`-`(`*`(dt, `*`(f, `*`(exp(`+`(`/`(`*`(`/`(1, 4), `*`(`+`(r, t))), `*`(m)))), `*`(r))))), `*`(2, `*`(dt, `*`(f, `*`(exp(`+`(`/`(`*`(`/`(1, 4), `*`(`+`(r, t))), `*`(m)))), `*`(m))))), ...
dr = `/`(`*`(`+`(`-`(`*`(dt, `*`(f, `*`(exp(`+`(`/`(`*`(`/`(1, 4), `*`(`+`(r, t))), `*`(m)))), `*`(r))))), `*`(2, `*`(dt, `*`(f, `*`(exp(`+`(`/`(`*`(`/`(1, 4), `*`(`+`(r, t))), `*`(m)))), `*`(m))))), ...
dr = `/`(`*`(`+`(`-`(`*`(dt, `*`(f, `*`(exp(`+`(`/`(`*`(`/`(1, 4), `*`(`+`(r, t))), `*`(m)))), `*`(r))))), `*`(2, `*`(dt, `*`(f, `*`(exp(`+`(`/`(`*`(`/`(1, 4), `*`(`+`(r, t))), `*`(m)))), `*`(m))))), ...
(8)
 

 

 

Equations  dr = `+`(`-`(`/`(`*`(`/`(1, 2), `*`(`+`(`*`(16, `*`(dR, `*`(csgn(`/`(1, `*`(f))), `*`(`^`(m, 2), `*`(r))))), `-`(`*`(32, `*`(dR, `*`(csgn(`/`(1, `*`(f))), `*`(`^`(m, 3)))))), `*`(16, `*`(dT, `*`(csgn(...
dr = `+`(`-`(`/`(`*`(`/`(1, 2), `*`(`+`(`*`(16, `*`(dR, `*`(csgn(`/`(1, `*`(f))), `*`(`^`(m, 2), `*`(r))))), `-`(`*`(32, `*`(dR, `*`(csgn(`/`(1, `*`(f))), `*`(`^`(m, 3)))))), `*`(16, `*`(dT, `*`(csgn(...
dr = `+`(`-`(`/`(`*`(`/`(1, 2), `*`(`+`(`*`(16, `*`(dR, `*`(csgn(`/`(1, `*`(f))), `*`(`^`(m, 2), `*`(r))))), `-`(`*`(32, `*`(dR, `*`(csgn(`/`(1, `*`(f))), `*`(`^`(m, 3)))))), `*`(16, `*`(dT, `*`(csgn(...
dr = `+`(`-`(`/`(`*`(`/`(1, 2), `*`(`+`(`*`(16, `*`(dR, `*`(csgn(`/`(1, `*`(f))), `*`(`^`(m, 2), `*`(r))))), `-`(`*`(32, `*`(dR, `*`(csgn(`/`(1, `*`(f))), `*`(`^`(m, 3)))))), `*`(16, `*`(dT, `*`(csgn(...
dr = `+`(`-`(`/`(`*`(`/`(1, 2), `*`(`+`(`*`(16, `*`(dR, `*`(csgn(`/`(1, `*`(f))), `*`(`^`(m, 2), `*`(r))))), `-`(`*`(32, `*`(dR, `*`(csgn(`/`(1, `*`(f))), `*`(`^`(m, 3)))))), `*`(16, `*`(dT, `*`(csgn(...
dr = `+`(`-`(`/`(`*`(`/`(1, 2), `*`(`+`(`*`(16, `*`(dR, `*`(csgn(`/`(1, `*`(f))), `*`(`^`(m, 2), `*`(r))))), `-`(`*`(32, `*`(dR, `*`(csgn(`/`(1, `*`(f))), `*`(`^`(m, 3)))))), `*`(16, `*`(dT, `*`(csgn(... and dr = `/`(`*`(`+`(`-`(`*`(dt, `*`(f, `*`(exp(`+`(`/`(`*`(`/`(1, 4), `*`(`+`(r, t))), `*`(m)))), `*`(r))))), `*`(2, `*`(dt, `*`(f, `*`(exp(`+`(`/`(`*`(`/`(1, 4), `*`(`+`(r, t))), `*`(m)))), `*`(m))))), ...
dr = `/`(`*`(`+`(`-`(`*`(dt, `*`(f, `*`(exp(`+`(`/`(`*`(`/`(1, 4), `*`(`+`(r, t))), `*`(m)))), `*`(r))))), `*`(2, `*`(dt, `*`(f, `*`(exp(`+`(`/`(`*`(`/`(1, 4), `*`(`+`(r, t))), `*`(m)))), `*`(m))))), ...
dr = `/`(`*`(`+`(`-`(`*`(dt, `*`(f, `*`(exp(`+`(`/`(`*`(`/`(1, 4), `*`(`+`(r, t))), `*`(m)))), `*`(r))))), `*`(2, `*`(dt, `*`(f, `*`(exp(`+`(`/`(`*`(`/`(1, 4), `*`(`+`(r, t))), `*`(m)))), `*`(m))))), ...
dr = `/`(`*`(`+`(`-`(`*`(dt, `*`(f, `*`(exp(`+`(`/`(`*`(`/`(1, 4), `*`(`+`(r, t))), `*`(m)))), `*`(r))))), `*`(2, `*`(dt, `*`(f, `*`(exp(`+`(`/`(`*`(`/`(1, 4), `*`(`+`(r, t))), `*`(m)))), `*`(m))))), ... both equate to dr so subtracting them from each other elliminates dr and leaving dt independently defined.
 

 

`+`(dr = `+`(`-`(`/`(`*`(`/`(1, 2), `*`(`+`(`*`(16, `*`(dR, `*`(csgn(`/`(1, `*`(f))), `*`(`^`(m, 2), `*`(r))))), `-`(`*`(32, `*`(dR, `*`(csgn(`/`(1, `*`(f))), `*`(`^`(m, 3)))))), `*`(16, `*`(dT, `*`(c... 

`:=`(dt, simplify(solve(%, dt))) 

`+`(`/`(`*`(2, `*`(`+`(`*`(csgn(`/`(1, `*`(f))), `*`(dT, `*`(exp(`+`(`-`(`/`(`*`(`/`(1, 4), `*`(t)), `*`(m)))))))), `*`(exp(`+`(`-`(`/`(`*`(`/`(1, 4), `*`(t)), `*`(m))))), `*`(dR)), `-`(`*`(exp(`+`(`/... (9)
 

 

 

Equations dt = `/`(`*`(`+`(`*`(dr, `*`(r, `*`(`^`(m, `/`(1, 2)), `*`(`^`(`+`(`-`(`*`(`+`(`-`(r), `*`(2, `*`(m))), `*`(f)))), `/`(1, 2)), `*`(csgn(`/`(1, `*`(f))), `*`(exp(`+`(`/`(`*`(`/`(1, 4), `*`(`+`(r, t))),...
dt = `/`(`*`(`+`(`*`(dr, `*`(r, `*`(`^`(m, `/`(1, 2)), `*`(`^`(`+`(`-`(`*`(`+`(`-`(r), `*`(2, `*`(m))), `*`(f)))), `/`(1, 2)), `*`(csgn(`/`(1, `*`(f))), `*`(exp(`+`(`/`(`*`(`/`(1, 4), `*`(`+`(r, t))),...
dt = `/`(`*`(`+`(`*`(dr, `*`(r, `*`(`^`(m, `/`(1, 2)), `*`(`^`(`+`(`-`(`*`(`+`(`-`(r), `*`(2, `*`(m))), `*`(f)))), `/`(1, 2)), `*`(csgn(`/`(1, `*`(f))), `*`(exp(`+`(`/`(`*`(`/`(1, 4), `*`(`+`(r, t))),...
dt = `/`(`*`(`+`(`*`(dr, `*`(r, `*`(`^`(m, `/`(1, 2)), `*`(`^`(`+`(`-`(`*`(`+`(`-`(r), `*`(2, `*`(m))), `*`(f)))), `/`(1, 2)), `*`(csgn(`/`(1, `*`(f))), `*`(exp(`+`(`/`(`*`(`/`(1, 4), `*`(`+`(r, t))),...
dt = `/`(`*`(`+`(`*`(dr, `*`(r, `*`(`^`(m, `/`(1, 2)), `*`(`^`(`+`(`-`(`*`(`+`(`-`(r), `*`(2, `*`(m))), `*`(f)))), `/`(1, 2)), `*`(csgn(`/`(1, `*`(f))), `*`(exp(`+`(`/`(`*`(`/`(1, 4), `*`(`+`(r, t))),... and dt = `+`(`-`(`/`(`*`(`/`(1, 2), `*`(`+`(`-`(`*`(16, `*`(dR, `*`(`^`(m, `/`(3, 2)), `*`(`^`(`+`(`-`(`*`(`+`(`-`(r), `*`(2, `*`(m))), `*`(f)))), `/`(1, 2))))))), `*`(16, `*`(dT, `*`(`^`(m, `/`(3, 2)), `...
dt = `+`(`-`(`/`(`*`(`/`(1, 2), `*`(`+`(`-`(`*`(16, `*`(dR, `*`(`^`(m, `/`(3, 2)), `*`(`^`(`+`(`-`(`*`(`+`(`-`(r), `*`(2, `*`(m))), `*`(f)))), `/`(1, 2))))))), `*`(16, `*`(dT, `*`(`^`(m, `/`(3, 2)), `...
dt = `+`(`-`(`/`(`*`(`/`(1, 2), `*`(`+`(`-`(`*`(16, `*`(dR, `*`(`^`(m, `/`(3, 2)), `*`(`^`(`+`(`-`(`*`(`+`(`-`(r), `*`(2, `*`(m))), `*`(f)))), `/`(1, 2))))))), `*`(16, `*`(dT, `*`(`^`(m, `/`(3, 2)), `...
dt = `+`(`-`(`/`(`*`(`/`(1, 2), `*`(`+`(`-`(`*`(16, `*`(dR, `*`(`^`(m, `/`(3, 2)), `*`(`^`(`+`(`-`(`*`(`+`(`-`(r), `*`(2, `*`(m))), `*`(f)))), `/`(1, 2))))))), `*`(16, `*`(dT, `*`(`^`(m, `/`(3, 2)), `... both equate to dt so subtracting them from each other elliminates dt and leaving dr independently defined.
 

 

`+`(dt = `/`(`*`(`+`(`*`(dr, `*`(r, `*`(`^`(m, `/`(1, 2)), `*`(`^`(`+`(`-`(`*`(`+`(`-`(r), `*`(2, `*`(m))), `*`(f)))), `/`(1, 2)), `*`(csgn(`/`(1, `*`(f))), `*`(exp(`+`(`/`(`*`(`/`(1, 4), `*`(`+`(r, t... 

 

`:=`(dr, simplify(solve(%, dr))) 

`+`(`-`(`/`(`*`(2, `*`(`+`(`*`(dT, `*`(r, `*`(exp(`+`(`/`(`*`(`/`(1, 4), `*`(t)), `*`(m))))))), `*`(2, `*`(m, `*`(dT, `*`(exp(`+`(`-`(`/`(`*`(`/`(1, 4), `*`(t)), `*`(m))))))))), `-`(`*`(2, `*`(m, `*`(...
`+`(`-`(`/`(`*`(2, `*`(`+`(`*`(dT, `*`(r, `*`(exp(`+`(`/`(`*`(`/`(1, 4), `*`(t)), `*`(m))))))), `*`(2, `*`(m, `*`(dT, `*`(exp(`+`(`-`(`/`(`*`(`/`(1, 4), `*`(t)), `*`(m))))))))), `-`(`*`(2, `*`(m, `*`(...
(10)
 

 

The new expressions dr and dt are now independently defined and are substituted into the Schwarzschild metric here: 

 

 

`*`(`^`(dS, 2)) = `+`(`/`(`*`(`^`(dr, 2)), `*`(`+`(1, `-`(`/`(`*`(2, `*`(m)), `*`(r)))))), `-`(`*`(`+`(1, `-`(`/`(`*`(2, `*`(m)), `*`(r)))), `*`(`^`(dt, 2))))) 

`*`(`^`(dS, 2)) = `+`(`-`(`/`(`*`(8, `*`(`^`(`+`(`*`(2, `*`(m, `*`(dT, `*`(exp(`+`(`-`(`/`(`*`(`/`(1, 4), `*`(t)), `*`(m))))))))), `-`(`*`(dR, `*`(csgn(`/`(1, `*`(f))), `*`(r, `*`(exp(`+`(`/`(`*`(`/`(...
`*`(`^`(dS, 2)) = `+`(`-`(`/`(`*`(8, `*`(`^`(`+`(`*`(2, `*`(m, `*`(dT, `*`(exp(`+`(`-`(`/`(`*`(`/`(1, 4), `*`(t)), `*`(m))))))))), `-`(`*`(dR, `*`(csgn(`/`(1, `*`(f))), `*`(r, `*`(exp(`+`(`/`(`*`(`/`(...
`*`(`^`(dS, 2)) = `+`(`-`(`/`(`*`(8, `*`(`^`(`+`(`*`(2, `*`(m, `*`(dT, `*`(exp(`+`(`-`(`/`(`*`(`/`(1, 4), `*`(t)), `*`(m))))))))), `-`(`*`(dR, `*`(csgn(`/`(1, `*`(f))), `*`(r, `*`(exp(`+`(`/`(`*`(`/`(...
`*`(`^`(dS, 2)) = `+`(`-`(`/`(`*`(8, `*`(`^`(`+`(`*`(2, `*`(m, `*`(dT, `*`(exp(`+`(`-`(`/`(`*`(`/`(1, 4), `*`(t)), `*`(m))))))))), `-`(`*`(dR, `*`(csgn(`/`(1, `*`(f))), `*`(r, `*`(exp(`+`(`/`(`*`(`/`(...
(11)
 

 

simplify(%) 

`*`(`^`(dS, 2)) = `+`(`/`(`*`(8, `*`(`+`(`*`(`^`(dR, 2), `*`(`^`(csgn(`/`(1, `*`(f))), 2), `*`(exp(`+`(`-`(`/`(`*`(`/`(1, 2), `*`(t)), `*`(m)))))))), `*`(`^`(dR, 2), `*`(`^`(csgn(`/`(1, `*`(f))), 2), ...
`*`(`^`(dS, 2)) = `+`(`/`(`*`(8, `*`(`+`(`*`(`^`(dR, 2), `*`(`^`(csgn(`/`(1, `*`(f))), 2), `*`(exp(`+`(`-`(`/`(`*`(`/`(1, 2), `*`(t)), `*`(m)))))))), `*`(`^`(dR, 2), `*`(`^`(csgn(`/`(1, `*`(f))), 2), ...
`*`(`^`(dS, 2)) = `+`(`/`(`*`(8, `*`(`+`(`*`(`^`(dR, 2), `*`(`^`(csgn(`/`(1, `*`(f))), 2), `*`(exp(`+`(`-`(`/`(`*`(`/`(1, 2), `*`(t)), `*`(m)))))))), `*`(`^`(dR, 2), `*`(`^`(csgn(`/`(1, `*`(f))), 2), ...
(12)
 

 

normal(%) 

`*`(`^`(dS, 2)) = `+`(`/`(`*`(8, `*`(`+`(`*`(`^`(dR, 2), `*`(`^`(csgn(`/`(1, `*`(f))), 2), `*`(exp(`+`(`-`(`/`(`*`(`/`(1, 2), `*`(t)), `*`(m)))))))), `*`(`^`(dR, 2), `*`(`^`(csgn(`/`(1, `*`(f))), 2), ...
`*`(`^`(dS, 2)) = `+`(`/`(`*`(8, `*`(`+`(`*`(`^`(dR, 2), `*`(`^`(csgn(`/`(1, `*`(f))), 2), `*`(exp(`+`(`-`(`/`(`*`(`/`(1, 2), `*`(t)), `*`(m)))))))), `*`(`^`(dR, 2), `*`(`^`(csgn(`/`(1, `*`(f))), 2), ...
`*`(`^`(dS, 2)) = `+`(`/`(`*`(8, `*`(`+`(`*`(`^`(dR, 2), `*`(`^`(csgn(`/`(1, `*`(f))), 2), `*`(exp(`+`(`-`(`/`(`*`(`/`(1, 2), `*`(t)), `*`(m)))))))), `*`(`^`(dR, 2), `*`(`^`(csgn(`/`(1, `*`(f))), 2), ...
(13)
 

 

simplify(%) 

`*`(`^`(dS, 2)) = `+`(`/`(`*`(32, `*`(`+`(`*`(`^`(dR, 2)), `-`(`*`(`^`(dT, 2)))), `*`(`^`(m, 3), `*`(exp(`+`(`-`(`/`(`*`(`/`(1, 2), `*`(r)), `*`(m))))))))), `*`(r, `*`(f)))) (14)
 

 

 

`*`(`Copyright`, `*`(c, `*`(KevPegrume)))