Details

series8.2m (42.9%)

Calls

2488 calls:

1.9m
(- (* (+ (+ (* x y) (* z t)) (* a b)) (+ (+ (* x y) (* z t)) (* a b))) (* (* c i) (* c i)))
1.8m
(- (* (+ (+ (* x y) (* z t)) (* a b)) (+ (+ (* x y) (* z t)) (* a b))) (* (* (* c i) c) i))
2.9s
(/ (- (+ (* (+ x y) z) (* (+ t y) a)) (* y b)) (* (cbrt (+ (+ x t) y)) (cbrt (+ (+ x t) y))))
2.8s
(- (* (* (/ z (* (cbrt t) (cbrt t))) (sqrt (+ t a))) (+ b c)) (* (cbrt t) (* (- (* b b) (* c c)) (- (+ a (/ 5.0 6.0)) (/ 2.0 (* t 3.0))))))
1.6s
(/ (- (* (* (/ z (* (cbrt t) (cbrt t))) (sqrt (+ t a))) (+ b c)) (* (cbrt t) (* (- (* b b) (* c c)) (- (+ a (/ 5.0 6.0)) (/ 2.0 (* t 3.0)))))) (* (cbrt t) (+ b c)))

prune3.9m (20.5%)

sample3.7m (19.2%)

Algorithm
538×intervals
Results
1.4m2655898×body80valid
20.1s504255×body80nan
17.8s47436×body1280valid
9.7s43428×body640valid
4.2s5796×body2560valid
3.5s24247×body320valid
1.3s13628×body160valid
793.0ms1608×body10240exit
120.0ms47×body5120valid
108.0ms710×body640nan
91.0ms485×body1280nan
43.0ms397×body320nan
16.0ms237×body160nan

simplify1.2m (6.5%)

Algorithm
1407×egg-herbie

rewrite58.8s (5.1%)

Algorithm
870×rewrite-expression-head
Calls

2488 calls:

4.6s
(* (* (/ (- y z) (* (* (cbrt (- (+ t 1.0) z)) (* (cbrt (cbrt (- (+ t 1.0) z))) (cbrt (cbrt (- (+ t 1.0) z))))) (cbrt (cbrt (- (+ t 1.0) z))))) (/ (sqrt 1) (cbrt (- (+ t 1.0) z)))) (- a x))
645.0ms
(* x (* (* (cbrt (- (/ y z) (/ t (- 1.0 z)))) (cbrt (- (/ y z) (/ t (- 1.0 z))))) (cbrt (- (/ y z) (/ t (- 1.0 z))))))
628.0ms
(* x (+ (+ (+ y (+ z z)) y) t))
620.0ms
(* x (+ (+ (+ (+ y z) z) y) t))
619.0ms
(* x (+ (+ (+ (+ y z) z) y) t))
Rules
35901×times-frac
33719×*-un-lft-identity
32666×add-sqr-sqrt
22000×add-cube-cbrt
11326×add-exp-log
8787×add-cbrt-cube
8652×cbrt-prod
7067×associate-*r*
7062×pow1
4294×associate-*l*
4165×cbrt-div
3822×add-log-exp
3745×associate-*r/
3617×sqrt-prod
3490×distribute-lft-out--
3448×prod-exp
3413×frac-times
3263×difference-of-squares
2921×associate-/r*
2917×cbrt-unprod
2857×flip3-- flip--
2546×div-exp
2397×flip-+ flip3-+
2317×associate-*l/
2300×distribute-lft-out
2135×pow-prod-down
1974×div-inv
1921×associate-/r/
1893×associate-/l*
1791×cbrt-undiv
1623×unswap-sqr
1568×swap-sqr
1509×frac-sub
1364×log-prod
1301×sqrt-div
1191×pow1/3
1173×distribute-rgt-in distribute-lft-in
794×*-commutative
715×sqrt-pow1
673×associate-/l/
659×unpow-prod-down
645×sub-neg
501×sum-log
469×clear-num frac-2neg
411×pow-prod-up
408×frac-add
376×associate-+l+
347×associate-+r+
330×pow1/2
316×pow-sqr
309×1-exp
293×rec-exp
283×+-commutative
280×associate--l+
254×diff-log
202×tanh-def
193×sqr-pow
188×log-pow
143×pow-plus
140×pow-exp
131×exp-sum
129×pow2
120×cube-prod
101×distribute-rgt-neg-in distribute-lft-neg-in
99×unpow2
96×div-sub
93×rem-sqrt-square
90×unpow-prod-up
89×pow-to-exp
88×pow-unpow
78×distribute-rgt-out--
70×un-div-inv
66×pow-flip
61×inv-pow
59×associate--r+
50×log-div
49×pow-pow
43×neg-mul-1 rem-log-exp
42×sub-div associate-+l-
41×exp-prod
40×distribute-rgt-neg-out
34×cube-div
30×sinh-def
22×sqrt-unprod
21×distribute-neg-frac
19×unsub-neg distribute-rgt-out
17×unpow3 cube-mult rem-square-sqrt
16×exp-neg neg-sub0
15×distribute-lft-neg-out unpow1/3
14×rem-cube-cbrt distribute-frac-neg
13×exp-diff
12×associate--r-
11×rem-exp-log sum-cubes cosh-def
9×exp-to-pow associate-+r-
8×log-rec
7×neg-log associate--l- diff-cos
6×distribute-rgt1-in distribute-neg-in rem-cbrt-cube
5×difference-cubes distribute-lft1-in count-2 sin-mult
3×cos-diff
2×sqrt-pow2 pow-sub cos-sum tan-quot
1×sin-cos-mult pow3 cos-mult mul-1-neg

regimes50.6s (4.4%)

Accuracy

Total 198.0b remaining (36.3%)

Threshold costs 29.8b (5.5%)

12.6b32.7%AI.Clustering.Hierarchical.Internal:ward from clustering-0.2.1
12.2b-11.2%Linear.Matrix:det44 from linear-1.19.1.3
11.8b62.8%Diagrams.TwoD.Arc:arcBetween from diagrams-lib-1.3.0.3
11.4b-22.7%Linear.Matrix:det33 from linear-1.19.1.3
9.8b59.4%Data.Octree.Internal:octantDistance from Octree-0.5.4.2

localize9.8s (0.9%)

bsearch4.9s (0.4%)

end5.0ms (0.0%)