Details

series5.4m (29.7%)

Calls

2517 calls:

16.5s
(/ (* 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))))))
12.1s
(* (cbrt (- y z)) (/ (* (cbrt (- t x)) (cbrt (- t x))) (* (cbrt (- a z)) (cbrt (- a z)))))
11.8s
(* (cbrt (- y z)) (/ (* (cbrt (- t x)) (cbrt (- t x))) (* (cbrt (- a z)) (cbrt (- a z)))))
11.7s
(* (cbrt (- y z)) (/ (* (cbrt (- t x)) (cbrt (- t x))) (* (cbrt (- a z)) (cbrt (- a z)))))
11.7s
(* (cbrt (- y z)) (/ (* (cbrt (- t x)) (cbrt (- t x))) (* (cbrt (- a z)) (cbrt (- a z)))))

prune4.8m (26.2%)

sample4.1m (22.2%)

Algorithm
539×intervals
Results
1.3m2658898×body80valid
20.0s516746×body80nan
17.3s47510×body1280valid
9.5s44209×body640valid
4.1s5694×body2560valid
3.5s25211×body320valid
1.2s13207×body160valid
772.0ms1614×body10240exit
127.0ms50×body5120valid
94.0ms672×body640nan
86.0ms486×body1280nan
40.0ms387×body320nan
14.0ms220×body160nan

rewrite1.7m (9.1%)

Algorithm
889×rewrite-expression-head
Calls

2517 calls:

2.2s
(* (/ (/ 1 (cbrt (- (/ z (- x y)) (/ y (- x y))))) (cbrt (- (/ z (- x y)) (/ y (- x y))))) (/ 1 (cbrt (- (/ z (- x y)) (/ y (- x y))))))
2.1s
(+ (+ (+ (+ (+ (* x (log y)) z) t) a) (* (- b 0.5) (log c))) (* y i))
1.5s
(* (/ (/ (pow (/ (sqrt 1) (sqrt a)) 1.0) (sqrt (exp (+ (* y (log (/ 1 z))) (+ (* (log (/ 1 a)) t) b))))) y) (* (/ (pow (/ (sqrt 1) (sqrt a)) 1.0) (sqrt (exp (+ (* y (log (/ 1 z))) (+ (* (log (/ 1 a)) t) b))))) x))
1.1s
(* x (+ (+ (+ (+ y z) z) y) t))
1.1s
(* (cbrt (+ (- (+ (* x y) (/ (* z t) 16.0)) (/ (* a b) 4.0)) c)) (cbrt (+ (- (+ (* x y) (/ (* z t) 16.0)) (/ (* a b) 4.0)) c)))
Rules
55685×times-frac
46320×*-un-lft-identity
43347×add-sqr-sqrt
28563×add-cube-cbrt
19138×cbrt-div
14559×frac-times
13324×frac-add
11701×add-exp-log
10805×cbrt-prod
10577×associate-*r/
9426×flip-+
9425×flip3-+
8858×add-cbrt-cube
7092×pow1
6914×associate-*r*
6764×associate-*l*
6294×sqrt-prod
6078×associate-/r/
5680×tanh-def
5679×distribute-lft-out--
5098×difference-of-squares
5049×unpow-prod-down
5017×associate-*l/
3849×add-log-exp
3629×associate-/r*
3460×prod-exp
3262×distribute-lft-out
2757×cbrt-unprod
2750×div-exp
2709×flip--
2708×flip3--
2606×div-inv
2398×associate-/l*
2337×log-prod
2215×pow-prod-down
1869×cbrt-undiv
1706×cube-prod
1554×unswap-sqr
1388×distribute-rgt-in distribute-lft-in
1004×pow1/3
894×swap-sqr
817×sqrt-div
802×*-commutative
742×sqrt-pow1
738×frac-sub
625×sqr-pow
582×sub-neg
527×exp-sum
512×sum-log
508×distribute-rgt-out--
502×associate-/l/
498×clear-num frac-2neg
437×associate-+l+
362×associate-+r+
346×pow-prod-up
334×1-exp
315×associate--l+
306×rec-exp
303×pow1/2
293×+-commutative
260×pow-sqr
248×diff-log
246×pow-exp
236×log-pow
156×unpow3 cube-mult
148×pow-to-exp
113×exp-prod
112×pow-unpow
110×pow-plus
109×div-sub
103×cube-div
98×pow2
89×rem-sqrt-square
80×unpow2
79×pow-flip
70×inv-pow
58×associate--r+ rem-log-exp
56×distribute-rgt-neg-out pow-pow
55×distribute-rgt-neg-in distribute-lft-neg-in log-div
53×sub-div
52×un-div-inv
40×associate-+l-
34×sinh-def
26×sqrt-unprod
23×distribute-rgt-out
22×unsub-neg
21×difference-cubes
19×neg-mul-1 cosh-def associate-+r-
18×sum-cubes
17×rem-cube-cbrt rem-square-sqrt
13×unpow1/3
12×rem-cbrt-cube
11×distribute-lft-neg-out associate--r-
8×associate--l-
7×pow-div rem-exp-log sqrt-undiv
6×distribute-rgt1-in distribute-lft1-in log-rec
5×exp-diff count-2
4×diff-cos cube-unmult
3×sqrt-pow2 exp-neg cos-diff sin-mult cos-mult
2×neg-log pow3 neg-sub0 tan-quot cos-sum distribute-neg-frac exp-to-pow
1×mul-1-neg

simplify1.3m (7.0%)

regimes49.3s (4.5%)

Accuracy

Total 196.7b remaining (34.5%)

Threshold costs 26.6b (4.7%)

15.0b51.3%Diagrams.TwoD.Arc:arcBetween from diagrams-lib-1.3.0.3
10.9b-5.9%Diagrams.Solve.Polynomial:cubForm from diagrams-solve-0.1, J
10.1b58%Data.Octree.Internal:octantDistance from Octree-0.5.4.2
8.6b0%Linear.Matrix:det44 from linear-1.19.1.3
7.8b60.4%Data.Array.Repa.Algorithms.Pixel:doubleRmsOfRGB8 from repa-algorithms-3.4.0.1

localize9.7s (0.9%)

bsearch4.6s (0.4%)

end5.0ms (0.0%)