Details

Time bar (total: 9.6s)

sample42.0ms

Algorithm
intervals
Results
17.0ms256×body80valid
11.0ms213×body80nan

simplify3.0ms

Counts
1 → 1
Iterations
IterNodes
done4
14
03

prune5.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.3b

localize13.0ms

Local error

Found 1 expressions with local error:

0.3b
(* x (log x))

rewrite24.0ms

Algorithm
rewrite-expression-head
Rules
7×add-sqr-sqrt
6×log-prod
5×*-un-lft-identity add-cube-cbrt
4×pow1 associate-*r*
3×distribute-rgt-in distribute-lft-in add-cbrt-cube associate-*l* add-exp-log
1×expm1-log1p-u pow-prod-down prod-exp log-pow *-commutative cbrt-unprod insert-posit16 log1p-expm1-u add-log-exp unswap-sqr
Counts
1 → 28
Calls
1 calls:
23.0ms
(* x (log x))

series275.0ms

Counts
1 → 3
Calls
1 calls:
275.0ms
(* x (log x))

simplify511.0ms

Counts
31 → 31
Iterations
IterNodes
done2000
3557
2222
1102
056

prune120.0ms

Pruning

8 alts after pruning (7 fresh and 1 done)

Merged error: 0.0b

localize18.0ms

Local error

Found 4 expressions with local error:

0.3b
(* x (log (cbrt x)))
0.3b
(* (log (cbrt x)) (+ x x))
0.6b
(cbrt x)
0.6b
(cbrt x)

rewrite43.0ms

Algorithm
rewrite-expression-head
Rules
22×add-sqr-sqrt
20×*-un-lft-identity
18×add-cube-cbrt
17×associate-*r*
12×cbrt-prod log-prod
10×pow1
8×add-cbrt-cube associate-*l* add-exp-log
7×distribute-rgt-in distribute-lft-in
4×expm1-log1p-u pow1/3 log-pow insert-posit16 log1p-expm1-u add-log-exp
3×distribute-rgt-out distribute-lft-out
2×pow-prod-down prod-exp associate-*r/ *-commutative cbrt-unprod unswap-sqr
1×distribute-lft1-in flip3-+ count-2 distribute-rgt1-in flip-+
Counts
4 → 99
Calls
4 calls:
10.0ms
(* x (log (cbrt x)))
30.0ms
(* (log (cbrt x)) (+ x x))
1.0ms
(cbrt x)
1.0ms
(cbrt x)

series1.4s

Counts
4 → 12
Calls
4 calls:
436.0ms
(* x (log (cbrt x)))
474.0ms
(* (log (cbrt x)) (+ x x))
276.0ms
(cbrt x)
261.0ms
(cbrt x)

simplify861.0ms

Counts
111 → 111
Iterations
IterNodes
done2003
21144
1307
0127

prune457.0ms

Pruning

6 alts after pruning (5 fresh and 1 done)

Merged error: 0b

localize36.0ms

Local error

Found 4 expressions with local error:

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

rewrite9.0ms

Algorithm
rewrite-expression-head
Rules
30×cbrt-prod
11×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
4×expm1-log1p-u pow1 add-cbrt-cube pow1/3 add-exp-log insert-posit16 log1p-expm1-u add-log-exp
Counts
4 → 65
Calls
4 calls:
1.0ms
(cbrt x)
5.0ms
(cbrt (cbrt x))
1.0ms
(cbrt (cbrt x))
1.0ms
(cbrt (cbrt x))

series1.2s

Counts
4 → 12
Calls
4 calls:
235.0ms
(cbrt x)
362.0ms
(cbrt (cbrt x))
290.0ms
(cbrt (cbrt x))
329.0ms
(cbrt (cbrt x))

simplify699.0ms

Counts
77 → 77
Iterations
IterNodes
done2001
4915
3363
2176
183
048

prune457.0ms

Pruning

6 alts after pruning (4 fresh and 2 done)

Merged error: 0b

localize27.0ms

Local error

Found 4 expressions with local error:

0.3b
(* (log (cbrt x)) (+ x x))
0.3b
(* x 1/3)
0.3b
(* (* x 1/3) (log x))
0.6b
(cbrt x)

rewrite52.0ms

Algorithm
rewrite-expression-head
Rules
20×add-sqr-sqrt
19×associate-*r*
18×*-un-lft-identity
16×add-cube-cbrt
15×pow1
13×add-cbrt-cube add-exp-log
9×associate-*l*
6×log-prod
5×pow-prod-down prod-exp cbrt-unprod
4×distribute-rgt-in expm1-log1p-u distribute-lft-in insert-posit16 log1p-expm1-u add-log-exp
3×cbrt-prod distribute-rgt-out log-pow *-commutative distribute-lft-out
2×pow1/3 associate-*r/ unswap-sqr
1×distribute-lft1-in flip3-+ count-2 distribute-rgt1-in flip-+
Counts
4 → 99
Calls
4 calls:
25.0ms
(* (log (cbrt x)) (+ x x))
5.0ms
(* x 1/3)
19.0ms
(* (* x 1/3) (log x))
1.0ms
(cbrt x)

series892.0ms

Counts
4 → 12
Calls
4 calls:
353.0ms
(* (log (cbrt x)) (+ x x))
17.0ms
(* x 1/3)
267.0ms
(* (* x 1/3) (log x))
255.0ms
(cbrt x)

simplify857.0ms

Counts
111 → 111
Iterations
IterNodes
done2000
21512
1412
0160

prune486.0ms

Pruning

6 alts after pruning (3 fresh and 3 done)

Merged error: 0b

regimes79.0ms

Accuracy

0% (0.3b remaining)

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

bsearch0.0ms

simplify4.0ms

Iterations
IterNodes
done18
118
013

end0.0ms

sample943.0ms

Algorithm
intervals
Results
421.0ms8045×body80valid
306.0ms8009×body80nan