Details

simplify1.2hr (71.7%)

prune11.9m (12.3%)

sample5.9m (6.1%)

Algorithm
461×intervals
Results
2.6m1945458×body80valid
40.1s322908×body80nan
26.1s29956×body1280valid
18.2s28527×body640valid
6.2s16739×body320valid
6.1s5244×body2560valid
2.3s9513×body160valid
1.7s1577×body10240exit
209.0ms48×body5120valid
149.0ms311×body640nan
57.0ms114×body1280nan
37.0ms162×body320nan
15.0ms99×body160nan

series5.4m (5.6%)

Calls

2289 calls:

10.8s
(* y (/ (* z (- (* (* (tanh (/ t y)) (tanh (/ t y))) (tanh (/ t y))) (* (tanh (/ x y)) (* (tanh (/ x y)) (tanh (/ x y)))))) (+ (* (tanh (/ t y)) (tanh (/ t y))) (+ (* (tanh (/ x y)) (tanh (/ x y))) (* (tanh (/ t y)) (tanh (/ x y)))))))
5.7s
(/ (* z (- (* (* (tanh (/ t y)) (tanh (/ t y))) (tanh (/ t y))) (* (tanh (/ x y)) (* (tanh (/ x y)) (tanh (/ x y)))))) (+ (* (tanh (/ t y)) (tanh (/ t y))) (+ (* (tanh (/ x y)) (tanh (/ x y))) (* (tanh (/ t y)) (tanh (/ x y))))))
2.6s
(* (/ (+ x (/ y 500.0)) (+ (sqrt x) (sqrt (/ y 500.0)))) (/ (- x (/ y 500.0)) (- (sqrt x) (sqrt (/ y 500.0)))))
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)))))
2.5s
(* (/ (cbrt (- y z)) (cbrt (- a z))) (/ (- t x) (cbrt (- a z))))

rewrite1.9m (1.9%)

Algorithm
819×rewrite-expression-head
Calls

2289 calls:

2.9s
(* (cbrt (+ (- (+ (+ x y) z) (* z (log t))) (* (- a 0.5) b))) (cbrt (+ (- (+ (+ x y) z) (* z (log t))) (* (- a 0.5) b))))
2.7s
(* (/ (- y z) (* (* (cbrt (cbrt (- a z))) (cbrt (- a z))) (* (cbrt (cbrt (- a z))) (* (cbrt (* (cbrt (- a z)) (cbrt (- a z)))) (cbrt (cbrt (- a z))))))) (/ (- t x) (cbrt (cbrt (- a z)))))
2.5s
(* y (/ (* z (- (* (* (tanh (/ t y)) (tanh (/ t y))) (tanh (/ t y))) (* (tanh (/ x y)) (* (tanh (/ x y)) (tanh (/ x y)))))) (+ (* (tanh (/ t y)) (tanh (/ t y))) (+ (* (tanh (/ x y)) (tanh (/ x y))) (* (tanh (/ t y)) (tanh (/ x y)))))))
2.1s
(/ (- (* (* x x) (* (* x x) (* x x))) (* (* (* (* y 4.0) z) (* (* y 4.0) z)) (* (* y 4.0) z))) (+ (* (* x x) (* x x)) (+ (* (* (* y 4.0) z) (* (* y 4.0) z)) (* (* x x) (* (* y 4.0) z)))))
2.0s
(/ (* z (- (* (* (tanh (/ t y)) (tanh (/ t y))) (tanh (/ t y))) (* (tanh (/ x y)) (* (tanh (/ x y)) (tanh (/ x y)))))) (+ (* (tanh (/ t y)) (tanh (/ t y))) (+ (* (tanh (/ x y)) (tanh (/ x y))) (* (tanh (/ t y)) (tanh (/ x y))))))
Rules
36948×frac-times
31092×times-frac
30065×*-un-lft-identity
29428×add-sqr-sqrt
22992×tanh-def
20269×associate-*r/
19046×add-cube-cbrt
13848×frac-add
11761×associate-*l/
11692×add-exp-log
9878×associate-*r*
9296×associate-/r/
8877×add-cbrt-cube
8377×frac-sub
7827×cbrt-div
7150×pow1
5253×associate-*l*
4937×cbrt-prod
4514×associate-/l/
3872×flip3-- flip--
3678×prod-exp
3589×add-log-exp
3336×difference-of-squares
3329×associate-/r*
3269×distribute-lft-out--
2984×cbrt-unprod
2791×div-exp
2777×sqrt-prod
2444×distribute-lft-out
2202×pow-prod-down
1947×cbrt-undiv
1913×associate-/l*
1629×div-inv
1492×flip-+ flip3-+
1400×unswap-sqr
1176×log-prod
1141×sqrt-div
984×distribute-rgt-in distribute-lft-in
851×swap-sqr
813×pow1/3
798×*-commutative
683×sub-neg
614×sqrt-pow1
544×pow-prod-up
489×frac-2neg clear-num
450×sum-log
344×associate--l+
322×pow1/2 pow-sqr
281×diff-log
263×1-exp
262×rec-exp
254×+-commutative
228×associate-+r+
198×associate-+l+ pow-plus
180×unpow-prod-up
178×log-pow
171×unpow-prod-down
126×div-sub
120×pow2
88×cube-unmult
83×exp-sum
75×pow-exp
66×rem-sqrt-square
65×sinh-def
64×associate--r+
63×distribute-lft-neg-in distribute-rgt-neg-in
59×exp-prod log-div
46×pow-flip inv-pow
45×pow-unpow
44×cosh-def un-div-inv
42×rem-log-exp
41×pow-pow
34×distribute-lft-neg-out
33×associate-+l-
32×distribute-rgt-out--
31×sqr-pow
30×distribute-rgt-neg-out
29×pow3
23×distribute-rgt-out
21×sqrt-unprod
20×associate-+r- difference-cubes
19×sub-div pow-to-exp unsub-neg
17×exp-diff
16×associate--r-
14×rem-exp-log
13×sum-cubes
12×rem-square-sqrt
11×rem-cbrt-cube
10×neg-mul-1
8×tan-quot
6×sqrt-undiv associate--l- unpow1/3 cos-diff diff-cos
5×distribute-lft1-in exp-to-pow count-2 distribute-rgt1-in
4×pow-sub difference-of-sqr-1 cos-sum
3×distribute-neg-frac
2×neg-sub0 exp-neg
1×cos-mult sin-mult sqr-neg

regimes1.7m (1.7%)

Accuracy

Total 139.0b remaining (39.9%)

Threshold costs 21.4b (6.2%)

17.6b17.7%AI.Clustering.Hierarchical.Internal:ward from clustering-0.2.1
11.8b62.1%Diagrams.TwoD.Arc:arcBetween from diagrams-lib-1.3.0.3
6.2b18.5%Graphics.Rendering.Chart.Axis.Types:linMap from Chart-1.5.3
6.2b39.5%Diagrams.Solve.Polynomial:cubForm from diagrams-solve-0.1, J
5.6b9.7%Linear.Matrix:det33 from linear-1.19.1.3

localize27.5s (0.5%)

bsearch10.5s (0.2%)

end4.0ms (0.0%)