Details

sample39.0ms

Algorithm

intervals

Results

14.0ms	284×	body	80	valid
12.0ms	255×	body	80	nan

simplify937.0ms

Counts

1 → 1

Iterations

Iter	Nodes
done	2001
37	1997
36	1932
35	1868
34	1804
33	1741
32	1676
31	1612
30	1548
29	1485
28	1420
27	1356
26	1292
25	1229
24	1164
23	1100
22	1036
21	973
20	908
19	844
18	780
17	717
16	652
15	588
14	522
13	456
12	390
11	329
10	242
9	156
8	108
7	87
6	74
5	67
4	55
3	40
2	23
1	13
0	7

prune3.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	(+ (- 1.0 x) (* y (sqrt x)))
0.2b	(* y (sqrt x))

rewrite32.0ms

Algorithm

rewrite-expression-head

Rules

9×	`add-sqr-sqrt`
7×	`add-log-exp`
6×	`associate-r`
5×	`*-un-lft-identity` `add-cube-cbrt`
4×	`pow1` `add-cbrt-cube` `add-exp-log` `sqrt-prod`
3×	`associate-l`
2×	`associate-+l+` `sum-log` `insert-posit16` `unswap-sqr`
1×	`+-commutative` `sub-neg` `flip3-+` `diff-log` `pow-prod-down` `prod-exp` `*-commutative` `associate-+l-` `cbrt-unprod` `flip-+`

Counts

2 → 39

Calls

2 calls:

19.0ms	(+ (- 1.0 x) (* y (sqrt x)))
13.0ms	(* y (sqrt x))

series108.0ms

Counts

2 → 6

Calls

2 calls:

44.0ms	(+ (- 1.0 x) (* y (sqrt x)))
64.0ms	(* y (sqrt x))

simplify510.0ms

Counts

45 → 45

Iterations

Iter	Nodes
done	2002
2	777
1	250
0	97

prune127.0ms

Pruning

6 alts after pruning (5 fresh and 1 done)

Merged error: 0.0b

localize16.0ms

Local error

Found 4 expressions with local error:

0.1b	(sqrt (sqrt x))
0.1b	(sqrt (sqrt x))
0.2b	(* y (sqrt (sqrt x)))
0.3b	(* (* y (sqrt (sqrt x))) (sqrt (sqrt x)))

rewrite42.0ms

Algorithm

rewrite-expression-head

Rules

41×	`sqrt-prod`
25×	`add-sqr-sqrt`
18×	`associate-r`
15×	`pow1` `*-un-lft-identity` `add-cube-cbrt`
11×	`add-cbrt-cube` `add-exp-log`
8×	`sqrt-pow1`
4×	`rem-sqrt-square` `pow1/2` `associate-l` `pow-prod-down` `prod-exp` `cbrt-unprod` `insert-posit16` `add-log-exp`
3×	`unswap-sqr`
2×	`*-commutative`

Counts

4 → 92

Calls

4 calls:

1.0ms	(sqrt (sqrt x))
1.0ms	(sqrt (sqrt x))
14.0ms	(* y (sqrt (sqrt x)))
24.0ms	(* (* y (sqrt (sqrt x))) (sqrt (sqrt x)))

series463.0ms

Counts

4 → 12

Calls

4 calls:

153.0ms	(sqrt (sqrt x))
165.0ms	(sqrt (sqrt x))
98.0ms	(* y (sqrt (sqrt x)))
46.0ms	(* (* y (sqrt (sqrt x))) (sqrt (sqrt x)))

simplify736.0ms

Counts

104 → 104

Iterations

Iter	Nodes
done	2002
2	1185
1	355
0	135

prune416.0ms

Pruning

8 alts after pruning (7 fresh and 1 done)

Merged error: 0.0b

localize23.0ms

Local error

Found 4 expressions with local error:

0.2b	(* y (cbrt (* (sqrt (sqrt x)) (sqrt x))))
0.3b	(* (* y (cbrt (* (sqrt (sqrt x)) (sqrt x)))) (sqrt (sqrt x)))
0.4b	(* (sqrt (sqrt x)) (sqrt x))
0.6b	(cbrt (* (sqrt (sqrt x)) (sqrt x)))

rewrite67.0ms

Algorithm

rewrite-expression-head

Rules

32×	`add-sqr-sqrt` `sqrt-prod`
23×	`pow1`
19×	`associate-r`
14×	`*-un-lft-identity` `add-cube-cbrt`
13×	`associate-l` `add-exp-log`
12×	`sqrt-pow1`
11×	`add-cbrt-cube`
8×	`pow1/2`
7×	`pow-prod-down` `unswap-sqr`
6×	`pow-prod-up`
5×	`prod-exp` `cbrt-unprod`
4×	`cube-unmult` `insert-posit16` `add-log-exp`
3×	`*-commutative`
2×	`cbrt-prod` `pow-plus` `rem-cbrt-cube`
1×	`pow1/3` `sqrt-unprod`

Counts

4 → 103

Calls

4 calls:

11.0ms	(* y (cbrt (* (sqrt (sqrt x)) (sqrt x))))
32.0ms	(* (* y (cbrt (* (sqrt (sqrt x)) (sqrt x)))) (sqrt (sqrt x)))
17.0ms	(* (sqrt (sqrt x)) (sqrt x))
6.0ms	(cbrt (* (sqrt (sqrt x)) (sqrt x)))

series566.0ms

Counts

4 → 12

Calls

4 calls:

94.0ms	(* y (cbrt (* (sqrt (sqrt x)) (sqrt x))))
59.0ms	(* (* y (cbrt (* (sqrt (sqrt x)) (sqrt x)))) (sqrt (sqrt x)))
237.0ms	(* (sqrt (sqrt x)) (sqrt x))
176.0ms	(cbrt (* (sqrt (sqrt x)) (sqrt x)))

simplify912.0ms

Counts

115 → 115

Iterations

Iter	Nodes
done	2001
2	1359
1	449
0	172

prune514.0ms

Pruning

7 alts after pruning (6 fresh and 1 done)

Merged error: 0.0b

localize38.0ms

Local error

Found 4 expressions with local error:

0.4b	(* (sqrt (sqrt x)) (sqrt x))
0.4b	(* (sqrt (sqrt x)) (sqrt x))
0.6b	(cbrt (* (sqrt (sqrt x)) (sqrt x)))
0.6b	(cbrt (* (sqrt (sqrt x)) (sqrt x)))

rewrite65.0ms

Algorithm

rewrite-expression-head

Rules

46×	`add-sqr-sqrt` `sqrt-prod`
28×	`pow1`
24×	`sqrt-pow1`
18×	`associate-l`
16×	`pow1/2`
14×	`*-un-lft-identity` `add-cube-cbrt`
12×	`associate-r` `pow-prod-up` `unswap-sqr`
8×	`add-cbrt-cube` `cube-unmult` `add-exp-log`
6×	`pow-prod-down`
4×	`pow-plus` `rem-cbrt-cube` `insert-posit16` `add-log-exp`
2×	`cbrt-prod` `pow1/3` `sqrt-unprod` `prod-exp` `*-commutative` `cbrt-unprod`

Counts

4 → 116

Calls

4 calls:

13.0ms	(* (sqrt (sqrt x)) (sqrt x))
29.0ms	(* (sqrt (sqrt x)) (sqrt x))
11.0ms	(cbrt (* (sqrt (sqrt x)) (sqrt x)))
11.0ms	(cbrt (* (sqrt (sqrt x)) (sqrt x)))

series959.0ms

Counts

4 → 12

Calls

4 calls:

273.0ms	(* (sqrt (sqrt x)) (sqrt x))
290.0ms	(* (sqrt (sqrt x)) (sqrt x))
187.0ms	(cbrt (* (sqrt (sqrt x)) (sqrt x)))
208.0ms	(cbrt (* (sqrt (sqrt x)) (sqrt x)))

simplify808.0ms

Counts

128 → 128

Iterations

Iter	Nodes
done	2010
3	1356
2	489
1	200
0	88

prune761.0ms

Pruning

7 alts after pruning (5 fresh and 2 done)

Merged error: 0.0b

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

Iter	Nodes
done	9
1	9
0	7

end0.0ms

sample1.5s

Algorithm

intervals

Results

635.0ms	8608×	body	80	nan
568.0ms	8559×	body	80	valid