Details

sample5.6m (32.6%)

Algorithm
539×intervals
Results
2.9m2658828×body80valid
33.8s509873×body80nan
22.9s47368×body1280valid
13.6s43395×body640valid
5.3s23878×body320valid
5.0s5682×body2560valid
2.1s13838×body160valid
177.0ms698×body640nan
159.0ms510×body1280nan
115.0ms1593×body80overflowed
111.0ms40×body5120valid
78.0ms420×body320nan
31.0ms256×body160nan

series4.4m (25.7%)

Calls

2528 calls:

3.6s
(pow (+ (+ (* x y) (* z t)) (* a b)) 3)
3.2s
(+ (pow (+ (* x y) (* z t)) 3) (pow (* a b) 3))
2.8s
(- (- (+ (- (* (* x (* 18.0 y)) (* z t)) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* (* j 27.0) k))
2.8s
(- (- (+ (- (* (* x 18.0) (* y (* z t))) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* (* j 27.0) k))
2.8s
(- (- (+ (- (* (* (* x 18.0) y) (* z t)) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* (* j 27.0) k))

prune3.8m (21.9%)

simplify1.2m (7.2%)

Algorithm
1424×egg-herbie

rewrite1.0m (6.1%)

Algorithm
885×rewrite-expression-head
Calls

2528 calls:

3.7s
(- (- (+ (- (* (* (* x 18.0) y) (* z t)) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* (* j 27.0) k))
3.0s
(- (- (+ (- (* (* x (* 18.0 y)) (* z t)) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* (* j 27.0) k))
2.8s
(* (sqrt (+ x (/ (fabs (- y x)) 2.0))) (* (* (cbrt (sqrt (+ x (/ (fabs (- y x)) 2.0)))) (* (* (cbrt (cbrt (sqrt (+ x (/ (fabs (- y x)) 2.0))))) (cbrt (cbrt (sqrt (+ x (/ (fabs (- y x)) 2.0)))))) (cbrt (cbrt (sqrt (+ x (/ (fabs (- y x)) 2.0))))))) (cbrt (sqrt (+ x (/ (fabs (- y x)) 2.0))))))
2.6s
(- (- (+ (- (* (* x 18.0) (* y (* z t))) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* (* j 27.0) k))
1.4s
(+ x (- (/ y (- (/ a (- z t)) (/ t (- z t)))) (/ x (- (/ a (- z t)) (/ t (- z t))))))
Rules
38376×times-frac
34595×*-un-lft-identity
33200×add-sqr-sqrt
23345×add-cube-cbrt
11388×add-exp-log
8529×add-cbrt-cube
7593×cbrt-div
6628×pow1
6359×cbrt-prod
5942×associate-*r*
5092×frac-times
4916×sqrt-prod
4883×associate-*l*
3983×add-log-exp
3919×sqrt-div
3539×prod-exp
3146×associate-/r*
3038×flip-+ flip3-+
3028×difference-of-squares
3021×distribute-lft-out
2881×distribute-lft-out--
2860×associate-*r/
2790×flip3-- flip--
2603×associate-*l/
2540×div-exp
2502×cbrt-unprod
2209×associate-/l*
2071×div-inv
1818×pow-prod-down
1712×cbrt-undiv
1625×associate-/r/
1484×log-prod
1445×unswap-sqr
1286×unpow-prod-down
1145×distribute-rgt-in distribute-lft-in
1045×swap-sqr
965×pow1/3
770×*-commutative
677×sqrt-pow1
663×sub-neg
521×cube-prod
511×sum-log
505×clear-num frac-2neg
489×associate-/l/
383×pow1/2
372×1-exp
353×sqr-pow
346×associate-+l+
335×rec-exp
334×pow-prod-up
324×associate-+r+
316×diff-log
300×frac-sub
296×log-pow
291×frac-add
288×+-commutative
277×associate--l+
250×pow-sqr
224×exp-sum
192×pow-exp
139×rem-sqrt-square
124×pow-unpow
108×pow-to-exp div-sub
106×pow-plus
103×pow2
90×unpow-prod-up
89×distribute-rgt-out--
79×log-div
71×exp-prod
68×pow-pow
62×associate--r+ pow-flip
56×inv-pow distribute-rgt-out
52×tanh-def
47×rem-log-exp unpow2
45×distribute-rgt-neg-in distribute-lft-neg-in
43×un-div-inv
39×distribute-rgt-neg-out associate-+l-
32×cube-div
26×difference-cubes
25×unpow3 cube-mult neg-mul-1 sinh-def
23×sqrt-unprod
22×associate-+r-
21×distribute-neg-frac
20×rem-cube-cbrt rem-exp-log
19×sub-div unsub-neg
18×distribute-lft-neg-out rem-square-sqrt
12×associate--l-
11×exp-diff rem-cbrt-cube distribute-lft1-in cosh-def
10×e-exp-1
9×sum-cubes exp-to-pow
8×unpow1/3 distribute-rgt1-in associate--r-
7×cos-diff
6×count-2 cos-sum
5×log-rec diff-cos
4×sqrt-pow2
3×neg-sub0
2×pow-div neg-log pow-sub sqrt-undiv tan-quot
1×sin-cos-mult sin-neg exp-neg lft-mult-inverse sin-diff mul-1-neg

regimes50.1s (4.9%)

Accuracy

Total 207.0b remaining (36.7%)

Threshold costs 25.0b (4.4%)

13.2b58.1%Diagrams.TwoD.Arc:arcBetween from diagrams-lib-1.3.0.3
12.2b52.5%Data.Array.Repa.Algorithms.Pixel:doubleRmsOfRGB8 from repa-algorithms-3.4.0.1
11.2b53.6%Data.Octree.Internal:octantDistance from Octree-0.5.4.2
10.5b-19.9%Linear.Matrix:det44 from linear-1.19.1.3
7.7b24.8%Diagrams.Solve.Polynomial:cubForm from diagrams-solve-0.1, J

localize9.9s (1.0%)

bsearch7.3s (0.7%)

end5.0ms (0.0%)