Details

sample8.6m (79.2%)

Algorithm
78×intervals
Results
7.2m49374×body10240exit
34.3s44132×body1280valid
11.4s30451×body640valid
7.2s204876×body80valid
4.7s152740×body80nan
4.5s27363×body320valid
3.2s188619×pre80true
3.0s36241×body160valid
759.0ms3014×body2560valid
412.0ms4203×pre10240exit
365.0ms7851×body160nan
102.0ms8396×pre80false
95.0ms218×body5120valid
1.0ms2×body640nan
0.0ms1×body320nan

prune56.8s (8.8%)

series40.3s (6.2%)

Calls

481 calls:

670.0ms
(* (cbrt (- (+ (log (sqrt 1.0)) (/ x (sqrt 1.0))) (* 1/6 (/ (pow x 3) (pow (sqrt 1.0) 3))))) (cbrt (- (+ (log (sqrt 1.0)) (/ x (sqrt 1.0))) (* 1/6 (/ (pow x 3) (pow (sqrt 1.0) 3))))))
560.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)))
515.0ms
(cbrt (* (/ 1.0 (* 2.0 a)) (+ (- g) (sqrt (- (* g g) (* h h))))))
467.0ms
(cbrt (- (+ (log (sqrt 1.0)) (/ x (sqrt 1.0))) (* 1/6 (/ (pow x 3) (pow (sqrt 1.0) 3)))))
461.0ms
(cbrt (- (+ (log (sqrt 1.0)) (/ x (sqrt 1.0))) (* 1/6 (/ (pow x 3) (pow (sqrt 1.0) 3)))))

simplify13.1s (2.0%)

Algorithm
224×egg-herbie

regimes10.0s (1.5%)

Accuracy

Total 34.0b remaining (24.6%)

Threshold costs 6.0b (4.3%)

5.8b57.3%Cubic critical, narrow range
5.0b28%Cubic critical, medium range
4.1b80.8%Cubic critical
3.8b0%Cubic critical, wide range
3.7b87.2%Quadratic roots, full range

rewrite8.4s (1.3%)

Algorithm
146×rewrite-expression-head
Calls

481 calls:

399.0ms
(* (cbrt (- (+ (log (sqrt 1.0)) (/ x (sqrt 1.0))) (* 1/6 (/ (pow x 3) (pow (sqrt 1.0) 3))))) (cbrt (- (+ (log (sqrt 1.0)) (/ x (sqrt 1.0))) (* 1/6 (/ (pow x 3) (pow (sqrt 1.0) 3))))))
355.0ms
(- (/ 0.125 (pow x 3)) (- (/ 0.5 x) (/ (- 0.0625) (pow x 5))))
267.0ms
(log (- (/ 0.125 (pow x 3)) (- (/ 0.5 x) (/ (- 0.0625) (pow x 5)))))
225.0ms
(- (/ (/ 2.0 (sqrt (+ 1.0 (exp (* -2.0 x))))) (sqrt (+ 1.0 (exp (* -2.0 x))))) 1.0)
203.0ms
(* (- (/ m (/ v (- 1.0 m))) 1.0) (- 1.0 m))
Rules
12024×*-un-lft-identity
11637×times-frac
11210×add-sqr-sqrt
8048×add-cube-cbrt
5394×prod-diff
2506×add-exp-log
2133×sqrt-prod
1724×add-cbrt-cube
1192×difference-of-squares
1187×pow1
1052×unpow-prod-down
992×associate-*r*
991×distribute-lft-out
968×associate--r+
900×distribute-lft-out--
859×prod-exp
743×add-log-exp
716×distribute-rgt-neg-in
694×associate-/r/
693×div-exp
670×fma-neg
601×div-inv
570×distribute-lft-neg-in
555×cbrt-prod
540×associate-/l*
490×associate-*l*
484×expm1-log1p-u
483×log1p-expm1-u
458×cbrt-unprod
425×associate-/r*
398×sqr-pow
381×cube-prod
371×flip--
370×flip3--
352×cbrt-undiv
323×flip-+
322×flip3-+
299×pow-exp
271×pow-prod-down
264×sqrt-div
249×fma-def
224×distribute-rgt-in distribute-lft-in
221×log-prod
217×pow-to-exp
206×unswap-sqr
194×associate-*r/
190×neg-mul-1
145×frac-times
125×swap-sqr
115×associate-/l/
105×*-commutative
104×clear-num frac-2neg
102×associate-*l/ sub-neg
99×unpow3 cube-mult
90×cbrt-div
83×diff-log
80×frac-sub
66×pow-prod-up
65×tan-quot
62×log-pow
57×cos-sum
55×sqrt-pow1
54×exp-prod
53×sum-log
52×unpow2
51×pow1/2
50×pow-sqr div-sub
43×pow1/3 associate--l+
42×pow-unpow
36×pow-plus +-commutative
35×rem-sqrt-square
33×1-exp
32×neg-sub0
29×pow2
26×log-div
23×sin-sum
22×associate-+l-
21×fma-udef rem-log-exp
20×rec-exp neg-log
18×sin-diff
17×cos-diff sin-mult pow-pow
13×cube-div distribute-rgt-out
11×distribute-frac-neg
10×associate--l-
9×associate-+r+ frac-add acos-asin
8×rem-cube-cbrt sin-cos-mult associate-+r-
7×expm1-udef
6×expm1-log1p rem-cbrt-cube
5×acos-neg un-div-inv rem-exp-log log1p-udef sqrt-unprod
4×log1p-expm1 pow-flip asin-acos exp-sum
3×associate-+l+ cos-mult distribute-rgt-neg-out
2×inv-pow distribute-lft1-in hypot-udef hypot-def associate--r- distribute-neg-frac
1×rem-square-sqrt exp-to-pow

bsearch4.4s (0.7%)

localize2.2s (0.3%)

end1.0ms (0.0%)