Details

series6.0m (29.4%)

Calls

2550 calls:

1.9m
(- (* (+ (+ (* x y) (* z t)) (* a b)) (+ (+ (* x y) (* z t)) (* a b))) (* (* c i) (* c i)))
1.0s
(sqrt (pow (+ (* x y) (* (- x 1.0) z)) 3))
990.0ms
(/ 1 (* (cbrt (+ 1.0 (sqrt (+ x 1.0)))) (cbrt (+ 1.0 (sqrt (+ x 1.0))))))
851.0ms
(* (/ 1 (* (fabs (cbrt (+ (* (+ (* (+ (* (+ x 43.3400022514) x) 263.505074721) x) 313.399215894) x) 47.066876606))) (sqrt (sqrt (+ (* (+ (* (+ (* (+ x 43.3400022514) x) 263.505074721) x) 313.399215894) x) 47.066876606))))) (/ (/ (- x 2.0) (sqrt (sqrt (+ (* (+ (* (+ (* (+ x 43.3400022514) x) 263.505074721) x) 313.399215894) x) 47.066876606)))) (/ (sqrt (cbrt (+ (* (+ (* (+ (* (+ x 43.3400022514) x) 263.505074721) x) 313.399215894) x) 47.066876606))) (+ (* (+ (* (+ (* (+ (* x 4.16438922228) 78.6994924154) x) 137.519416416) x) y) x) z))))
781.0ms
(sqrt (pow (+ (* x y) (* (- x 1.0) z)) 3))

sample5.8m (28.2%)

Algorithm
537×intervals
Results
2.9m2573827×body80valid
45.3s505214×body80nan
23.6s46319×body1280valid
14.4s42777×body640valid
5.8s24620×body320valid
5.4s5593×body2560valid
2.2s13573×body160valid
173.0ms641×body640nan
160.0ms471×body1280nan
145.0ms1566×body80overflowed
135.0ms46×body5120valid
93.0ms432×body320nan
33.0ms236×body160nan

prune5.1m (25.0%)

simplify1.4m (6.6%)

Algorithm
1432×egg-herbie

rewrite1.0m (5.1%)

Algorithm
896×rewrite-expression-head
Calls

2550 calls:

6.0s
(* (* (* (* (* (* (cbrt (cbrt (+ a (* b c)))) (cbrt (cbrt (+ a (* b c))))) (cbrt (cbrt (+ a (* b c))))) (cbrt (+ a (* b c)))) (cbrt (+ a (* b c)))) c) i)
1.5s
(* (* (* (* (* (- (* x 0.5) y) (sqrt z)) (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0)))) (cbrt (sqrt 2.0))) (sqrt (exp (/ (* t t) 2.0)))) (sqrt (exp (/ (* t t) 2.0))))
1.1s
(* (cbrt (+ (+ (+ (+ y z) z) y) t)) (cbrt (+ (+ (+ (+ y z) z) y) t)))
1.1s
(+ (+ (+ (+ (+ (* x (log y)) z) t) a) (* (- b 0.5) (log c))) (* y i))
804.0ms
(* (/ 1 (* (fabs (cbrt (+ (* (+ (* (+ (* (+ x 43.3400022514) x) 263.505074721) x) 313.399215894) x) 47.066876606))) (sqrt (sqrt (+ (* (+ (* (+ (* (+ x 43.3400022514) x) 263.505074721) x) 313.399215894) x) 47.066876606))))) (/ (/ (- x 2.0) (sqrt (sqrt (+ (* (+ (* (+ (* (+ x 43.3400022514) x) 263.505074721) x) 313.399215894) x) 47.066876606)))) (/ (sqrt (cbrt (+ (* (+ (* (+ (* (+ x 43.3400022514) x) 263.505074721) x) 313.399215894) x) 47.066876606))) (+ (* (+ (* (+ (* (+ (* x 4.16438922228) 78.6994924154) x) 137.519416416) x) y) x) z))))
Rules
102313×times-frac
62309×*-un-lft-identity
59651×add-sqr-sqrt
47927×add-cube-cbrt
20015×sqrt-prod
12723×cbrt-prod
11708×add-exp-log
10610×associate-*r*
9103×add-cbrt-cube
9088×unpow-prod-down
6797×pow1
6183×cbrt-div
4159×associate-*l*
4090×difference-of-squares
4026×distribute-lft-out--
3994×add-log-exp
3803×associate-/r*
3717×frac-times
3595×div-inv
3421×distribute-lft-out
3374×prod-exp
3226×associate-*r/
2957×associate-*l/
2774×cbrt-unprod
2771×div-exp
2709×flip3-- flip--
2699×flip-+ flip3-+
2694×exp-sum
2647×associate-/r/
2293×associate-/l*
1992×pow-prod-down
1884×cbrt-undiv
1795×log-prod
1413×unswap-sqr
1375×distribute-rgt-in distribute-lft-in
1265×sqrt-div
1021×sqr-pow
938×frac-add
902×pow1/3
794×*-commutative
732×cube-prod
690×swap-sqr
641×sub-neg
636×associate-/l/
520×clear-num frac-2neg
507×sum-log
432×frac-sub
401×sqrt-pow1
356×1-exp
341×associate-+l+
338×rec-exp
304×diff-log
292×unpow2
290×+-commutative
289×pow-prod-up
284×associate--l+
264×log-pow
263×associate-+r+
258×pow1/2
233×pow-sqr
216×un-div-inv
199×exp-prod
192×pow-unpow
163×pow-exp
124×rem-sqrt-square
122×pow-plus
116×pow-pow
102×pow2
101×div-sub
99×pow-to-exp
84×cube-div pow-flip
74×inv-pow
70×log-div
69×unpow3 cube-mult
61×associate--r+
55×rem-log-exp
51×sinh-def
44×cosh-def
38×distribute-rgt-neg-in distribute-lft-neg-in distribute-rgt-out--
36×distribute-rgt-neg-out
33×associate-+l- tanh-def
26×distribute-rgt-out
24×rem-exp-log sqrt-unprod
23×sum-cubes
21×unpow1/3
19×rem-cube-cbrt distribute-lft-neg-out
18×sub-div unpow-prod-up neg-mul-1 distribute-neg-frac associate-+r-
17×unsub-neg
16×sin-mult
12×rem-square-sqrt
11×associate--l- associate--r-
10×rem-cbrt-cube
9×exp-diff sqrt-pow2
8×log-rec
6×difference-cubes distribute-rgt1-in
5×distribute-lft1-in count-2 neg-sub0 exp-to-pow
4×sqrt-undiv diff-cos
3×neg-log cos-diff
2×cos-sum tan-quot
1×pow-div sin-cos-mult pow3 exp-neg pow-sub cos-mult mul-1-neg

regimes50.0s (4.0%)

Accuracy

Total 195.9b remaining (35.8%)

Threshold costs 26.5b (4.9%)

12.0b61.1%Diagrams.TwoD.Arc:arcBetween from diagrams-lib-1.3.0.3
11.6b52.1%AI.Clustering.Hierarchical.Internal:ward from clustering-0.2.1
9.7b59%Data.Octree.Internal:octantDistance from Octree-0.5.4.2
8.0b24.3%Diagrams.Solve.Polynomial:cubForm from diagrams-solve-0.1, J
7.9b6.4%Graphics.Rendering.Chart.Axis.Types:invLinMap from Chart-1.5.3

localize10.2s (0.8%)

bsearch9.7s (0.8%)

end5.0ms (0.0%)