Details

prune4.4m (25.9%)

series4.3m (25.6%)

Calls

2549 calls:

9.6s
(/ (- (* (- (* x x) (* (* (- y 1.0) z) (* (- y 1.0) z))) (+ t 1.0)) (* (+ x (* (- y 1.0) z)) (* (- (* t t) (* 1.0 1.0)) a))) (* (+ x (* (- y 1.0) z)) (+ t 1.0)))
5.0s
(/ (* (cbrt (- (* x x) (* (/ (- y x) z) (/ (- y x) z)))) (cbrt (- (* x x) (* (/ (- y x) z) (/ (- y x) z))))) (* (cbrt (- x (/ (- y x) z))) (cbrt (- x (/ (- y x) z)))))
3.3s
(- (* (- (+ (* x y) (/ (* z t) 16.0)) (/ (* a b) 4.0)) (- (+ (* x y) (/ (* z t) 16.0)) (/ (* a b) 4.0))) (* c c))
901.0ms
(* (cbrt (+ (* x 0.5) (* y (+ (- 1.0 z) (log z))))) (cbrt (+ (* x 0.5) (* y (+ (- 1.0 z) (log z))))))
792.0ms
(+ (- (* (log (pow x 1/3)) (- (* 3 x) 1.5)) x) 0.91893853320467)

sample4.1m (24.4%)

Algorithm
539×intervals
Results
1.3m2654652×body80valid
20.2s519769×body80nan
17.4s46779×body1280valid
9.7s44015×body640valid
4.1s5744×body2560valid
3.5s25051×body320valid
1.3s13699×body160valid
721.0ms1509×body10240exit
110.0ms45×body5120valid
95.0ms669×body640nan
84.0ms480×body1280nan
42.0ms419×body320nan
12.0ms189×body160nan

rewrite1.7m (10.1%)

Algorithm
899×rewrite-expression-head
Calls

2549 calls:

2.3s
(+ (+ (+ (+ (+ (* x (log y)) z) t) a) (* (- b 0.5) (log c))) (* y i))
1.4s
(* (/ (sqrt 1.0) y) (/ (/ (sqrt (sqrt 1.0)) 1) (/ (+ 1.0 (* z z)) (/ (sqrt (sqrt 1.0)) x))))
1.2s
(* x (+ (+ (+ (+ y z) z) y) t))
994.0ms
(+ (/ x y) (- (+ (/ (sqrt 2.0) (/ (* t z) (sqrt 2.0))) (/ 2.0 t)) 2.0))
958.0ms
(+ 1.0 (- (- (/ (/ 1.0 x) 9.0)) (/ (/ y 3.0) (sqrt x))))
Rules
68111×times-frac
49869×*-un-lft-identity
48123×add-sqr-sqrt
34993×add-cube-cbrt
14959×sqrt-prod
14422×add-exp-log
10099×associate-*r*
8936×add-cbrt-cube
6972×pow1
6504×cbrt-prod
5466×associate-*l*
5212×prod-exp
4411×distribute-lft-out--
4325×difference-of-squares
4214×div-exp
3969×add-log-exp
3557×associate-/r*
3204×distribute-lft-out
2722×div-inv
2708×cbrt-unprod
2228×cbrt-div
2176×flip--
2175×flip3--
2110×associate-/l*
2074×associate-*r/
2065×associate-/r/
1947×cbrt-undiv
1945×pow-prod-down
1874×log-prod
1785×flip-+
1784×flip3-+
1694×distribute-rgt-in distribute-lft-in
1686×unswap-sqr
1639×associate-*l/
1608×frac-times
1504×unpow-prod-down
1351×pow-exp
1084×swap-sqr
976×pow1/3
867×sqrt-div
835×sqrt-pow1
789×*-commutative
673×sub-neg
670×associate-/l/
654×1-exp
626×frac-sub
586×rec-exp
578×associate-+l+
522×sum-log
511×clear-num frac-2neg
480×cube-prod
425×frac-add
398×associate-+r+
396×pow-to-exp
395×pow-prod-up
369×pow1/2
350×log-pow
316×sqr-pow
300×+-commutative
298×pow-sqr
289×associate--l+
277×diff-log
212×tanh-def
194×exp-prod
143×div-sub
140×pow-unpow
139×pow-plus distribute-neg-frac
122×pow2
121×rem-sqrt-square
109×pow-flip
99×log-div
81×cube-div pow-pow
80×inv-pow
74×unpow2
65×rem-log-exp
57×associate--r+
55×unpow3 cube-mult
52×un-div-inv
50×exp-sum
37×sinh-def
36×distribute-rgt-neg-out
32×associate-+l-
31×rem-cube-cbrt
24×sqrt-unprod
22×associate-+r- rem-square-sqrt
19×distribute-rgt-neg-in unsub-neg distribute-rgt-out cosh-def
18×unpow-prod-up
16×rem-cbrt-cube
15×distribute-lft-neg-in
14×difference-of-sqr-1
13×associate--l- associate--r-
12×exp-diff difference-cubes rem-exp-log unpow1/3 distribute-lft-neg-out
10×sub-div
9×distribute-rgt-out-- neg-mul-1
8×tan-quot
7×neg-sub0
6×distribute-rgt1-in neg-log
5×distribute-lft1-in count-2 cos-mult
4×pow3 exp-neg
3×cos-diff distribute-neg-in diff-cos exp-to-pow
2×cos-sum log-rec sqr-cos mul-1-neg
1×sqrt-undiv sum-cubes pow-sub acos-asin sin-mult

simplify1.2m (7.4%)

Algorithm
1438×egg-herbie

regimes51.1s (5.0%)

Accuracy

Total 227.2b remaining (38.7%)

Threshold costs 24.3b (4.1%)

17.2b17.5%AI.Clustering.Hierarchical.Internal:ward from clustering-0.2.1
15.8b50%Diagrams.TwoD.Arc:arcBetween from diagrams-lib-1.3.0.3
14.3b-29.1%Linear.Matrix:det44 from linear-1.19.1.3
9.8b19.2%System.Random.MWC.Distributions:truncatedExp from mwc-random-0.13.3.2
9.8b58%Data.Octree.Internal:octantDistance from Octree-0.5.4.2

localize10.0s (1.0%)

bsearch6.7s (0.7%)

end5.0ms (0.0%)