Details

series4.6m (28.7%)

Calls

2570 calls:

10.5s
(* (cbrt (- y z)) (/ (* (cbrt (- t x)) (cbrt (- t x))) (* (cbrt (- a z)) (cbrt (- a z)))))
5.7s
(/ (* (cbrt (+ (pow (* x y) 3) (pow (* (- 1.0 x) z) 3))) (cbrt (- (* (* x y) (* x y)) (* (* (- 1.0 x) z) (* (- 1.0 x) z))))) (* (cbrt (+ (* (* x y) (* x y)) (- (* (* (- 1.0 x) z) (* (- 1.0 x) z)) (* (* x y) (* (- 1.0 x) z))))) (cbrt (- (* x y) (* (- 1.0 x) z)))))
3.4s
(pow (pow (log (- 1.0 (/ y x))) 3) 3)
3.3s
(+ (pow (+ (* x y) (* z t)) 3) (pow (* a b) 3))
1.4s
(* (cbrt (/ (- z t) (* (cbrt (- a t)) (cbrt (- a t))))) (/ y (cbrt (- a t))))

prune4.6m (28.5%)

sample3.7m (22.8%)

Algorithm
539×intervals
Results
1.4m2654059×body80valid
21.1s525510×body80nan
17.7s47387×body1280valid
9.7s43835×body640valid
4.1s5665×body2560valid
3.6s24984×body320valid
1.3s13706×body160valid
762.0ms1571×body10240exit
133.0ms54×body5120valid
95.0ms635×body640nan
83.0ms465×body1280nan
42.0ms389×body320nan
15.0ms228×body160nan

simplify1.3m (8.0%)

Algorithm
1437×egg-herbie

rewrite51.0s (5.3%)

Algorithm
898×rewrite-expression-head
Calls

2570 calls:

668.0ms
(* x (+ (+ (+ (+ y z) z) y) t))
539.0ms
(* (* y z) (* (* (cbrt (- (tanh (/ t y)) (tanh (/ x y)))) (cbrt (- (tanh (/ t y)) (tanh (/ x y))))) (cbrt (- (tanh (/ t y)) (tanh (/ x y))))))
517.0ms
(/ (* (* x (/ (pow (sqrt (/ 1 a)) 1.0) (sqrt (exp (+ (* y (log (/ 1 z))) (+ (* (log (/ 1 a)) t) b)))))) (/ (pow (sqrt (/ 1 a)) 1.0) (sqrt (exp (+ (* y (log (/ 1 z))) (+ (* (log (/ 1 a)) t) b)))))) y)
425.0ms
(* y (* (* (cbrt (/ 1 (/ (- z a) (- z t)))) (cbrt (/ 1 (/ (- z a) (- z t))))) (cbrt (/ 1 (/ (- z a) (- z t))))))
408.0ms
(* a (- (- (log 1.0) (+ (* 1/2 (/ (pow z 2) (pow 1.0 2))) (* 1.0 z))) b))
Rules
55981×times-frac
43413×*-un-lft-identity
41291×add-sqr-sqrt
30588×add-cube-cbrt
13817×sqrt-prod
11414×add-exp-log
11400×cbrt-prod
9005×add-cbrt-cube
8241×cbrt-div
7139×pow1
6705×associate-*r*
5797×frac-times
4734×frac-sub
4621×associate-*r/
4523×unpow-prod-down
4194×associate-*l*
3982×add-log-exp
3597×difference-of-squares
3554×distribute-lft-out--
3485×prod-exp
3333×associate-/r*
3132×associate-*l/
3065×distribute-lft-out
2854×cbrt-unprod
2832×flip3-- flip--
2768×flip-+ flip3-+
2653×tanh-def
2548×associate-/l*
2451×div-exp
2203×div-inv
2201×associate-/r/
2057×pow-prod-down
1775×cbrt-undiv
1769×sqrt-div
1395×unswap-sqr
1324×log-prod
1198×distribute-rgt-in distribute-lft-in
978×pow1/3
882×swap-sqr
870×sqr-pow
822×*-commutative
728×associate-/l/
692×sub-neg
629×sqrt-pow1
604×unpow2
553×cube-prod
510×clear-num frac-2neg
478×sum-log
415×pow-prod-up
377×associate-+l+
368×pow1/2
351×associate-+r+ associate--l+
307×diff-log
301×frac-add
296×pow-sqr
295×+-commutative
268×pow-exp
249×1-exp
240×rec-exp
222×log-pow
173×rem-sqrt-square
157×pow-plus
155×pow-to-exp
139×pow-unpow
126×pow2
123×div-sub
116×exp-prod
76×pow-pow
73×pow-flip
68×distribute-rgt-out--
64×associate--r+
56×inv-pow unpow3 cube-mult exp-sum
45×log-div
38×distribute-rgt-neg-in distribute-rgt-neg-out
37×un-div-inv
34×rem-log-exp
33×associate-+l-
30×distribute-rgt-out
29×sqrt-unprod
28×sum-cubes
26×cube-div sub-div
25×distribute-lft-neg-in
19×associate-+r- unsub-neg rem-square-sqrt
15×difference-cubes unpow1/3
14×rem-cube-cbrt rem-exp-log cosh-def
13×neg-mul-1
12×sinh-def
10×associate--l- distribute-lft-neg-out associate--r-
8×distribute-rgt1-in rem-cbrt-cube
7×distribute-lft1-in log-rec
6×count-2
5×diff-cos
4×exp-diff pow3 neg-sub0 tan-quot
3×pow-div cos-diff neg-log exp-to-pow
2×cos-sum sqrt-undiv sin-mult cos-mult
1×sqrt-pow2 exp-neg sum-cos mul-1-neg

regimes49.8s (5.1%)

Accuracy

Total 197.6b remaining (34.6%)

Threshold costs 30.4b (5.3%)

12.4b-16.9%Linear.Matrix:det44 from linear-1.19.1.3
12.1b60.7%Diagrams.TwoD.Arc:arcBetween from diagrams-lib-1.3.0.3
10.0b56.9%Data.Octree.Internal:octantDistance from Octree-0.5.4.2
9.4b50.6%AI.Clustering.Hierarchical.Internal:ward from clustering-0.2.1
9.2b17.1%Diagrams.Solve.Polynomial:cubForm from diagrams-solve-0.1, J

localize9.9s (1.0%)

bsearch5.4s (0.6%)

end5.0ms (0.0%)