Details

prune13.7m (39.6%)

series11.8m (33.9%)

Calls

2406 calls:

40.8s
(/ (- (pow (+ (log (+ x y)) (log z)) 3) (pow t 3)) (+ (* (+ (log (+ x y)) (log z)) (+ (+ (log (+ x y)) (log z)) t)) (* t t)))
2.6s
(fma t (- (* (* (* x 18.0) y) z) (* a 4.0)) (- (* b c) (fma x (* 4.0 i) (* (* j 27.0) k))))
2.5s
(fma t (- (* (* (* x 18.0) y) z) (* a 4.0)) (- (* b c) (fma x (* 4.0 i) (* (* (* j 27.0) (* (cbrt k) (cbrt k))) (cbrt k)))))
2.5s
(fma t (- (* (* (* x 18.0) y) z) (* a 4.0)) (- (* b c) (fma x (* 4.0 i) (* j (* 27.0 k)))))
2.5s
(fma t (- (* (* (* x 18.0) y) z) (* a 4.0)) (- (* b c) (fma x (* 4.0 i) (* j (* 27.0 k)))))

sample5.1m (14.7%)

Algorithm
538×intervals
Results
2.3m2592552×body80valid
40.0s516911×body80nan
25.3s48083×body1280valid
14.6s43309×body640valid
5.8s25147×body320valid
5.6s5847×body2560valid
2.1s14011×body160valid
1.1s1534×body10240exit
191.0ms726×body640nan
164.0ms498×body1280nan
121.0ms40×body5120valid
86.0ms435×body320nan
32.0ms238×body160nan

regimes2.0m (5.7%)

Accuracy

Total 179.6b remaining (35.2%)

Threshold costs 24.4b (4.8%)

18.7b10.5%AI.Clustering.Hierarchical.Internal:ward from clustering-0.2.1
8.5b16%Diagrams.Solve.Polynomial:cubForm from diagrams-solve-0.1, J
8.5b-13.2%Linear.Matrix:det33 from linear-1.19.1.3
7.5b4.1%Data.Colour.Matrix:determinant from colour-2.3.3, A
7.1b64.7%Data.Array.Repa.Algorithms.Pixel:doubleRmsOfRGB8 from repa-algorithms-3.4.0.1

simplify1.3m (3.8%)

Algorithm
1410×egg-herbie

rewrite36.4s (1.8%)

Algorithm
873×rewrite-expression-head
Calls

2408 calls:

618.0ms
(* x (+ (+ (+ (+ y z) z) y) t))
467.0ms
(* a (- (- (log 1.0) (+ (* 1/2 (/ (pow z 2) (pow 1.0 2))) (* 1.0 z))) b))
363.0ms
(/ (* 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))))))
296.0ms
(* (/ t (* (cbrt a) (cbrt a))) (+ (- (/ z (cbrt a))) (/ z (cbrt a))))
281.0ms
(* (* (* (cbrt 1) (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0)))) (/ (* (cbrt x) (cbrt x)) (/ z (sqrt 2.0)))) (/ (cbrt x) (/ (- y t) (cbrt (sqrt 2.0)))))
Rules
44695×*-un-lft-identity
43616×times-frac
42594×add-sqr-sqrt
30837×add-cube-cbrt
12690×prod-diff
11847×add-exp-log
7807×add-cbrt-cube
7178×frac-times
6938×cbrt-prod
6837×frac-add
6194×pow1
5603×associate-/r/
5450×tanh-def
5229×associate-*r*
4595×distribute-lft-out--
4410×sqrt-prod
4392×difference-of-squares
4094×distribute-rgt-in distribute-lft-in
3660×prod-exp
3495×associate-*l*
3364×associate-*r/
3238×add-log-exp
3177×div-exp
3022×associate-/r*
2883×associate-*l/
2667×div-inv
2645×distribute-lft-out
2411×log1p-expm1-u
2408×expm1-log1p-u
2389×cbrt-unprod
2038×associate-/l*
1859×unpow-prod-down
1663×pow-prod-down
1654×cbrt-undiv
1652×flip3-- flip--
1502×cbrt-div
1236×unswap-sqr
1211×flip-+ flip3-+
1072×fma-def
1012×cube-prod
926×pow1/3
917×swap-sqr
903×log-prod
757×fma-neg
714×sqrt-div
711×associate-+r+
638×*-commutative
609×associate-+l+
595×sub-neg
582×sqrt-pow1
500×clear-num frac-2neg
455×associate--l+
430×pow-exp
406×1-exp
392×sqr-pow
376×associate-/l/
357×log-pow
329×fma-udef
303×pow-prod-up
282×pow1/2
273×rec-exp
264×sum-log
234×pow-sqr
221×pow-to-exp
192×diff-log
176×unpow2
167×+-commutative
161×pow-unpow
144×exp-sum
125×frac-sub
113×unpow3 cube-mult
108×cube-div
105×pow-flip pow-plus
96×pow2
95×div-sub
92×rem-sqrt-square
84×distribute-lft-neg-in
79×associate--r+
77×distribute-rgt-out
75×inv-pow
72×pow-pow
68×log-div
65×distribute-rgt-neg-in
59×rem-log-exp
41×un-div-inv exp-prod
40×distribute-rgt-out--
35×rem-cube-cbrt
31×associate-+l-
29×distribute-rgt-neg-out
26×sqrt-unprod
23×cos-sum
22×unpow-prod-up hypot-def
20×unpow1/3 sub-div sinh-def
19×distribute-lft-neg-out neg-mul-1
18×rem-square-sqrt
11×hypot-udef
10×rem-exp-log unsub-neg rem-cbrt-cube associate-+r-
9×distribute-lft1-in associate--r-
8×neg-sub0 cosh-def
7×exp-diff tan-quot
6×difference-cubes sin-neg associate--l-
5×distribute-rgt1-in count-2 diff-cos sin-diff
4×expm1-log1p sum-cubes expm1-udef exp-to-pow
3×cos-diff sin-mult
2×sqrt-pow2 log1p-udef pow3 log1p-expm1 pow-sub cos-mult distribute-neg-frac
1×sqrt-undiv exp-neg distribute-frac-neg neg-log mul-1-neg

localize9.5s (0.5%)

bsearch2.2s (0.1%)

end5.0ms (0.0%)