Details

simplify7.2s (61.7%)

sample3.6s (31.2%)

Algorithm
6×intervals
Results
1.2s2916×body2560valid
923.0ms7544×body1280valid
431.0ms4240×body640valid
268.0ms10130×body80valid
93.0ms1819×body320valid
55.0ms818×body160valid

prune329.0ms (2.8%)

rewrite252.0ms (2.2%)

Algorithm
5×rewrite-expression-head
Calls

5 calls:

175.0ms
(- (+ (+ x y) z) (+ x (+ y z)))
25.0ms
(* (+ x 1.0) (+ x 1.0))
17.0ms
(- (* (+ x 1.0) (+ x 1.0)) 1.0)
16.0ms
(* x (+ 2.0 x))
6.0ms
(+ (* x 2.0) (* x x))
Rules
130×*-un-lft-identity
59×distribute-lft-out
45×add-log-exp
30×add-sqr-sqrt
28×prod-diff
23×add-cube-cbrt
19×sum-log
14×pow1
12×flip-+ flip3-+
10×diff-log
9×add-cbrt-cube distribute-lft-out-- add-exp-log
8×associate-*r*
7×associate-*l*
6×fma-neg swap-sqr
5×expm1-log1p-u log1p-expm1-u
4×frac-times frac-sub associate-*r/
3×associate--l+ distribute-rgt-in distribute-lft-in
2×cbrt-unprod sub-neg unswap-sqr difference-of-squares pow-prod-down prod-exp *-commutative associate-*l/ flip3-- flip--
1×pow2 +-commutative pow-prod-up pow-sqr associate--r+ pow-plus fma-def

series191.0ms (1.6%)

Calls

5 calls:

61.0ms
(- (* (+ x 1.0) (+ x 1.0)) 1.0)
55.0ms
(+ (* x 2.0) (* x x))
44.0ms
(* x (+ 2.0 x))
22.0ms
(* (+ x 1.0) (+ x 1.0))
8.0ms
(- (+ (+ x y) z) (+ x (+ y z)))

localize30.0ms (0.3%)

regimes24.0ms (0.2%)

Accuracy

Total 0.0b remaining (31.5%)

Threshold costs 0.0b (31.5%)

0.0b0%Expanding a square

bsearch0.0ms (0.0%)

end0.0ms (0.0%)