Details

series7.8m (38.3%)

Calls

2508 calls:

3.6m
(+ (pow (- (+ (* x y) (/ (* z t) 16.0)) (/ (* a b) 4.0)) 3) (pow c 3))
16.3s
(/ (* y (* z (- (pow (tanh (/ t y)) 3) (pow (tanh (/ x y)) 3)))) (+ (* (tanh (/ t y)) (tanh (/ t y))) (+ (* (tanh (/ x y)) (tanh (/ x y))) (* (tanh (/ t y)) (tanh (/ x y))))))
5.6s
(pow (+ (* (- (log z) t) y) (* a (- (- (log 1.0) (+ (* 1/2 (/ (pow z 2) (pow 1.0 2))) (* 1.0 z))) b))) 3)
3.4s
(+ (* c (- c (- (+ (* x y) (/ (* z t) 16.0)) (/ (* a b) 4.0)))) (* (- (+ (* x y) (/ (* z t) 16.0)) (/ (* a b) 4.0)) (- (+ (* x y) (/ (* z t) 16.0)) (/ (* a b) 4.0))))
2.9s
(/ (+ (pow (- (+ (* x y) (/ (* z t) 16.0)) (/ (* a b) 4.0)) 3) (pow c 3)) (+ (* c (- c (- (+ (* x y) (/ (* z t) 16.0)) (/ (* a b) 4.0)))) (* (- (+ (* x y) (/ (* z t) 16.0)) (/ (* a b) 4.0)) (- (+ (* x y) (/ (* z t) 16.0)) (/ (* a b) 4.0)))))

prune4.5m (22.2%)

sample4.0m (19.7%)

Algorithm
539×intervals
Results
1.3m2647010×body80valid
19.8s512806×body80nan
17.0s46571×body1280valid
9.5s43920×body640valid
3.9s5522×body2560valid
3.5s24487×body320valid
1.3s13852×body160valid
743.0ms1512×body10240exit
104.0ms675×body640nan
99.0ms41×body5120valid
85.0ms494×body1280nan
43.0ms423×body320nan
17.0ms251×body160nan

rewrite1.7m (8.2%)

Algorithm
890×rewrite-expression-head
Calls

2508 calls:

2.4s
(* (* (* x (/ (pow (sqrt (/ 1 a)) 1.0) (* (cbrt (exp (+ (* y (log (/ 1 z))) (+ (* (log (/ 1 a)) t) b)))) (cbrt (exp (+ (* y (log (/ 1 z))) (+ (* (log (/ 1 a)) t) b))))))) (/ (pow (sqrt (/ 1 a)) 1.0) (cbrt (exp (+ (* y (log (/ 1 z))) (+ (* (log (/ 1 a)) t) b)))))) (/ 1 y))
2.3s
(+ (+ (+ (+ (+ (* x (log y)) z) t) a) (* (- b 0.5) (log c))) (* y i))
1.4s
(/ (+ (pow (- (+ (* x y) (/ (* z t) 16.0)) (/ (* a b) 4.0)) 3) (pow c 3)) (+ (* c (- c (- (+ (* x y) (/ (* z t) 16.0)) (/ (* a b) 4.0)))) (* (- (+ (* x y) (/ (* z t) 16.0)) (/ (* a b) 4.0)) (- (+ (* x y) (/ (* z t) 16.0)) (/ (* a b) 4.0)))))
1.2s
(* x (+ (+ (+ (+ y z) z) y) t))
878.0ms
(+ (+ (- (+ (log (+ x y)) (log z)) t) (* (log (sqrt t)) (- a 0.5))) (* (log (sqrt t)) (- a 0.5)))
Rules
43746×times-frac
38820×*-un-lft-identity
36979×add-sqr-sqrt
24984×add-cube-cbrt
12485×add-exp-log
9274×add-cbrt-cube
8361×frac-times
7510×frac-add
6879×associate-*r*
6574×pow1
6179×cbrt-prod
5714×tanh-def
5522×associate-/r/
5064×associate-*r/
4602×associate-*l*
4561×associate-*l/
4278×distribute-lft-out--
4132×difference-of-squares
4098×prod-exp
3896×add-log-exp
3853×sqrt-prod
3743×associate-/r*
2941×div-exp
2893×cbrt-unprod
2800×distribute-lft-out
2769×flip3-- flip--
2443×associate-/l*
2277×div-inv
2116×cbrt-div
1968×cbrt-undiv
1888×pow-prod-down
1812×flip-+ flip3-+
1714×unpow-prod-down
1492×unswap-sqr
1222×log-prod
1218×cube-prod
1139×distribute-rgt-in distribute-lft-in
998×sqrt-div
992×swap-sqr
933×pow1/3
888×frac-sub
790×*-commutative
742×associate-/l/
647×sub-neg
537×clear-num frac-2neg
492×sum-log
404×sqrt-pow1
380×1-exp
367×sqr-pow
354×associate--l+
347×associate-+r+
342×associate-+l+
337×rec-exp
300×pow-exp
290×+-commutative
284×diff-log
274×pow-prod-up
248×pow-to-exp
229×pow-sqr
217×pow1/2
189×log-pow
169×pow-unpow
126×cube-div
124×div-sub
111×pow-plus
105×pow2
100×distribute-rgt-out--
88×rem-sqrt-square
78×pow-flip
77×unpow2
74×pow-pow
72×inv-pow associate--r+
68×exp-sum
66×exp-prod
60×un-div-inv
56×log-div
48×sin-mult
45×unpow3 cube-mult rem-log-exp
39×distribute-rgt-neg-out
34×sinh-def
33×unpow-prod-up
31×associate-+l-
30×distribute-rgt-neg-in distribute-lft-neg-in
27×rem-cube-cbrt
25×distribute-rgt-out
24×difference-cubes
23×sum-cubes cosh-def
22×neg-mul-1
19×associate-+r- sub-div
17×unsub-neg
16×rem-exp-log
13×sqrt-unprod
12×associate--l-
11×distribute-lft-neg-out rem-square-sqrt associate--r- rem-cbrt-cube
9×unpow1/3
7×log-rec
6×exp-diff distribute-rgt1-in
5×sqrt-pow2 distribute-lft1-in count-2
4×diff-cos pow-sub
3×e-exp-1 cos-diff exp-to-pow
2×pow-div neg-log exp-neg neg-sub0 tan-quot cos-sum mul-1-neg
1×sin-cos-mult pow3 sqrt-undiv remove-double-div cos-mult

simplify1.3m (6.4%)

Algorithm
1429×egg-herbie

regimes48.1s (3.9%)

Accuracy

Total 199.1b remaining (35.2%)

Threshold costs 26.9b (4.8%)

12.5b60.2%Diagrams.TwoD.Arc:arcBetween from diagrams-lib-1.3.0.3
10.0b57.7%Data.Octree.Internal:octantDistance from Octree-0.5.4.2
9.6b-4.3%Linear.Matrix:det44 from linear-1.19.1.3
8.8b13.4%Diagrams.Solve.Polynomial:cubForm from diagrams-solve-0.1, J
7.4b61.7%Data.Array.Repa.Algorithms.Pixel:doubleRmsOfRGB8 from repa-algorithms-3.4.0.1

localize9.8s (0.8%)

bsearch6.3s (0.5%)

end5.0ms (0.0%)