Details

simplify44.0m (64.3%)

sample9.2m (13.4%)

Algorithm
539×intervals
Results
3.7m2656950×body80valid
1.0m526270×body80nan
39.1s46562×body1280valid
24.0s44101×body640valid
10.4s24686×body320valid
7.7s5558×body2560valid
2.7s13515×body160valid
1.7s1519×body10240exit
217.0ms662×body640nan
217.0ms489×body1280nan
124.0ms423×body320nan
100.0ms35×body5120valid
27.0ms223×body160nan

series6.1m (8.9%)

Calls

2476 calls:

5.5s
(sqrt (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)))
5.1s
(sqrt (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)))
2.6s
(/ (+ 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.8s
(/ (* y (* z (- (* (tanh (/ t y)) (tanh (/ t y))) (* (tanh (/ x y)) (tanh (/ x y)))))) (+ (tanh (/ t y)) (tanh (/ x y))))
1.7s
(/ (- (* (* (* z (sqrt (+ t a))) (+ (* (/ 5.0 6.0) (- (/ 5.0 6.0) a)) (* a a))) (* t 3.0)) (* (* t (- b c)) (- (* (+ (pow a 3) (pow (/ 5.0 6.0) 3)) (* t 3.0)) (* 2.0 (+ (* (/ 5.0 6.0) (- (/ 5.0 6.0) a)) (* a a)))))) (* (* (* (+ (* (/ 5.0 6.0) (- (/ 5.0 6.0) a)) (* a a)) t) 3.0) t))

prune5.4m (7.9%)

rewrite2.1m (3.0%)

Algorithm
882×rewrite-expression-head
Calls

2476 calls:

2.9s
(* (pow (/ 1 (pow a 1.0)) 1.0) (* (/ x y) (exp (- (- (- (log (* (pow a t) (pow z y))))) b))))
1.6s
(* (* (/ 1 (* (cbrt (- (+ t 1.0) z)) (cbrt (- (+ t 1.0) z)))) (/ (- y z) (cbrt (- (+ t 1.0) z)))) (- a x))
1.5s
(/ (- (* (* (* z (sqrt (+ t a))) (+ (* (/ 5.0 6.0) (- (/ 5.0 6.0) a)) (* a a))) (* t 3.0)) (* (* t (- b c)) (- (* (+ (pow a 3) (pow (/ 5.0 6.0) 3)) (* t 3.0)) (* 2.0 (+ (* (/ 5.0 6.0) (- (/ 5.0 6.0) a)) (* a a)))))) (* (* (* (+ (* (/ 5.0 6.0) (- (/ 5.0 6.0) a)) (* a a)) t) 3.0) t))
1.2s
(* (/ x y) (exp (- (- (- (log (* (pow a t) (pow z y))))) b)))
1.1s
(* (/ 1 (* (cbrt (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i)) (cbrt (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i)))) (/ (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t) (cbrt (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i))))
Rules
45369×times-frac
36592×*-un-lft-identity
35379×add-sqr-sqrt
25894×add-cube-cbrt
10672×add-exp-log
9521×sqrt-prod
8339×add-cbrt-cube
6689×cbrt-prod
6230×pow1
5908×associate-*r*
3823×add-log-exp
3816×associate-*r/
3670×associate-*l*
3179×difference-of-squares
3177×prod-exp
3172×associate-/r*
2818×distribute-lft-out--
2684×distribute-lft-out
2666×frac-times
2505×associate-/l*
2457×cbrt-unprod
2366×div-exp
2269×associate-*l/
2109×div-inv
2061×flip3-- flip--
1908×flip-+ flip3-+
1859×associate-/r/
1804×cbrt-div
1742×pow-prod-down
1677×frac-sub
1632×cbrt-undiv
1313×unswap-sqr
1153×unpow-prod-down
1063×log-prod
1031×sqrt-div
1013×tanh-def
952×pow1/3
896×associate-/l/
875×distribute-rgt-in distribute-lft-in
809×swap-sqr
762×*-commutative
701×sub-neg
508×clear-num frac-2neg
449×sum-log
397×associate--l+
352×sqrt-pow1
315×cube-prod
310×diff-log
275×+-commutative
267×pow-exp
258×associate-+l+
256×1-exp
251×associate-+r+
249×pow1/2
246×pow-prod-up
244×sqr-pow
238×rec-exp
214×log-pow
207×pow-sqr
204×pow-to-exp
184×frac-add
136×rem-sqrt-square
129×pow-unpow
105×div-sub
100×pow-plus
97×unpow2
91×pow2
70×exp-prod
65×log-div
63×pow-pow
61×pow-flip
57×inv-pow
56×rem-log-exp
55×cube-div
52×associate--r+
50×un-div-inv
44×associate-+l-
42×exp-sum
29×distribute-rgt-out
28×sum-cubes
23×unpow3 cube-mult
22×distribute-rgt-out--
21×associate-+r-
20×sqrt-unprod
17×distribute-rgt-neg-in rem-exp-log distribute-lft-neg-in distribute-rgt-neg-out
16×unsub-neg
14×rem-cube-cbrt associate--l-
13×rem-square-sqrt cosh-def
12×exp-diff distribute-lft-neg-out
11×associate--r- sinh-def
9×sub-div
7×pow-sub neg-mul-1
6×distribute-rgt1-in unpow-prod-up diff-cos difference-of-sqr-1 neg-sub0 cos-sum rem-cbrt-cube
5×distribute-lft1-in cos-diff count-2
4×difference-cubes
3×neg-log exp-to-pow
2×e-exp-1 unpow1/3 exp-neg tan-quot distribute-neg-in
1×sin-cos-mult sqrt-pow2 sin-neg pow3 acos-asin sin-diff

regimes1.2m (1.8%)

Accuracy

Total 212.9b remaining (38.9%)

Threshold costs 23.5b (4.3%)

12.6b60.2%Diagrams.TwoD.Arc:arcBetween from diagrams-lib-1.3.0.3
12.2b-14.6%Linear.Matrix:det44 from linear-1.19.1.3
10.1b7.4%Diagrams.Solve.Polynomial:cubForm from diagrams-solve-0.1, J
9.9b58.9%Data.Octree.Internal:octantDistance from Octree-0.5.4.2
8.2b59.3%Data.Array.Repa.Algorithms.Pixel:doubleRmsOfRGB8 from repa-algorithms-3.4.0.1

localize16.8s (0.4%)

bsearch10.8s (0.3%)

end4.0ms (0.0%)