Details

analyze1.3s (7.3%)

Algorithm

1×

Search

True	Other	False	Iter
0%	100%	0%	0
0%	100%	0%	1
0%	100%	0%	2
0%	75%	25%	3
0%	62.5%	37.5%	4
0%	56.2%	43.8%	5
3.1%	46.9%	50%	6
3.1%	45.3%	51.6%	7
3.1%	44.5%	52.4%	8
3.5%	44.1%	52.4%	9
3.7%	43.9%	52.4%	10
3.8%	43.8%	52.4%	11
3.8%	43.8%	52.4%	12
3.8%	43.8%	52.4%	13
3.8%	43.7%	52.4%	14

Compiler

Compiled 39 to 31 computations (20.5% saved)

sample11.3s (65.2%)

Results

3.5s	4044×	body	1024	valid
3.4s	4035×	body	1024	invalid
1.3s	2055×	body	512	valid
1.1s	1996×	body	512	invalid
833.0ms	491×	body	2048	valid
440.0ms	1016×	body	256	valid
384.0ms	1052×	body	256	invalid
199.0ms	650×	body	128	valid
4.0ms	4×	body	2048	invalid
1.0ms	4×	body	128	invalid

Compiler

Compiled 116 to 92 computations (20.7% saved)

simplify48.0ms (0.3%)

Algorithm

1×	egg-herbie

Rules

738×	`fma-neg_binary64`
569×	`fma-def_binary64`
365×	`div-sub_binary64`
240×	`associate-/r*_binary64`
202×	`distribute-rgt-in_binary64`

Counts

1 → 2

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	17	64
1	49	61
2	117	59
3	295	55
4	736	55
5	1625	55
6	4003	55
7	5053	55

prune4.0ms (0%)

Pruning

1 alts after pruning (1 fresh and 0 done)

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

Error

60.2b

Counts

3 → 1

Alt Table

Status	Error	Program
▶	60.2b	(.f64 (log.f64 (/.f64 (+.f64 (exp.f64 (.f64 (/.f64 (PI.f64) 4) f)) (pow.f64 (exp.f64 -1/4) (.f64 (PI.f64) f))) (-.f64 (exp.f64 (.f64 (/.f64 (PI.f64) 4) f)) (pow.f64 (exp.f64 -1/4) (*.f64 (PI.f64) f))))) (/.f64 -4 (PI.f64)))

Status

Error

Program

▶

60.2b

(*.f64 (log.f64 (/.f64 (+.f64 (exp.f64 (*.f64 (/.f64 (PI.f64) 4) f)) (pow.f64 (exp.f64 -1/4) (*.f64 (PI.f64) f))) (-.f64 (exp.f64 (*.f64 (/.f64 (PI.f64) 4) f)) (pow.f64 (exp.f64 -1/4) (*.f64 (PI.f64) f))))) (/.f64 -4 (PI.f64)))

Compiler

Compiled 136 to 100 computations (26.5% saved)

localize13.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.3b	(*.f64 (/.f64 (PI.f64) 4) f)
✓	0.3b	(*.f64 (PI.f64) f)
✓	0.7b	(/.f64 (+.f64 (exp.f64 (.f64 (/.f64 (PI.f64) 4) f)) (pow.f64 (exp.f64 -1/4) (.f64 (PI.f64) f))) (-.f64 (exp.f64 (.f64 (/.f64 (PI.f64) 4) f)) (pow.f64 (exp.f64 -1/4) (.f64 (PI.f64) f))))
✓	4.6b	(-.f64 (exp.f64 (.f64 (/.f64 (PI.f64) 4) f)) (pow.f64 (exp.f64 -1/4) (.f64 (PI.f64) f)))

series47.0ms (0.3%)

Counts

4 → 48

Calls

4 calls:

29.0ms	(/.f64 (+.f64 (exp.f64 (.f64 (/.f64 (PI.f64) 4) f)) (pow.f64 (exp.f64 -1/4) (.f64 (PI.f64) f))) (-.f64 (exp.f64 (.f64 (/.f64 (PI.f64) 4) f)) (pow.f64 (exp.f64 -1/4) (.f64 (PI.f64) f))))
8.0ms	(-.f64 (exp.f64 (.f64 (/.f64 (PI.f64) 4) f)) (pow.f64 (exp.f64 -1/4) (.f64 (PI.f64) f)))
7.0ms	(*.f64 (PI.f64) f)
3.0ms	(*.f64 (/.f64 (PI.f64) 4) f)

rewrite91.0ms (0.5%)

Algorithm

1×	batch-egg-rewrite

Rules

617×	`prod-diff_binary64`
152×	`add-sqr-sqrt_binary64`
147×	`log1p-expm1-u_binary64`
147×	`expm1-log1p-u_binary64`
146×	`add-log-exp_binary64`

Counts

4 → 144

Calls

4 calls:

87.0ms	(*.f64 (/.f64 (PI.f64) 4) f)
87.0ms	(*.f64 (PI.f64) f)
87.0ms	(/.f64 (+.f64 (exp.f64 (.f64 (/.f64 (PI.f64) 4) f)) (pow.f64 (exp.f64 -1/4) (.f64 (PI.f64) f))) (-.f64 (exp.f64 (.f64 (/.f64 (PI.f64) 4) f)) (pow.f64 (exp.f64 -1/4) (.f64 (PI.f64) f))))
87.0ms	(-.f64 (exp.f64 (.f64 (/.f64 (PI.f64) 4) f)) (pow.f64 (exp.f64 -1/4) (.f64 (PI.f64) f)))

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	14	81
1	311	81
2	4005	81
3	5131	81

simplify90.0ms (0.5%)

Algorithm

1×	egg-herbie

Rules

560×	`cancel-sign-sub-inv_binary64`
495×	`*-commutative_binary64`
455×	`fma-neg_binary64`
445×	`distribute-rgt-neg-in_binary64`
418×	`distribute-lft-neg-in_binary64`

Counts

192 → 165

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	54	924
1	159	918
2	442	914
3	1474	914
4	2580	914
5	4597	914
6	4905	914
7	4926	914

prune204.0ms (1.2%)

Pruning

4 alts after pruning (4 fresh and 0 done)

	Pruned	Kept	Total
New	206	4	210
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	207	4	211

Error

1.4b

Counts

211 → 4

Alt Table

Status	Error	Program
	60.1b	(.f64 (log.f64 (/.f64 (+.f64 (exp.f64 (.f64 (/.f64 (PI.f64) 4) f)) (pow.f64 (exp.f64 -1/4) (.f64 (PI.f64) f))) (-.f64 (exp.f64 (.f64 (/.f64 (PI.f64) 4) f)) (pow.f64 (exp.f64 -1/4) (-.f64 (exp.f64 (log1p.f64 (*.f64 (PI.f64) f))) 1))))) (/.f64 -4 (PI.f64)))
▶	1.8b	(.f64 (log.f64 (fma.f64 (.f64 (pow.f64 f 3) (pow.f64 (PI.f64) 3)) -1/2880 (fma.f64 (.f64 (pow.f64 f 5) (pow.f64 (PI.f64) 5)) 1/483840 (fma.f64 (.f64 f (PI.f64)) 1/12 (/.f64 4 (*.f64 f (PI.f64))))))) (/.f64 -4 (PI.f64)))
	2.1b	(.f64 (log.f64 (fma.f64 (.f64 f (PI.f64)) 1/12 (/.f64 4 (*.f64 f (PI.f64))))) (/.f64 -4 (PI.f64)))
	60.2b	(.f64 (log.f64 (/.f64 (+.f64 (exp.f64 (.f64 (/.f64 (PI.f64) 4) f)) (pow.f64 (exp.f64 -1/4) (.f64 (PI.f64) f))) (.f64 (cbrt.f64 (-.f64 (exp.f64 (.f64 (/.f64 (PI.f64) 4) f)) (pow.f64 (exp.f64 -1/4) (.f64 (PI.f64) f)))) (pow.f64 (cbrt.f64 (-.f64 (exp.f64 (.f64 (/.f64 (PI.f64) 4) f)) (pow.f64 (exp.f64 -1/4) (.f64 (PI.f64) f)))) 2)))) (/.f64 -4 (PI.f64)))

Compiler

Compiled 9157 to 6153 computations (32.8% saved)

localize19.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.3b	(/.f64 4 (*.f64 f (PI.f64)))
✓	0.4b	(.f64 (log.f64 (fma.f64 (.f64 (pow.f64 f 3) (pow.f64 (PI.f64) 3)) -1/2880 (fma.f64 (.f64 (pow.f64 f 5) (pow.f64 (PI.f64) 5)) 1/483840 (fma.f64 (.f64 f (PI.f64)) 1/12 (/.f64 4 (*.f64 f (PI.f64))))))) (/.f64 -4 (PI.f64)))
✓	1.0b	(pow.f64 (PI.f64) 3)
✓	1.0b	(pow.f64 (PI.f64) 5)

series33.0ms (0.2%)

Counts

4 → 12

Calls

4 calls:

26.0ms	(.f64 (log.f64 (fma.f64 (.f64 (pow.f64 f 3) (pow.f64 (PI.f64) 3)) -1/2880 (fma.f64 (.f64 (pow.f64 f 5) (pow.f64 (PI.f64) 5)) 1/483840 (fma.f64 (.f64 f (PI.f64)) 1/12 (/.f64 4 (*.f64 f (PI.f64))))))) (/.f64 -4 (PI.f64)))
6.0ms	(/.f64 4 (*.f64 f (PI.f64)))
0.0ms	(pow.f64 (PI.f64) 5)
0.0ms	(pow.f64 (PI.f64) 3)

rewrite72.0ms (0.4%)

Algorithm

1×	batch-egg-rewrite

Rules

406×	`log1p-udef_binary64`
234×	`add-sqr-sqrt_binary64`
229×	`log1p-expm1-u_binary64`
229×	`expm1-log1p-u_binary64`
223×	`add-log-exp_binary64`

Counts

4 → 64

Calls

4 calls:

71.0ms	(/.f64 4 (*.f64 f (PI.f64)))
71.0ms	(.f64 (log.f64 (fma.f64 (.f64 (pow.f64 f 3) (pow.f64 (PI.f64) 3)) -1/2880 (fma.f64 (.f64 (pow.f64 f 5) (pow.f64 (PI.f64) 5)) 1/483840 (fma.f64 (.f64 f (PI.f64)) 1/12 (/.f64 4 (*.f64 f (PI.f64))))))) (/.f64 -4 (PI.f64)))
71.0ms	(pow.f64 (PI.f64) 3)
71.0ms	(pow.f64 (PI.f64) 5)

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	24	65
1	514	65
2	4789	65
3	5274	65

simplify59.0ms (0.3%)

Algorithm

1×	egg-herbie

Rules

776×	`fma-neg_binary64`
313×	`sub-neg_binary64`
300×	`unswap-sqr_binary64`
237×	`times-frac_binary64`
232×	`fma-def_binary64`

Counts

76 → 87

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	95	594
1	290	586
2	891	575
3	2744	569
4	4776	569
5	4949	569

prune115.0ms (0.7%)

Pruning

10 alts after pruning (10 fresh and 0 done)

	Pruned	Kept	Total
New	80	7	87
Fresh	0	3	3
Picked	1	0	1
Done	0	0	0
Total	81	10	91

Error

1.1b

Counts

91 → 10

Alt Table

Status	Error	Program
	2.1b	(cbrt.f64 (pow.f64 (.f64 (log.f64 (fma.f64 (pow.f64 (.f64 (PI.f64) f) 3) -1/2880 (fma.f64 (pow.f64 (.f64 (PI.f64) f) 5) 1/483840 (fma.f64 (.f64 (PI.f64) f) 1/12 (/.f64 4 (*.f64 (PI.f64) f)))))) (/.f64 -4 (PI.f64))) 3))
▶	1.9b	(fma.f64 7/5760 (.f64 (pow.f64 f 4) (pow.f64 (PI.f64) 3)) (fma.f64 4 (-.f64 (/.f64 (log.f64 f) (PI.f64)) (/.f64 (log.f64 (/.f64 4 (PI.f64))) (PI.f64))) (.f64 (PI.f64) (.f64 (.f64 f f) -1/12))))
	60.1b	(.f64 (log.f64 (/.f64 (+.f64 (exp.f64 (.f64 (/.f64 (PI.f64) 4) f)) (pow.f64 (exp.f64 -1/4) (.f64 (PI.f64) f))) (-.f64 (exp.f64 (.f64 (/.f64 (PI.f64) 4) f)) (pow.f64 (exp.f64 -1/4) (-.f64 (exp.f64 (log1p.f64 (*.f64 (PI.f64) f))) 1))))) (/.f64 -4 (PI.f64)))
	2.7b	(pow.f64 (cbrt.f64 (.f64 (log.f64 (fma.f64 (pow.f64 (.f64 (PI.f64) f) 3) -1/2880 (fma.f64 (pow.f64 (.f64 (PI.f64) f) 5) 1/483840 (fma.f64 (.f64 (PI.f64) f) 1/12 (/.f64 4 (*.f64 (PI.f64) f)))))) (/.f64 -4 (PI.f64)))) 3)
	2.1b	(cbrt.f64 (.f64 (pow.f64 (log.f64 (fma.f64 (pow.f64 (.f64 (PI.f64) f) 3) -1/2880 (fma.f64 (pow.f64 (.f64 (PI.f64) f) 5) 1/483840 (fma.f64 (.f64 (PI.f64) f) 1/12 (/.f64 4 (*.f64 (PI.f64) f)))))) 3) (pow.f64 (/.f64 -4 (PI.f64)) 3)))
	13.6b	(log.f64 (pow.f64 (fma.f64 (pow.f64 (.f64 (PI.f64) f) 3) -1/2880 (fma.f64 (pow.f64 (.f64 (PI.f64) f) 5) 1/483840 (fma.f64 (.f64 (PI.f64) f) 1/12 (/.f64 4 (.f64 (PI.f64) f))))) (/.f64 -4 (PI.f64))))
	2.5b	(*.f64 -4 (/.f64 (-.f64 (log.f64 (/.f64 4 (PI.f64))) (log.f64 f)) (PI.f64)))
	2.1b	(.f64 (log.f64 (fma.f64 (.f64 f (PI.f64)) 1/12 (/.f64 4 (*.f64 f (PI.f64))))) (/.f64 -4 (PI.f64)))
	60.2b	(.f64 (log.f64 (/.f64 (+.f64 (exp.f64 (.f64 (/.f64 (PI.f64) 4) f)) (pow.f64 (exp.f64 -1/4) (.f64 (PI.f64) f))) (.f64 (cbrt.f64 (-.f64 (exp.f64 (.f64 (/.f64 (PI.f64) 4) f)) (pow.f64 (exp.f64 -1/4) (.f64 (PI.f64) f)))) (pow.f64 (cbrt.f64 (-.f64 (exp.f64 (.f64 (/.f64 (PI.f64) 4) f)) (pow.f64 (exp.f64 -1/4) (.f64 (PI.f64) f)))) 2)))) (/.f64 -4 (PI.f64)))
	42.0b	(.f64 (log.f64 (fma.f64 (.f64 (pow.f64 f 3) (pow.f64 (PI.f64) 3)) -1/2880 (fma.f64 (.f64 (pow.f64 f 5) (pow.f64 (PI.f64) 5)) 1/483840 (fma.f64 (.f64 f (PI.f64)) 1/12 (pow.f64 (pow.f64 (/.f64 4 (*.f64 (PI.f64) f)) 3) 1/3))))) (/.f64 -4 (PI.f64)))

Compiler

Compiled 3622 to 2487 computations (31.3% saved)

localize18.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.3b	(-.f64 (/.f64 (log.f64 f) (PI.f64)) (/.f64 (log.f64 (/.f64 4 (PI.f64))) (PI.f64)))
✓	0.3b	(/.f64 (log.f64 f) (PI.f64))
	1.0b	(pow.f64 (PI.f64) 3)
✓	2.0b	(log.f64 (/.f64 4 (PI.f64)))

series267.0ms (1.5%)

Counts

3 → 16

Calls

3 calls:

236.0ms	(-.f64 (/.f64 (log.f64 f) (PI.f64)) (/.f64 (log.f64 (/.f64 4 (PI.f64))) (PI.f64)))
30.0ms	(/.f64 (log.f64 f) (PI.f64))
0.0ms	(log.f64 (/.f64 4 (PI.f64)))

rewrite96.0ms (0.6%)

Algorithm

1×	batch-egg-rewrite

Rules

357×	`fma-def_binary64`
237×	`log-div_binary64`
228×	`fma-neg_binary64`
226×	`egg-rr`
207×	`expm1-udef_binary64`

Counts

3 → 226

Calls

3 calls:

92.0ms	(-.f64 (/.f64 (log.f64 f) (PI.f64)) (/.f64 (log.f64 (/.f64 4 (PI.f64))) (PI.f64)))
92.0ms	(/.f64 (log.f64 f) (PI.f64))
92.0ms	(log.f64 (/.f64 4 (PI.f64)))

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	10	30
1	226	28
2	3207	28
3	5174	28

simplify213.0ms (1.2%)

Algorithm

1×	egg-herbie

Rules

1385×	`associate--l-_binary64`
562×	`fma-neg_binary64`
487×	`div-sub_binary64`
456×	`unsub-neg_binary64`
418×	`sub-neg_binary64`

Counts

242 → 232

Iterations

Useful iterations: 6 (0.0ms)

Iter	Nodes	Cost
0	24	280
1	52	280
2	93	216
3	205	216
4	555	208
5	1521	208
6	1928	184
7	2620	184
8	3126	184
9	3450	184
10	3549	184
11	3621	184
12	3642	184
13	3659	184
14	3666	184
15	3670	184
16	3670	184
17	4573	184
18	4952	184

prune348.0ms (2%)

Pruning

10 alts after pruning (9 fresh and 1 done)

	Pruned	Kept	Total
New	241	6	247
Fresh	6	3	9
Picked	0	1	1
Done	0	0	0
Total	247	10	257

Error

1.0b

Counts

257 → 10

Alt Table

Status	Error	Program
	2.1b	(fma.f64 7/5760 (.f64 (pow.f64 f 4) (pow.f64 (PI.f64) 3)) (fma.f64 4 (/.f64 (-.f64 (PI.f64) (.f64 (/.f64 (PI.f64) (log.f64 f)) (log.f64 (/.f64 4 (PI.f64))))) (.f64 (/.f64 (PI.f64) (log.f64 f)) (PI.f64))) (.f64 (PI.f64) (.f64 (.f64 f f) -1/12))))
	2.9b	(fma.f64 7/5760 (.f64 (pow.f64 f 4) (pow.f64 (PI.f64) 3)) (fma.f64 4 (-.f64 (pow.f64 (cbrt.f64 (/.f64 (log.f64 f) (PI.f64))) 3) (/.f64 (log.f64 (/.f64 4 (PI.f64))) (PI.f64))) (.f64 (PI.f64) (.f64 (.f64 f f) -1/12))))
	2.0b	(fma.f64 7/5760 (.f64 (pow.f64 f 4) (pow.f64 (PI.f64) 3)) (fma.f64 4 (/.f64 (-.f64 (.f64 (PI.f64) (log.f64 f)) (.f64 (PI.f64) (log.f64 (/.f64 4 (PI.f64))))) (pow.f64 (PI.f64) 2)) (.f64 (PI.f64) (.f64 (.f64 f f) -1/12))))
	60.2b	(.f64 (log.f64 (/.f64 (+.f64 (exp.f64 (.f64 (/.f64 (PI.f64) 4) f)) (pow.f64 (exp.f64 -1/4) (.f64 (PI.f64) f))) (.f64 (cbrt.f64 (-.f64 (exp.f64 (.f64 (/.f64 (PI.f64) 4) f)) (pow.f64 (exp.f64 -1/4) (.f64 (PI.f64) f)))) (pow.f64 (cbrt.f64 (-.f64 (exp.f64 (.f64 (/.f64 (PI.f64) 4) f)) (pow.f64 (exp.f64 -1/4) (.f64 (PI.f64) f)))) 2)))) (/.f64 -4 (PI.f64)))
✓	1.9b	(fma.f64 7/5760 (.f64 (pow.f64 f 4) (pow.f64 (PI.f64) 3)) (fma.f64 4 (-.f64 (/.f64 (log.f64 f) (PI.f64)) (/.f64 (log.f64 (/.f64 4 (PI.f64))) (PI.f64))) (.f64 (PI.f64) (.f64 (.f64 f f) -1/12))))
	60.1b	(.f64 (log.f64 (/.f64 (+.f64 (exp.f64 (.f64 (/.f64 (PI.f64) 4) f)) (pow.f64 (exp.f64 -1/4) (.f64 (PI.f64) f))) (-.f64 (exp.f64 (.f64 (/.f64 (PI.f64) 4) f)) (pow.f64 (exp.f64 -1/4) (-.f64 (exp.f64 (log1p.f64 (*.f64 (PI.f64) f))) 1))))) (/.f64 -4 (PI.f64)))
▶	1.8b	(fma.f64 7/5760 (.f64 (pow.f64 f 4) (pow.f64 (PI.f64) 3)) (fma.f64 4 (-.f64 (log.f64 (pow.f64 f (/.f64 1 (PI.f64)))) (/.f64 (log.f64 (/.f64 4 (PI.f64))) (PI.f64))) (.f64 (PI.f64) (.f64 (.f64 f f) -1/12))))
	2.0b	(fma.f64 7/5760 (.f64 (pow.f64 f 4) (pow.f64 (PI.f64) 3)) (fma.f64 4 (/.f64 (-.f64 (.f64 (log.f64 f) (/.f64 (PI.f64) (log.f64 (/.f64 4 (PI.f64))))) (PI.f64)) (.f64 (PI.f64) (/.f64 (PI.f64) (log.f64 (/.f64 4 (PI.f64)))))) (.f64 (PI.f64) (.f64 (.f64 f f) -1/12))))
	2.1b	(.f64 (log.f64 (fma.f64 (.f64 f (PI.f64)) 1/12 (/.f64 4 (*.f64 f (PI.f64))))) (/.f64 -4 (PI.f64)))
	2.2b	(fma.f64 7/5760 (.f64 (pow.f64 f 4) (pow.f64 (PI.f64) 3)) (fma.f64 4 (/.f64 (-.f64 (pow.f64 (/.f64 (log.f64 f) (PI.f64)) 2) (pow.f64 (/.f64 (log.f64 (/.f64 4 (PI.f64))) (PI.f64)) 2)) (.f64 (/.f64 1 (PI.f64)) (log.f64 (.f64 f (/.f64 4 (PI.f64)))))) (.f64 (PI.f64) (.f64 (.f64 f f) -1/12))))

Compiler

Compiled 10134 to 6486 computations (36% saved)

localize20.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.3b	(-.f64 (log.f64 (pow.f64 f (/.f64 1 (PI.f64)))) (/.f64 (log.f64 (/.f64 4 (PI.f64))) (PI.f64)))
	1.0b	(pow.f64 (PI.f64) 3)
	2.0b	(log.f64 (/.f64 4 (PI.f64)))
✓	5.0b	(pow.f64 f (/.f64 1 (PI.f64)))

series587.0ms (3.4%)

Counts

2 → 24

Calls

2 calls:

559.0ms	(-.f64 (log.f64 (pow.f64 f (/.f64 1 (PI.f64)))) (/.f64 (log.f64 (/.f64 4 (PI.f64))) (PI.f64)))
28.0ms	(pow.f64 f (/.f64 1 (PI.f64)))

rewrite129.0ms (0.7%)

Algorithm

1×	batch-egg-rewrite

Rules

829×	`prod-diff_binary64`
258×	`egg-rr`
219×	`log1p-udef_binary64`
124×	`add-sqr-sqrt_binary64`
119×	`log1p-expm1-u_binary64`

Counts

2 → 258

Calls

2 calls:

120.0ms	(-.f64 (log.f64 (pow.f64 f (/.f64 1 (PI.f64)))) (/.f64 (log.f64 (/.f64 4 (PI.f64))) (PI.f64)))
120.0ms	(pow.f64 f (/.f64 1 (PI.f64)))

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	12	31
1	258	28
2	3148	28
3	5101	28

simplify85.0ms (0.5%)

Algorithm

1×	egg-herbie

Rules

723×	`div-sub_binary64`
704×	`fma-neg_binary64`
666×	`sub-neg_binary64`
440×	`exp-sum_binary64`
392×	`exp-diff_binary64`

Counts

282 → 265

Iterations

Useful iterations: 5 (0.0ms)

Iter	Nodes	Cost
0	30	348
1	61	348
2	114	348
3	250	348
4	704	336
5	2203	324
6	3838	324
7	4388	324
8	4881	324

prune594.0ms (3.4%)

Pruning

10 alts after pruning (8 fresh and 2 done)

	Pruned	Kept	Total
New	316	3	319
Fresh	3	5	8
Picked	0	1	1
Done	0	1	1
Total	319	10	329

Error

1.0b

Counts

329 → 10

Alt Table

Status	Error	Program
	2.1b	(.f64 (log.f64 (fma.f64 (.f64 f (PI.f64)) 1/12 (/.f64 4 (*.f64 f (PI.f64))))) (/.f64 -4 (PI.f64)))
	2.1b	(fma.f64 7/5760 (.f64 (pow.f64 f 4) (pow.f64 (PI.f64) 3)) (fma.f64 4 (/.f64 1 (/.f64 (+.f64 (/.f64 (log.f64 f) (PI.f64)) (/.f64 (log.f64 (/.f64 4 (PI.f64))) (PI.f64))) (-.f64 (pow.f64 (/.f64 (log.f64 f) (PI.f64)) 2) (pow.f64 (/.f64 (log.f64 (/.f64 4 (PI.f64))) (PI.f64)) 2)))) (.f64 (PI.f64) (.f64 (.f64 f f) -1/12))))
	2.0b	(fma.f64 7/5760 (.f64 (pow.f64 f 4) (pow.f64 (PI.f64) 3)) (fma.f64 4 (/.f64 (-.f64 (.f64 (PI.f64) (log.f64 f)) (.f64 (PI.f64) (log.f64 (/.f64 4 (PI.f64))))) (pow.f64 (PI.f64) 2)) (.f64 (PI.f64) (.f64 (.f64 f f) -1/12))))
	60.2b	(.f64 (log.f64 (/.f64 (+.f64 (exp.f64 (.f64 (/.f64 (PI.f64) 4) f)) (pow.f64 (exp.f64 -1/4) (.f64 (PI.f64) f))) (.f64 (cbrt.f64 (-.f64 (exp.f64 (.f64 (/.f64 (PI.f64) 4) f)) (pow.f64 (exp.f64 -1/4) (.f64 (PI.f64) f)))) (pow.f64 (cbrt.f64 (-.f64 (exp.f64 (.f64 (/.f64 (PI.f64) 4) f)) (pow.f64 (exp.f64 -1/4) (.f64 (PI.f64) f)))) 2)))) (/.f64 -4 (PI.f64)))
✓	1.9b	(fma.f64 7/5760 (.f64 (pow.f64 f 4) (pow.f64 (PI.f64) 3)) (fma.f64 4 (-.f64 (/.f64 (log.f64 f) (PI.f64)) (/.f64 (log.f64 (/.f64 4 (PI.f64))) (PI.f64))) (.f64 (PI.f64) (.f64 (.f64 f f) -1/12))))
	60.1b	(.f64 (log.f64 (/.f64 (+.f64 (exp.f64 (.f64 (/.f64 (PI.f64) 4) f)) (pow.f64 (exp.f64 -1/4) (.f64 (PI.f64) f))) (-.f64 (exp.f64 (.f64 (/.f64 (PI.f64) 4) f)) (pow.f64 (exp.f64 -1/4) (-.f64 (exp.f64 (log1p.f64 (*.f64 (PI.f64) f))) 1))))) (/.f64 -4 (PI.f64)))
✓	1.8b	(fma.f64 7/5760 (.f64 (pow.f64 f 4) (pow.f64 (PI.f64) 3)) (fma.f64 4 (-.f64 (log.f64 (pow.f64 f (/.f64 1 (PI.f64)))) (/.f64 (log.f64 (/.f64 4 (PI.f64))) (PI.f64))) (.f64 (PI.f64) (.f64 (.f64 f f) -1/12))))
	2.2b	(fma.f64 7/5760 (.f64 (pow.f64 f 4) (pow.f64 (PI.f64) 3)) (fma.f64 4 (cbrt.f64 (pow.f64 (-.f64 (/.f64 (log.f64 f) (PI.f64)) (/.f64 (log.f64 (/.f64 4 (PI.f64))) (PI.f64))) 3)) (.f64 (PI.f64) (.f64 (.f64 f f) -1/12))))
	2.0b	(fma.f64 7/5760 (.f64 (pow.f64 f 4) (pow.f64 (PI.f64) 3)) (fma.f64 4 (/.f64 (-.f64 (.f64 (log.f64 f) (/.f64 (PI.f64) (log.f64 (/.f64 4 (PI.f64))))) (PI.f64)) (.f64 (PI.f64) (/.f64 (PI.f64) (log.f64 (/.f64 4 (PI.f64)))))) (.f64 (PI.f64) (.f64 (.f64 f f) -1/12))))
	2.0b	(fma.f64 7/5760 (.f64 (pow.f64 f 4) (pow.f64 (PI.f64) 3)) (fma.f64 4 (+.f64 (fma.f64 (pow.f64 (PI.f64) -1/2) (.f64 (pow.f64 (PI.f64) -1/2) (log.f64 f)) (/.f64 (log.f64 (/.f64 (PI.f64) 4)) (PI.f64))) (fma.f64 (/.f64 (log.f64 (/.f64 (PI.f64) 4)) (PI.f64)) 1 (/.f64 (log.f64 (/.f64 4 (PI.f64))) (PI.f64)))) (.f64 (PI.f64) (.f64 (*.f64 f f) -1/12))))

Compiler

Compiled 18680 to 12726 computations (31.9% saved)

regimes1.4s (7.8%)

Accuracy

Total 0.6b remaining (29.5%)

Threshold costs 0.6b (29.5%)

Counts

183 → 1

Compiler

Compiled 39420 to 29174 computations (26% saved)

simplify2.0ms (0%)

Algorithm

1×	egg-herbie

Rules

2×	`*-commutative_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	20	47
1	22	47
2	22	47

end253.0ms (1.5%)

Compiler: Compiled 430 to 309 computations (28.1% saved)

Details

analyze1.3s (7.3%)

sample11.3s (65.2%)

simplify48.0ms (0.3%)

prune4.0ms (0%)

localize13.0ms (0.1%)

series47.0ms (0.3%)

rewrite91.0ms (0.5%)

simplify90.0ms (0.5%)

prune204.0ms (1.2%)

localize19.0ms (0.1%)

series33.0ms (0.2%)

rewrite72.0ms (0.4%)

simplify59.0ms (0.3%)

prune115.0ms (0.7%)

localize18.0ms (0.1%)

series267.0ms (1.5%)

rewrite96.0ms (0.6%)

simplify213.0ms (1.2%)

prune348.0ms (2%)

localize20.0ms (0.1%)

series587.0ms (3.4%)

rewrite129.0ms (0.7%)

simplify85.0ms (0.5%)

prune594.0ms (3.4%)

regimes1.4s (7.8%)

simplify2.0ms (0%)

end253.0ms (1.5%)

Profiling