Details

sample26.0ms

Algorithm

intervals

Results

17.0ms

341×

body

valid

simplify2.7s

Counts

1 → 1

Iterations

Iter	Nodes
done	5000
37	4919
36	4774
35	4626
34	4478
33	4338
32	4190
31	4042
30	3900
29	3752
28	3604
27	3464
26	3316
25	3168
24	3026
23	2878
22	2730
21	2594
20	2446
19	2298
18	2159
17	2011
16	1867
15	1729
14	1590
13	1435
12	1305
11	1152
10	1012
9	772
8	510
7	276
6	148
5	111
4	97
3	78
2	42
1	19
0	8

prune2.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.1b

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

rewrite216.0ms

Algorithm

rewrite-expression-head

Rules

17×	`*-un-lft-identity`
12×	`add-sqr-sqrt`
7×	`add-log-exp`
6×	`associate-l`
5×	`pow1` `+-commutative` `add-cbrt-cube` `associate-r` `add-exp-log` `add-cube-cbrt`
4×	`distribute-rgt-in` `distribute-lft-in` `distribute-lft-out` `associate--r+`
3×	`insert-posit16`
2×	`flip3-+` `associate-*r/` `flip-+` `distribute-lft-out--` `difference-of-squares` `unswap-sqr`
1×	`sum-log` `sub-neg` `flip3--` `diff-log` `pow-prod-down` `prod-exp` `*-commutative` `cbrt-unprod` `flip--`

Counts

3 → 62

Calls

3 calls:

137.0ms	(- 1.0 (* x (+ 0.253 (* x 0.12))))
13.0ms	(+ 0.253 (* x 0.12))
64.0ms	(* x (+ 0.253 (* x 0.12)))

series191.0ms

Counts

3 → 9

Calls

3 calls:

27.0ms	(- 1.0 (* x (+ 0.253 (* x 0.12))))
59.0ms	(+ 0.253 (* x 0.12))
104.0ms	(* x (+ 0.253 (* x 0.12)))

simplify3.6s

Counts

71 → 71

Iterations

Iter	Nodes
done	5018
3	4528
2	899
1	263
0	94

prune286.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	(- (- 1.0 (* (* x 0.12) x)) (* 0.253 x))
0.2b	(* (* x 0.12) x)

rewrite505.0ms

Algorithm

rewrite-expression-head

Rules

28×	`*-un-lft-identity`
25×	`associate-l`
18×	`add-sqr-sqrt`
14×	`distribute-lft-out--`
7×	`pow1` `add-cbrt-cube` `add-exp-log` `add-log-exp`
6×	`associate-r` `add-cube-cbrt`
5×	`unswap-sqr`
3×	`diff-log` `pow-prod-down` `prod-exp` `cbrt-unprod`
2×	`sub-neg` `associate--l+` `*-commutative` `insert-posit16` `difference-of-squares`
1×	`associate--l-` `flip3--` `flip--`

Counts

2 → 59

Calls

2 calls:

465.0ms	(- (- 1.0 (* (* x 0.12) x)) (* 0.253 x))
36.0ms	(* (* x 0.12) x)

series80.0ms

Counts

2 → 6

Calls

2 calls:

32.0ms	(- (- 1.0 (* (* x 0.12) x)) (* 0.253 x))
48.0ms	(* (* x 0.12) x)

simplify2.0s

Counts

65 → 65

Iterations

Iter	Nodes
done	5002
3	2561
2	682
1	240
0	98

prune203.0ms

Pruning

5 alts after pruning (4 fresh and 1 done)

Merged error: 0b

localize31.0ms

Local error

Found 2 expressions with local error:

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

rewrite574.0ms

Algorithm

rewrite-expression-head

Rules

25×	`add-sqr-sqrt`
24×	`*-un-lft-identity`
18×	`associate-r`
11×	`associate-l`
10×	`distribute-lft-out--`
8×	`add-cube-cbrt` `unswap-sqr`
7×	`pow1` `add-cbrt-cube` `add-exp-log` `add-log-exp`
4×	`swap-sqr`
3×	`diff-log` `pow-prod-down` `prod-exp` `*-commutative` `cbrt-unprod`
2×	`sub-neg` `associate--l+` `insert-posit16` `difference-of-squares`
1×	`associate--l-` `flip3--` `flip--`

Counts

2 → 63

Calls

2 calls:

516.0ms	(- (- 1.0 (* 0.12 (* x x))) (* 0.253 x))
54.0ms	(* 0.12 (* x x))

series96.0ms

Counts

2 → 6

Calls

2 calls:

46.0ms	(- (- 1.0 (* 0.12 (* x x))) (* 0.253 x))
50.0ms	(* 0.12 (* x x))

simplify2.7s

Counts

69 → 69

Iterations

Iter	Nodes
done	5000
3	3442
2	967
1	291
0	105

prune171.0ms

Pruning

5 alts after pruning (3 fresh and 2 done)

Merged error: 0b

localize18.0ms

Local error

Found 4 expressions with local error:

0.0b	(- (- 1.0 (* (* (sqrt 0.12) x) (* (sqrt 0.12) x))) (* 0.253 x))
0.2b	(* (sqrt 0.12) x)
0.2b	(* (sqrt 0.12) x)
0.3b	(* (* (sqrt 0.12) x) (* (sqrt 0.12) x))

rewrite1.4s

Algorithm

rewrite-expression-head

Rules

97×	`add-sqr-sqrt`
68×	`associate-l`
52×	`*-un-lft-identity`
47×	`pow1`
38×	`unswap-sqr`
34×	`associate-r` `sqrt-prod`
26×	`add-cube-cbrt`
22×	`swap-sqr`
20×	`add-cbrt-cube` `add-exp-log`
19×	`pow-prod-down`
14×	`distribute-lft-out--`
10×	`prod-exp` `cbrt-unprod`
9×	`add-log-exp`
7×	`*-commutative`
4×	`pow-sqr` `pow-prod-up` `insert-posit16`
3×	`diff-log`
2×	`sub-neg` `pow-plus` `associate--l+` `difference-of-squares`
1×	`associate--l-` `pow2` `flip3--` `flip--`

Counts

4 → 168

Calls

4 calls:

1.3s	(- (- 1.0 (* (* (sqrt 0.12) x) (* (sqrt 0.12) x))) (* 0.253 x))
10.0ms	(* (sqrt 0.12) x)
12.0ms	(* (sqrt 0.12) x)
94.0ms	(* (* (sqrt 0.12) x) (* (sqrt 0.12) x))

series305.0ms

Counts

4 → 12

Calls

4 calls:

77.0ms	(- (- 1.0 (* (* (sqrt 0.12) x) (* (sqrt 0.12) x))) (* 0.253 x))
58.0ms	(* (sqrt 0.12) x)
64.0ms	(* (sqrt 0.12) x)
105.0ms	(* (* (sqrt 0.12) x) (* (sqrt 0.12) x))

simplify1.6s

Counts

180 → 180

Iterations

Iter	Nodes
done	5000
2	1548
1	439
0	146

prune433.0ms

Pruning

5 alts after pruning (2 fresh and 3 done)

Merged error: 0b

regimes30.0ms

Accuracy

0% (0.1b remaining)

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

bsearch0.0ms

simplify1.0ms

Iterations

Iter	Nodes
done	11
1	11
0	9

end0.0ms

sample801.0ms

Algorithm

intervals

Results

667.0ms

10519×

body

valid