Details

series4.7m (28.4%)

Calls

2556 calls:

10.2s
(/ (- (* (- (* 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.4s
(/ (* (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.5s
(- (* (- (+ (* x y) (/ (* z t) 16.0)) (/ (* a b) 4.0)) (- (+ (* x y) (/ (* z t) 16.0)) (/ (* a b) 4.0))) (* c c))
1.0s
(* (cbrt (+ (* x 0.5) (* y (+ (- 1.0 z) (log z))))) (cbrt (+ (* x 0.5) (* y (+ (- 1.0 z) (log z))))))
848.0ms
(/ 1 (/ (+ y (* z (- b y))) (+ (* x y) (* z (- t a)))))

sample4.0m (24.4%)

Algorithm
539×intervals
Results
1.3m2654652×body80valid
20.4s519769×body80nan
17.1s46779×body1280valid
9.8s44015×body640valid
4.0s5744×body2560valid
3.5s25051×body320valid
1.3s13699×body160valid
738.0ms1509×body10240exit
111.0ms45×body5120valid
94.0ms669×body640nan
81.0ms480×body1280nan
41.0ms419×body320nan
12.0ms189×body160nan

prune3.9m (23.8%)

rewrite1.5m (9.2%)

Algorithm
901×rewrite-expression-head
Calls

2556 calls:

2.2s
(+ (+ (+ (+ (+ (* x (log y)) z) t) a) (* (- b 0.5) (log c))) (* y i))
1.8s
(+ (+ (+ (+ (+ x y) y) x) z) x)
1.1s
(* x (+ (+ (+ (+ y z) z) y) t))
882.0ms
(+ (/ x y) (- (+ (/ (sqrt 2.0) (/ (* t z) (sqrt 2.0))) (/ 2.0 t)) 2.0))
871.0ms
(+ 1.0 (- (- (/ (/ 1.0 x) 9.0)) (/ (/ y 3.0) (sqrt x))))
Rules
54533×times-frac
44380×*-un-lft-identity
42093×add-sqr-sqrt
29519×add-cube-cbrt
15030×add-exp-log
9058×add-cbrt-cube
7722×associate-*r*
7713×cbrt-prod
6981×pow1
5457×associate-*l*
5354×prod-exp
4582×div-exp
4313×distribute-lft-out--
4231×sqrt-prod
4216×difference-of-squares
3992×add-log-exp
3771×associate-/r*
3306×distribute-lft-out
2796×cbrt-unprod
2702×div-inv
2253×cbrt-div
2174×flip--
2173×flip3--
2126×associate-/l*
2058×associate-*r/
2054×cbrt-undiv
2024×associate-/r/
1931×pow-prod-down
1875×unpow-prod-down
1850×flip-+
1849×flip3-+
1827×log-prod
1688×distribute-rgt-in associate-*l/ distribute-lft-in
1668×frac-times
1667×unswap-sqr
1400×pow-exp
1104×swap-sqr
977×pow1/3
855×sqrt-div
834×sqrt-pow1
790×*-commutative
707×1-exp
691×associate-/l/
657×sub-neg
633×frac-sub
630×rec-exp
556×associate-+l+
540×sum-log
523×cube-prod
516×clear-num frac-2neg
424×pow-to-exp
407×frac-add
405×pow-prod-up
385×pow1/2
362×sqr-pow
359×associate-+r+
357×log-pow
307×pow-sqr
300×+-commutative
285×associate--l+
270×diff-log
218×exp-prod
212×tanh-def
168×pow-unpow
148×pow-plus
145×div-sub
139×distribute-neg-frac
129×rem-sqrt-square
128×pow2
105×pow-flip
96×pow-pow
95×log-div
90×unpow2
81×cube-div
80×inv-pow
57×unpow3 cube-mult
56×un-div-inv associate--r+
50×exp-sum
44×distribute-rgt-neg-out rem-log-exp
37×sinh-def
32×rem-cube-cbrt associate-+l-
29×sqrt-unprod
26×associate-+r-
23×rem-square-sqrt
22×cosh-def
21×unsub-neg
19×distribute-rgt-neg-in distribute-rgt-out
18×unpow-prod-up
17×rem-cbrt-cube
15×rem-exp-log distribute-lft-neg-in
14×difference-of-sqr-1
13×exp-diff associate--r-
12×difference-cubes unpow1/3
11×associate--l-
10×distribute-lft-neg-out sum-cubes
9×sub-div neg-mul-1
8×tan-quot
7×distribute-rgt-out-- neg-sub0
6×distribute-rgt1-in neg-log
5×distribute-lft1-in count-2 cos-mult exp-to-pow
4×sqrt-pow2 pow3
3×exp-neg cos-diff distribute-neg-in diff-cos
2×cos-sum log-rec sqr-cos
1×sqrt-undiv pow-sub unpow1/2 sin-mult mul-1-neg

simplify1.2m (7.5%)

Algorithm
1440×egg-herbie

regimes49.5s (5.0%)

Accuracy

Total 223.4b remaining (38.4%)

Threshold costs 23.5b (4%)

17.2b17.5%AI.Clustering.Hierarchical.Internal:ward from clustering-0.2.1
14.3b-29.1%Linear.Matrix:det44 from linear-1.19.1.3
12.0b61.1%Diagrams.TwoD.Arc:arcBetween from diagrams-lib-1.3.0.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.3s (1.0%)

bsearch6.6s (0.7%)

end5.0ms (0.0%)