Details

simplify30.4m (67.5%)

series4.4m (9.9%)

Calls

2508 calls:

4.0s
(/ x (* (cbrt (+ 1.0 (sqrt (+ x 1.0)))) (cbrt (+ 1.0 (sqrt (+ x 1.0))))))
3.8s
(sqrt (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)))
3.7s
(sqrt (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)))
3.4s
(pow (pow (log (- 1.0 (/ y x))) 3) 3)
1.3s
(cbrt (* (- y x) (/ (- z t) (- a t))))

sample4.0m (8.8%)

Algorithm
539×intervals
Results
1.3m2641042×body80valid
18.8s491710×body80nan
17.1s46900×body1280valid
9.4s43539×body640valid
4.0s5623×body2560valid
3.8s24834×body320valid
1.3s13982×body160valid
732.0ms1524×body10240exit
100.0ms40×body5120valid
92.0ms640×body640nan
86.0ms484×body1280nan
40.0ms390×body320nan
15.0ms229×body160nan

prune3.7m (8.3%)

rewrite1.5m (3.3%)

Algorithm
886×rewrite-expression-head
Calls

2508 calls:

2.0s
(* (cbrt (+ (* x (+ (+ (+ (+ y z) z) y) t)) (* y 5.0))) (cbrt (+ (* x (+ (+ (+ (+ y z) z) y) t)) (* y 5.0))))
1.1s
(* x (+ (+ (+ (+ y z) z) y) t))
972.0ms
(+ (- (+ (+ (log (+ x y)) (log (sqrt z))) (log (sqrt z))) t) (* (- a 0.5) (log t)))
645.0ms
(/ (* x y) (* (* (* (+ x y) (* (cbrt (+ x y)) (cbrt (+ x y)))) (cbrt (+ x y))) (+ (+ x y) 1.0)))
643.0ms
(* (/ 1 (* (cbrt (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i)) (cbrt (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i)))) (/ (+ t (* (+ 230661.510616 (* y (+ (* y (+ (* x y) z)) 27464.7644705))) y)) (cbrt (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i))))
Rules
49840×times-frac
40076×*-un-lft-identity
39838×add-sqr-sqrt
27371×add-cube-cbrt
12163×add-exp-log
9104×add-cbrt-cube
7351×associate-*r*
7174×sqrt-prod
6663×cbrt-prod
6579×pow1
4363×associate-*l*
4235×difference-of-squares
4132×cbrt-div
4051×distribute-lft-out--
3800×add-log-exp
3733×prod-exp
3437×associate-/r*
3096×associate-/r/
2947×cbrt-unprod
2877×div-exp
2789×flip3-- flip--
2688×frac-times
2553×div-inv
2479×distribute-lft-out
2344×associate-/l*
2191×associate-*l/
2166×associate-*r/
2071×flip-+ flip3-+
1991×cbrt-undiv
1864×pow-prod-down
1550×unswap-sqr
1412×unpow-prod-down
1357×sqrt-div
1355×log-prod
1121×distribute-rgt-in distribute-lft-in
966×swap-sqr
920×pow1/3
806×*-commutative
653×sub-neg
616×sqrt-pow1
605×cube-prod
538×associate-/l/
528×clear-num frac-2neg
459×sum-log
406×sqr-pow
386×pow1/2
373×frac-sub
356×1-exp
350×pow-exp
341×pow-prod-up
325×rec-exp
312×associate-+r+
285×frac-add
280×associate--l+
269×+-commutative
268×diff-log
239×associate-+l+ pow-sqr
227×log-pow
181×pow-unpow pow-to-exp
179×exp-sum
145×sinh-def
116×unpow2
112×pow-plus div-sub
102×rem-sqrt-square
96×pow2 associate--r+
83×pow-pow
78×difference-of-sqr-1
75×exp-prod
71×distribute-rgt-neg-in
69×distribute-lft-neg-in
66×pow-flip
61×log-div
59×inv-pow
58×tanh-def
48×unpow3 cube-mult
46×cube-div distribute-rgt-out--
45×rem-log-exp
38×associate-+l-
37×un-div-inv
32×associate-+r-
31×sqrt-unprod neg-mul-1
30×rem-cube-cbrt
27×difference-cubes
26×sub-div
25×distribute-rgt-out
24×distribute-lft-neg-out
22×rem-square-sqrt
21×unsub-neg
20×distribute-rgt-neg-out
19×sum-cubes
14×rem-cbrt-cube
13×rem-exp-log
12×exp-diff unpow1/3 unpow-prod-up associate--r-
10×cosh-def
8×neg-sub0
7×sqrt-undiv
6×distribute-rgt1-in distribute-lft1-in neg-log
5×associate--l- count-2 tan-quot exp-to-pow
4×diff-cos
3×sqrt-pow2 cube-unmult cos-diff pow-sub sin-mult
2×cos-sum e-exp-1 exp-neg
1×pow3 remove-double-div cos-mult

regimes44.4s (1.6%)

Accuracy

Total 223.1b remaining (40.4%)

Threshold costs 23.2b (4.2%)

19.4b5.7%AI.Clustering.Hierarchical.Internal:ward from clustering-0.2.1
12.2b60.3%Diagrams.TwoD.Arc:arcBetween from diagrams-lib-1.3.0.3
10.7b-23.6%Linear.Matrix:det44 from linear-1.19.1.3
9.9b57.8%Data.Octree.Internal:octantDistance from Octree-0.5.4.2
9.4b6.1%Linear.Matrix:det33 from linear-1.19.1.3

localize9.6s (0.4%)

bsearch6.2s (0.2%)

end4.0ms (0.0%)