Details

analyze164.0ms (3.8%)

Algorithm

1×

Search

True	Other	False	Iter
0%	99.9%	0.1%	0
0%	99.9%	0.1%	1
0%	99.9%	0.1%	2
0%	99.9%	0.1%	3
0%	50%	50%	4
0%	50%	50%	5
12.5%	37.5%	50%	6
18.7%	31.2%	50%	7
28.1%	21.9%	50%	8
32.8%	17.2%	50%	9
38.2%	11.7%	50%	10
41%	9%	50%	11
43.9%	6%	50%	12
45.4%	4.6%	50%	13
46.9%	3.1%	50%	14

Compiler

Compiled 31 to 22 computations (29% saved)

sample1.2s (28.3%)

Results

1.2s	8256×	body	128	valid
1.0ms	11×	body	128	invalid

Compiler

Compiled 62 to 44 computations (29% saved)

preprocess15.0ms (0.4%)

Algorithm

2×	egg-herbie

Rules

1×	`1-exp_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	32	86
1	34	86
0	2	2

Stop Event

1×	saturated
1×	saturated

Compiler

Compiled 30 to 21 computations (30% saved)

simplify4.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

1×	`1-exp_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	20	43
1	22	43

Stop Event

1×

saturated

Counts

1 → 1

prune2.0ms (0.1%)

Pruning

2 alts after pruning (2 fresh and 0 done)

	Kept	Total
New	1	1
Fresh	1	1
Picked	0	0
Done	0	0
Total	2	2

Error

0.4b

Counts

2 → 1

Alt Table

Status	Error	Program
▶	0.4b	(/.f64 (-.f64 1 (.f64 5 (.f64 v v))) (.f64 (.f64 (.f64 (PI.f64) t) (sqrt.f64 (.f64 2 (-.f64 1 (.f64 3 (.f64 v v)))))) (-.f64 1 (*.f64 v v))))

Compiler

Compiled 90 to 63 computations (30% saved)

localize14.0ms (0.3%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.1b	(.f64 3 (.f64 v v))
✓	0.3b	(/.f64 (-.f64 1 (.f64 5 (.f64 v v))) (.f64 (.f64 (.f64 (PI.f64) t) (sqrt.f64 (.f64 2 (-.f64 1 (.f64 3 (.f64 v v)))))) (-.f64 1 (*.f64 v v))))
✓	0.3b	(*.f64 (PI.f64) t)
✓	0.5b	(.f64 (.f64 (PI.f64) t) (sqrt.f64 (.f64 2 (-.f64 1 (.f64 3 (*.f64 v v))))))

series162.0ms (3.8%)

Counts

4 → 60

Calls

18 calls:

38.0ms	(/.f64 (-.f64 1 (.f64 5 (.f64 v v))) (.f64 (.f64 (.f64 (PI.f64) t) (sqrt.f64 (.f64 2 (-.f64 1 (.f64 3 (.f64 v v)))))) (-.f64 1 (*.f64 v v))))	t	0
36.0ms	(/.f64 (-.f64 1 (.f64 5 (.f64 v v))) (.f64 (.f64 (.f64 (PI.f64) t) (sqrt.f64 (.f64 2 (-.f64 1 (.f64 3 (.f64 v v)))))) (-.f64 1 (*.f64 v v))))	t	-inf
32.0ms	(/.f64 (-.f64 1 (.f64 5 (.f64 v v))) (.f64 (.f64 (.f64 (PI.f64) t) (sqrt.f64 (.f64 2 (-.f64 1 (.f64 3 (.f64 v v)))))) (-.f64 1 (*.f64 v v))))	t	inf
9.0ms	(/.f64 (-.f64 1 (.f64 5 (.f64 v v))) (.f64 (.f64 (.f64 (PI.f64) t) (sqrt.f64 (.f64 2 (-.f64 1 (.f64 3 (.f64 v v)))))) (-.f64 1 (*.f64 v v))))	v	-inf
8.0ms	(/.f64 (-.f64 1 (.f64 5 (.f64 v v))) (.f64 (.f64 (.f64 (PI.f64) t) (sqrt.f64 (.f64 2 (-.f64 1 (.f64 3 (.f64 v v)))))) (-.f64 1 (*.f64 v v))))	v	inf

rewrite59.0ms (1.4%)

Algorithm

1×	batch-egg-rewrite

Rules

348×	`expm1-udef_binary64`
348×	`log1p-udef_binary64`
197×	`add-sqr-sqrt_binary64`
188×	`log1p-expm1-u_binary64`
188×	`expm1-log1p-u_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	20	77
1	383	77
2	3920	77

Stop Event

1×	node limit

Counts

4 → 57

simplify733.0ms (17.2%)

Algorithm

1×	egg-herbie

Rules

1645×	`sqr-pow_binary64`
673×	`pow-sqr_binary64`
52×	`cube-mult_binary64`
52×	`unpow3_binary64`
50×	`cube-prod_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	158	2781
1	228	2781
2	267	2781
3	299	2781
4	334	2781
5	374	2781
6	415	2781
7	460	2781
8	506	2781
9	556	2781
10	607	2781
11	662	2781
12	718	2781
13	778	2781
14	839	2781
15	904	2781
16	970	2781
17	1040	2781
18	1111	2781
19	1186	2781
20	1262	2781
21	1342	2781
22	1423	2781
23	1508	2781
24	1594	2781
25	1684	2781
26	1775	2781
27	1870	2781
28	1966	2781
29	2066	2781
30	2167	2781
31	2272	2781
32	2378	2781
33	2488	2781
34	2492	2781
35	2494	2781
36	2494	2781
37	2604	2781
38	2717	2781
39	2833	2781
40	2953	2781
41	3074	2781
42	3199	2781
43	3325	2781
44	3455	2781
45	3586	2781
46	3721	2781
47	3857	2781
48	3997	2781
49	4138	2781
50	4283	2781
51	4429	2781
52	4463	2781
53	4465	2781
54	4465	2781
55	4608	2781
56	4758	2781
57	4911	2781

Stop Event

1×	node limit

Counts

117 → 107

prune133.0ms (3.1%)

Pruning

7 alts after pruning (6 fresh and 1 done)

	Pruned	Kept	Total
New	101	6	107
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	101	7	108

Error

0.1b

Counts

108 → 7

Alt Table

Status	Error	Program
▶	0.3b	(.f64 (/.f64 (-.f64 1 (.f64 5 (pow.f64 v 2))) (.f64 (-.f64 (.f64 (PI.f64) (sqrt.f64 2)) (.f64 (pow.f64 v 2) (.f64 (PI.f64) (sqrt.f64 2)))) t)) (sqrt.f64 (/.f64 1 (-.f64 1 (*.f64 3 (pow.f64 v 2))))))
	37.5b	(cbrt.f64 (/.f64 (pow.f64 (-.f64 1 (.f64 5 (.f64 v v))) 3) (pow.f64 (.f64 (.f64 (.f64 (PI.f64) t) (sqrt.f64 (.f64 2 (-.f64 1 (.f64 3 (.f64 v v)))))) (-.f64 1 (*.f64 v v))) 3)))
	34.1b	(pow.f64 (sqrt.f64 (/.f64 (-.f64 1 (.f64 5 (.f64 v v))) (.f64 (.f64 (.f64 (PI.f64) t) (sqrt.f64 (.f64 2 (-.f64 1 (.f64 3 (.f64 v v)))))) (-.f64 1 (*.f64 v v))))) 2)
	1.3b	(pow.f64 (cbrt.f64 (/.f64 (-.f64 1 (.f64 5 (.f64 v v))) (.f64 (.f64 (.f64 (PI.f64) t) (sqrt.f64 (.f64 2 (-.f64 1 (.f64 3 (.f64 v v)))))) (-.f64 1 (*.f64 v v))))) 3)
✓	0.4b	(/.f64 (-.f64 1 (.f64 5 (.f64 v v))) (.f64 (.f64 (.f64 (PI.f64) t) (sqrt.f64 (.f64 2 (-.f64 1 (.f64 3 (.f64 v v)))))) (-.f64 1 (*.f64 v v))))
	34.1b	(/.f64 (-.f64 1 (.f64 5 (.f64 v v))) (.f64 (.f64 (pow.f64 (sqrt.f64 (.f64 (PI.f64) t)) 2) (sqrt.f64 (.f64 2 (-.f64 1 (.f64 3 (.f64 v v)))))) (-.f64 1 (*.f64 v v))))
	0.5b	(-.f64 (/.f64 1 (.f64 (PI.f64) (.f64 t (sqrt.f64 2)))) (.f64 5/2 (/.f64 (pow.f64 v 2) (.f64 (PI.f64) (*.f64 t (sqrt.f64 2))))))

Compiler

Compiled 5006 to 3544 computations (29.2% saved)

localize17.0ms (0.4%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.1b	(*.f64 3 (pow.f64 v 2))
✓	0.2b	(.f64 (pow.f64 v 2) (.f64 (PI.f64) (sqrt.f64 2)))
✓	0.3b	(/.f64 (-.f64 1 (.f64 5 (pow.f64 v 2))) (.f64 (-.f64 (.f64 (PI.f64) (sqrt.f64 2)) (.f64 (pow.f64 v 2) (*.f64 (PI.f64) (sqrt.f64 2)))) t))
✓	0.3b	(.f64 (-.f64 (.f64 (PI.f64) (sqrt.f64 2)) (.f64 (pow.f64 v 2) (.f64 (PI.f64) (sqrt.f64 2)))) t)

series123.0ms (2.9%)

Counts

4 → 24

Calls

18 calls:

27.0ms	(/.f64 (-.f64 1 (.f64 5 (pow.f64 v 2))) (.f64 (-.f64 (.f64 (PI.f64) (sqrt.f64 2)) (.f64 (pow.f64 v 2) (*.f64 (PI.f64) (sqrt.f64 2)))) t))	t	-inf
26.0ms	(/.f64 (-.f64 1 (.f64 5 (pow.f64 v 2))) (.f64 (-.f64 (.f64 (PI.f64) (sqrt.f64 2)) (.f64 (pow.f64 v 2) (*.f64 (PI.f64) (sqrt.f64 2)))) t))	t	0
23.0ms	(/.f64 (-.f64 1 (.f64 5 (pow.f64 v 2))) (.f64 (-.f64 (.f64 (PI.f64) (sqrt.f64 2)) (.f64 (pow.f64 v 2) (*.f64 (PI.f64) (sqrt.f64 2)))) t))	t	inf
8.0ms	(.f64 (-.f64 (.f64 (PI.f64) (sqrt.f64 2)) (.f64 (pow.f64 v 2) (.f64 (PI.f64) (sqrt.f64 2)))) t)	t	-inf
5.0ms	(.f64 (-.f64 (.f64 (PI.f64) (sqrt.f64 2)) (.f64 (pow.f64 v 2) (.f64 (PI.f64) (sqrt.f64 2)))) t)	t	0

rewrite51.0ms (1.2%)

Algorithm

1×	batch-egg-rewrite

Rules

316×	`expm1-udef_binary64`
316×	`log1p-udef_binary64`
306×	`log-pow_binary64`
179×	`add-sqr-sqrt_binary64`
173×	`log1p-expm1-u_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	18	82
1	352	82
2	3602	82

Stop Event

1×	node limit

Counts

4 → 59

simplify393.0ms (9.2%)

Algorithm

1×	egg-herbie

Rules

1717×	`sqr-pow_binary64`
842×	`pow-sqr_binary64`
58×	`cube-mult_binary64`
58×	`unpow3_binary64`
57×	`cube-prod_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	44	858
1	63	858
2	77	858
3	92	858
4	110	858
5	133	858
6	156	858
7	183	858
8	211	858
9	243	858
10	276	858
11	313	858
12	351	858
13	393	858
14	436	858
15	483	858
16	531	858
17	583	858
18	636	858
19	693	858
20	751	858
21	813	858
22	876	858
23	943	858
24	1011	858
25	1083	858
26	1156	858
27	1233	858
28	1311	858
29	1393	858
30	1476	858
31	1563	858
32	1651	858
33	1743	858
34	1836	858
35	1933	858
36	2031	858
37	2133	858
38	2137	858
39	2139	858
40	2139	858
41	2241	858
42	2346	858
43	2454	858
44	2566	858
45	2679	858
46	2796	858
47	2914	858
48	3036	858
49	3159	858
50	3286	858
51	3414	858
52	3546	858
53	3679	858
54	3816	858
55	3954	858
56	3958	858
57	3960	858
58	3960	858
59	4101	858
60	4242	858
61	4389	858
62	4537	858
63	4689	858
64	4842	858
65	4999	858

Stop Event

1×	node limit

Counts

83 → 78

prune113.0ms (2.6%)

Pruning

7 alts after pruning (5 fresh and 2 done)

	Pruned	Kept	Total
New	77	1	78
Fresh	1	4	5
Picked	0	1	1
Done	0	1	1
Total	78	7	85

Error

0.1b

Counts

85 → 7

Alt Table

Status	Error	Program
✓	0.3b	(.f64 (/.f64 (-.f64 1 (.f64 5 (pow.f64 v 2))) (.f64 (-.f64 (.f64 (PI.f64) (sqrt.f64 2)) (.f64 (pow.f64 v 2) (.f64 (PI.f64) (sqrt.f64 2)))) t)) (sqrt.f64 (/.f64 1 (-.f64 1 (*.f64 3 (pow.f64 v 2))))))
	37.5b	(cbrt.f64 (/.f64 (pow.f64 (-.f64 1 (.f64 5 (.f64 v v))) 3) (pow.f64 (.f64 (.f64 (.f64 (PI.f64) t) (sqrt.f64 (.f64 2 (-.f64 1 (.f64 3 (.f64 v v)))))) (-.f64 1 (*.f64 v v))) 3)))
	34.0b	(.f64 (pow.f64 (sqrt.f64 (/.f64 (-.f64 1 (.f64 (.f64 v v) 5)) (.f64 (-.f64 (.f64 (PI.f64) (sqrt.f64 2)) (.f64 (.f64 (PI.f64) (sqrt.f64 2)) (.f64 v v))) t))) 2) (sqrt.f64 (/.f64 1 (-.f64 1 (*.f64 3 (pow.f64 v 2))))))
▶	0.5b	(-.f64 (/.f64 1 (.f64 (PI.f64) (.f64 t (sqrt.f64 2)))) (.f64 5/2 (/.f64 (pow.f64 v 2) (.f64 (PI.f64) (*.f64 t (sqrt.f64 2))))))
	1.3b	(pow.f64 (cbrt.f64 (/.f64 (-.f64 1 (.f64 5 (.f64 v v))) (.f64 (.f64 (.f64 (PI.f64) t) (sqrt.f64 (.f64 2 (-.f64 1 (.f64 3 (.f64 v v)))))) (-.f64 1 (*.f64 v v))))) 3)
✓	0.4b	(/.f64 (-.f64 1 (.f64 5 (.f64 v v))) (.f64 (.f64 (.f64 (PI.f64) t) (sqrt.f64 (.f64 2 (-.f64 1 (.f64 3 (.f64 v v)))))) (-.f64 1 (*.f64 v v))))
	34.1b	(/.f64 (-.f64 1 (.f64 5 (.f64 v v))) (.f64 (.f64 (pow.f64 (sqrt.f64 (.f64 (PI.f64) t)) 2) (sqrt.f64 (.f64 2 (-.f64 1 (.f64 3 (.f64 v v)))))) (-.f64 1 (*.f64 v v))))

Compiler

Compiled 3411 to 2633 computations (22.8% saved)

localize11.0ms (0.3%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.3b	(/.f64 1 (.f64 (PI.f64) (.f64 t (sqrt.f64 2))))
✓	0.3b	(.f64 (PI.f64) (.f64 t (sqrt.f64 2)))
✓	0.4b	(*.f64 t (sqrt.f64 2))
✓	7.4b	(/.f64 (pow.f64 v 2) (.f64 (PI.f64) (.f64 t (sqrt.f64 2))))

series57.0ms (1.3%)

Counts

4 → 0

Calls

15 calls:

8.0ms	(/.f64 (pow.f64 v 2) (.f64 (PI.f64) (.f64 t (sqrt.f64 2))))	t	-inf
7.0ms	(/.f64 (pow.f64 v 2) (.f64 (PI.f64) (.f64 t (sqrt.f64 2))))	v	-inf
6.0ms	(/.f64 (pow.f64 v 2) (.f64 (PI.f64) (.f64 t (sqrt.f64 2))))	t	inf
6.0ms	(/.f64 (pow.f64 v 2) (.f64 (PI.f64) (.f64 t (sqrt.f64 2))))	v	inf
6.0ms	(/.f64 (pow.f64 v 2) (.f64 (PI.f64) (.f64 t (sqrt.f64 2))))	v	0

rewrite43.0ms (1%)

Algorithm

1×	batch-egg-rewrite

Rules

798×	`log1p-expm1-u_binary64`
798×	`expm1-log1p-u_binary64`
189×	`log1p-udef_binary64`
109×	`add-sqr-sqrt_binary64`
101×	`add-cbrt-cube_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	12	45
1	220	45
2	2162	45

Stop Event

1×	node limit

Counts

4 → 64

simplify4.0ms (0.1%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	0	0

Stop Event

1×

saturated

Counts

64 → 64

prune98.0ms (2.3%)

Pruning

8 alts after pruning (5 fresh and 3 done)

	Pruned	Kept	Total
New	89	3	92
Fresh	2	2	4
Picked	0	1	1
Done	0	2	2
Total	91	8	99

Error

0.0b

Counts

99 → 8

Alt Table

Status	Error	Program
	34.2b	(-.f64 (/.f64 1 (pow.f64 (sqrt.f64 (.f64 (PI.f64) (.f64 t (sqrt.f64 2)))) 2)) (.f64 5/2 (/.f64 (pow.f64 v 2) (.f64 (PI.f64) (*.f64 t (sqrt.f64 2))))))
	34.0b	(.f64 (pow.f64 (sqrt.f64 (/.f64 (-.f64 1 (.f64 (.f64 v v) 5)) (.f64 (-.f64 (.f64 (PI.f64) (sqrt.f64 2)) (.f64 (.f64 (PI.f64) (sqrt.f64 2)) (.f64 v v))) t))) 2) (sqrt.f64 (/.f64 1 (-.f64 1 (*.f64 3 (pow.f64 v 2))))))
✓	0.5b	(-.f64 (/.f64 1 (.f64 (PI.f64) (.f64 t (sqrt.f64 2)))) (.f64 5/2 (/.f64 (pow.f64 v 2) (.f64 (PI.f64) (*.f64 t (sqrt.f64 2))))))
✓	0.3b	(.f64 (/.f64 (-.f64 1 (.f64 5 (pow.f64 v 2))) (.f64 (-.f64 (.f64 (PI.f64) (sqrt.f64 2)) (.f64 (pow.f64 v 2) (.f64 (PI.f64) (sqrt.f64 2)))) t)) (sqrt.f64 (/.f64 1 (-.f64 1 (*.f64 3 (pow.f64 v 2))))))
	1.3b	(pow.f64 (cbrt.f64 (/.f64 (-.f64 1 (.f64 5 (.f64 v v))) (.f64 (.f64 (.f64 (PI.f64) t) (sqrt.f64 (.f64 2 (-.f64 1 (.f64 3 (.f64 v v)))))) (-.f64 1 (*.f64 v v))))) 3)
▶	0.5b	(-.f64 (.f64 (pow.f64 (PI.f64) -1) (pow.f64 (.f64 t (sqrt.f64 2)) -1)) (.f64 5/2 (/.f64 (pow.f64 v 2) (.f64 (PI.f64) (*.f64 t (sqrt.f64 2))))))
	29.5b	(-.f64 (.f64 (cbrt.f64 (pow.f64 (.f64 (PI.f64) (.f64 t (sqrt.f64 2))) -2)) (/.f64 1 (cbrt.f64 (.f64 (PI.f64) (.f64 t (sqrt.f64 2)))))) (.f64 5/2 (/.f64 (pow.f64 v 2) (.f64 (PI.f64) (.f64 t (sqrt.f64 2))))))
✓	0.4b	(/.f64 (-.f64 1 (.f64 5 (.f64 v v))) (.f64 (.f64 (.f64 (PI.f64) t) (sqrt.f64 (.f64 2 (-.f64 1 (.f64 3 (.f64 v v)))))) (-.f64 1 (*.f64 v v))))

Compiler

Compiled 2655 to 2071 computations (22% saved)

localize11.0ms (0.3%)

Local error

Found 4 expressions with local error:

New	Error	Program
	0.3b	(.f64 (PI.f64) (.f64 t (sqrt.f64 2)))
	0.4b	(*.f64 t (sqrt.f64 2))
✓	0.4b	(.f64 (pow.f64 (PI.f64) -1) (pow.f64 (.f64 t (sqrt.f64 2)) -1))
	7.4b	(/.f64 (pow.f64 v 2) (.f64 (PI.f64) (.f64 t (sqrt.f64 2))))

series12.0ms (0.3%)

Counts

1 → 12

Calls

3 calls:

4.0ms	(.f64 (pow.f64 (PI.f64) -1) (pow.f64 (.f64 t (sqrt.f64 2)) -1))	t	-inf
4.0ms	(.f64 (pow.f64 (PI.f64) -1) (pow.f64 (.f64 t (sqrt.f64 2)) -1))	t	0
4.0ms	(.f64 (pow.f64 (PI.f64) -1) (pow.f64 (.f64 t (sqrt.f64 2)) -1))	t	inf

rewrite29.0ms (0.7%)

Algorithm

1×	batch-egg-rewrite

Rules

751×	`log1p-expm1-u_binary64`
751×	`expm1-log1p-u_binary64`
171×	`expm1-udef_binary64`
171×	`log1p-udef_binary64`
99×	`add-sqr-sqrt_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	10	13
1	198	13
2	2030	13

Stop Event

1×	node limit

Counts

1 → 17

simplify7.0ms (0.2%)

Algorithm

1×	egg-herbie

Rules

1×	`1-exp_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	156
1	11	156

Stop Event

1×

saturated

Counts

29 → 17

prune83.0ms (2%)

Pruning

9 alts after pruning (5 fresh and 4 done)

	Pruned	Kept	Total
New	74	1	75
Fresh	0	4	4
Picked	0	1	1
Done	0	3	3
Total	74	9	83

Error

0.0b

Counts

83 → 9

Alt Table

Status	Error	Program
	34.2b	(-.f64 (/.f64 1 (pow.f64 (sqrt.f64 (.f64 (PI.f64) (.f64 t (sqrt.f64 2)))) 2)) (.f64 5/2 (/.f64 (pow.f64 v 2) (.f64 (PI.f64) (*.f64 t (sqrt.f64 2))))))
	34.0b	(.f64 (pow.f64 (sqrt.f64 (/.f64 (-.f64 1 (.f64 (.f64 v v) 5)) (.f64 (-.f64 (.f64 (PI.f64) (sqrt.f64 2)) (.f64 (.f64 (PI.f64) (sqrt.f64 2)) (.f64 v v))) t))) 2) (sqrt.f64 (/.f64 1 (-.f64 1 (*.f64 3 (pow.f64 v 2))))))
✓	0.5b	(-.f64 (/.f64 1 (.f64 (PI.f64) (.f64 t (sqrt.f64 2)))) (.f64 5/2 (/.f64 (pow.f64 v 2) (.f64 (PI.f64) (*.f64 t (sqrt.f64 2))))))
✓	0.3b	(.f64 (/.f64 (-.f64 1 (.f64 5 (pow.f64 v 2))) (.f64 (-.f64 (.f64 (PI.f64) (sqrt.f64 2)) (.f64 (pow.f64 v 2) (.f64 (PI.f64) (sqrt.f64 2)))) t)) (sqrt.f64 (/.f64 1 (-.f64 1 (*.f64 3 (pow.f64 v 2))))))
	36.9b	(-.f64 (cbrt.f64 (.f64 (pow.f64 (/.f64 1 (PI.f64)) 3) (pow.f64 (/.f64 1 (.f64 t (sqrt.f64 2))) 3))) (.f64 5/2 (/.f64 (pow.f64 v 2) (.f64 (PI.f64) (*.f64 t (sqrt.f64 2))))))
	1.3b	(pow.f64 (cbrt.f64 (/.f64 (-.f64 1 (.f64 5 (.f64 v v))) (.f64 (.f64 (.f64 (PI.f64) t) (sqrt.f64 (.f64 2 (-.f64 1 (.f64 3 (.f64 v v)))))) (-.f64 1 (*.f64 v v))))) 3)
✓	0.5b	(-.f64 (.f64 (pow.f64 (PI.f64) -1) (pow.f64 (.f64 t (sqrt.f64 2)) -1)) (.f64 5/2 (/.f64 (pow.f64 v 2) (.f64 (PI.f64) (*.f64 t (sqrt.f64 2))))))
	29.5b	(-.f64 (.f64 (cbrt.f64 (pow.f64 (.f64 (PI.f64) (.f64 t (sqrt.f64 2))) -2)) (/.f64 1 (cbrt.f64 (.f64 (PI.f64) (.f64 t (sqrt.f64 2)))))) (.f64 5/2 (/.f64 (pow.f64 v 2) (.f64 (PI.f64) (.f64 t (sqrt.f64 2))))))
✓	0.4b	(/.f64 (-.f64 1 (.f64 5 (.f64 v v))) (.f64 (.f64 (.f64 (PI.f64) t) (sqrt.f64 (.f64 2 (-.f64 1 (.f64 3 (.f64 v v)))))) (-.f64 1 (*.f64 v v))))

Compiler

Compiled 2207 to 1744 computations (21% saved)

regimes505.0ms (11.8%)

Accuracy

Total 0.3b remaining (84.5%)

Threshold costs 0.3b (84.5%)

Counts

67 → 1

Compiler

Compiled 12726 to 9800 computations (23% saved)

simplify2.0ms (0%)

Algorithm

1×	egg-herbie

Rules

1×	`1-exp_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	22	54
1	24	54

Stop Event

1×

saturated

end213.0ms (5%)

Stop Event

1×

fuel

Compiler

Compiled 348 to 285 computations (18.1% saved)

Details

analyze164.0ms (3.8%)

sample1.2s (28.3%)

preprocess15.0ms (0.4%)

simplify4.0ms (0.1%)

prune2.0ms (0.1%)

localize14.0ms (0.3%)

series162.0ms (3.8%)

rewrite59.0ms (1.4%)

simplify733.0ms (17.2%)

prune133.0ms (3.1%)

localize17.0ms (0.4%)

series123.0ms (2.9%)

rewrite51.0ms (1.2%)

simplify393.0ms (9.2%)

prune113.0ms (2.6%)

localize11.0ms (0.3%)

series57.0ms (1.3%)

rewrite43.0ms (1%)

simplify4.0ms (0.1%)

prune98.0ms (2.3%)

localize11.0ms (0.3%)

series12.0ms (0.3%)

rewrite29.0ms (0.7%)

simplify7.0ms (0.2%)

prune83.0ms (2%)

regimes505.0ms (11.8%)

simplify2.0ms (0%)

end213.0ms (5%)

Profiling