Details

series4.4m (28.3%)

Calls

2459 calls:

3.8s
(sqrt (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)))
3.7s
(sqrt (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)))
3.3s
(+ (pow (+ (* x y) (* z t)) 3) (pow (* a b) 3))
1.1s
(log (cbrt (exp (- x (/ 1.0 3.0)))))
1.1s
(log (cbrt (exp (- x (/ 1.0 3.0)))))

prune4.2m (26.9%)

sample3.8m (24.4%)

Algorithm
540×intervals
Results
1.4m2668064×body80valid
21.8s528062×body80nan
17.8s47124×body1280valid
10.1s44522×body640valid
4.3s5637×body2560valid
3.7s25182×body320valid
1.3s13704×body160valid
776.0ms1561×body10240exit
103.0ms42×body5120valid
98.0ms520×body1280nan
98.0ms653×body640nan
47.0ms450×body320nan
17.0ms246×body160nan

simplify1.2m (7.7%)

Algorithm
1411×egg-herbie

rewrite50.7s (5.4%)

Algorithm
871×rewrite-expression-head
Calls

2459 calls:

1.1s
(- (log (- (pow 1.0 3) (pow (* (/ 1 (* (cbrt (- 1.0 y)) (cbrt (- 1.0 y)))) (/ (- x y) (cbrt (- 1.0 y)))) 3))) (log (+ (* 1.0 1.0) (+ (* (* (/ 1 (* (cbrt (- 1.0 y)) (cbrt (- 1.0 y)))) (/ (- x y) (cbrt (- 1.0 y)))) (* (/ 1 (* (cbrt (- 1.0 y)) (cbrt (- 1.0 y)))) (/ (- x y) (cbrt (- 1.0 y))))) (* 1.0 (* (/ 1 (* (cbrt (- 1.0 y)) (cbrt (- 1.0 y)))) (/ (- x y) (cbrt (- 1.0 y)))))))))
1.1s
(log (+ (* 1.0 1.0) (+ (* (* (/ 1 (* (cbrt (- 1.0 y)) (cbrt (- 1.0 y)))) (/ (- x y) (cbrt (- 1.0 y)))) (* (/ 1 (* (cbrt (- 1.0 y)) (cbrt (- 1.0 y)))) (/ (- x y) (cbrt (- 1.0 y))))) (* 1.0 (* (/ 1 (* (cbrt (- 1.0 y)) (cbrt (- 1.0 y)))) (/ (- x y) (cbrt (- 1.0 y))))))))
1.0s
(+ (+ (+ (+ (+ (* x (log y)) z) t) a) (* (- b 0.5) (log c))) (* y i))
595.0ms
(* x (+ (+ (+ (+ y z) z) y) t))
590.0ms
(+ (- (+ (+ (log (+ x y)) (log (sqrt z))) (log (sqrt z))) t) (* (- a 0.5) (log t)))
Rules
63074×times-frac
48337×*-un-lft-identity
45473×add-sqr-sqrt
32150×add-cube-cbrt
11337×add-exp-log
8622×add-cbrt-cube
7495×cbrt-prod
6387×pow1
5791×sqrt-prod
5334×associate-*r*
5008×distribute-lft-out--
4970×difference-of-squares
4677×cbrt-div
4285×frac-times
4212×associate-/r*
4007×associate-*l*
3862×add-log-exp
3394×distribute-lft-out
3230×flip-- flip3--
3200×prod-exp
3169×div-inv
3052×associate-*r/
2805×div-exp
2696×cbrt-unprod
2671×associate-/r/
2557×flip-+ flip3-+
2392×associate-/l*
2306×associate-*l/
1860×pow-prod-down
1853×cbrt-undiv
1597×log-prod
1500×distribute-rgt-in distribute-lft-in
1378×unpow-prod-down
1351×associate-/l/
1319×unswap-sqr
1025×swap-sqr
946×frac-sub
942×pow1/3
748×sqrt-div
737×*-commutative
706×sub-neg
552×cube-prod
531×clear-num frac-2neg
522×sum-log
440×sqrt-pow1
412×associate-+l+
398×associate-+r+
366×1-exp
341×associate--l+
334×exp-sum
333×rec-exp
298×+-commutative
296×sqr-pow
272×diff-log
248×pow-prod-up
220×pow1/2
218×tanh-def
217×frac-add
208×pow-sqr
186×log-pow
168×pow-exp
156×pow-unpow
100×div-sub
95×rem-sqrt-square
93×pow-plus
92×pow2
90×distribute-rgt-out--
89×pow-to-exp
88×pow-flip
78×unpow2
76×inv-pow
75×pow-pow
68×log-div
60×exp-prod
56×associate--r+
51×rem-log-exp
50×cube-div
44×un-div-inv
41×unpow3 cube-mult associate-+l-
34×distribute-rgt-neg-out
31×sinh-def
28×rem-cube-cbrt
27×sum-cubes associate-+r-
26×cosh-def
23×distribute-rgt-out
19×unsub-neg
14×difference-cubes
13×rem-exp-log sqrt-unprod rem-cbrt-cube
11×distribute-lft-neg-in associate--l- sub-div rem-square-sqrt distribute-rgt-neg-in
9×exp-diff unpow1/3
7×neg-mul-1
6×sqrt-undiv distribute-rgt1-in neg-sub0 exp-to-pow
5×distribute-lft1-in count-2 tan-quot associate--r-
4×distribute-lft-neg-out diff-cos neg-log
3×pow-div cos-diff sin-mult
2×cos-sum sqrt-pow2 log-rec
1×sin-cos-mult exp-neg cube-unmult mul-1-neg

regimes48.7s (5.2%)

Accuracy

Total 217.1b remaining (37.5%)

Threshold costs 25.5b (4.4%)

14.8b52.8%Diagrams.TwoD.Arc:arcBetween from diagrams-lib-1.3.0.3
11.5b52.6%AI.Clustering.Hierarchical.Internal:ward from clustering-0.2.1
11.2b-24.2%Linear.Matrix:det44 from linear-1.19.1.3
10.5b56.3%Data.Octree.Internal:octantDistance from Octree-0.5.4.2
9.3b1.4%Diagrams.Solve.Polynomial:cubForm from diagrams-solve-0.1, J

localize9.8s (1.1%)

bsearch9.2s (1.0%)

end5.0ms (0.0%)