Details

sample2.7s (52.9%)

Algorithm
6×intervals
Results
537.0ms7626×body1280valid
312.0ms2928×body2560valid
219.0ms4322×body640valid
170.0ms10078×body80valid
66.0ms1725×body320valid
19.0ms789×body160valid

series979.0ms (19.3%)

Calls

8 calls:

653.0ms
(- (/ (* (- (* x x) (* 1.0 1.0)) (+ (pow x 3) (pow 1.0 3))) (* (- x 1.0) (+ (pow x 2) (* 1.0 (- 1.0 x))))) 1.0)
85.0ms
(/ (* (- (* x x) (* 1.0 1.0)) (+ (pow x 3) (pow 1.0 3))) (* (- x 1.0) (+ (pow x 2) (* 1.0 (- 1.0 x)))))
59.0ms
(- (* (+ x 1.0) (+ x 1.0)) 1.0)
47.0ms
(* (- (* x x) (* 1.0 1.0)) (+ (pow x 3) (pow 1.0 3)))
46.0ms
(+ (* x 2.0) (pow x 2))

prune531.0ms (10.5%)

simplify413.0ms (8.2%)

Algorithm
12×egg-herbie

rewrite412.0ms (8.1%)

Algorithm
6×rewrite-expression-head
Calls

8 calls:

96.0ms
(- (/ (* (- (* x x) (* 1.0 1.0)) (+ (pow x 3) (pow 1.0 3))) (* (- x 1.0) (+ (pow x 2) (* 1.0 (- 1.0 x))))) 1.0)
92.0ms
(* (- (* x x) (* 1.0 1.0)) (+ (pow x 3) (pow 1.0 3)))
58.0ms
(/ (* (- (* x x) (* 1.0 1.0)) (+ (pow x 3) (pow 1.0 3))) (* (- x 1.0) (+ (pow x 2) (* 1.0 (- 1.0 x)))))
49.0ms
(* (- x 1.0) (+ (pow x 2) (* 1.0 (- 1.0 x))))
40.0ms
(- (* (+ x 1.0) (+ x 1.0)) 1.0)
Rules
48×*-un-lft-identity
31×add-sqr-sqrt
28×add-exp-log add-cbrt-cube
21×pow1
20×associate-*r* flip3-+ flip-+ frac-times
18×add-cube-cbrt
16×associate-*l*
14×flip-- flip3-- add-log-exp
13×distribute-lft-out
12×associate-*r/
10×associate-*l/
8×associate-/l/ associate-/r/ prod-exp cbrt-unprod
6×swap-sqr
5×distribute-rgt-in distribute-lft-in
4×cbrt-undiv *-commutative unpow-prod-down cube-prod difference-of-squares pow-prod-down div-exp unswap-sqr
2×diff-log distribute-lft-out-- sub-neg associate--l+
1×associate-/l* +-commutative pow-plus sum-log sum-cubes pow2 pow-prod-up clear-num frac-2neg times-frac div-inv unpow2 pow-sqr associate-/r*

localize35.0ms (0.7%)

regimes15.0ms (0.3%)

Accuracy

Total 0.0b remaining (96.1%)

Threshold costs 0.0b (96.1%)

0.0b0%Expanding a square

bsearch0.0ms (0.0%)

end0.0ms (0.0%)