Details

sample3.0s (69.4%)

Algorithm
6×intervals
Results
753.0ms7526×body1280valid
418.0ms2881×body2560valid
325.0ms4296×body640valid
245.0ms10192×body80valid
107.0ms1834×body320valid
35.0ms841×body160valid

simplify448.0ms (10.5%)

Algorithm
12×egg-herbie

series327.0ms (7.6%)

Calls

8 calls:

67.0ms
(- (* (+ x 1.0) (+ x 1.0)) 1.0)
58.0ms
(cbrt (pow (* x (+ 2.0 x)) 3))
54.0ms
(+ (* x 2.0) (pow x 2))
43.0ms
(* x (+ 2.0 x))
43.0ms
(* x (+ 2.0 x))

prune314.0ms (7.3%)

rewrite179.0ms (4.2%)

Algorithm
6×rewrite-expression-head
Calls

8 calls:

113.0ms
(- (+ (+ x y) z) (+ x (+ y z)))
16.0ms
(* (+ x 1.0) (+ x 1.0))
11.0ms
(- (* (+ x 1.0) (+ x 1.0)) 1.0)
9.0ms
(* x (+ 2.0 x))
9.0ms
(* x (+ 2.0 x))
Rules
72×*-un-lft-identity
48×add-log-exp
27×distribute-lft-out add-sqr-sqrt
22×pow1
19×sum-log
18×add-cube-cbrt
17×add-exp-log add-cbrt-cube
15×flip3-+ flip-+
12×associate-*r*
10×diff-log associate-*r/ associate-*l*
9×distribute-lft-out--
8×cbrt-prod
6×swap-sqr
4×cube-div distribute-rgt-in frac-sub prod-exp pow-prod-down frac-times cbrt-unprod distribute-lft-in
3×*-commutative unswap-sqr pow-unpow associate--l+
2×flip-- cbrt-div unpow-prod-down unpow3 cube-mult associate-*l/ cube-prod flip3-- rem-cube-cbrt sub-neg difference-of-squares sqr-pow pow-exp pow-pow
1×pow1/3 pow-sqr +-commutative pow-plus rem-cbrt-cube pow-prod-up pow2 pow-to-exp associate--r+ unpow2

localize30.0ms (0.7%)

regimes12.0ms (0.3%)

Accuracy

Total 0.0b remaining (14.6%)

Threshold costs 0.0b (14.6%)

0.0b0%Expanding a square

bsearch0.0ms (0.0%)

end0.0ms (0.0%)