Details

simplify4.2m (49.2%)

sample2.4m (28.1%)

Algorithm
78×intervals
Results
1.0m18426×body10240exit
33.9s43877×body1280valid
11.4s30495×body640valid
6.7s202184×body80valid
4.5s152280×body80nan
4.3s27365×body320valid
2.9s36049×body160valid
2.4s155798×pre80true
704.0ms3060×body2560valid
365.0ms8047×body160nan
364.0ms4143×pre10240exit
89.0ms8472×pre80false
69.0ms235×body5120valid
2.0ms3×body640nan

prune45.7s (8.9%)

series41.6s (8.1%)

Calls

466 calls:

617.0ms
(/ (* (pow (/ 1.0 (+ 1.0 (exp (- s)))) c_p) (pow (- 1.0 (/ 1.0 (+ 1.0 (exp (- s))))) c_n)) (* (pow (/ 1.0 (+ 1.0 (exp (- t)))) c_p) (pow (- 1.0 (/ 1.0 (+ 1.0 (exp (- t))))) c_n)))
537.0ms
(cbrt (* (/ 1.0 (* 2.0 a)) (- (- g) (sqrt (- (* g g) (* h h))))))
490.0ms
(* (hypot (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0))) (- phi1 phi2)) R)
477.0ms
(* (hypot (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0))) (- phi1 phi2)) R)
472.0ms
(log (+ (pow x 3) (pow (* (sqrt (+ x (sqrt 1.0))) (sqrt (- x (sqrt 1.0)))) 3)))

rewrite13.6s (2.6%)

Algorithm
145×rewrite-expression-head
Calls

466 calls:

393.0ms
(* (* x (/ x (log 2.0))) (- 0.25 (+ (/ 0.125 (log 2.0)) (/ 1/2 (pow 2.0 2)))))
356.0ms
(* (- (/ (/ 1 v) (/ 1 (* m (- 1.0 m)))) 1.0) m)
310.0ms
(* (/ x (+ x 1.0)) (- (/ x (+ x 1.0)) (/ 1.0 (- x 1.0))))
192.0ms
(* (- (/ 1 (/ v (* m (- 1.0 m)))) 1.0) m)
184.0ms
(- (/ 0.125 (pow x 3)) (+ (/ 0.5 x) (/ 0.0625 (pow x 5))))
Rules
10327×*-un-lft-identity
8772×add-sqr-sqrt
8728×times-frac
6642×add-cube-cbrt
4448×prod-diff
2611×add-exp-log
1660×add-cbrt-cube
1432×sqrt-prod
936×distribute-lft-out
927×difference-of-squares
926×distribute-rgt-in distribute-lft-in
918×pow1
849×distribute-lft-out--
825×prod-exp
821×div-exp
708×associate-/r/
682×add-log-exp
661×associate-*r*
567×div-inv
512×associate-/l*
503×associate-/r*
484×associate-*l*
468×log1p-expm1-u
467×expm1-log1p-u
455×unpow-prod-down
409×cbrt-unprod
392×fma-neg
383×cbrt-undiv
369×flip--
368×flip3--
349×log-prod
348×cbrt-prod
315×cube-prod
307×pow-exp
271×distribute-rgt-neg-in
250×flip-+
249×flip3-+
218×pow-to-exp
179×fma-def
172×associate-*r/
171×associate--l+
168×pow-prod-down
162×distribute-lft-neg-in
135×sqr-pow
129×sub-neg
127×unswap-sqr
112×sqrt-div
110×frac-times
102×clear-num frac-2neg
95×*-commutative
87×associate-*l/
85×unpow3 cube-mult
81×log-pow
77×associate-/l/
76×diff-log
70×cbrt-div
60×pow1/3 cos-sum
57×pow-unpow 1-exp
53×neg-mul-1
52×rec-exp
44×associate-+r+
41×swap-sqr
40×pow1/2 sqrt-pow1 log-div
38×div-sub
37×sum-log sin-mult exp-sum
32×exp-prod
29×sin-cos-mult
28×rem-log-exp
27×rem-sqrt-square +-commutative
25×pow-pow
24×fma-udef
22×sin-sum
19×tan-quot frac-sub
18×sin-diff
16×cube-div pow-prod-up
15×cos-diff cos-mult
14×pow-sqr neg-sub0
13×frac-add
11×unpow2
10×rem-cube-cbrt pow2 associate-+l+ neg-log
9×pow-plus acos-asin associate-+l-
8×associate--l- distribute-neg-in
7×pow-flip
6×inv-pow associate--r+
5×rem-exp-log exp-diff asin-acos rem-cbrt-cube
4×sin-neg expm1-log1p associate--r- distribute-rgt-neg-out expm1-udef
3×acos-neg distribute-lft-neg-out distribute-frac-neg hypot-def sub-div distribute-neg-frac
2×sqrt-undiv log1p-udef sqrt-unprod log1p-expm1 hypot-udef distribute-rgt-out sqr-cos sum-cubes
1×associate-+r- sqr-sin unsub-neg rem-square-sqrt tanh-undef tanh-def

regimes9.8s (1.9%)

Accuracy

Total 44.2b remaining (32.7%)

Threshold costs 5.2b (3.8%)

7.6b45.1%Quadratic roots, narrow range
6.0b13.9%Cubic critical, medium range
5.0b81.5%Cubic critical
4.9b81.9%Quadratic roots, full range
4.5b61.1%Quotient of products

bsearch4.5s (0.9%)

localize2.2s (0.4%)

end1.0ms (0.0%)