Details

series13.9m (56.1%)

Calls

2290 calls:

3.0s
(fma (- (* c a) (* y i)) j (- (* x (- (* y z) (* t a))) (+ (* b (- (* c z) (* t i))) (* b (fma (- i) t (* i t))))))
3.0s
(pow (fma b a (fma x y (* z t))) 3)
2.6s
(* (cbrt (- (fma (log y) (+ y 0.5) z) y)) (cbrt (- (fma (log y) (+ y 0.5) z) y)))
2.5s
(cbrt (* (- (fma (log y) (+ y 0.5) z) y) (- (fma (log y) (+ y 0.5) z) y)))
1.5s
(* (cbrt (fma (- 1.0 y) z (- (fma b (- (+ y t) 2.0) x) (* (- t 1.0) a)))) (cbrt (fma (- 1.0 y) z (- (fma b (- (+ y t) 2.0) x) (* (- t 1.0) a)))))

prune4.0m (16.2%)

sample3.6m (14.6%)

Algorithm
538×intervals
Results
1.1m2586467×body80valid
19.4s517365×body80nan
16.5s46121×body1280valid
8.9s42138×body640valid
4.0s5605×body2560valid
3.5s24062×body320valid
1.3s13683×body160valid
323.0ms6732×body80overflowed
102.0ms42×body5120valid
98.0ms705×body640nan
93.0ms493×body1280nan
43.0ms440×body320nan
16.0ms248×body160nan

simplify1.3m (5.1%)

Algorithm
1391×egg-herbie

rewrite1.1m (4.2%)

Algorithm
854×rewrite-expression-head
Calls

2292 calls:

2.6s
(* (* (* (* (* (* x 18.0) y) z) (cbrt t)) (cbrt t)) (cbrt t))
1.1s
(+ (- (+ (+ (log (+ x y)) (log (sqrt z))) (log (sqrt z))) t) (* (- a 0.5) (log t)))
760.0ms
(* (* (* (* (* x 18.0) y) z) (* (cbrt t) (cbrt t))) (cbrt t))
675.0ms
(* (* (* (* (* x 18.0) y) z) (cbrt t)) (cbrt t))
670.0ms
(* a (- (- (log 1.0) (+ (* 1/2 (/ (pow z 2) (pow 1.0 2))) (* 1.0 z))) b))
Rules
57308×times-frac
50976×*-un-lft-identity
48284×add-sqr-sqrt
35021×add-cube-cbrt
12394×prod-diff
10456×add-exp-log
7856×cbrt-prod
7550×add-cbrt-cube
7543×cbrt-div
5636×pow1
5447×sqrt-prod
5347×distribute-lft-out--
5274×associate-*r*
5168×difference-of-squares
3140×associate-*l*
3120×div-inv
3067×associate-/r*
3032×distribute-lft-out
3025×add-log-exp
3011×frac-times
2910×associate-/r/
2884×prod-exp
2871×div-exp
2602×associate-/l*
2595×distribute-rgt-in distribute-lft-in
2295×log1p-expm1-u
2293×expm1-log1p-u
2277×flip-+ flip3-+
2078×flip3-- flip--
2067×cbrt-unprod
1684×cbrt-undiv
1594×associate-*r/
1547×unpow-prod-down
1397×pow-prod-down
1386×associate-*l/
1221×unswap-sqr
1000×log-prod
853×pow1/3
761×swap-sqr
711×fma-def
698×fma-neg
576×*-commutative
528×sqrt-pow1
496×clear-num frac-2neg
488×cos-sum
487×sqr-pow
457×associate--l+
447×cube-prod
446×log-pow
437×associate-+r+
432×associate-+l+
431×1-exp
398×sqrt-div
380×sub-neg
361×associate-/l/
339×fma-udef
329×rec-exp
310×pow1/2
296×unpow2
271×pow-prod-up
214×sum-log
197×diff-log
195×pow-sqr
191×associate--r+
190×pow-exp
161×pow-to-exp
154×distribute-lft-neg-in
144×frac-sub
122×+-commutative distribute-rgt-out
120×distribute-rgt-neg-in
95×div-sub
93×exp-prod
90×unpow-prod-up exp-sum
89×rem-sqrt-square pow-plus
84×pow2
80×frac-add
79×pow-unpow
77×log-div
75×pow-flip
67×inv-pow
51×tanh-def
48×unpow3 cube-mult
45×un-div-inv pow-pow
44×rem-log-exp
38×hypot-def
32×associate-+l- distribute-rgt-out--
29×distribute-rgt-neg-out
28×neg-mul-1
25×sqrt-unprod
21×sinh-def
18×hypot-udef
17×rem-square-sqrt
14×unsub-neg associate-+r-
13×distribute-lft1-in cosh-def
12×rem-exp-log rem-cube-cbrt
11×difference-cubes sub-div
10×distribute-lft-neg-out distribute-neg-frac
8×cube-div cos-diff rem-cbrt-cube
7×expm1-udef expm1-log1p tan-quot
6×associate--l- neg-sub0 neg-log associate--r-
5×sqrt-pow2 unpow1/3 distribute-rgt1-in count-2 sum-cubes
4×exp-to-pow pow3 cos-mult
3×diff-cos
2×exp-diff sqrt-undiv log1p-udef log1p-expm1 distribute-neg-in pow-sub distribute-frac-neg sqr-cos
1×distribute-neg-out

regimes43.9s (2.9%)

Accuracy

Total 161.7b remaining (36.5%)

Threshold costs 27.9b (6.3%)

13.7b56.1%Diagrams.TwoD.Arc:arcBetween from diagrams-lib-1.3.0.3
8.2b-0.2%Graphics.Rendering.Chart.Axis.Types:linMap from Chart-1.5.3
6.7b17.9%Linear.Matrix:det33 from linear-1.19.1.3
6.5b11.3%Data.Colour.Matrix:determinant from colour-2.3.3, A
6.4b22.7%Graphics.Rendering.Chart.Axis.Types:invLinMap from Chart-1.5.3

localize9.1s (0.6%)

bsearch2.8s (0.2%)

end5.0ms (0.0%)