Details

Time bar (total: 6.7s)

sample35.0ms

Algorithm
intervals
Results
17.0ms342×body80valid

simplify700.0ms

Counts
1 → 1
Iterations
IterNodes
done5000
7809
6193
5141
4112
379
242
119
08

prune10.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.1b

localize19.0ms

Local error

Found 2 expressions with local error:

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

rewrite34.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-+
1×distribute-rgt-in +-commutative sum-log distribute-lft-in pow-prod-down prod-exp *-commutative cbrt-unprod unswap-sqr
Counts
2 → 33
Calls
2 calls:
8.0ms
(+ 0.253 (* x 0.12))
25.0ms
(* x (+ 0.253 (* x 0.12)))

series156.0ms

Counts
2 → 6
Calls
2 calls:
49.0ms
(+ 0.253 (* x 0.12))
107.0ms
(* x (+ 0.253 (* x 0.12)))

simplify644.0ms

Counts
39 → 39
Iterations
IterNodes
done5000
2837
1187
060

prune190.0ms

Pruning

6 alts after pruning (6 fresh and 0 done)

Merged error: 0.0b

localize24.0ms

Local error

Found 2 expressions with local error:

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

rewrite29.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
1×+-commutative sum-log flip3-+ associate-*l* *-commutative flip-+
Counts
2 → 29
Calls
2 calls:
6.0ms
(+ (* x 0.253) (* (* x 0.12) x))
22.0ms
(* (* x 0.12) x)

series170.0ms

Counts
2 → 6
Calls
2 calls:
133.0ms
(+ (* x 0.253) (* (* x 0.12) x))
37.0ms
(* (* x 0.12) x)

simplify857.0ms

Counts
35 → 35
Iterations
IterNodes
done5000
21229
1178
061

prune122.0ms

Pruning

6 alts after pruning (5 fresh and 1 done)

Merged error: 0.0b

localize25.0ms

Local error

Found 2 expressions with local error:

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

rewrite27.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
1×+-commutative sum-log flip3-+ associate-*l* *-commutative flip-+ unswap-sqr
Counts
2 → 30
Calls
2 calls:
11.0ms
(+ (* x 0.253) (pow (* (* x x) 0.12) 1))
16.0ms
(* (* x x) 0.12)

series163.0ms

Counts
2 → 6
Calls
2 calls:
114.0ms
(+ (* x 0.253) (pow (* (* x x) 0.12) 1))
49.0ms
(* (* x x) 0.12)

simplify924.0ms

Counts
36 → 36
Iterations
IterNodes
done5001
21331
1196
064

prune162.0ms

Pruning

6 alts after pruning (4 fresh and 2 done)

Merged error: 0.0b

localize31.0ms

Local error

Found 4 expressions with local error:

0.0b
(+ (* x 0.253) (pow (* (* x (sqrt 0.12)) (* x (sqrt 0.12))) 1))
0.2b
(* x (sqrt 0.12))
0.2b
(* x (sqrt 0.12))
0.4b
(* (* x (sqrt 0.12)) (* x (sqrt 0.12)))

rewrite88.0ms

Algorithm
rewrite-expression-head
Rules
47×pow1
20×add-cbrt-cube add-exp-log
19×pow-prod-down
18×add-sqr-sqrt
13×associate-*r*
10×*-un-lft-identity prod-exp add-cube-cbrt cbrt-unprod
8×sqrt-prod
7×associate-*l*
6×add-log-exp
4×pow-sqr pow-prod-up unswap-sqr
3×*-commutative
2×pow-plus
1×pow2 +-commutative sum-log flip3-+ swap-sqr flip-+
Counts
4 → 89
Calls
4 calls:
15.0ms
(+ (* x 0.253) (pow (* (* x (sqrt 0.12)) (* x (sqrt 0.12))) 1))
13.0ms
(* x (sqrt 0.12))
8.0ms
(* x (sqrt 0.12))
48.0ms
(* (* x (sqrt 0.12)) (* x (sqrt 0.12)))

series369.0ms

Counts
4 → 12
Calls
4 calls:
129.0ms
(+ (* x 0.253) (pow (* (* x (sqrt 0.12)) (* x (sqrt 0.12))) 1))
52.0ms
(* x (sqrt 0.12))
62.0ms
(* x (sqrt 0.12))
126.0ms
(* (* x (sqrt 0.12)) (* x (sqrt 0.12)))

simplify748.0ms

Counts
101 → 101
Iterations
IterNodes
done5001
21233
1246
087

prune350.0ms

Pruning

7 alts after pruning (4 fresh and 3 done)

Merged error: 0.0b

regimes48.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
done16
116
011

end0.0ms

sample736.0ms

Algorithm
intervals
Results
503.0ms10608×body80valid