Details

series4.1m (27.0%)

Calls

2444 calls:

10.8s
(* (cbrt (- y z)) (/ (* (cbrt (- t x)) (cbrt (- t x))) (* (cbrt (- a z)) (cbrt (- a z)))))
961.0ms
(+ (* (log (pow y 1/3)) (+ y (* (+ y 0.5) 2))) (* (log (cbrt y)) 0.5))
811.0ms
(+ (* x (* 2 (log (cbrt x)))) (* x (log (pow (/ 1 x) -1/3))))
798.0ms
(+ (* (+ y 0.5) (* 2 (log (cbrt y)))) (* (log (cbrt y)) (+ y 0.5)))
795.0ms
(/ 1 (/ (+ y (* z (- b y))) (+ (* x y) (* z (- t a)))))

prune4.0m (26.7%)

sample3.8m (25.0%)

Algorithm
538×intervals
Results
1.5m2658077×body80valid
21.4s515094×body80nan
17.8s46544×body1280valid
9.3s41054×body640valid
4.3s5776×body2560valid
3.6s23848×body320valid
1.3s13229×body160valid
352.0ms6697×body80overflowed
120.0ms46×body5120valid
106.0ms661×body640nan
91.0ms457×body1280nan
47.0ms413×body320nan
18.0ms255×body160nan

simplify1.2m (8.1%)

Algorithm
1407×egg-herbie

rewrite53.5s (5.9%)

Algorithm
870×rewrite-expression-head
Calls

2444 calls:

1.3s
(* x (* (* (cbrt (- (/ y z) (/ 1 (/ (- 1.0 z) t)))) (cbrt (- (/ y z) (/ 1 (/ (- 1.0 z) t))))) (cbrt (- (/ y z) (/ 1 (/ (- 1.0 z) t))))))
1.1s
(* (cbrt (+ (+ (+ (+ y z) z) y) t)) (cbrt (+ (+ (+ (+ y z) z) y) t)))
1.0s
(+ (+ (+ (+ (+ x y) y) x) z) x)
611.0ms
(/ (- (+ (* (* (+ x y) (* (cbrt z) (cbrt z))) (cbrt z)) (* (+ t y) a)) (* y b)) (+ (+ x t) y))
603.0ms
(* x (+ (+ (+ y (+ z z)) y) t))
Rules
54055×times-frac
42921×*-un-lft-identity
39807×add-sqr-sqrt
28763×add-cube-cbrt
12137×add-exp-log
9036×add-cbrt-cube
7028×associate-*r*
6707×pow1
6363×cbrt-prod
5232×sqrt-prod
5135×cbrt-div
4336×associate-*l*
4005×frac-times
3959×associate-/r*
3773×flip3-- flip--
3769×distribute-lft-out--
3716×add-log-exp
3702×difference-of-squares
3597×prod-exp
3505×distribute-lft-out
3283×associate-/r/
3068×div-exp
2855×associate-*r/
2828×cbrt-unprod
2576×div-inv
2293×associate-*l/
2258×associate-/l*
2018×pow-prod-down
2000×cbrt-undiv
1817×flip-+ flip3-+
1413×log-prod
1397×unswap-sqr
1338×distribute-rgt-in distribute-lft-in
948×unpow-prod-down
824×pow1/3
778×*-commutative
747×sqrt-div
744×swap-sqr
684×sqrt-pow1
675×sub-neg
539×frac-sub
506×clear-num frac-2neg
491×associate-/l/
465×sum-log
432×associate-+l+
381×frac-add
376×associate-+r+
363×1-exp
323×pow-prod-up associate--l+
320×rec-exp
315×pow1/2
278×+-commutative
248×diff-log
245×tanh-def
234×pow-sqr
233×pow-exp
208×sqr-pow
159×log-pow
147×pow-to-exp
141×cube-prod
134×pow-unpow
102×div-sub
96×pow-flip
93×unpow2
90×pow-plus
88×rem-sqrt-square
84×pow2
79×inv-pow
71×pow-pow
69×associate--r+
52×exp-prod log-div
47×un-div-inv
44×distribute-rgt-neg-out
42×exp-sum
41×distribute-rgt-out--
39×rem-log-exp
34×cosh-def
33×cube-div
29×unpow3 cube-mult
24×distribute-rgt-neg-in distribute-lft-neg-in sinh-def
21×unsub-neg sum-cubes
20×associate-+l-
19×sqrt-unprod
18×distribute-rgt-out
17×rem-cube-cbrt associate-+r- sub-div
16×rem-square-sqrt
12×distribute-lft-neg-out rem-exp-log neg-mul-1
11×associate--l-
10×rem-cbrt-cube unpow1/3
9×associate--r-
8×tan-quot
7×exp-diff log-rec
6×distribute-rgt1-in cos-diff
5×distribute-lft1-in count-2
4×diff-cos neg-sub0 cos-sum exp-to-pow
2×pow-div sqrt-pow2 sin-neg neg-log sin-diff
1×exp-neg sqrt-undiv mul-1-neg

regimes49.5s (5.5%)

Accuracy

Total 208.4b remaining (37.4%)

Threshold costs 27.8b (5%)

14.4b55.1%Diagrams.TwoD.Arc:arcBetween from diagrams-lib-1.3.0.3
12.6b-21.2%Linear.Matrix:det44 from linear-1.19.1.3
9.1b16.9%Diagrams.Solve.Polynomial:cubForm from diagrams-solve-0.1, J
9.1b61%Data.Octree.Internal:octantDistance from Octree-0.5.4.2
8.3b22.9%Linear.Matrix:det33 from linear-1.19.1.3

localize9.8s (1.1%)

bsearch7.0s (0.8%)

end5.0ms (0.0%)