Details

sample61.0ms

Algorithm

intervals

Results

14.0ms	296×	body	80	nan
13.0ms	269×	body	80	valid

simplify7.2s

Counts

1 → 1

Iterations

Iter	Nodes
done	5000
57	4921
56	4826
55	4735
54	4640
53	4547
52	4452
51	4361
50	4266
49	4173
48	4078
47	3985
46	3890
45	3801
44	3706
43	3613
42	3518
41	3429
40	3334
39	3241
38	3146
37	3057
36	2962
35	2871
34	2776
33	2683
32	2588
31	2497
30	2402
29	2309
28	2214
27	2123
26	2028
25	1935
24	1840
23	1749
22	1654
21	1565
20	1470
19	1379
18	1288
17	1193
16	1098
15	1015
14	920
13	825
12	741
11	656
10	556
9	424
8	336
7	275
6	174
5	95
4	65
3	44
2	25
1	13
0	7

prune113.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.1b

localize42.0ms

Local error

Found 1 expressions with local error:

0.1b	(fma (sqrt x) y (- 1.0 x))

rewrite25.0ms

Algorithm

rewrite-expression-head

Rules

1×	`pow1` `add-exp-log` `add-sqr-sqrt` `expm1-log1p-u` `add-cube-cbrt` `*-un-lft-identity` `add-cbrt-cube` `fma-udef` `log1p-expm1-u` `add-log-exp`

Counts

1 → 10

Calls

1 calls:

18.0ms

(fma (sqrt x) y (- 1.0 x))

series238.0ms

Counts

1 → 3

Calls

1 calls:

238.0ms

(fma (sqrt x) y (- 1.0 x))

simplify5.9s

Counts

13 → 13

Iterations

Iter	Nodes
done	5000
4	1650
3	394
2	150
1	64
0	30

prune180.0ms

Pruning

4 alts after pruning (4 fresh and 0 done)

Merged error: 0.1b

localize21.0ms

Local error

Found 2 expressions with local error:

0.0b	(+ (- 1.0 x) (* y (sqrt x)))
0.2b	(* y (sqrt x))

rewrite97.0ms

Algorithm

rewrite-expression-head

Rules

18×	`add-sqr-sqrt`
14×	`*-un-lft-identity`
12×	`add-cube-cbrt`
11×	`associate-+l+`
9×	`prod-diff`
7×	`add-log-exp`
6×	`associate-r`
5×	`fma-def`
4×	`pow1` `add-exp-log` `sqrt-prod` `add-cbrt-cube`
3×	`associate-l`
2×	`expm1-log1p-u` `sum-log` `log1p-expm1-u` `unswap-sqr`
1×	`+-commutative` `associate-+l-` `sub-neg` `flip3-+` `diff-log` `pow-prod-down` `prod-exp` `*-commutative` `cbrt-unprod` `flip-+` `distribute-lft-out--` `difference-of-squares`

Counts

2 → 55

Calls

2 calls:

73.0ms	(+ (- 1.0 x) (* y (sqrt x)))
21.0ms	(* y (sqrt x))

series564.0ms

Counts

2 → 6

Calls

2 calls:

489.0ms	(+ (- 1.0 x) (* y (sqrt x)))
75.0ms	(* y (sqrt x))

simplify6.4s

Counts

61 → 61

Iterations

Iter	Nodes
done	5000
3	3165
2	910
1	284
0	110

prune508.0ms

Pruning

5 alts after pruning (4 fresh and 1 done)

Merged error: 0.0b

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

rewrite121.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 96

Calls

4 calls:

4.0ms	(sqrt (sqrt x))
4.0ms	(sqrt (sqrt x))
23.0ms	(* y (sqrt (sqrt x)))
84.0ms	(* (* y (sqrt (sqrt x))) (sqrt (sqrt x)))

series790.0ms

Counts

4 → 12

Calls

4 calls:

297.0ms	(sqrt (sqrt x))
265.0ms	(sqrt (sqrt x))
141.0ms	(* y (sqrt (sqrt x)))
86.0ms	(* (* y (sqrt (sqrt x))) (sqrt (sqrt x)))

simplify4.0s

Counts

108 → 108

Iterations

Iter	Nodes
done	5001
2	1249
1	369
0	138

prune736.0ms

Pruning

6 alts after pruning (5 fresh and 1 done)

Merged error: 0b

localize48.0ms

Local error

Found 4 expressions with local error:

0.1b	(pow (/ 1 x) -1/4)
0.1b	(sqrt (sqrt x))
0.2b	(* y (pow (/ 1 x) -1/4))
0.4b	(* (* y (pow (/ 1 x) -1/4)) (sqrt (sqrt x)))

rewrite162.0ms

Algorithm

rewrite-expression-head

Rules

41×	`add-exp-log`
38×	`add-sqr-sqrt`
29×	`unpow-prod-down`
27×	`*-un-lft-identity`
26×	`add-cube-cbrt` `associate-r`
20×	`times-frac`
19×	`prod-exp` `sqrt-prod`
12×	`pow-exp`
11×	`add-cbrt-cube`
10×	`pow1`
6×	`div-exp`
5×	`unswap-sqr`
4×	`expm1-log1p-u` `sqrt-pow1` `associate-l` `cbrt-unprod` `log1p-expm1-u` `add-log-exp`
3×	`pow-to-exp` `rec-exp` `pow-unpow` `pow-pow` `1-exp` `sqr-pow`
2×	`rem-sqrt-square` `pow1/2` `*-commutative` `div-inv`
1×	`pow-flip` `pow-prod-down` `inv-pow`

Counts

4 → 127

Calls

4 calls:

14.0ms	(pow (/ 1 x) -1/4)
8.0ms	(sqrt (sqrt x))
43.0ms	(* y (pow (/ 1 x) -1/4))
88.0ms	(* (* y (pow (/ 1 x) -1/4)) (sqrt (sqrt x)))

series918.0ms

Counts

4 → 12

Calls

4 calls:

391.0ms	(pow (/ 1 x) -1/4)
271.0ms	(sqrt (sqrt x))
112.0ms	(* y (pow (/ 1 x) -1/4))
143.0ms	(* (* y (pow (/ 1 x) -1/4)) (sqrt (sqrt x)))

simplify3.4s

Counts

139 → 139

Iterations

Iter	Nodes
done	5001
2	2135
1	656
0	242

prune970.0ms

Pruning

6 alts after pruning (4 fresh and 2 done)

Merged error: 0b

regimes300.0ms

Accuracy

0% (0.1b remaining)

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

bsearch0.0ms

simplify3.0ms

Iterations

Iter	Nodes
done	9
1	9
0	7

end0.0ms

sample3.8s

Algorithm

intervals

Results

2.5s	8502×	body	80	valid
691.0ms	8321×	body	80	nan
0.0ms	1×	body	1280	valid