Details

sample35.0ms

Algorithm

intervals

Results

10.0ms	274×	body	80	valid
10.0ms	279×	body	80	nan

simplify2.8s

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

prune11.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.1b

localize18.0ms

Local error

Found 1 expressions with local error:

0.1b	(fma y (sqrt x) 1.0)

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

0.0ms

(fma y (sqrt x) 1.0)

series44.0ms

Counts

1 → 3

Calls

1 calls:

44.0ms

(fma y (sqrt x) 1.0)

simplify2.9s

Counts

14 → 14

Iterations

Iter	Nodes
done	5000
5	3924
4	1125
3	433
2	173
1	72
0	32

prune85.0ms

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0.1b

localize24.0ms

Local error

Found 4 expressions with local error:

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

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

20.0ms	(* (cbrt (fma y (sqrt x) 1.0)) (cbrt (fma y (sqrt x) 1.0)))
1.0ms	(cbrt (fma y (sqrt x) 1.0))
1.0ms	(cbrt (fma y (sqrt x) 1.0))
1.0ms	(cbrt (fma y (sqrt x) 1.0))

series855.0ms

Counts

4 → 12

Calls

4 calls:

217.0ms	(* (cbrt (fma y (sqrt x) 1.0)) (cbrt (fma y (sqrt x) 1.0)))
214.0ms	(cbrt (fma y (sqrt x) 1.0))
232.0ms	(cbrt (fma y (sqrt x) 1.0))
192.0ms	(cbrt (fma y (sqrt x) 1.0))

simplify1.8s

Counts

97 → 97

Iterations

Iter	Nodes
done	5000
3	2148
2	786
1	304
0	123

prune485.0ms

Pruning

7 alts after pruning (6 fresh and 1 done)

Merged error: 0.0b

localize21.0ms

Local error

Found 4 expressions with local error:

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

rewrite29.0ms

Algorithm

rewrite-expression-head

Rules

12×	`cbrt-prod`
11×	`add-exp-log`
9×	`add-sqr-sqrt` `pow1` `*-un-lft-identity` `add-cube-cbrt`
6×	`add-cbrt-cube` `associate-r`
5×	`prod-exp`
4×	`expm1-log1p-u` `insert-posit16` `log1p-expm1-u` `add-log-exp`
3×	`pow1/3` `pow-prod-down` `cbrt-unprod`
1×	`1-exp` `associate-l` `*-commutative`

Counts

4 → 67

Calls

4 calls:

26.0ms	(* (* (cbrt (fma y (sqrt x) 1.0)) 1) (cbrt (fma y (sqrt x) 1.0)))
1.0ms	(cbrt (fma y (sqrt x) 1.0))
1.0ms	(cbrt (fma y (sqrt x) 1.0))
1.0ms	(cbrt (fma y (sqrt x) 1.0))

series873.0ms

Counts

4 → 12

Calls

4 calls:

223.0ms	(* (* (cbrt (fma y (sqrt x) 1.0)) 1) (cbrt (fma y (sqrt x) 1.0)))
224.0ms	(cbrt (fma y (sqrt x) 1.0))
203.0ms	(cbrt (fma y (sqrt x) 1.0))
223.0ms	(cbrt (fma y (sqrt x) 1.0))

simplify2.3s

Counts

79 → 79

Iterations

Iter	Nodes
done	5001
3	2230
2	789
1	312
0	126

prune569.0ms

Pruning

7 alts after pruning (5 fresh and 2 done)

Merged error: 0.0b

localize40.0ms

Local error

Found 4 expressions with local error:

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

rewrite3.0ms

Algorithm

rewrite-expression-head

Rules

12×	`cbrt-prod`
8×	`add-sqr-sqrt` `*-un-lft-identity` `add-cube-cbrt`
4×	`expm1-log1p-u` `pow1` `add-cbrt-cube` `pow1/3` `add-exp-log` `insert-posit16` `log1p-expm1-u` `add-log-exp`

Counts

4 → 56

Calls

4 calls:

1.0ms	(cbrt (fma y (sqrt x) 1.0))
1.0ms	(cbrt (fma y (sqrt x) 1.0))
1.0ms	(cbrt (fma y (sqrt x) 1.0))
1.0ms	(cbrt (fma y (sqrt x) 1.0))

series728.0ms

Counts

4 → 12

Calls

4 calls:

166.0ms	(cbrt (fma y (sqrt x) 1.0))
173.0ms	(cbrt (fma y (sqrt x) 1.0))
198.0ms	(cbrt (fma y (sqrt x) 1.0))
191.0ms	(cbrt (fma y (sqrt x) 1.0))

simplify2.8s

Counts

68 → 68

Iterations

Iter	Nodes
done	5000
4	3954
3	958
2	345
1	143
0	63

prune558.0ms

Pruning

8 alts after pruning (5 fresh and 3 done)

Merged error: 0.0b

regimes133.0ms

Accuracy

0% (0.0b remaining)

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

bsearch0.0ms

simplify1.0ms

Iterations

Iter	Nodes
done	6
0	6

end0.0ms

sample1.5s

Algorithm

intervals

Results

798.0ms	8384×	body	80	nan
434.0ms	8524×	body	80	valid
1.0ms	3×	body	1280	valid
0.0ms	1×	body	640	valid