Details

Time bar (total: 12.1s)

sample56.0ms

Algorithm
intervals
Results
13.0ms273×body80valid
13.0ms271×body80nan

simplify1.0s

Counts
1 → 1
Iterations
IterNodes
done5000
71334
6407
5134
462
340
223
113
07

prune12.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.1b

localize18.0ms

Local error

Found 2 expressions with local error:

0.0b
(+ (- 1.0 x) (* y (sqrt x)))
0.2b
(* y (sqrt x))

rewrite39.0ms

Algorithm
rewrite-expression-head
Rules
9×add-sqr-sqrt
7×add-log-exp
6×associate-*r*
5×*-un-lft-identity add-cube-cbrt
4×pow1 add-cbrt-cube add-exp-log sqrt-prod
3×associate-*l*
2×associate-+l+ sum-log unswap-sqr
1×+-commutative sub-neg flip3-+ diff-log pow-prod-down prod-exp *-commutative associate-+l- cbrt-unprod flip-+
Counts
2 → 37
Calls
2 calls:
26.0ms
(+ (- 1.0 x) (* y (sqrt x)))
12.0ms
(* y (sqrt x))

series121.0ms

Counts
2 → 6
Calls
2 calls:
57.0ms
(+ (- 1.0 x) (* y (sqrt x)))
64.0ms
(* y (sqrt x))

simplify521.0ms

Counts
43 → 43
Iterations
IterNodes
done5001
2894
1250
095

prune211.0ms

Pruning

6 alts after pruning (5 fresh and 1 done)

Merged error: 0.0b

localize22.0ms

Local error

Found 4 expressions with local error:

0.3b
(* (fabs (cbrt x)) y)
0.3b
(* (* (fabs (cbrt x)) y) (sqrt (cbrt x)))
0.6b
(cbrt x)
0.6b
(cbrt x)

rewrite41.0ms

Algorithm
rewrite-expression-head
Rules
13×add-sqr-sqrt
12×associate-*r*
11×pow1 *-un-lft-identity add-cbrt-cube add-exp-log add-cube-cbrt
9×cbrt-prod
6×sqrt-prod
4×associate-*l* pow-prod-down prod-exp cbrt-unprod add-log-exp
2×pow1/3 *-commutative
1×unswap-sqr
Counts
4 → 64
Calls
4 calls:
16.0ms
(* (fabs (cbrt x)) y)
21.0ms
(* (* (fabs (cbrt x)) y) (sqrt (cbrt x)))
1.0ms
(cbrt x)
1.0ms
(cbrt x)

series719.0ms

Counts
4 → 12
Calls
4 calls:
30.0ms
(* (fabs (cbrt x)) y)
156.0ms
(* (* (fabs (cbrt x)) y) (sqrt (cbrt x)))
265.0ms
(cbrt x)
269.0ms
(cbrt x)

simplify720.0ms

Counts
76 → 76
Iterations
IterNodes
done5001
21143
1221
096

prune362.0ms

Pruning

6 alts after pruning (4 fresh and 2 done)

Merged error: 0.0b

localize33.0ms

Local error

Found 4 expressions with local error:

0.6b
(cbrt (cbrt x))
0.6b
(cbrt x)
0.6b
(cbrt x)
0.6b
(cbrt x)

rewrite8.0ms

Algorithm
rewrite-expression-head
Rules
18×cbrt-prod
9×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
4×pow1 add-cbrt-cube pow1/3 add-exp-log add-log-exp
Counts
4 → 47
Calls
4 calls:
2.0ms
(cbrt (cbrt x))
1.0ms
(cbrt x)
2.0ms
(cbrt x)
1.0ms
(cbrt x)

series1.2s

Counts
4 → 12
Calls
4 calls:
375.0ms
(cbrt (cbrt x))
261.0ms
(cbrt x)
274.0ms
(cbrt x)
303.0ms
(cbrt x)

simplify1.8s

Counts
59 → 59
Iterations
IterNodes
done5002
42437
3649
2189
177
042

prune345.0ms

Pruning

6 alts after pruning (3 fresh and 3 done)

Merged error: 0.0b

localize20.0ms

Local error

Found 4 expressions with local error:

0.3b
(* (cbrt (sqrt x)) (* (cbrt (sqrt x)) y))
0.5b
(cbrt (sqrt x))
0.5b
(cbrt (sqrt x))
0.5b
(cbrt (sqrt x))

rewrite25.0ms

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

series943.0ms

Counts
4 → 12
Calls
4 calls:
189.0ms
(* (cbrt (sqrt x)) (* (cbrt (sqrt x)) y))
270.0ms
(cbrt (sqrt x))
268.0ms
(cbrt (sqrt x))
216.0ms
(cbrt (sqrt x))

simplify1.8s

Counts
78 → 78
Iterations
IterNodes
done5000
33167
2611
1189
079

prune425.0ms

Pruning

6 alts after pruning (3 fresh and 3 done)

Merged error: 0b

regimes171.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

sample1.5s

Algorithm
intervals
Results
473.0ms8544×body80valid
400.0ms8679×body80nan
0.0ms2×body320valid