Details

Time bar (total: 17.3s)

sample25.0ms

Algorithm
intervals
Results
13.0ms362×body80valid

simplify3.2s

Counts
1 → 1
Iterations
IterNodes
done5001
111127
10442
9263
8200
7171
6154
5144
4137
388
234
113
07

prune8.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.2b

localize20.0ms

Local error

Found 1 expressions with local error:

0.2b
(* (* x x) (- 3.0 (* x 2.0)))

rewrite26.0ms

Algorithm
rewrite-expression-head
Rules
6×pow1 add-cbrt-cube prod-diff add-exp-log
5×distribute-rgt-in add-sqr-sqrt distribute-lft-in
4×*-un-lft-identity add-cube-cbrt
3×associate-*r* pow-prod-down prod-exp cbrt-unprod
2×sub-neg associate-*r/
1×expm1-log1p-u flip3-- associate-*l* *-commutative log1p-expm1-u flip-- add-log-exp unswap-sqr
Counts
1 → 33
Calls
1 calls:
25.0ms
(* (* x x) (- 3.0 (* x 2.0)))

series122.0ms

Counts
1 → 3
Calls
1 calls:
122.0ms
(* (* x x) (- 3.0 (* x 2.0)))

simplify3.0s

Counts
36 → 36
Iterations
IterNodes
done5000
33860
2826
1228
077

prune174.0ms

Pruning

8 alts after pruning (7 fresh and 1 done)

Merged error: 0.0b

localize19.0ms

Local error

Found 2 expressions with local error:

0.0b
(* x (- 3.0 (* x 2.0)))
0.2b
(* x (* x (- 3.0 (* x 2.0))))

rewrite67.0ms

Algorithm
rewrite-expression-head
Rules
25×distribute-rgt-in distribute-lft-in
18×prod-diff
13×add-sqr-sqrt
11×*-un-lft-identity add-cube-cbrt
9×pow1 add-cbrt-cube add-exp-log
6×sub-neg associate-*l* associate-*r/
4×associate-*r* pow-prod-down prod-exp cbrt-unprod
2×expm1-log1p-u flip3-- *-commutative log1p-expm1-u flip-- add-log-exp
1×unswap-sqr
Counts
2 → 74
Calls
2 calls:
17.0ms
(* x (- 3.0 (* x 2.0)))
48.0ms
(* x (* x (- 3.0 (* x 2.0))))

series221.0ms

Counts
2 → 6
Calls
2 calls:
105.0ms
(* x (- 3.0 (* x 2.0)))
117.0ms
(* x (* x (- 3.0 (* x 2.0))))

simplify1.4s

Counts
80 → 80
Iterations
IterNodes
done5001
2998
1306
0117

prune323.0ms

Pruning

11 alts after pruning (10 fresh and 1 done)

Merged error: 0.0b

localize33.0ms

Local error

Found 3 expressions with local error:

0.0b
(* x (fma (* (cbrt 3.0) (cbrt 3.0)) (cbrt 3.0) (- (* 2.0 x))))
0.0b
(fma (* (cbrt 3.0) (cbrt 3.0)) (cbrt 3.0) (- (* 2.0 x)))
0.2b
(* x (+ (* x (fma (* (cbrt 3.0) (cbrt 3.0)) (cbrt 3.0) (- (* 2.0 x)))) (* x (fma (- 2.0) x (* 2.0 x)))))

rewrite25.0ms

Algorithm
rewrite-expression-head
Rules
11×add-sqr-sqrt
7×pow1 *-un-lft-identity add-cbrt-cube associate-*r* add-exp-log add-cube-cbrt
6×associate-*l*
3×expm1-log1p-u fma-udef log1p-expm1-u add-log-exp
2×distribute-rgt-in distribute-lft-in pow-prod-down prod-exp associate-*r/ *-commutative cbrt-unprod unswap-sqr
1×flip3-+ flip-+ distribute-lft-out
Counts
3 → 57
Calls
3 calls:
6.0ms
(* x (fma (* (cbrt 3.0) (cbrt 3.0)) (cbrt 3.0) (- (* 2.0 x))))
0.0ms
(fma (* (cbrt 3.0) (cbrt 3.0)) (cbrt 3.0) (- (* 2.0 x)))
17.0ms
(* x (+ (* x (fma (* (cbrt 3.0) (cbrt 3.0)) (cbrt 3.0) (- (* 2.0 x)))) (* x (fma (- 2.0) x (* 2.0 x)))))

series1.6s

Counts
3 → 9
Calls
3 calls:
251.0ms
(* x (fma (* (cbrt 3.0) (cbrt 3.0)) (cbrt 3.0) (- (* 2.0 x))))
222.0ms
(fma (* (cbrt 3.0) (cbrt 3.0)) (cbrt 3.0) (- (* 2.0 x)))
1.2s
(* x (+ (* x (fma (* (cbrt 3.0) (cbrt 3.0)) (cbrt 3.0) (- (* 2.0 x)))) (* x (fma (- 2.0) x (* 2.0 x)))))

simplify1.8s

Counts
66 → 66
Iterations
IterNodes
done5000
21026
1271
095

prune394.0ms

Pruning

11 alts after pruning (9 fresh and 2 done)

Merged error: 0.0b

localize21.0ms

Local error

Found 4 expressions with local error:

0.2b
(cbrt (- 3.0 (* x 2.0)))
0.2b
(cbrt (- 3.0 (* x 2.0)))
0.2b
(cbrt (- 3.0 (* x 2.0)))
0.3b
(* (* (* x x) (* (cbrt (- 3.0 (* x 2.0))) (cbrt (- 3.0 (* x 2.0))))) (cbrt (- 3.0 (* x 2.0))))

rewrite260.0ms

Algorithm
rewrite-expression-head
Rules
60×cbrt-div
32×associate-*r/
30×flip3-- flip--
28×frac-times
22×pow1 add-exp-log
14×associate-*l/
13×add-cbrt-cube pow-prod-down prod-exp cbrt-unprod
12×cbrt-prod
9×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
6×associate-*r*
4×expm1-log1p-u log1p-expm1-u add-log-exp
3×pow1/3
1×associate-*l* *-commutative
Counts
4 → 103
Calls
4 calls:
2.0ms
(cbrt (- 3.0 (* x 2.0)))
3.0ms
(cbrt (- 3.0 (* x 2.0)))
5.0ms
(cbrt (- 3.0 (* x 2.0)))
244.0ms
(* (* (* x x) (* (cbrt (- 3.0 (* x 2.0))) (cbrt (- 3.0 (* x 2.0))))) (cbrt (- 3.0 (* x 2.0))))

series719.0ms

Counts
4 → 12
Calls
4 calls:
188.0ms
(cbrt (- 3.0 (* x 2.0)))
209.0ms
(cbrt (- 3.0 (* x 2.0)))
214.0ms
(cbrt (- 3.0 (* x 2.0)))
107.0ms
(* (* (* x x) (* (cbrt (- 3.0 (* x 2.0))) (cbrt (- 3.0 (* x 2.0))))) (cbrt (- 3.0 (* x 2.0))))

simplify2.4s

Counts
115 → 115
Iterations
IterNodes
done5006
22087
1593
0204

prune610.0ms

Pruning

9 alts after pruning (7 fresh and 2 done)

Merged error: 0.0b

regimes87.0ms

Accuracy

0% (0.2b remaining)

Error of 0.2b against oracle of 0.0b and baseline of 0.2b

bsearch0.0ms

simplify11.0ms

Iterations
IterNodes
done24
224
122
014

end0.0ms

sample800.0ms

Algorithm
intervals
Results
598.0ms11922×body80valid