Details

prune14.6m (44.1%)

sample5.7m (17.3%)

Algorithm
538×intervals
Results
2.7m2658557×body80valid
41.2s516911×body80nan
25.6s48036×body1280valid
15.1s43219×body640valid
6.2s25091×body320valid
5.6s5847×body2560valid
2.2s13966×body160valid
1.2s1534×body10240exit
200.0ms726×body640nan
170.0ms498×body1280nan
119.0ms40×body5120valid
87.0ms435×body320nan
33.0ms238×body160nan

simplify5.7m (17.1%)

Algorithm
1445×egg-herbie

rewrite3.5m (10.5%)

Algorithm
907×rewrite-expression-head
Calls

2619 calls:

35.6s
(* 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))))))))
1.9s
(* (* (* x (/ (pow (/ 1 (sqrt a)) 1.0) (sqrt (exp (+ (* y (log (/ 1 z))) (+ (* (log (/ 1 a)) t) b)))))) (/ (pow (/ 1 (sqrt 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)))
847.0ms
(* y (* (* z (* (cbrt (- (tanh (/ t y)) (tanh (/ x y)))) (cbrt (- (tanh (/ t y)) (tanh (/ x y)))))) (cbrt (- (tanh (/ t y)) (tanh (/ x y))))))
807.0ms
(- (+ (- (* (* (* x 18.0) y) (* z t)) (* a (* 4.0 t))) (* b c)) (* (* x 4.0) i))
Rules
1832213×cbrt-div
938448×frac-sub
897289×frac-times
624740×tanh-def
544018×associate-*r/
107251×flip3-- flip--
62198×associate-*l/
32437×*-un-lft-identity
32304×times-frac
31356×add-sqr-sqrt
20946×add-cube-cbrt
11957×add-exp-log
8722×add-cbrt-cube
7845×cbrt-prod
7352×pow1
6269×associate-*r*
4608×associate-*l*
4118×add-log-exp
3843×sqrt-prod
3621×prod-exp
3478×distribute-lft-out--
3369×difference-of-squares
3082×associate-/r*
2887×div-exp
2547×cbrt-unprod
2452×distribute-lft-out
2233×pow-prod-down
2036×associate-/l*
1994×flip-+ flip3-+
1860×div-inv
1791×associate-/r/
1625×cbrt-undiv
1519×log-prod
1487×unswap-sqr
1294×unpow-prod-down
1221×distribute-rgt-in distribute-lft-in
1177×sqrt-div
947×swap-sqr
944×pow1/3
845×sqrt-pow1
836×associate-/l/
806×*-commutative
703×sub-neg
696×cube-prod
552×sum-log
525×clear-num frac-2neg
391×1-exp
387×pow-exp
370×rec-exp
361×pow1/2 pow-prod-up
359×frac-add
354×associate-+l+
328×associate-+r+
311×+-commutative
300×diff-log
283×pow-sqr
243×log-pow
234×associate--l+
224×sqr-pow
165×pow-unpow
163×pow-to-exp
118×div-sub
116×pow-plus
111×rem-sqrt-square
103×unpow2
101×pow2
89×rem-log-exp
81×exp-sum pow-pow log-div
80×exp-prod
70×pow-flip
68×inv-pow
61×distribute-rgt-out--
54×associate--r+
52×cube-div
48×associate-+l-
46×un-div-inv
43×unpow3 cube-mult
35×sqrt-unprod
28×rem-cube-cbrt distribute-rgt-neg-out
24×distribute-rgt-out
22×sinh-def
21×sub-div rem-square-sqrt
20×distribute-rgt-neg-in distribute-lft-neg-in
19×distribute-lft-neg-out
18×associate-+r-
16×unsub-neg
13×associate--l- rem-cbrt-cube
12×neg-mul-1
11×associate--r-
10×unpow1/3
9×exp-diff neg-sub0
8×rem-exp-log diff-cos cosh-def
7×log-rec
6×sin-neg distribute-rgt1-in tan-quot
5×distribute-lft1-in count-2 sin-diff
4×sqrt-pow2 sum-cubes exp-to-pow
3×cos-diff sin-mult
2×neg-log sqrt-undiv cos-sum cos-mult
1×difference-cubes pow3

regimes2.5m (7.7%)

Accuracy

Total 216.3b remaining (37%)

Threshold costs 25.7b (4.4%)

19.0b9.3%AI.Clustering.Hierarchical.Internal:ward from clustering-0.2.1
13.0b-20.4%Linear.Matrix:det44 from linear-1.19.1.3
12.5b60.1%Diagrams.TwoD.Arc:arcBetween from diagrams-lib-1.3.0.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

series50.6s (2.5%)

Calls

2619 calls:

755.0ms
(/ (- (* (* (/ 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))))
579.0ms
(- (* (* (/ 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)))))
371.0ms
(- (+ (* x y) (* z t)) (* (+ a (* b c)) (* c i)))
352.0ms
(- (+ (* x y) (* z t)) (* (* (+ a (* b c)) c) i))
241.0ms
(cbrt (/ (- x y) (- z y)))

localize10.4s (0.5%)

bsearch4.8s (0.2%)

end5.0ms (0.0%)