Details

prune6.6m (26.2%)

simplify5.8m (23.3%)

Algorithm
1445×egg-herbie

series4.2m (16.9%)

Calls

2623 calls:

2.1s
(/ (- (* (* (/ z (* (cbrt t) (cbrt t))) (sqrt (+ t a))) (* (- a (/ 5.0 6.0)) (* t 3.0))) (* (cbrt t) (* (- b c) (- (* (- (* a a) (* (/ 5.0 6.0) (/ 5.0 6.0))) (* t 3.0)) (* (- a (/ 5.0 6.0)) 2.0))))) (* (cbrt t) (* (- a (/ 5.0 6.0)) (* t 3.0))))
1.9s
(- (* (* (/ z (* (cbrt t) (cbrt t))) (sqrt (+ t a))) (* (- a (/ 5.0 6.0)) (* t 3.0))) (* (cbrt t) (* (- b c) (- (* (- (* a a) (* (/ 5.0 6.0) (/ 5.0 6.0))) (* t 3.0)) (* (- a (/ 5.0 6.0)) 2.0)))))
1.0s
(/ (cbrt (- y z)) (/ (cbrt (- a z)) t))
973.0ms
(+ (* (+ y 0.5) (* 2 (log (cbrt y)))) (* (log (cbrt y)) (+ y 0.5)))
606.0ms
(/ (- (+ (* (+ x y) z) (* (+ t y) a)) (* y b)) (+ (+ x t) y))

sample3.7m (14.8%)

Algorithm
538×intervals
Results
1.4m2658557×body80valid
20.9s516911×body80nan
18.7s48036×body1280valid
9.9s43219×body640valid
4.3s5847×body2560valid
3.8s25091×body320valid
1.3s13966×body160valid
778.0ms1534×body10240exit
107.0ms726×body640nan
101.0ms40×body5120valid
95.0ms498×body1280nan
55.0ms435×body320nan
16.0ms238×body160nan

rewrite3.6m (14.2%)

Algorithm
907×rewrite-expression-head
Calls

2623 calls:

37.3s
(* y (* (* z (* (cbrt (- (tanh (/ t y)) (tanh (/ x y)))) (cbrt (- (tanh (/ t y)) (tanh (/ x y)))))) (* (* (cbrt (cbrt (- (tanh (/ t y)) (tanh (/ x y))))) (cbrt (cbrt (- (tanh (/ t y)) (tanh (/ x y)))))) (cbrt (cbrt (- (tanh (/ t y)) (tanh (/ x y))))))))
2.0s
(* (* (* x (/ (sqrt (pow (/ 1 a) 1.0)) (sqrt (exp (+ (* y (log (/ 1 z))) (+ (* (log (/ 1 a)) t) b)))))) (/ (sqrt (pow (/ 1 a) 1.0)) (sqrt (exp (+ (* y (log (/ 1 z))) (+ (* (log (/ 1 a)) t) b)))))) (/ 1 y))
1.1s
(+ (+ (+ (+ (+ (* x (log y)) z) t) a) (* (log (sqrt c)) (- b 0.5))) (* (log (sqrt c)) (- b 0.5)))
896.0ms
(* y (* (* z (* (cbrt (- (tanh (/ t y)) (tanh (/ x y)))) (cbrt (- (tanh (/ t y)) (tanh (/ x y)))))) (cbrt (- (tanh (/ t y)) (tanh (/ x y))))))
635.0ms
(* x (+ (+ (+ (+ y z) z) y) t))
Rules
1832443×cbrt-div
938448×frac-sub
897363×frac-times
624740×tanh-def
544142×associate-*r/
107282×flip3-- flip--
62257×associate-*l/
34103×times-frac
34049×*-un-lft-identity
32338×add-sqr-sqrt
21755×add-cube-cbrt
10701×add-exp-log
8625×add-cbrt-cube
8348×cbrt-prod
7266×pow1
6558×associate-*r*
5436×sqrt-prod
4861×associate-*l*
4065×add-log-exp
3439×distribute-lft-out--
3340×difference-of-squares
3158×associate-/r*
3003×prod-exp
2956×distribute-lft-out
2486×cbrt-unprod
2277×div-exp
2151×pow-prod-down
2075×flip-+ flip3-+
1983×associate-/l*
1925×associate-/r/
1893×div-inv
1616×log-prod
1598×cbrt-undiv
1557×unswap-sqr
1423×unpow-prod-down
1232×distribute-rgt-in distribute-lft-in
1230×sqrt-div
987×swap-sqr
957×pow1/3
829×associate-/l/
825×sqrt-pow1
808×*-commutative
714×cube-prod
689×sub-neg
529×sum-log
519×clear-num frac-2neg
359×pow1/2
357×pow-prod-up
342×associate-+l+
334×frac-add
325×associate-+r+
307×+-commutative
286×diff-log
283×pow-sqr
280×1-exp
268×rec-exp
264×log-pow
246×associate--l+
228×sqr-pow
182×pow-exp
175×pow-unpow
168×distribute-rgt-neg-in distribute-lft-neg-in
118×div-sub
117×pow-plus
116×rem-sqrt-square
108×pow-to-exp
103×pow2
99×pow-pow unpow2
96×neg-mul-1
86×exp-prod
81×rem-log-exp
79×pow-flip
77×log-div
76×inv-pow
56×distribute-rgt-out--
54×associate--r+
52×cube-div distribute-rgt-neg-out
49×un-div-inv exp-sum
45×unpow3 cube-mult
42×associate-+l-
30×sqrt-unprod
29×rem-cube-cbrt
24×distribute-rgt-out
23×unsub-neg
22×associate-+r-
21×rem-square-sqrt
20×sinh-def
19×sub-div
13×rem-cbrt-cube
12×associate--l-
11×associate--r-
10×distribute-lft-neg-out
8×diff-cos cosh-def
7×exp-diff rem-exp-log unpow1/3 log-rec
6×sum-cubes distribute-rgt1-in tan-quot
5×sqrt-pow2 distribute-lft1-in count-2 neg-sub0
3×cos-diff sin-mult
2×neg-log cos-sum distribute-neg-frac exp-to-pow
1×difference-cubes pow3 distribute-frac-neg sqrt-undiv cos-mult

regimes50.5s (3.4%)

Accuracy

Total 217.4b remaining (36.8%)

Threshold costs 25.7b (4.4%)

19.0b9.3%AI.Clustering.Hierarchical.Internal:ward from clustering-0.2.1
12.5b60.1%Diagrams.TwoD.Arc:arcBetween from diagrams-lib-1.3.0.3
10.9b-25%Linear.Matrix:det44 from linear-1.19.1.3
9.7b59.6%Data.Octree.Internal:octantDistance from Octree-0.5.4.2
9.3b-4.6%Diagrams.Solve.Polynomial:cubForm from diagrams-solve-0.1, J

localize10.4s (0.7%)

bsearch6.5s (0.4%)

end5.0ms (0.0%)