Details

Time bar (total: 20.6s)

sample31.0ms

Algorithm
intervals
Results
15.0ms346×body80valid

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

prune6.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.1b

localize11.0ms

Local error

Found 3 expressions with local error:

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

rewrite29.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*
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 → 47
Calls
3 calls:
7.0ms
(- 1.0 (* x (+ 0.253 (* x 0.12))))
4.0ms
(+ 0.253 (* x 0.12))
15.0ms
(* x (+ 0.253 (* x 0.12)))

series194.0ms

Counts
3 → 9
Calls
3 calls:
28.0ms
(- 1.0 (* x (+ 0.253 (* x 0.12))))
60.0ms
(+ 0.253 (* x 0.12))
105.0ms
(* x (+ 0.253 (* x 0.12)))

simplify3.8s

Counts
56 → 56
Iterations
IterNodes
done5000
34729
2869
1240
084

prune332.0ms

Pruning

7 alts after pruning (6 fresh and 1 done)

Merged error: 0.0b

localize34.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)

rewrite13.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 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 → 73
Calls
4 calls:
9.0ms
(* (cbrt x) (cbrt x))
1.0ms
(cbrt x)
1.0ms
(cbrt x)
1.0ms
(cbrt x)

series1.2s

Counts
4 → 12
Calls
4 calls:
340.0ms
(* (cbrt x) (cbrt x))
291.0ms
(cbrt x)
319.0ms
(cbrt x)
254.0ms
(cbrt x)

simplify3.3s

Counts
85 → 85
Iterations
IterNodes
done5007
43735
31034
2377
1136
061

prune487.0ms

Pruning

8 alts after pruning (6 fresh and 2 done)

Merged error: 0.0b

localize29.0ms

Local error

Found 4 expressions with local error:

0.3b
(* (* x (* (cbrt (+ 0.253 (* x 0.12))) (cbrt (+ 0.253 (* x 0.12))))) (cbrt (+ 0.253 (* x 0.12))))
0.8b
(cbrt (+ 0.253 (* x 0.12)))
0.8b
(cbrt (+ 0.253 (* x 0.12)))
0.8b
(cbrt (+ 0.253 (* x 0.12)))

rewrite230.0ms

Algorithm
rewrite-expression-head
Rules
60×cbrt-div
32×associate-*r/
30×flip3-+ flip-+
28×frac-times
14×associate-*l/
13×pow1 add-exp-log
12×cbrt-prod
9×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
8×add-cbrt-cube
6×associate-*r* pow-prod-down prod-exp cbrt-unprod
4×add-log-exp
3×pow1/3
1×associate-*l* *-commutative
Counts
4 → 89
Calls
4 calls:
213.0ms
(* (* x (* (cbrt (+ 0.253 (* x 0.12))) (cbrt (+ 0.253 (* x 0.12))))) (cbrt (+ 0.253 (* x 0.12))))
4.0ms
(cbrt (+ 0.253 (* x 0.12)))
4.0ms
(cbrt (+ 0.253 (* x 0.12)))
4.0ms
(cbrt (+ 0.253 (* x 0.12)))

series739.0ms

Counts
4 → 12
Calls
4 calls:
128.0ms
(* (* x (* (cbrt (+ 0.253 (* x 0.12))) (cbrt (+ 0.253 (* x 0.12))))) (cbrt (+ 0.253 (* x 0.12))))
193.0ms
(cbrt (+ 0.253 (* x 0.12)))
216.0ms
(cbrt (+ 0.253 (* x 0.12)))
201.0ms
(cbrt (+ 0.253 (* x 0.12)))

simplify2.0s

Counts
101 → 101
Iterations
IterNodes
done5000
21597
1519
0186

prune578.0ms

Pruning

7 alts after pruning (5 fresh and 2 done)

Merged error: 0.0b

localize68.0ms

Local error

Found 4 expressions with local error:

0.8b
(cbrt (- 0.253 (* x 0.12)))
0.8b
(cbrt (+ 0.253 (* x 0.12)))
0.8b
(cbrt (+ 0.253 (* x 0.12)))
1.2b
(cbrt (- (* 0.253 0.253) (* (* x 0.12) (* x 0.12))))

rewrite26.0ms

Algorithm
rewrite-expression-head
Rules
13×cbrt-prod
8×add-sqr-sqrt cbrt-div *-un-lft-identity add-cube-cbrt
4×pow1 add-cbrt-cube pow1/3 add-exp-log add-log-exp
2×flip3-+ flip3-- flip-+ flip--
1×difference-of-squares
Counts
4 → 53
Calls
4 calls:
5.0ms
(cbrt (- 0.253 (* x 0.12)))
5.0ms
(cbrt (+ 0.253 (* x 0.12)))
5.0ms
(cbrt (+ 0.253 (* x 0.12)))
9.0ms
(cbrt (- (* 0.253 0.253) (* (* x 0.12) (* x 0.12))))

series952.0ms

Counts
4 → 12
Calls
4 calls:
168.0ms
(cbrt (- 0.253 (* x 0.12)))
200.0ms
(cbrt (+ 0.253 (* x 0.12)))
200.0ms
(cbrt (+ 0.253 (* x 0.12)))
383.0ms
(cbrt (- (* 0.253 0.253) (* (* x 0.12) (* x 0.12))))

simplify2.1s

Counts
65 → 65
Iterations
IterNodes
done5015
21633
1517
0214

prune635.0ms

Pruning

7 alts after pruning (4 fresh and 3 done)

Merged error: 0.0b

regimes224.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
done11
111
08

end0.0ms

sample767.0ms

Algorithm
intervals
Results
543.0ms10734×body80valid