Details

simplify36.3m (44.8%)

prune18.8m (23.2%)

sample11.8m (14.5%)

Algorithm
538×intervals
Results
4.8m2658993×body80valid
1.2m504642×body80nan
50.9s47437×body1280valid
29.6s42557×body640valid
12.5s24793×body320valid
9.1s5682×body2560valid
4.3s13758×body160valid
2.7s1560×body10240exit
585.0ms42×body5120valid
339.0ms667×body640nan
314.0ms493×body1280nan
109.0ms426×body320nan
39.0ms242×body160nan

series7.6m (9.3%)

Calls

2429 calls:

3.1s
(/ (+ 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)))))
2.0s
(* (cbrt (+ (* y 5.0) (* (+ (* 2 (+ y z)) t) x))) (cbrt (+ (* y 5.0) (* (+ (* 2 (+ y z)) t) x))))
1.9s
(cbrt (* (cbrt (+ (* y 5.0) (* (+ (* 2 (+ y z)) t) x))) (cbrt (+ (* y 5.0) (* (+ (* 2 (+ y z)) t) x)))))
1.8s
(cbrt (* (/ (- y z) (- (+ t 1.0) z)) (- a x)))
1.7s
(cbrt (* (/ (- y z) (- (+ t 1.0) z)) (- a x)))

rewrite3.0m (3.6%)

Algorithm
869×rewrite-expression-head
Calls

2429 calls:

2.0s
(/ (/ (/ (/ (pow a (- 1.0)) (pow (/ 1 z) y)) (exp (+ (* (- (log a)) t) b))) y) (/ 1 x))
1.4s
(* (* (* (* (sqrt z) (- (* x 0.5) y)) (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0)))) (cbrt (sqrt 2.0))) (pow E (/ (* t t) 2.0)))
1.4s
(* x (exp (- (+ (* a b) (+ (* 1.0 (* a z)) (* 0.5 (* a (pow z 2))))))))
1.2s
(- (- (+ (+ x y) z) (* (log (sqrt t)) z)) (* (log (sqrt t)) z))
1.2s
(+ (/ x y) (- (+ (/ 2.0 t) (/ (/ 2.0 z) t)) 2.0))
Rules
181911×times-frac
87754×add-sqr-sqrt
87033×*-un-lft-identity
74860×add-cube-cbrt
36043×unpow-prod-down
13896×add-exp-log
9142×add-cbrt-cube
7513×exp-sum
6401×pow1
6246×associate-*r*
6159×sqr-pow
6102×div-inv
6008×cbrt-prod
5180×associate-*l*
4946×div-exp
4599×associate-/l*
4558×difference-of-squares
4438×flip-- flip3--
4423×cbrt-div
4277×distribute-lft-out--
4186×frac-times
3988×prod-exp
3789×add-log-exp
3759×associate-/r*
3369×sqrt-prod
3036×associate-*l/
2880×cbrt-unprod
2875×associate-*r/
2556×associate-/r/
1929×distribute-lft-out
1920×cbrt-undiv
1874×pow-prod-down
1680×flip-+ flip3-+
1412×unswap-sqr
972×frac-sub
969×sqrt-div
921×distribute-rgt-in distribute-lft-in
859×pow1/3
853×log-prod
797×*-commutative
731×swap-sqr
713×1-exp
685×pow-exp
670×sub-neg
662×associate-/l/
659×rec-exp
635×frac-add
514×clear-num frac-2neg
503×sum-log
362×sqrt-pow1
357×pow-to-exp
305×associate-+r+
300×+-commutative
288×associate--l+
272×diff-log
258×pow1/2
253×pow-prod-up
207×associate-+l+
206×pow-sqr
185×cube-prod
148×log-pow
119×div-sub
113×pow-unpow
111×rem-sqrt-square
96×pow-plus
89×distribute-rgt-neg-in
88×distribute-lft-neg-in pow-flip
86×pow2
81×tanh-def
77×inv-pow
67×pow-pow
62×un-div-inv
57×log-div
53×associate--r+
42×associate-+l-
39×unpow2
38×rem-log-exp
33×distribute-lft-neg-out
29×exp-prod
23×associate-+r-
21×distribute-rgt-out--
20×sinh-def
19×sqrt-unprod unpow3 cube-mult
18×distribute-rgt-out
16×cosh-def
15×unsub-neg
14×distribute-neg-in rem-square-sqrt
13×cube-div
11×rem-cube-cbrt e-exp-1 sub-div neg-mul-1
9×difference-cubes
8×rem-exp-log associate--l-
7×associate--r-
6×exp-diff neg-sub0
5×sum-cubes
4×sqrt-pow2 unpow1/3 diff-cos distribute-neg-frac difference-of-sqr-1 distribute-rgt-neg-out
3×exp-neg cos-diff pow-sub rem-cbrt-cube pow-neg
2×pow-div cos-sum unpow-prod-up neg-log sin-mult cos-mult tan-quot
1×sqrt-undiv distribute-rgt1-in remove-double-div exp-to-pow

regimes2.8m (3.4%)

Accuracy

Total 217.8b remaining (38%)

Threshold costs 24.7b (4.3%)

16.6b20.6%AI.Clustering.Hierarchical.Internal:ward from clustering-0.2.1
14.6b-0.9%Linear.Matrix:det44 from linear-1.19.1.3
13.0b58.8%Diagrams.TwoD.Arc:arcBetween from diagrams-lib-1.3.0.3
9.9b58.9%Data.Octree.Internal:octantDistance from Octree-0.5.4.2
8.9b4.2%Graphics.Rendering.Chart.Axis.Types:invLinMap from Chart-1.5.3

localize30.6s (0.6%)

bsearch23.2s (0.5%)

end2.1s (0.0%)