Details

sample13.5m (74.1%)

Algorithm
78×intervals
Results
9.4m54507×body10240exit
1.6m44062×body1280valid
38.1s30354×body640valid
27.3s204603×body80valid
20.3s151935×body80nan
17.5s27595×body320valid
12.2s194406×pre80true
11.4s36134×body160valid
2.9s3128×body2560valid
1.7s7740×body160nan
1.0s4060×pre10240exit
358.0ms243×body5120valid

simplify2.0m (10.9%)

prune1.3m (7.3%)

series42.2s (3.8%)

Calls

486 calls:

772.0ms
(/ (* (pow (/ 1 (+ 1 (exp (- s)))) c_p) (pow (- 1 (/ 1 (+ 1 (exp (- s))))) c_n)) (* (pow (/ 1 (+ 1 (exp (- t)))) c_p) (pow (- 1 (/ 1 (+ 1 (exp (- t))))) c_n)))
658.0ms
(cbrt (+ (* (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2))) (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2)))) (* (- phi1 phi2) (- phi1 phi2))))
641.0ms
(- (cos delta) (* (sin phi1) (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta)))))))
633.0ms
(cbrt (+ (* (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2))) (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2)))) (* (- phi1 phi2) (- phi1 phi2))))
620.0ms
(cbrt (+ (* (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2))) (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2)))) (* (- phi1 phi2) (- phi1 phi2))))

regimes19.2s (1.7%)

Accuracy

Total 68.1b remaining (33%)

Threshold costs 5.3b (2.6%)

11.1b-0%Quotient of products
7.4b47.2%Quadratic roots, narrow range
7.3b47.1%Cubic critical, narrow range
6.2b12.7%Quadratic roots, medium range
6.1b12.9%Cubic critical, medium range

rewrite14.8s (1.4%)

Algorithm
148×rewrite-expression-head
Calls

486 calls:

293.0ms
(* (- (- (/ m v) (/ (* m m) v)) 1) (- 1 m))
291.0ms
(* (- (/ (/ m (/ v (- 1 (* m m)))) (+ 1 m)) 1) (- 1 m))
281.0ms
(/ (+ (/ 1 (* (* x x) x)) (* (/ (- 1 (* x x)) x) (/ (sqrt (- 1 (* x x))) (* x x)))) (+ (* (/ (sqrt (- 1 (* x x))) x) (- (/ (sqrt (- 1 (* x x))) x) (/ 1 x))) (/ (/ 1 x) x)))
274.0ms
(+ x (- (- x (/ 1/8 (* x (* x x)))) (/ 1/2 x)))
245.0ms
(* (- (- (/ m v) (/ (* m m) v)) 1) m)
Rules
4675×times-frac
4601×add-sqr-sqrt
4542×*-un-lft-identity
3291×add-exp-log
3034×add-cube-cbrt
1918×add-cbrt-cube
1493×pow1
1294×prod-exp
1246×associate-*l/
1035×div-exp
1023×flip--
1022×flip3--
879×sqrt-prod
853×frac-times
742×add-log-exp
702×difference-of-squares pow-exp
701×associate-*r*
564×cbrt-unprod
545×frac-add
537×associate-*l*
511×associate-/r*
486×insert-posit16
455×associate-/l*
450×associate-*r/
433×sqrt-div
387×cbrt-undiv
353×pow-to-exp
340×cbrt-div
333×distribute-lft-out
303×pow-prod-down
297×div-inv
293×distribute-lft-out--
270×log-prod
211×associate-/r/
207×cbrt-prod
167×pow-prod-up
164×unswap-sqr
151×1-exp rec-exp
138×flip-+
137×flip3-+
121×*-commutative
116×sub-neg
108×frac-2neg clear-num
106×tanh-def
96×log-pow
94×pow-plus
92×tan-quot
86×diff-log
82×pow-sqr
71×unpow-prod-down
65×sqrt-pow1 associate-/l/
63×swap-sqr log-div
57×pow2
55×difference-of-sqr-1 pow1/2
52×sum-log
47×exp-prod rem-log-exp
41×cos-sum div-sub
39×pow1/3
36×frac-sub rem-sqrt-square
32×+-commutative
29×distribute-rgt-in distribute-lft-in
27×cos-diff
26×pow-flip
24×associate--l+
23×pow3
19×sqr-pow inv-pow
18×sin-diff
16×distribute-rgt-out--
15×pow-unpow acos-asin
14×associate--l-
13×associate--r+ rem-cbrt-cube
9×exp-diff associate-+r+ exp-sum sin-mult sub-div
7×sin-cos-mult cube-unmult pow-pow distribute-rgt-out
6×pow-div rem-exp-log associate-+l- associate--r-
5×associate-+l+
4×sin-sum un-div-inv
3×log-rec distribute-frac-neg asin-acos acos-neg
2×quot-tan cos-mult associate-+r- distribute-rgt1-in
1×unpow-prod-up remove-posit16 difference-cubes exp-to-pow tanh-undef e-exp-1

localize6.3s (0.6%)

bsearch2.5s (0.2%)

end1.0ms (0.0%)