Details

Time bar (total: 15.4s)

sample15.0ms

Algorithm
intervals
Results
9.0ms325×body80valid

simplify2.4s

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

prune2.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.1b

localize11.0ms

Local error

Found 2 expressions with local error:

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

rewrite16.0ms

Algorithm
rewrite-expression-head
Rules
6×add-sqr-sqrt
4×pow1 *-un-lft-identity add-cbrt-cube add-exp-log add-cube-cbrt add-log-exp
3×associate-*r* associate-*l*
2×flip3-+ associate-*r/ flip-+ insert-posit16
1×distribute-rgt-in +-commutative sum-log distribute-lft-in pow-prod-down prod-exp *-commutative cbrt-unprod unswap-sqr
Counts
2 → 35
Calls
2 calls:
4.0ms
(+ 0.253 (* x 0.12))
11.0ms
(* x (+ 0.253 (* x 0.12)))

series144.0ms

Counts
2 → 6
Calls
2 calls:
54.0ms
(+ 0.253 (* x 0.12))
90.0ms
(* x (+ 0.253 (* x 0.12)))

simplify2.5s

Counts
41 → 41
Iterations
IterNodes
done5021
33162
2661
1183
062

prune117.0ms

Pruning

7 alts after pruning (7 fresh and 0 done)

Merged error: 0.0b

localize27.0ms

Local error

Found 2 expressions with local error:

0.0b
(+ (* x 0.253) (* x (* x 0.12)))
0.2b
(* x (* x 0.12))

rewrite49.0ms

Algorithm
rewrite-expression-head
Rules
7×pow1 add-cbrt-cube add-exp-log
4×add-log-exp
3×add-sqr-sqrt *-un-lft-identity associate-*l* pow-prod-down prod-exp add-cube-cbrt cbrt-unprod
2×insert-posit16
1×+-commutative sum-log flip3-+ associate-*r* *-commutative flip-+ distribute-lft-out
Counts
2 → 32
Calls
2 calls:
21.0ms
(+ (* x 0.253) (* x (* x 0.12)))
27.0ms
(* x (* x 0.12))

series136.0ms

Counts
2 → 6
Calls
2 calls:
86.0ms
(+ (* x 0.253) (* x (* x 0.12)))
50.0ms
(* x (* x 0.12))

simplify2.8s

Counts
38 → 38
Iterations
IterNodes
done5002
33254
2658
1169
060

prune123.0ms

Pruning

5 alts after pruning (4 fresh and 1 done)

Merged error: 0.0b

localize16.0ms

Local error

Found 2 expressions with local error:

0.0b
(+ (* x 0.253) (* (* x x) 0.12))
0.2b
(* (* x x) 0.12)

rewrite31.0ms

Algorithm
rewrite-expression-head
Rules
7×pow1 add-cbrt-cube add-exp-log
4×add-sqr-sqrt add-log-exp
3×*-un-lft-identity associate-*r* pow-prod-down prod-exp add-cube-cbrt cbrt-unprod
2×insert-posit16
1×+-commutative sum-log flip3-+ associate-*l* *-commutative flip-+ unswap-sqr
Counts
2 → 32
Calls
2 calls:
15.0ms
(+ (* x 0.253) (* (* x x) 0.12))
15.0ms
(* (* x x) 0.12)

series158.0ms

Counts
2 → 6
Calls
2 calls:
125.0ms
(+ (* x 0.253) (* (* x x) 0.12))
33.0ms
(* (* x x) 0.12)

simplify2.3s

Counts
38 → 38
Iterations
IterNodes
done5007
32818
2595
1179
063

prune131.0ms

Pruning

4 alts after pruning (2 fresh and 2 done)

Merged error: 0b

localize20.0ms

Local error

Found 3 expressions with local error:

0.0b
(+ (* x 0.253) (* (* (* x x) (sqrt 0.12)) (sqrt 0.12)))
0.2b
(* (* x x) (sqrt 0.12))
0.2b
(* (* (* x x) (sqrt 0.12)) (sqrt 0.12))

rewrite119.0ms

Algorithm
rewrite-expression-head
Rules
17×pow1 add-cbrt-cube add-exp-log
12×associate-*r*
9×add-sqr-sqrt pow-prod-down prod-exp cbrt-unprod
7×*-un-lft-identity add-cube-cbrt sqrt-prod
5×add-log-exp
3×insert-posit16
2×associate-*l* *-commutative unswap-sqr
1×+-commutative sum-log flip3-+ flip-+
Counts
3 → 61
Calls
3 calls:
8.0ms
(+ (* x 0.253) (* (* (* x x) (sqrt 0.12)) (sqrt 0.12)))
29.0ms
(* (* x x) (sqrt 0.12))
80.0ms
(* (* (* x x) (sqrt 0.12)) (sqrt 0.12))

series298.0ms

Counts
3 → 9
Calls
3 calls:
150.0ms
(+ (* x 0.253) (* (* (* x x) (sqrt 0.12)) (sqrt 0.12)))
59.0ms
(* (* x x) (sqrt 0.12))
90.0ms
(* (* (* x x) (sqrt 0.12)) (sqrt 0.12))

simplify2.8s

Counts
70 → 70
Iterations
IterNodes
done5012
33928
2969
1270
092

prune212.0ms

Pruning

4 alts after pruning (1 fresh and 3 done)

Merged error: 0b

regimes29.0ms

Accuracy

0% (0.1b remaining)

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

bsearch0.0ms

simplify2.0ms

Iterations
IterNodes
done13
113
09

end0.0ms

sample951.0ms

Algorithm
intervals
Results
806.0ms10596×body80valid