Details

sample81.0ms

Algorithm

intervals

Results

24.0ms	316×	body	80	nan
22.0ms	277×	body	80	valid

simplify7.4s

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

prune33.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.1b

localize53.0ms

Local error

Found 1 expressions with local error:

0.1b	(fma y (sqrt x) 1.0)

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 y (sqrt x) 1.0)

series50.0ms

Counts

1 → 3

Calls

1 calls:

50.0ms

(fma y (sqrt x) 1.0)

simplify6.9s

Counts

14 → 14

Iterations

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

prune198.0ms

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0.1b

localize109.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.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))

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

31.0ms	(* (cbrt (fma y (sqrt x) 1.0)) (cbrt (fma y (sqrt x) 1.0)))
5.0ms	(cbrt (fma y (sqrt x) 1.0))
5.0ms	(cbrt (fma y (sqrt x) 1.0))
5.0ms	(cbrt (fma y (sqrt x) 1.0))

series1.2s

Counts

4 → 12

Calls

4 calls:

357.0ms	(* (cbrt (fma y (sqrt x) 1.0)) (cbrt (fma y (sqrt x) 1.0)))
299.0ms	(cbrt (fma y (sqrt x) 1.0))
295.0ms	(cbrt (fma y (sqrt x) 1.0))
277.0ms	(cbrt (fma y (sqrt x) 1.0))

simplify4.9s

Counts

97 → 97

Iterations

Iter	Nodes
done	5001
3	2152
2	782
1	304
0	123

prune1.3s

Pruning

7 alts after pruning (6 fresh and 1 done)

Merged error: 0.0b

localize343.0ms

Local error

Found 4 expressions with local error:

0.3b	(* (cbrt (* (cbrt (fma y (sqrt x) 1.0)) (cbrt (fma y (sqrt x) 1.0)))) (cbrt (* (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))))
0.3b	(cbrt (* (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))))

rewrite86.0ms

Algorithm

rewrite-expression-head

Rules

12×	`add-sqr-sqrt`
11×	`cbrt-prod` `pow1`
9×	`pow1/3`
8×	`*-un-lft-identity` `add-cube-cbrt`
6×	`add-exp-log`
4×	`expm1-log1p-u` `add-cbrt-cube` `swap-sqr` `associate-r` `associate-l` `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 → 73

Calls

4 calls:

46.0ms	(* (cbrt (* (cbrt (fma y (sqrt x) 1.0)) (cbrt (fma y (sqrt x) 1.0)))) (cbrt (* (cbrt (fma y (sqrt x) 1.0)) (cbrt (fma y (sqrt x) 1.0)))))
12.0ms	(cbrt (* (cbrt (fma y (sqrt x) 1.0)) (cbrt (fma y (sqrt x) 1.0))))
13.0ms	(cbrt (* (cbrt (fma y (sqrt x) 1.0)) (cbrt (fma y (sqrt x) 1.0))))
12.0ms	(cbrt (* (cbrt (fma y (sqrt x) 1.0)) (cbrt (fma y (sqrt x) 1.0))))

series1.2s

Counts

4 → 12

Calls

4 calls:

324.0ms	(* (cbrt (* (cbrt (fma y (sqrt x) 1.0)) (cbrt (fma y (sqrt x) 1.0)))) (cbrt (* (cbrt (fma y (sqrt x) 1.0)) (cbrt (fma y (sqrt x) 1.0)))))
314.0ms	(cbrt (* (cbrt (fma y (sqrt x) 1.0)) (cbrt (fma y (sqrt x) 1.0))))
309.0ms	(cbrt (* (cbrt (fma y (sqrt x) 1.0)) (cbrt (fma y (sqrt x) 1.0))))
267.0ms	(cbrt (* (cbrt (fma y (sqrt x) 1.0)) (cbrt (fma y (sqrt x) 1.0))))

simplify4.6s

Counts

85 → 85

Iterations

Iter	Nodes
done	5000
3	2216
2	797
1	308
0	121

prune1.3s

Pruning

9 alts after pruning (8 fresh and 1 done)

Merged error: 0.0b

localize432.0ms

Local error

Found 4 expressions with local error:

0.3b	(cbrt (* (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))))
0.3b	(cbrt (* (cbrt (fma y (sqrt x) 1.0)) (cbrt (fma y (sqrt x) 1.0))))
0.3b	(cbrt (* (* (cbrt (* (cbrt (fma y (sqrt x) 1.0)) (cbrt (fma y (sqrt x) 1.0)))) (cbrt (* (cbrt (fma y (sqrt x) 1.0)) (cbrt (fma y (sqrt x) 1.0))))) (cbrt (* (cbrt (fma y (sqrt x) 1.0)) (cbrt (fma y (sqrt x) 1.0))))))

rewrite130.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 49

Calls

4 calls:

13.0ms	(cbrt (* (cbrt (fma y (sqrt x) 1.0)) (cbrt (fma y (sqrt x) 1.0))))
12.0ms	(cbrt (* (cbrt (fma y (sqrt x) 1.0)) (cbrt (fma y (sqrt x) 1.0))))
12.0ms	(cbrt (* (cbrt (fma y (sqrt x) 1.0)) (cbrt (fma y (sqrt x) 1.0))))
91.0ms	(cbrt (* (* (cbrt (* (cbrt (fma y (sqrt x) 1.0)) (cbrt (fma y (sqrt x) 1.0)))) (cbrt (* (cbrt (fma y (sqrt x) 1.0)) (cbrt (fma y (sqrt x) 1.0))))) (cbrt (* (cbrt (fma y (sqrt x) 1.0)) (cbrt (fma y (sqrt x) 1.0))))))

series1.3s

Counts

4 → 12

Calls

4 calls:

297.0ms	(cbrt (* (cbrt (fma y (sqrt x) 1.0)) (cbrt (fma y (sqrt x) 1.0))))
336.0ms	(cbrt (* (cbrt (fma y (sqrt x) 1.0)) (cbrt (fma y (sqrt x) 1.0))))
321.0ms	(cbrt (* (cbrt (fma y (sqrt x) 1.0)) (cbrt (fma y (sqrt x) 1.0))))
318.0ms	(cbrt (* (* (cbrt (* (cbrt (fma y (sqrt x) 1.0)) (cbrt (fma y (sqrt x) 1.0)))) (cbrt (* (cbrt (fma y (sqrt x) 1.0)) (cbrt (fma y (sqrt x) 1.0))))) (cbrt (* (cbrt (fma y (sqrt x) 1.0)) (cbrt (fma y (sqrt x) 1.0))))))

simplify3.5s

Counts

61 → 61

Iterations

Iter	Nodes
done	5002
3	1235
2	403
1	167
0	76

prune1.1s

Pruning

9 alts after pruning (7 fresh and 2 done)

Merged error: 0.0b

regimes519.0ms

Accuracy

0% (0.0b remaining)

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

bsearch0.0ms

simplify3.0ms

Iterations

Iter	Nodes
done	6
0	6

end0.0ms

sample1.8s

Algorithm

intervals

Results

581.0ms	8565×	body	80	valid
537.0ms	8487×	body	80	nan
1.0ms	2×	body	640	valid
0.0ms	2×	body	1280	valid