Details

sample45.0ms

Algorithm

intervals

Results

13.0ms	324×	body	80	nan
11.0ms	272×	body	80	valid

simplify2.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

prune9.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.1b

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

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

5.0ms	(- (fma y (sqrt x) 1.0) x)
0.0ms	(fma y (sqrt x) 1.0)

series84.0ms

Counts

2 → 6

Calls

2 calls:

38.0ms	(- (fma y (sqrt x) 1.0) x)
46.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

prune262.0ms

Pruning

4 alts after pruning (4 fresh and 0 done)

Merged error: 0.0b

localize24.0ms

Local error

Found 1 expressions with local error:

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

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` `log1p-expm1-u` `add-log-exp`

Counts

1 → 10

Calls

1 calls:

1.0ms

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

series51.0ms

Counts

1 → 3

Calls

1 calls:

51.0ms

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

simplify1.7s

Counts

13 → 13

Iterations

Iter	Nodes
done	5004
4	1204
3	284
2	115
1	53
0	26

prune108.0ms

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0.0b

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

rewrite12.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` `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 → 81

Calls

4 calls:

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

series780.0ms

Counts

4 → 12

Calls

4 calls:

218.0ms	(* (cbrt (fma y (sqrt x) 1.0)) (cbrt (fma y (sqrt x) 1.0)))
198.0ms	(cbrt (fma y (sqrt x) 1.0))
158.0ms	(cbrt (fma y (sqrt x) 1.0))
205.0ms	(cbrt (fma y (sqrt x) 1.0))

simplify2.1s

Counts

93 → 93

Iterations

Iter	Nodes
done	5001
3	2136
2	774
1	302
0	121

prune631.0ms

Pruning

6 alts after pruning (5 fresh and 1 done)

Merged error: 0.0b

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

rewrite4.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` `log1p-expm1-u` `add-log-exp`

Counts

4 → 52

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

series880.0ms

Counts

4 → 12

Calls

4 calls:

251.0ms	(cbrt (fma y (sqrt x) 1.0))
221.0ms	(cbrt (fma y (sqrt x) 1.0))
204.0ms	(cbrt (fma y (sqrt x) 1.0))
203.0ms	(cbrt (fma y (sqrt x) 1.0))

simplify2.8s

Counts

64 → 64

Iterations

Iter	Nodes
done	5000
4	3691
3	946
2	344
1	142
0	62

prune496.0ms

Pruning

7 alts after pruning (5 fresh and 2 done)

Merged error: 0.0b

regimes155.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	10
1	10
0	9

end0.0ms

sample1.7s

Algorithm

intervals

Results

804.0ms	8633×	body	80	nan
422.0ms	8524×	body	80	valid
0.0ms	1×	body	640	valid