Details

sample63.0ms

Algorithm

intervals

Results

24.0ms	295×	body	80	nan
13.0ms	274×	body	80	valid

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

prune19.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.1b

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

rewrite15.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` `log1p-expm1-u`
1×	`sub-neg` `flip3--` `diff-log` `associate--l+` `flip--` `distribute-lft-out--` `difference-of-squares`

Counts

2 → 39

Calls

2 calls:

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

series105.0ms

Counts

2 → 6

Calls

2 calls:

54.0ms	(- (fma y (sqrt x) 1.0) x)
51.0ms	(fma y (sqrt x) 1.0)

simplify1.8s

Counts

45 → 45

Iterations

Iter	Nodes
done	5000
3	1335
2	426
1	202
0	84

prune229.0ms

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0.1b

localize34.0ms

Local error

Found 4 expressions with local error:

0.4b	(cbrt (- (fma y (sqrt x) 1.0) x))
0.4b	(cbrt (- (fma y (sqrt x) 1.0) x))
0.4b	(cbrt (- (fma y (sqrt x) 1.0) x))
0.4b	(* (cbrt (- (fma y (sqrt x) 1.0) x)) (cbrt (- (fma y (sqrt x) 1.0) x)))

rewrite53.0ms

Algorithm

rewrite-expression-head

Rules

43×	`cbrt-prod`
37×	`add-sqr-sqrt`
35×	`*-un-lft-identity`
18×	`cbrt-div`
15×	`add-cube-cbrt`
11×	`pow1`
10×	`swap-sqr`
9×	`flip3--` `pow1/3` `flip--` `distribute-lft-out--`
8×	`associate-r` `associate-l`
7×	`difference-of-squares`
6×	`add-exp-log`
4×	`expm1-log1p-u` `frac-times` `add-cbrt-cube` `log1p-expm1-u` `add-log-exp` `unswap-sqr`
2×	`pow-prod-down` `associate-l/` `associate-r/` `pow-sqr` `pow-prod-up`
1×	`pow2` `pow-plus` `prod-exp` `*-commutative` `cbrt-unprod`

Counts

4 → 109

Calls

4 calls:

6.0ms	(cbrt (- (fma y (sqrt x) 1.0) x))
3.0ms	(cbrt (- (fma y (sqrt x) 1.0) x))
3.0ms	(cbrt (- (fma y (sqrt x) 1.0) x))
35.0ms	(* (cbrt (- (fma y (sqrt x) 1.0) x)) (cbrt (- (fma y (sqrt x) 1.0) x)))

series951.0ms

Counts

4 → 12

Calls

4 calls:

248.0ms	(cbrt (- (fma y (sqrt x) 1.0) x))
235.0ms	(cbrt (- (fma y (sqrt x) 1.0) x))
213.0ms	(cbrt (- (fma y (sqrt x) 1.0) x))
253.0ms	(* (cbrt (- (fma y (sqrt x) 1.0) x)) (cbrt (- (fma y (sqrt x) 1.0) x)))

simplify1.9s

Counts

121 → 121

Iterations

Iter	Nodes
done	5000
3	2217
2	866
1	361
0	157

prune898.0ms

Pruning

8 alts after pruning (7 fresh and 1 done)

Merged error: 0.0b

localize102.0ms

Local error

Found 4 expressions with local error:

0.4b	(cbrt (- (fma y (sqrt x) 1.0) x))
0.4b	(cbrt (- (fma y (sqrt x) 1.0) x))
0.4b	(* (* (cbrt (* (cbrt (- (fma y (sqrt x) 1.0) x)) (cbrt (- (fma y (sqrt x) 1.0) x)))) (cbrt (cbrt (- (fma y (sqrt x) 1.0) x)))) (cbrt (- (fma y (sqrt x) 1.0) x)))
0.4b	(* (cbrt (- (fma y (sqrt x) 1.0) x)) (cbrt (- (fma y (sqrt x) 1.0) x)))

rewrite224.0ms

Algorithm

rewrite-expression-head

Rules

358×	`cbrt-div`
140×	`frac-times`
116×	`flip3--` `flip--`
70×	`associate-*l/`
44×	`cbrt-prod`
38×	`add-sqr-sqrt`
36×	`*-un-lft-identity`
28×	`associate-*r/`
17×	`add-cube-cbrt`
16×	`pow1` `associate-r`
11×	`pow1/3` `swap-sqr` `add-exp-log`
9×	`associate-l` `distribute-lft-out--`
7×	`pow-prod-down` `difference-of-squares`
5×	`add-cbrt-cube`
4×	`expm1-log1p-u` `prod-exp` `cbrt-unprod` `log1p-expm1-u` `add-log-exp` `unswap-sqr`
2×	`pow-sqr` `*-commutative` `pow-prod-up`
1×	`pow2` `pow-plus`

Counts

4 → 199

Calls

4 calls:

6.0ms	(cbrt (- (fma y (sqrt x) 1.0) x))
6.0ms	(cbrt (- (fma y (sqrt x) 1.0) x))
132.0ms	(* (* (cbrt (* (cbrt (- (fma y (sqrt x) 1.0) x)) (cbrt (- (fma y (sqrt x) 1.0) x)))) (cbrt (cbrt (- (fma y (sqrt x) 1.0) x)))) (cbrt (- (fma y (sqrt x) 1.0) x)))
50.0ms	(* (cbrt (- (fma y (sqrt x) 1.0) x)) (cbrt (- (fma y (sqrt x) 1.0) x)))

series947.0ms

Counts

4 → 12

Calls

4 calls:

224.0ms	(cbrt (- (fma y (sqrt x) 1.0) x))
219.0ms	(cbrt (- (fma y (sqrt x) 1.0) x))
239.0ms	(* (* (cbrt (* (cbrt (- (fma y (sqrt x) 1.0) x)) (cbrt (- (fma y (sqrt x) 1.0) x)))) (cbrt (cbrt (- (fma y (sqrt x) 1.0) x)))) (cbrt (- (fma y (sqrt x) 1.0) x)))
264.0ms	(* (cbrt (- (fma y (sqrt x) 1.0) x)) (cbrt (- (fma y (sqrt x) 1.0) x)))

simplify3.0s

Counts

211 → 211

Iterations

Iter	Nodes
done	5000
2	2204
1	887
0	355

prune2.1s

Pruning

8 alts after pruning (7 fresh and 1 done)

Merged error: 0.0b

localize186.0ms

Local error

Found 4 expressions with local error:

0.4b	(* (* (cbrt (* (* (cbrt (* (cbrt (- (fma y (sqrt x) 1.0) x)) (cbrt (- (fma y (sqrt x) 1.0) x)))) (cbrt (* (cbrt (- (fma y (sqrt x) 1.0) x)) (cbrt (- (fma y (sqrt x) 1.0) x))))) (cbrt (* (cbrt (- (fma y (sqrt x) 1.0) x)) (cbrt (- (fma y (sqrt x) 1.0) x)))))) (cbrt (cbrt (- (fma y (sqrt x) 1.0) x)))) (cbrt (- (fma y (sqrt x) 1.0) x)))
0.4b	(* (cbrt (- (fma y (sqrt x) 1.0) x)) (cbrt (- (fma y (sqrt x) 1.0) x)))
0.4b	(* (cbrt (- (fma y (sqrt x) 1.0) x)) (cbrt (- (fma y (sqrt x) 1.0) x)))
0.4b	(* (cbrt (- (fma y (sqrt x) 1.0) x)) (cbrt (- (fma y (sqrt x) 1.0) x)))

rewrite5.2s

Algorithm

rewrite-expression-head

Rules

63450×	`cbrt-div`
28444×	`frac-times`
17514×	`flip3--` `flip--`
10118×	`associate-*l/`
5108×	`associate-*r/`
89×	`cbrt-prod`
80×	`add-sqr-sqrt`
74×	`*-un-lft-identity`
32×	`associate-r`
30×	`pow1` `swap-sqr` `add-cube-cbrt`
25×	`associate-l`
21×	`pow1/3`
19×	`distribute-lft-out--`
15×	`add-exp-log`
13×	`difference-of-squares`
12×	`unswap-sqr`
11×	`pow-prod-down`
6×	`prod-exp` `pow-sqr` `pow-prod-up` `cbrt-unprod`
5×	`add-cbrt-cube`
4×	`expm1-log1p-u` `*-commutative` `log1p-expm1-u` `add-log-exp`
3×	`pow2` `pow-plus`

Counts

4 → 6760

Calls

4 calls:

1.6s	(* (* (cbrt (* (* (cbrt (* (cbrt (- (fma y (sqrt x) 1.0) x)) (cbrt (- (fma y (sqrt x) 1.0) x)))) (cbrt (* (cbrt (- (fma y (sqrt x) 1.0) x)) (cbrt (- (fma y (sqrt x) 1.0) x))))) (cbrt (* (cbrt (- (fma y (sqrt x) 1.0) x)) (cbrt (- (fma y (sqrt x) 1.0) x)))))) (cbrt (cbrt (- (fma y (sqrt x) 1.0) x)))) (cbrt (- (fma y (sqrt x) 1.0) x)))
58.0ms	(* (cbrt (- (fma y (sqrt x) 1.0) x)) (cbrt (- (fma y (sqrt x) 1.0) x)))
35.0ms	(* (cbrt (- (fma y (sqrt x) 1.0) x)) (cbrt (- (fma y (sqrt x) 1.0) x)))
37.0ms	(* (cbrt (- (fma y (sqrt x) 1.0) x)) (cbrt (- (fma y (sqrt x) 1.0) x)))

series853.0ms

Counts

4 → 12

Calls

4 calls:

240.0ms	(* (* (cbrt (* (* (cbrt (* (cbrt (- (fma y (sqrt x) 1.0) x)) (cbrt (- (fma y (sqrt x) 1.0) x)))) (cbrt (* (cbrt (- (fma y (sqrt x) 1.0) x)) (cbrt (- (fma y (sqrt x) 1.0) x))))) (cbrt (* (cbrt (- (fma y (sqrt x) 1.0) x)) (cbrt (- (fma y (sqrt x) 1.0) x)))))) (cbrt (cbrt (- (fma y (sqrt x) 1.0) x)))) (cbrt (- (fma y (sqrt x) 1.0) x)))
183.0ms	(* (cbrt (- (fma y (sqrt x) 1.0) x)) (cbrt (- (fma y (sqrt x) 1.0) x)))
201.0ms	(* (cbrt (- (fma y (sqrt x) 1.0) x)) (cbrt (- (fma y (sqrt x) 1.0) x)))
228.0ms	(* (cbrt (- (fma y (sqrt x) 1.0) x)) (cbrt (- (fma y (sqrt x) 1.0) x)))

simplify41.3s

Counts

6772 → 6772

Iterations

Iter	Nodes
done	13034
0	13034

prune2.2m

Pruning

8 alts after pruning (6 fresh and 2 done)

Merged error: 0.0b

regimes149.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.8s

Algorithm

intervals

Results

954.0ms	8542×	body	80	nan
389.0ms	8530×	body	80	valid
0.0ms	1×	body	640	valid