Details

simplify38.8m (59.2%)

prune8.7m (13.3%)

sample7.8m (11.9%)

Algorithm
538×intervals
Results
3.7m2654392×body80valid
58.1s502874×body80nan
40.2s47226×body1280valid
23.9s43037×body640valid
10.4s24871×body320valid
7.1s5687×body2560valid
4.6s13455×body160valid
2.2s1589×body10240exit
246.0ms679×body640nan
147.0ms454×body1280nan
139.0ms40×body5120valid
82.0ms429×body320nan
29.0ms244×body160nan

series5.7m (8.7%)

Calls

2507 calls:

1.2s
(* (cbrt (+ (* y 5.0) (* (+ (+ (+ y z) (+ y z)) t) x))) (cbrt (+ (* y 5.0) (* (+ (+ (+ y z) (+ y z)) t) x))))
1.2s
(- (+ (* x y) (* z t)) (* (* (+ a (* b c)) c) i))
944.0ms
(/ 1 (/ (+ y (* z (- b y))) (+ (* x y) (* z (- t a)))))
897.0ms
(* (cbrt (+ x (* (* (- y x) 6.0) (- (/ 2.0 3.0) z)))) (cbrt (+ x (* (* (- y x) 6.0) (- (/ 2.0 3.0) z)))))
855.0ms
(cbrt (* z (- (tanh (/ t y)) (tanh (/ x y)))))

rewrite2.2m (3.4%)

Algorithm
895×rewrite-expression-head
Calls

2507 calls:

3.3s
(+ (+ (+ (+ (+ (* x (log y)) z) t) a) (* (- b 0.5) (log c))) (* y i))
2.8s
(* (cbrt (+ x (+ z (+ (+ y x) (+ y x))))) (cbrt (+ x (+ z (+ (+ y x) (+ y x))))))
1.6s
(* y (* (* z (* (cbrt (- (tanh (/ t y)) (tanh (/ x y)))) (cbrt (- (tanh (/ t y)) (tanh (/ x y)))))) (cbrt (- (tanh (/ t y)) (tanh (/ x y))))))
1.4s
(* 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)))))))
1.3s
(/ (+ x (- (/ y (- t (/ x z))) (/ x (- (* t z) x)))) (+ x 1.0))
Rules
37757×times-frac
35255×*-un-lft-identity
33228×add-sqr-sqrt
22964×add-cube-cbrt
14456×cbrt-div
13326×associate-*r/
12209×add-exp-log
10575×frac-times
9880×add-cbrt-cube
8352×frac-sub
7968×pow1
7106×cbrt-prod
6879×associate-*r*
5253×tanh-def
4662×associate-*l*
4181×flip3-- flip--
3950×sqrt-prod
3809×add-log-exp
3797×prod-exp
3718×distribute-lft-out--
3614×associate-*l/
3410×difference-of-squares
3354×associate-/r*
3315×cbrt-unprod
2738×div-exp
2697×distribute-lft-out
2507×insert-posit16
2356×pow-prod-down
2281×associate-/l*
2161×cbrt-undiv
2104×flip-+ flip3-+
2013×div-inv
1814×associate-/r/
1379×unswap-sqr
1208×swap-sqr
1142×log-prod
1027×sqrt-div
1014×associate-/l/
945×distribute-rgt-in distribute-lft-in
936×pow1/3
828×*-commutative
657×sub-neg
575×pow-prod-up
568×frac-add
540×frac-2neg clear-num
469×sum-log
424×sqrt-pow1
409×pow-sqr
297×associate--l+
287×pow-plus
268×diff-log
266×1-exp
261×+-commutative
260×rec-exp
234×associate-+r+
229×pow1/2
209×pow2
204×associate-+l+
189×log-pow
132×div-sub
114×exp-prod
111×exp-sum
106×pow3
94×unpow-prod-up rem-sqrt-square
87×unpow-prod-down
65×pow-flip
64×log-div
60×associate--r+
54×cube-unmult rem-log-exp
52×inv-pow un-div-inv
48×pow-unpow
46×distribute-rgt-out--
42×distribute-rgt-neg-out
41×sum-cubes sinh-def
40×rem-exp-log
37×associate-+l-
36×distribute-rgt-out
35×pow-exp
33×sqr-pow sub-div pow-pow
29×exp-diff
28×associate-+r-
27×difference-cubes
26×pow-to-exp
25×distribute-rgt-neg-in
19×distribute-lft-neg-in
17×sqrt-unprod
16×unsub-neg
14×distribute-lft-neg-out unpow1/3
12×rem-square-sqrt
11×cosh-def
10×associate--l- associate--r-
9×cos-mult
8×rem-cbrt-cube tan-quot
7×neg-sub0 distribute-lft1-in diff-cos distribute-rgt1-in
6×neg-mul-1 count-2
5×exp-neg
4×remove-posit16 exp-to-pow sqr-neg sqr-cos
3×pow-sub cos-diff
2×sqrt-undiv pow-div neg-log cos-sum e-exp-1
1×sin-mult acos-asin

regimes1.8m (2.7%)

Accuracy

Total 193.1b remaining (35.9%)

Threshold costs 27.3b (5.1%)

12.4b59.7%Diagrams.TwoD.Arc:arcBetween from diagrams-lib-1.3.0.3
11.2b-7.4%Linear.Matrix:det44 from linear-1.19.1.3
9.9b34.5%AI.Clustering.Hierarchical.Internal:ward from clustering-0.2.1
9.2b58.5%Data.Octree.Internal:octantDistance from Octree-0.5.4.2
8.0b16.9%Diagrams.Solve.Polynomial:cubForm from diagrams-solve-0.1, J

localize26.3s (0.7%)

bsearch8.7s (0.2%)

end6.0ms (0.0%)