Details

Time bar (total: 5.6s)

sample43.0ms

Algorithm
intervals
Results
17.0ms299×body80valid

simplify17.0ms

Counts
1 → 1
Iterations
IterNodes
done24
324
221
113
07

prune6.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.1b

localize15.0ms

Local error

Found 1 expressions with local error:

0.2b
(* (* x 3.0) y)

rewrite27.0ms

Algorithm
rewrite-expression-head
Rules
6×pow1 add-cbrt-cube add-exp-log
3×associate-*r* pow-prod-down prod-exp cbrt-unprod
2×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
1×associate-*l* *-commutative add-log-exp
Counts
1 → 18
Calls
1 calls:
26.0ms
(* (* x 3.0) y)

series36.0ms

Counts
1 → 3
Calls
1 calls:
36.0ms
(* (* x 3.0) y)

simplify557.0ms

Counts
21 → 21
Iterations
IterNodes
done5001
2685
1105
040

prune95.0ms

Pruning

5 alts after pruning (4 fresh and 1 done)

Merged error: 0.0b

localize16.0ms

Local error

Found 1 expressions with local error:

0.2b
(* (* y 3.0) x)

rewrite14.0ms

Algorithm
rewrite-expression-head
Rules
6×pow1 add-cbrt-cube add-exp-log
3×associate-*r* pow-prod-down prod-exp cbrt-unprod
2×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
1×associate-*l* *-commutative add-log-exp
Counts
1 → 18
Calls
1 calls:
13.0ms
(* (* y 3.0) x)

series19.0ms

Counts
1 → 3
Calls
1 calls:
19.0ms
(* (* y 3.0) x)

simplify586.0ms

Counts
21 → 21
Iterations
IterNodes
done5001
2655
1105
040

prune142.0ms

Pruning

5 alts after pruning (3 fresh and 2 done)

Merged error: 0b

localize23.0ms

Local error

Found 1 expressions with local error:

0.3b
(* (* x y) 3.0)

rewrite32.0ms

Algorithm
rewrite-expression-head
Rules
6×pow1 add-cbrt-cube add-exp-log
3×associate-*r* pow-prod-down prod-exp cbrt-unprod
2×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
1×associate-*l* *-commutative add-log-exp
Counts
1 → 18
Calls
1 calls:
31.0ms
(* (* x y) 3.0)

series29.0ms

Counts
1 → 3
Calls
1 calls:
29.0ms
(* (* x y) 3.0)

simplify454.0ms

Counts
21 → 21
Iterations
IterNodes
done5001
2644
1104
039

prune91.0ms

Pruning

5 alts after pruning (2 fresh and 3 done)

Merged error: 0b

localize29.0ms

Local error

Found 4 expressions with local error:

0.4b
(* (* (cbrt x) 3.0) (* y (cbrt x)))
0.6b
(cbrt x)
0.6b
(cbrt x)
0.6b
(cbrt x)

rewrite30.0ms

Algorithm
rewrite-expression-head
Rules
16×pow1 add-exp-log
12×add-cbrt-cube
9×cbrt-prod
8×pow-prod-down prod-exp cbrt-unprod
7×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
4×add-log-exp
3×pow1/3
1×associate-*r* associate-*l* *-commutative
Counts
4 → 55
Calls
4 calls:
25.0ms
(* (* (cbrt x) 3.0) (* y (cbrt x)))
1.0ms
(cbrt x)
1.0ms
(cbrt x)
1.0ms
(cbrt x)

series1.0s

Counts
4 → 12
Calls
4 calls:
196.0ms
(* (* (cbrt x) 3.0) (* y (cbrt x)))
299.0ms
(cbrt x)
285.0ms
(cbrt x)
261.0ms
(cbrt x)

simplify830.0ms

Counts
67 → 67
Iterations
IterNodes
done5001
2838
1187
071

prune319.0ms

Pruning

4 alts after pruning (1 fresh and 3 done)

Merged error: 0b

regimes346.0ms

Accuracy

0% (0.1b remaining)

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

bsearch0.0ms

simplify1.0ms

Iterations
IterNodes
done9
19
07

end0.0ms

sample818.0ms

Algorithm
intervals
Results
326.0ms9231×body80valid