Details

Time bar (total: 6.7s)

sample19.0ms

Algorithm
intervals
Results
8.0ms309×body80valid
1.0ms13×body1280valid
1.0ms6×body640valid
0.0ms7×body320valid
0.0ms1×body160valid

simplify163.0ms

Counts
1 → 1
Iterations
IterNodes
done221
6221
5216
4166
376
232
114
07

prune6.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.3b

localize11.0ms

Local error

Found 3 expressions with local error:

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

rewrite54.0ms

Algorithm
rewrite-expression-head
Rules
10×pow1 add-cbrt-cube add-exp-log
8×add-sqr-sqrt
6×*-un-lft-identity associate-*l* add-cube-cbrt
5×add-log-exp
4×associate-*r* pow-prod-down associate-*l/ prod-exp cbrt-unprod
3×flip3-- flip--
2×associate-*r/ *-commutative
1×sub-neg diff-log unswap-sqr
Counts
3 → 52
Calls
3 calls:
4.0ms
(- 2.0 (* 3.0 x))
27.0ms
(* x (* (- 2.0 (* 3.0 x)) 3.0))
22.0ms
(* (- 2.0 (* 3.0 x)) 3.0)

series206.0ms

Counts
3 → 9
Calls
3 calls:
44.0ms
(- 2.0 (* 3.0 x))
90.0ms
(* x (* (- 2.0 (* 3.0 x)) 3.0))
72.0ms
(* (- 2.0 (* 3.0 x)) 3.0)

simplify523.0ms

Counts
61 → 61
Iterations
IterNodes
done5000
21006
1208
083

prune279.0ms

Pruning

8 alts after pruning (8 fresh and 0 done)

Merged error: 0.0b

localize8.0ms

Local error

Found 2 expressions with local error:

0.0b
(- 6.0 (* 9.0 x))
0.1b
(* x (- 6.0 (* 9.0 x)))

rewrite20.0ms

Algorithm
rewrite-expression-head
Rules
6×add-sqr-sqrt
4×pow1 *-un-lft-identity add-cbrt-cube add-exp-log add-cube-cbrt add-log-exp
3×sub-neg associate-*r* associate-*l*
2×distribute-rgt-in distribute-lft-in flip3-- associate-*r/ flip--
1×diff-log pow-prod-down prod-exp *-commutative cbrt-unprod unswap-sqr
Counts
2 → 36
Calls
2 calls:
4.0ms
(- 6.0 (* 9.0 x))
16.0ms
(* x (- 6.0 (* 9.0 x)))

series171.0ms

Counts
2 → 6
Calls
2 calls:
42.0ms
(- 6.0 (* 9.0 x))
128.0ms
(* x (- 6.0 (* 9.0 x)))

simplify2.3s

Counts
42 → 42
Iterations
IterNodes
done5000
34782
2621
1151
059

prune213.0ms

Pruning

9 alts after pruning (8 fresh and 1 done)

Merged error: 0.0b

localize10.0ms

Local error

Found 3 expressions with local error:

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

rewrite60.0ms

Algorithm
rewrite-expression-head
Rules
10×pow1 add-cbrt-cube add-exp-log
8×add-sqr-sqrt
6×*-un-lft-identity associate-*r* associate-*l/ add-cube-cbrt
5×add-log-exp
4×associate-*l* pow-prod-down prod-exp cbrt-unprod
3×flip3-- flip--
2×*-commutative
1×sub-neg diff-log unswap-sqr
Counts
3 → 52
Calls
3 calls:
4.0ms
(- 2.0 (* x 3.0))
32.0ms
(* (* (- 2.0 (* x 3.0)) x) 3.0)
23.0ms
(* (- 2.0 (* x 3.0)) x)

series268.0ms

Counts
3 → 9
Calls
3 calls:
52.0ms
(- 2.0 (* x 3.0))
106.0ms
(* (* (- 2.0 (* x 3.0)) x) 3.0)
111.0ms
(* (- 2.0 (* x 3.0)) x)

simplify717.0ms

Counts
61 → 61
Iterations
IterNodes
done5000
21206
1217
087

prune208.0ms

Pruning

8 alts after pruning (7 fresh and 1 done)

Merged error: 0.0b

localize9.0ms

Local error

Found 2 expressions with local error:

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

rewrite27.0ms

Algorithm
rewrite-expression-head
Rules
7×pow1 add-cbrt-cube add-exp-log
4×add-log-exp
3×add-sqr-sqrt *-un-lft-identity associate-*l* pow-prod-down prod-exp add-cube-cbrt cbrt-unprod
2×flip3-- associate-*l/ flip--
1×sub-neg diff-log associate-*r* *-commutative
Counts
2 → 32
Calls
2 calls:
4.0ms
(- 2.0 (* x 3.0))
23.0ms
(* (- 2.0 (* x 3.0)) (* 3.0 x))

series158.0ms

Counts
2 → 6
Calls
2 calls:
43.0ms
(- 2.0 (* x 3.0))
115.0ms
(* (- 2.0 (* x 3.0)) (* 3.0 x))

simplify556.0ms

Counts
38 → 38
Iterations
IterNodes
done5001
2782
1170
064

prune92.0ms

Pruning

9 alts after pruning (7 fresh and 2 done)

Merged error: 0.0b

regimes46.0ms

Accuracy

0% (0.2b remaining)

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

bsearch0.0ms

simplify1.0ms

Iterations
IterNodes
done10
110
07

end0.0ms

sample599.0ms

Algorithm
intervals
Results
333.0ms9844×body80valid
70.0ms344×body1280valid
35.0ms159×body320valid
26.0ms281×body640valid
3.0ms54×body160valid