Details

prune4.9m (30.1%)

series4.3m (26.4%)

Calls

2597 calls:

2.6s
(/ (* (cbrt (- (* (* (- 1.0 x) y) (* (- 1.0 x) y)) (* (* x z) (* x z)))) (cbrt (- (* (* (- 1.0 x) y) (* (- 1.0 x) y)) (* (* x z) (* x z))))) (* (cbrt (- (* (- 1.0 x) y) (* x z))) (cbrt (- (* (- 1.0 x) y) (* x z)))))
1.2s
(* (/ (cbrt (- z t)) (cbrt (cbrt (- a t)))) (/ y (cbrt (- a t))))
932.0ms
(/ (- (* (* z (sqrt (+ t a))) (* (- a (/ 5.0 6.0)) (* t 3.0))) (* (* (* (cbrt t) (cbrt t)) (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) (cbrt t)) (cbrt t)) (* (- a (/ 5.0 6.0)) (* t 3.0))))
815.0ms
(- (* (* z (sqrt (+ t a))) (* (- a (/ 5.0 6.0)) (* t 3.0))) (* (* (* (cbrt t) (cbrt t)) (cbrt t)) (* (- b c) (- (* (- (* a a) (* (/ 5.0 6.0) (/ 5.0 6.0))) (* t 3.0)) (* (- a (/ 5.0 6.0)) 2.0)))))
799.0ms
(/ 1 (/ (+ y (* z (- b y))) (+ (* x y) (* z (- t a)))))

sample3.6m (22.4%)

Algorithm
539×intervals
Results
1.4m2642194×body80valid
20.7s512252×body80nan
17.6s46774×body1280valid
9.8s44084×body640valid
4.2s5580×body2560valid
3.7s25050×body320valid
1.4s14203×body160valid
772.0ms1518×body10240exit
111.0ms710×body640nan
94.0ms495×body1280nan
86.0ms34×body5120valid
46.0ms429×body320nan
14.0ms206×body160nan

simplify1.3m (8.0%)

Algorithm
1437×egg-herbie

rewrite1.0m (6.2%)

Algorithm
898×rewrite-expression-head
Calls

2597 calls:

3.0s
(* (/ (cbrt y) (/ (/ (/ (fabs (cbrt (sqrt (- (* z z) (* t a))))) (cbrt z)) (cbrt z)) (cbrt y))) (/ x (sqrt (sqrt (- (* z z) (* t a))))))
1.1s
(+ (+ (+ (+ (+ (* x (log y)) z) t) a) (* (- b 0.5) (log c))) (* y i))
1.0s
(* y (* (* (cbrt (- (/ z (- z a)) (/ t (- z a)))) (cbrt (- (/ z (- z a)) (/ t (- z a))))) (cbrt (- (/ z (- z a)) (/ t (- z a))))))
994.0ms
(+ (+ (+ (+ (+ x y) y) x) z) x)
939.0ms
(* (sqrt (* x (+ (+ (+ (+ y z) z) y) t))) (sqrt (* x (+ (+ (+ (+ y z) z) y) t))))
Rules
69074×times-frac
50109×*-un-lft-identity
47076×add-sqr-sqrt
35824×add-cube-cbrt
23879×cbrt-prod
13300×add-exp-log
9970×associate-*l*
9502×add-cbrt-cube
7190×pow1
7149×associate-*r*
4212×prod-exp
4041×add-log-exp
3826×distribute-lft-out
3765×sqrt-prod
3582×cbrt-div
3524×associate-/r*
3436×distribute-lft-out--
3263×div-exp
3249×difference-of-squares
3248×cbrt-unprod
3194×associate-*r/
2970×associate-*l/
2848×flip3-- flip--
2840×div-inv
2628×frac-times
2500×associate-/r/
2302×associate-/l*
2201×pow-prod-down
2128×unpow-prod-down
2061×cbrt-undiv
1838×flip-+ flip3-+
1704×unswap-sqr
1661×log-prod
1336×distribute-rgt-in distribute-lft-in
1277×frac-sub
1041×pow1/3
879×sqrt-div
844×cube-prod
843×*-commutative
834×associate-/l/
790×swap-sqr
729×distribute-rgt-neg-in
693×sub-neg
582×distribute-lft-neg-in
574×sqrt-pow1
532×sum-log
511×clear-num frac-2neg
508×log-pow
468×exp-prod
446×1-exp
371×sqr-pow
366×rec-exp
360×associate-+l+
326×frac-add
304×pow-prod-up associate-+r+
296×+-commutative
291×diff-log
285×associate--l+
279×pow-exp
254×pow-sqr
194×pow-unpow
190×pow1/2
173×pow-to-exp
145×neg-mul-1
134×pow-plus
111×pow2
108×div-sub
99×exp-sum
94×sub-div pow-flip
88×unpow2
85×pow-pow
82×inv-pow
79×log-div
78×rem-sqrt-square
65×associate--r+
58×unpow3 cube-mult rem-log-exp
52×distribute-rgt-out--
50×tanh-def
45×un-div-inv
38×associate-+l-
33×cube-div distribute-rgt-neg-out
28×rem-cube-cbrt
25×distribute-lft-neg-out
24×distribute-rgt-out
23×associate-+r- sinh-def
18×exp-diff
16×unpow1/3
15×unsub-neg
12×rem-exp-log distribute-neg-frac
11×pow-div associate--l- cosh-def rem-cbrt-cube
10×sqrt-unprod neg-sub0
9×rem-square-sqrt
8×difference-cubes log-rec tan-quot
7×difference-of-sqr-1 sum-cubes
6×distribute-rgt1-in distribute-lft1-in
5×count-2 associate--r-
4×diff-cos
3×sqrt-pow2 exp-neg cos-diff neg-log mul-1-neg
2×cos-sum pow-neg pow3 pow-sub distribute-frac-neg sin-mult cos-mult exp-to-pow
1×remove-double-div sqrt-undiv

regimes49.5s (5.1%)

Accuracy

Total 218.2b remaining (39.3%)

Threshold costs 25.0b (4.5%)

20.2b8%AI.Clustering.Hierarchical.Internal:ward from clustering-0.2.1
17.8b43.5%Data.Octree.Internal:octantDistance from Octree-0.5.4.2
15.4b39.8%Data.Array.Repa.Algorithms.Pixel:doubleRmsOfRGB8 from repa-algorithms-3.4.0.1
13.8b56.6%Diagrams.TwoD.Arc:arcBetween from diagrams-lib-1.3.0.3
10.7b4.6%Diagrams.Solve.Polynomial:cubForm from diagrams-solve-0.1, J

localize10.1s (1.0%)

bsearch7.1s (0.7%)

end5.0ms (0.0%)