Details

Time bar (total: 43.9s)

sample26.0ms

Algorithm
intervals
Results
13.0ms331×body80valid

simplify7.7s

Counts
1 → 1
Iterations
IterNodes
done5000
374919
364774
354626
344478
334338
324190
314042
303900
293752
283604
273464
263316
253168
243026
232878
222730
212594
202446
192298
182159
172011
161867
151729
141590
131435
121305
111152
101012
9772
8510
7276
6148
5111
497
378
242
119
08

prune16.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.1b

localize69.0ms

Local error

Found 3 expressions with local error:

0.0b
(+ 0.253 (* x 0.12))
0.0b
(- 1.0 (* x (+ 0.253 (* x 0.12))))
0.1b
(* x (+ 0.253 (* x 0.12)))

rewrite101.0ms

Algorithm
rewrite-expression-head
Rules
7×add-sqr-sqrt add-log-exp
5×pow1 *-un-lft-identity add-cbrt-cube add-exp-log add-cube-cbrt
3×associate-*r* associate-*l* insert-posit16
2×distribute-rgt-in distribute-lft-in flip3-+ associate-*r/ flip-+ associate--r+
1×+-commutative sum-log sub-neg flip3-- diff-log pow-prod-down prod-exp *-commutative cbrt-unprod flip-- unswap-sqr
Counts
3 → 50
Calls
3 calls:
20.0ms
(+ 0.253 (* x 0.12))
19.0ms
(- 1.0 (* x (+ 0.253 (* x 0.12))))
60.0ms
(* x (+ 0.253 (* x 0.12)))

series209.0ms

Counts
3 → 9
Calls
3 calls:
64.0ms
(+ 0.253 (* x 0.12))
47.0ms
(- 1.0 (* x (+ 0.253 (* x 0.12))))
97.0ms
(* x (+ 0.253 (* x 0.12)))

simplify10.0s

Counts
59 → 59
Iterations
IterNodes
done5001
34641
2915
1247
087

prune571.0ms

Pruning

9 alts after pruning (8 fresh and 1 done)

Merged error: 0.0b

localize155.0ms

Local error

Found 4 expressions with local error:

0.5b
(* (cbrt x) (cbrt x))
0.6b
(cbrt x)
0.6b
(cbrt x)
0.6b
(cbrt x)

rewrite34.0ms

Algorithm
rewrite-expression-head
Rules
25×cbrt-prod
23×add-sqr-sqrt
15×*-un-lft-identity add-cube-cbrt
11×pow1
9×pow1/3
6×swap-sqr associate-*r* associate-*l* add-exp-log
4×add-cbrt-cube insert-posit16 add-log-exp unswap-sqr
2×pow-prod-down pow-sqr pow-prod-up
1×pow2 pow-plus prod-exp *-commutative cbrt-unprod
Counts
4 → 77
Calls
4 calls:
23.0ms
(* (cbrt x) (cbrt x))
2.0ms
(cbrt x)
2.0ms
(cbrt x)
2.0ms
(cbrt x)

series1.4s

Counts
4 → 12
Calls
4 calls:
378.0ms
(* (cbrt x) (cbrt x))
314.0ms
(cbrt x)
307.0ms
(cbrt x)
356.0ms
(cbrt x)

simplify8.8s

Counts
89 → 89
Iterations
IterNodes
done5000
43734
31049
2353
1137
063

prune845.0ms

Pruning

9 alts after pruning (8 fresh and 1 done)

Merged error: 0.0b

localize246.0ms

Local error

Found 4 expressions with local error:

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

rewrite24.0ms

Algorithm
rewrite-expression-head
Rules
16×cbrt-prod
8×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
4×pow1 add-cbrt-cube pow1/3 add-exp-log insert-posit16 add-log-exp
Counts
4 → 49
Calls
4 calls:
3.0ms
(cbrt x)
2.0ms
(cbrt x)
3.0ms
(cbrt (cbrt x))
11.0ms
(cbrt (* (cbrt x) (cbrt x)))

series1.5s

Counts
4 → 12
Calls
4 calls:
337.0ms
(cbrt x)
310.0ms
(cbrt x)
397.0ms
(cbrt (cbrt x))
453.0ms
(cbrt (* (cbrt x) (cbrt x)))

simplify3.5s

Counts
61 → 61
Iterations
IterNodes
done5001
41549
3622
2267
1115
061

prune701.0ms

Pruning

9 alts after pruning (7 fresh and 2 done)

Merged error: 0.0b

localize132.0ms

Local error

Found 4 expressions with local error:

0.5b
(* (cbrt (* x (+ 0.253 (* x 0.12)))) (cbrt (* x (+ 0.253 (* x 0.12)))))
0.7b
(cbrt (* x (+ 0.253 (* x 0.12))))
0.7b
(cbrt (* x (+ 0.253 (* x 0.12))))
0.7b
(cbrt (* x (+ 0.253 (* x 0.12))))

rewrite175.0ms

Algorithm
rewrite-expression-head
Rules
20×associate-*r/
18×cbrt-div
11×pow1
10×add-sqr-sqrt
9×flip3-+ pow1/3 flip-+
8×*-un-lft-identity add-cube-cbrt
7×cbrt-prod
6×add-exp-log
4×frac-times add-cbrt-cube swap-sqr associate-*r* associate-*l* insert-posit16 add-log-exp
2×pow-prod-down associate-*l/ pow-sqr pow-prod-up
1×pow2 pow-plus prod-exp *-commutative cbrt-unprod unswap-sqr
Counts
4 → 76
Calls
4 calls:
89.0ms
(* (cbrt (* x (+ 0.253 (* x 0.12)))) (cbrt (* x (+ 0.253 (* x 0.12)))))
25.0ms
(cbrt (* x (+ 0.253 (* x 0.12))))
24.0ms
(cbrt (* x (+ 0.253 (* x 0.12))))
27.0ms
(cbrt (* x (+ 0.253 (* x 0.12))))

series1.0s

Counts
4 → 12
Calls
4 calls:
289.0ms
(* (cbrt (* x (+ 0.253 (* x 0.12)))) (cbrt (* x (+ 0.253 (* x 0.12)))))
257.0ms
(cbrt (* x (+ 0.253 (* x 0.12))))
235.0ms
(cbrt (* x (+ 0.253 (* x 0.12))))
228.0ms
(cbrt (* x (+ 0.253 (* x 0.12))))

simplify4.0s

Counts
88 → 88
Iterations
IterNodes
done5000
21497
1513
0192

prune1.1s

Pruning

9 alts after pruning (6 fresh and 3 done)

Merged error: 0.0b

regimes551.0ms

Accuracy

0% (0.1b remaining)

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

bsearch0.0ms

simplify7.0ms

Iterations
IterNodes
done11
111
08

end0.0ms

sample1.0s

Algorithm
intervals
Results
742.0ms10710×body80valid