Details

sample5.6m (31.7%)

Algorithm
539×intervals
Results
2.8m2649992×body80valid
36.2s524780×body80nan
22.2s46551×body1280valid
13.5s43866×body640valid
5.4s25162×body320valid
4.7s5619×body2560valid
2.0s13689×body160valid
170.0ms661×body640nan
168.0ms511×body1280nan
132.0ms47×body5120valid
106.0ms1549×body80overflowed
76.0ms402×body320nan
29.0ms228×body160nan

series4.4m (25.2%)

Calls

2570 calls:

5.3s
(sqrt (+ (* (- (+ y t) 2.0) b) (- (- x (* (- y 1.0) z)) (* (- t 1.0) a))))
5.3s
(sqrt (+ (* (- (+ y t) 2.0) b) (- (- x (* (- y 1.0) z)) (* (- t 1.0) a))))
2.5s
(* (cbrt (+ (* (- x 1.0) (log y)) (* (- z 1.0) (- (log 1.0) (+ (* 1.0 y) (* 1/2 (/ (pow y 2) (pow 1.0 2)))))))) (cbrt (+ (* (- x 1.0) (log y)) (* (- z 1.0) (- (log 1.0) (+ (* 1.0 y) (* 1/2 (/ (pow y 2) (pow 1.0 2)))))))))
2.0s
(cbrt (+ (* (- x 1.0) (log y)) (* (- z 1.0) (- (log 1.0) (+ (* 1.0 y) (* 1/2 (/ (pow y 2) (pow 1.0 2))))))))
1.9s
(cbrt (+ (* (- x 1.0) (log y)) (* (- z 1.0) (- (log 1.0) (+ (* 1.0 y) (* 1/2 (/ (pow y 2) (pow 1.0 2))))))))

prune4.2m (23.8%)

simplify1.3m (7.3%)

Algorithm
1447×egg-herbie

regimes54.4s (5.1%)

Accuracy

Total 203.3b remaining (36.3%)

Threshold costs 25.1b (4.5%)

14.4b-22.9%Linear.Matrix:det44 from linear-1.19.1.3
12.2b60.6%Diagrams.TwoD.Arc:arcBetween from diagrams-lib-1.3.0.3
11.4b51.6%Data.Octree.Internal:octantDistance from Octree-0.5.4.2
9.5b47.9%AI.Clustering.Hierarchical.Internal:ward from clustering-0.2.1
7.3b62.9%Data.Array.Repa.Algorithms.Pixel:doubleRmsOfRGB8 from repa-algorithms-3.4.0.1

rewrite52.4s (5.0%)

Algorithm
908×rewrite-expression-head
Calls

2570 calls:

1.8s
(* (* x (* (/ (* (cbrt (pow (/ 1 a) 1.0)) (cbrt (pow (/ 1 a) 1.0))) (* (cbrt (exp (+ (* y (log (/ 1 z))) (+ (* (log (/ 1 a)) t) b)))) (cbrt (exp (+ (* y (log (/ 1 z))) (+ (* (log (/ 1 a)) t) b)))))) (/ (cbrt (pow (/ 1 a) 1.0)) (cbrt (exp (+ (* y (log (/ 1 z))) (+ (* (log (/ 1 a)) t) b))))))) (/ 1 y))
1.0s
(+ (+ (+ (+ (+ x y) y) x) z) x)
632.0ms
(* x (+ (+ (+ (+ y z) z) y) t))
604.0ms
(+ x (/ (/ 1 (/ (- a t) (- z t))) (/ 1 (- y x))))
443.0ms
(* (- (/ y (+ (- t z) 1.0)) (/ z (+ (- t z) 1.0))) a)
Rules
59895×times-frac
45859×*-un-lft-identity
45399×add-sqr-sqrt
30929×add-cube-cbrt
12143×add-exp-log
9360×add-cbrt-cube
7297×cbrt-prod
7143×pow1
6212×associate-*r*
5479×flip-- flip3--
5379×difference-of-squares
5378×cbrt-div
5138×frac-times
5060×distribute-lft-out--
4758×sqrt-prod
4690×associate-*l*
4025×add-log-exp
3982×associate-*l/
3839×associate-/r*
3619×sqrt-div
3459×prod-exp
3083×div-exp
2907×cbrt-unprod
2895×div-inv
2790×associate-*r/
2739×associate-/l*
2565×distribute-lft-out
2533×associate-/r/
2116×pow-prod-down
2093×cbrt-undiv
1740×flip-+ flip3-+
1614×log-prod
1564×unswap-sqr
1437×unpow-prod-down
1286×frac-add
1145×distribute-rgt-in distribute-lft-in
925×pow1/3
835×swap-sqr
828×sqrt-pow1
779×*-commutative
767×cube-prod
640×sub-neg
623×associate-/l/
550×frac-sub
545×sum-log
534×clear-num frac-2neg
432×associate-+l+
414×associate-+r+
400×sqr-pow
397×pow-prod-up
364×1-exp
350×pow1/2
340×rec-exp
337×associate--l+
317×+-commutative
289×diff-log
288×pow-sqr
185×log-pow
149×pow-exp
139×unpow2
127×pow-plus
118×div-sub
114×pow-unpow
113×pow2
106×rem-sqrt-square
104×pow-to-exp
87×distribute-lft-neg-in distribute-rgt-neg-in
73×cube-div pow-pow
70×pow-flip
69×un-div-inv
68×inv-pow
63×log-div
62×exp-sum
53×distribute-rgt-out--
49×associate-+l-
47×exp-prod rem-log-exp
44×unpow3 cube-mult
43×associate--r+
40×tanh-def
36×sinh-def
35×distribute-rgt-neg-out
31×distribute-rgt-out
28×rem-cube-cbrt cosh-def
25×associate-+r-
23×sqrt-unprod
19×difference-cubes sub-div
18×rem-square-sqrt
15×neg-mul-1
13×unpow1/3 unsub-neg
11×rem-cbrt-cube
10×associate--l-
9×distribute-neg-frac
7×distribute-lft-neg-out rem-exp-log exp-to-pow
6×sum-cubes distribute-lft1-in distribute-rgt1-in
5×sqrt-pow2 count-2 associate--r-
4×cos-diff diff-cos cos-sum log-rec
3×neg-sub0
2×pow-div neg-log exp-diff pow3 tan-quot
1×sqrt-undiv sin-cos-mult exp-neg mul-1-neg

bsearch10.8s (1.0%)

localize9.8s (0.9%)

end4.0ms (0.0%)