Details

Time bar (total: 15.8s)

sample16.0ms

Algorithm
intervals
Results
9.0ms341×body80valid

simplify2.5s

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

localize10.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:
5.0ms
(+ 0.253 (* x 0.12))
11.0ms
(* x (+ 0.253 (* x 0.12)))

series151.0ms

Counts
2 → 6
Calls
2 calls:
53.0ms
(+ 0.253 (* x 0.12))
98.0ms
(* x (+ 0.253 (* x 0.12)))

simplify2.8s

Counts
41 → 41
Iterations
IterNodes
done5021
33162
2661
1183
062

prune191.0ms

Pruning

7 alts after pruning (7 fresh and 0 done)

Merged error: 0.0b

localize13.0ms

Local error

Found 2 expressions with local error:

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

rewrite25.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-*r* pow-prod-down prod-exp add-cube-cbrt cbrt-unprod
2×insert-posit16
1×+-commutative sum-log flip3-+ distribute-rgt-out associate-*l* *-commutative flip-+
Counts
2 → 32
Calls
2 calls:
10.0ms
(+ (* 0.253 x) (* (* x 0.12) x))
14.0ms
(* (* x 0.12) x)

series129.0ms

Counts
2 → 6
Calls
2 calls:
85.0ms
(+ (* 0.253 x) (* (* x 0.12) x))
43.0ms
(* (* x 0.12) x)

simplify2.9s

Counts
38 → 38
Iterations
IterNodes
done5027
33150
2678
1183
063

prune168.0ms

Pruning

8 alts after pruning (7 fresh and 1 done)

Merged error: 0.0b

localize22.0ms

Local error

Found 2 expressions with local error:

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

rewrite23.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))
18.0ms
(* x (+ 0.253 (* x 0.12)))

series164.0ms

Counts
2 → 6
Calls
2 calls:
64.0ms
(+ 0.253 (* x 0.12))
100.0ms
(* x (+ 0.253 (* x 0.12)))

simplify2.7s

Counts
41 → 41
Iterations
IterNodes
done5021
33162
2661
1183
062

prune193.0ms

Pruning

8 alts after pruning (6 fresh and 2 done)

Merged error: 0.0b

localize19.0ms

Local error

Found 4 expressions with local error:

0.2b
(* (* x 0.12) x)
0.4b
(* (sqrt (* (* x 0.12) x)) (sqrt (* (* x 0.12) x)))
22.3b
(sqrt (* (* x 0.12) x))
22.3b
(sqrt (* (* x 0.12) x))

rewrite203.0ms

Algorithm
rewrite-expression-head
Rules
148×pow1
80×pow-prod-down
66×sqrt-pow1
17×pow-prod-up
14×pow1/2
11×add-sqr-sqrt add-cbrt-cube add-exp-log pow-sqr
9×*-un-lft-identity add-cube-cbrt
7×associate-*r*
6×sqrt-prod
5×associate-*l*
4×swap-sqr prod-exp cbrt-unprod insert-posit16 add-log-exp
2×*-commutative
1×pow2 rem-square-sqrt pow-plus sqrt-unprod unswap-sqr
Counts
4 → 112
Calls
4 calls:
28.0ms
(* (* x 0.12) x)
137.0ms
(* (sqrt (* (* x 0.12) x)) (sqrt (* (* x 0.12) x)))
19.0ms
(sqrt (* (* x 0.12) x))
16.0ms
(sqrt (* (* x 0.12) x))

series271.0ms

Counts
4 → 12
Calls
4 calls:
49.0ms
(* (* x 0.12) x)
131.0ms
(* (sqrt (* (* x 0.12) x)) (sqrt (* (* x 0.12) x)))
39.0ms
(sqrt (* (* x 0.12) x))
52.0ms
(sqrt (* (* x 0.12) x))

simplify2.1s

Counts
124 → 124
Iterations
IterNodes
done5000
31399
2495
1212
085

prune351.0ms

Pruning

7 alts after pruning (6 fresh and 1 done)

Merged error: 0b

regimes150.0ms

Accuracy

0% (0.1b remaining)

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

bsearch0.0ms

simplify3.0ms

Iterations
IterNodes
done12
112
09

end0.0ms

sample735.0ms

Algorithm
intervals
Results
585.0ms10731×body80valid