Details

sample45.0ms

Algorithm

intervals

Results

11.0ms	252×	body	80	nan
9.0ms	271×	body	80	valid

simplify6.9s

Counts

1 → 1

Iterations

Iter	Nodes
done	5000
65	4986
64	4900
63	4819
62	4733
61	4660
60	4574
59	4493
58	4407
57	4330
56	4244
55	4167
54	4081
53	4004
52	3918
51	3841
50	3755
49	3678
48	3592
47	3515
46	3429
45	3348
44	3262
43	3189
42	3103
41	3022
40	2936
39	2859
38	2773
37	2692
36	2606
35	2533
34	2447
33	2366
32	2280
31	2207
30	2121
29	2040
28	1954
27	1881
26	1795
25	1714
24	1628
23	1555
22	1469
21	1388
20	1302
19	1229
18	1143
17	1062
16	976
15	903
14	817
13	736
12	667
11	593
10	483
9	340
8	246
7	206
6	146
5	91
4	64
3	43
2	25
1	13
0	7

prune29.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.1b

localize17.0ms

Local error

Found 2 expressions with local error:

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

rewrite18.0ms

Algorithm

rewrite-expression-head

Rules

11×	`add-sqr-sqrt` `*-un-lft-identity`
9×	`prod-diff` `add-cube-cbrt`
4×	`add-log-exp`
3×	`fma-neg`
2×	`expm1-log1p-u` `pow1` `add-cbrt-cube` `add-exp-log` `fma-udef` `insert-posit16` `log1p-expm1-u`
1×	`sub-neg` `flip3--` `diff-log` `associate--l+` `flip--` `distribute-lft-out--` `difference-of-squares`

Counts

2 → 41

Calls

2 calls:

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

series91.0ms

Counts

2 → 6

Calls

2 calls:

42.0ms	(- (fma y (sqrt x) 1.0) x)
48.0ms	(fma y (sqrt x) 1.0)

simplify3.2s

Counts

47 → 47

Iterations

Iter	Nodes
done	5000
3	1313
2	428
1	204
0	86

prune634.0ms

Pruning

4 alts after pruning (4 fresh and 0 done)

Merged error: 0.0b

localize28.0ms

Local error

Found 1 expressions with local error:

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

rewrite3.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

1 → 11

Calls

1 calls:

2.0ms

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

series69.0ms

Counts

1 → 3

Calls

1 calls:

69.0ms

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

simplify3.3s

Counts

14 → 14

Iterations

Iter	Nodes
done	5000
4	1655
3	404
2	151
1	65
0	31

prune200.0ms

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0.0b

localize80.0ms

Local error

Found 4 expressions with local error:

0.2b	(cbrt (fma y (sqrt x) 1.0))
0.2b	(cbrt (fma y (sqrt x) 1.0))
0.2b	(cbrt (fma y (sqrt x) 1.0))
0.3b	(* (cbrt (fma y (sqrt x) 1.0)) (cbrt (fma y (sqrt x) 1.0)))

rewrite56.0ms

Algorithm

rewrite-expression-head

Rules

25×	`cbrt-prod`
23×	`add-sqr-sqrt`
15×	`*-un-lft-identity` `add-cube-cbrt`
11×	`pow1`
9×	`pow1/3`
6×	`swap-sqr` `associate-r` `associate-l` `add-exp-log`
4×	`expm1-log1p-u` `add-cbrt-cube` `insert-posit16` `log1p-expm1-u` `add-log-exp` `unswap-sqr`
2×	`pow-prod-down` `pow-sqr` `pow-prod-up`
1×	`pow2` `pow-plus` `prod-exp` `*-commutative` `cbrt-unprod`

Counts

4 → 85

Calls

4 calls:

3.0ms	(cbrt (fma y (sqrt x) 1.0))
3.0ms	(cbrt (fma y (sqrt x) 1.0))
3.0ms	(cbrt (fma y (sqrt x) 1.0))
38.0ms	(* (cbrt (fma y (sqrt x) 1.0)) (cbrt (fma y (sqrt x) 1.0)))

series1.2s

Counts

4 → 12

Calls

4 calls:

279.0ms	(cbrt (fma y (sqrt x) 1.0))
301.0ms	(cbrt (fma y (sqrt x) 1.0))
291.0ms	(cbrt (fma y (sqrt x) 1.0))
300.0ms	(* (cbrt (fma y (sqrt x) 1.0)) (cbrt (fma y (sqrt x) 1.0)))

simplify4.1s

Counts

97 → 97

Iterations

Iter	Nodes
done	5000
3	2141
2	778
1	304
0	123

prune1.3s

Pruning

8 alts after pruning (6 fresh and 2 done)

Merged error: 0.0b

localize200.0ms

Local error

Found 4 expressions with local error:

0.2b	(cbrt (fma y (sqrt x) 1.0))
0.2b	(cbrt (fma y (sqrt x) 1.0))
0.3b	(* (cbrt (fma y (sqrt x) 1.0)) (cbrt (fma y (sqrt x) 1.0)))
0.3b	(cbrt (* (cbrt (fma y (sqrt x) 1.0)) (cbrt (fma y (sqrt x) 1.0))))

rewrite48.0ms

Algorithm

rewrite-expression-head

Rules

23×	`cbrt-prod`
22×	`add-sqr-sqrt`
14×	`*-un-lft-identity` `add-cube-cbrt`
11×	`pow1`
9×	`pow1/3`
6×	`swap-sqr` `associate-r` `associate-l` `add-exp-log`
4×	`expm1-log1p-u` `add-cbrt-cube` `insert-posit16` `log1p-expm1-u` `add-log-exp` `unswap-sqr`
2×	`pow-prod-down` `pow-sqr` `pow-prod-up`
1×	`pow2` `pow-plus` `prod-exp` `*-commutative` `cbrt-unprod`

Counts

4 → 83

Calls

4 calls:

2.0ms	(cbrt (fma y (sqrt x) 1.0))
2.0ms	(cbrt (fma y (sqrt x) 1.0))
25.0ms	(* (cbrt (fma y (sqrt x) 1.0)) (cbrt (fma y (sqrt x) 1.0)))
16.0ms	(cbrt (* (cbrt (fma y (sqrt x) 1.0)) (cbrt (fma y (sqrt x) 1.0))))

series1.5s

Counts

4 → 12

Calls

4 calls:

315.0ms	(cbrt (fma y (sqrt x) 1.0))
550.0ms	(cbrt (fma y (sqrt x) 1.0))
334.0ms	(* (cbrt (fma y (sqrt x) 1.0)) (cbrt (fma y (sqrt x) 1.0)))
315.0ms	(cbrt (* (cbrt (fma y (sqrt x) 1.0)) (cbrt (fma y (sqrt x) 1.0))))

simplify5.0s

Counts

95 → 95

Iterations

Iter	Nodes
done	5001
3	2981
2	1068
1	404
0	159

prune1.3s

Pruning

7 alts after pruning (5 fresh and 2 done)

Merged error: 0.0b

regimes452.0ms

Accuracy

0% (0.0b remaining)

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

bsearch0.0ms

simplify6.0ms

Iterations

Iter	Nodes
done	10
1	10
0	9

end0.0ms

sample1.5s

Algorithm

intervals

Results

445.0ms	8534×	body	80	valid
368.0ms	8575×	body	80	nan
0.0ms	3×	body	640	valid
0.0ms	1×	body	1280	valid