Details

sample33.0ms

Algorithm

intervals

Results

17.0ms

364×

body

valid

simplify5.6s

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

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

prune3.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.1b

localize9.0ms

Local error

Found 2 expressions with local error:

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

rewrite17.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:

4.0ms	(+ 0.253 (* x 0.12))
12.0ms	(* x (+ 0.253 (* x 0.12)))

series132.0ms

Counts

2 → 6

Calls

2 calls:

36.0ms	(+ 0.253 (* x 0.12))
95.0ms	(* x (+ 0.253 (* x 0.12)))

simplify4.2s

Counts

39 → 39

Iterations

Useful iterations: 3 (1.6s)

Iter	Nodes	Cost
0	60	7916
1	181	6660
2	658	6660
3	3101	6460
done	5017	6460

prune196.0ms

Pruning

7 alts after pruning (6 fresh and 1 done)

Merged error: 0.0b

localize15.0ms

Local error

Found 2 expressions with local error:

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

rewrite42.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`
1×	`+-commutative` `sum-log` `flip3-+` `associate-r` `*-commutative` `flip-+` `distribute-lft-out`

Counts

2 → 30

Calls

2 calls:

17.0ms	(+ (* x 0.253) (* x (* x 0.12)))
24.0ms	(* x (* x 0.12))

series143.0ms

Counts

2 → 6

Calls

2 calls:

94.0ms	(+ (* x 0.253) (* x (* x 0.12)))
49.0ms	(* x (* x 0.12))

simplify4.3s

Counts

36 → 36

Iterations

Useful iterations: 3 (1.7s)

Iter	Nodes	Cost
0	58	7674
1	168	5737
2	664	5537
3	3418	5497
done	5027	5497

prune147.0ms

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0.0b

localize11.0ms

Local error

Found 2 expressions with local error:

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

rewrite29.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:

12.0ms	(+ (* x 0.253) (* (* x x) 0.12))
16.0ms	(* (* x x) 0.12)

series161.0ms

Counts

2 → 6

Calls

2 calls:

119.0ms	(+ (* x 0.253) (* (* x x) 0.12))
42.0ms	(* (* x x) 0.12)

simplify3.3s

Counts

36 → 36

Iterations

Useful iterations: 3 (1.3s)

Iter	Nodes	Cost
0	61	7796
1	178	6258
2	660	5578
3	3125	5538
done	5008	5538

prune159.0ms

Pruning

4 alts after pruning (2 fresh and 2 done)

Merged error: 0.0b

localize30.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.4b	(* (* (* x x) (sqrt 0.12)) (sqrt 0.12))

rewrite116.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`
2×	`associate-l` `*-commutative` `unswap-sqr`
1×	`+-commutative` `sum-log` `flip3-+` `flip-+`

Counts

3 → 58

Calls

3 calls:

13.0ms	(+ (* x 0.253) (* (* (* x x) (sqrt 0.12)) (sqrt 0.12)))
23.0ms	(* (* x x) (sqrt 0.12))
77.0ms	(* (* (* x x) (sqrt 0.12)) (sqrt 0.12))

series269.0ms

Counts

3 → 9

Calls

3 calls:

117.0ms	(+ (* x 0.253) (* (* (* x x) (sqrt 0.12)) (sqrt 0.12)))
71.0ms	(* (* x x) (sqrt 0.12))
81.0ms	(* (* (* x x) (sqrt 0.12)) (sqrt 0.12))

simplify5.1s

Counts

67 → 67

Iterations

Useful iterations: 3 (2.4s)

Iter	Nodes	Cost
0	89	18072
1	268	11748
2	1069	11468
3	4614	11308
done	5005	11308

prune244.0ms

Pruning

3 alts after pruning (1 fresh and 2 done)

Merged error: 0.0b

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

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	8	164
1	11	164
done	11	164

end0.0ms

sample592.0ms

Algorithm

intervals

Results

438.0ms

10707×

body

valid