Details

prune4.4m (28.0%)

series4.4m (27.8%)

Calls

2525 calls:

2.0s
(/ (+ 2.0 (* (* (* (sqrt (sqrt 2.0)) (* (sqrt (sqrt 2.0)) (- (sin x) (/ (sin y) 16.0)))) (- (sin y) (/ (sin x) 16.0))) (- (cos x) (cos y)))) (* 3.0 (+ (+ 1.0 (* (/ (- (sqrt 5.0) 1.0) 2.0) (cos x))) (* (/ (/ (+ (* 3.0 3.0) (- 5.0)) (+ 3.0 (sqrt 5.0))) 2.0) (cos y)))))
1.8s
(/ (+ 2.0 (* (* (* (sqrt 2.0) (- (sin x) (/ (sin y) 16.0))) (- (sin y) (/ (sin x) 16.0))) (- (cos x) (cos y)))) (* 3.0 (+ (+ 1.0 (* (/ (- (sqrt 5.0) 1.0) 2.0) (cos x))) (* (/ (/ (+ (* 3.0 3.0) (- 5.0)) (+ 3.0 (sqrt 5.0))) 2.0) (cos y)))))
1.6s
(/ (+ 2.0 (* (* (* (sqrt (sqrt 2.0)) (* (sqrt (sqrt 2.0)) (- (sin x) (/ (sin y) 16.0)))) (- (sin y) (/ (sin x) 16.0))) (- (cos x) (cos y)))) (+ (+ 1.0 (* (/ (- (sqrt 5.0) 1.0) 2.0) (cos x))) (* (/ (/ (+ (* 3.0 3.0) (- 5.0)) (+ 3.0 (sqrt 5.0))) 2.0) (cos y))))
1.5s
(/ (* (cbrt (- (* (* x y) (* x y)) (* (* (- x 1.0) z) (* (- x 1.0) z)))) (cbrt (- (* (* x y) (* x y)) (* (* (- x 1.0) z) (* (- x 1.0) z))))) (* (cbrt (- (* x y) (* (- x 1.0) z))) (cbrt (- (* x y) (* (- x 1.0) z)))))
960.0ms
(* (cbrt (log (/ (exp 1.0) (- 1.0 (/ (- x y) (- 1.0 y)))))) (cbrt (log (/ (exp 1.0) (- 1.0 (/ (- x y) (- 1.0 y)))))))

sample3.6m (23.2%)

Algorithm
538×intervals
Results
1.4m2656356×body80valid
20.1s506870×body80nan
17.3s47122×body1280valid
9.3s42542×body640valid
4.4s5733×body2560valid
3.5s24474×body320valid
1.3s13722×body160valid
801.0ms1616×body10240exit
99.0ms690×body640nan
97.0ms39×body5120valid
85.0ms468×body1280nan
44.0ms426×body320nan
16.0ms229×body160nan

simplify1.3m (8.1%)

Algorithm
1434×egg-herbie

regimes53.2s (5.7%)

Accuracy

Total 212.1b remaining (38.4%)

Threshold costs 21.7b (3.9%)

13.2b57.9%Diagrams.TwoD.Arc:arcBetween from diagrams-lib-1.3.0.3
12.2b53.4%Data.Array.Repa.Algorithms.Pixel:doubleRmsOfRGB8 from repa-algorithms-3.4.0.1
11.1b-21.8%Linear.Matrix:det44 from linear-1.19.1.3
10.3b57.2%Data.Octree.Internal:octantDistance from Octree-0.5.4.2
8.5b14.7%Diagrams.Solve.Polynomial:cubForm from diagrams-solve-0.1, J

rewrite52.0s (5.5%)

Algorithm
897×rewrite-expression-head
Calls

2525 calls:

1.2s
(* (cbrt (+ (* x (+ (+ (+ y (+ z z)) y) t)) (* y 5.0))) (cbrt (+ (* x (+ (+ (+ y (+ z z)) y) t)) (* y 5.0))))
755.0ms
(* y (* (* (cbrt (* z (- (tanh (/ t y)) (tanh (/ x y))))) (cbrt (* z (- (tanh (/ t y)) (tanh (/ x y)))))) (cbrt (* z (- (tanh (/ t y)) (tanh (/ x y)))))))
679.0ms
(* x (+ (+ (+ y (+ z z)) y) t))
672.0ms
(* x (+ (+ (+ (+ y z) z) y) t))
598.0ms
(* (* (* (- x (/ 16.0 116.0)) (* (pow (cbrt 3.0) 2) (* (cbrt (cbrt 3.0)) (cbrt (cbrt 3.0))))) (cbrt (cbrt 3.0))) y)
Rules
30316×add-sqr-sqrt
30017×*-un-lft-identity
29361×times-frac
19297×add-cube-cbrt
12345×add-exp-log
10672×associate-*r/
9841×cbrt-div
8954×add-cbrt-cube
6869×pow1
6618×frac-times
6474×associate-*r*
5543×cbrt-prod
4339×associate-*l*
4222×frac-sub
3972×prod-exp
3867×add-log-exp
3631×difference-of-squares
3564×distribute-lft-out--
3092×associate-/r*
2998×sqrt-prod
2916×cbrt-unprod
2838×div-exp
2728×associate-*l/
2657×flip3-- flip--
2634×tanh-def
2428×flip-+ flip3-+
2056×pow-prod-down
1937×associate-/l*
1897×distribute-lft-out
1858×cbrt-undiv
1615×div-inv
1530×unswap-sqr
1527×associate-/r/
1449×log-prod
1250×distribute-rgt-in distribute-lft-in
1045×unpow-prod-down
1021×pow1/3
903×swap-sqr
881×frac-add
811×*-commutative
695×sqrt-pow1
595×sqrt-div sub-neg
505×sum-log
498×clear-num frac-2neg
490×associate-/l/
439×associate-+l+
407×pow-exp
351×un-div-inv
342×pow-prod-up
340×associate-+r+
326×associate--l+
325×log-pow
321×cube-prod
307×exp-prod
301×+-commutative
293×pow1/2
268×pow-sqr
258×1-exp
257×rec-exp
246×diff-log
241×sqr-pow
184×pow-to-exp
154×pow-unpow
117×pow-plus
113×div-sub
108×pow2
97×exp-sum
90×unpow-prod-up
83×rem-sqrt-square
75×distribute-rgt-neg-in
74×pow-pow
73×distribute-lft-neg-in
61×associate--r+
60×pow-flip
56×inv-pow
54×distribute-rgt-neg-out
53×unpow2
45×log-div
42×rem-log-exp
38×unpow3
34×cube-div distribute-rgt-out-- cube-mult
32×associate-+l-
31×rem-cube-cbrt
30×sinh-def
29×unsub-neg sum-cubes
28×associate-+r-
24×distribute-neg-frac
23×distribute-lft-neg-out distribute-rgt-out neg-mul-1
21×sub-div
20×sqrt-unprod
19×rem-exp-log rem-square-sqrt
14×neg-sub0
13×cosh-def
10×difference-cubes neg-log rem-cbrt-cube
8×distribute-lft1-in log-rec associate--r-
7×unpow1/3 sin-mult
6×associate--l- distribute-rgt1-in cos-mult
5×exp-diff count-2
4×sin-neg diff-cos distribute-frac-neg tan-quot exp-to-pow
3×cos-diff sin-diff
2×cos-sum sqrt-pow2 pow3 exp-neg pow-sub mul-1-neg
1×sin-cos-mult sqrt-undiv

localize10.0s (1.1%)

bsearch6.2s (0.7%)

end5.0ms (0.0%)