Details

analyze1.4s (9%)

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)

sample10.6s (67.8%)

Results

3.3s	4010×	body	1024	valid
3.1s	4003×	body	1024	invalid
1.3s	2063×	body	512	valid
1.1s	1989×	body	512	invalid
794.0ms	566×	body	2048	valid
407.0ms	968×	body	256	valid
386.0ms	1013×	body	256	invalid
139.0ms	649×	body	128	valid
2.0ms	2×	body	2048	invalid
0.0ms	1×	body	128	invalid

Compiler

Compiled 78 to 62 computations (20.5% saved)

preprocess34.0ms (0.2%)

Algorithm

2×	egg-herbie

Rules

569×	`fma-def_binary64`
323×	`fma-neg_binary64`
202×	`distribute-rgt-in_binary64`
192×	`cancel-sign-sub-inv_binary64`
175×	`distribute-lft-in_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	17	64
1	49	61
2	122	59
3	326	55
4	975	55
5	2553	55
0	1	1

Stop Event

1×	saturated
1×	node limit

Compiler

Compiled 38 to 30 computations (21.1% saved)

simplify22.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

569×	`fma-def_binary64`
323×	`fma-neg_binary64`
202×	`distribute-rgt-in_binary64`
192×	`cancel-sign-sub-inv_binary64`
175×	`distribute-lft-in_binary64`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	17	64
1	49	61
2	122	59
3	326	55
4	975	55
5	2553	55

Stop Event

1×	node limit

Counts

1 → 2

prune8.0ms (0.1%)

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

61.8b

Counts

3 → 1

Alt Table

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

Status

Error

Program

▶

61.8b

(*.f64 (log.f64 (/.f64 (+.f64 (pow.f64 (exp.f64 (/.f64 (PI.f64) 4)) f) (pow.f64 (exp.f64 -1/4) (*.f64 (PI.f64) f))) (-.f64 (pow.f64 (exp.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)

localize14.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.0b	(.f64 (log.f64 (/.f64 (+.f64 (pow.f64 (exp.f64 (/.f64 (PI.f64) 4)) f) (pow.f64 (exp.f64 -1/4) (.f64 (PI.f64) f))) (-.f64 (pow.f64 (exp.f64 (/.f64 (PI.f64) 4)) f) (pow.f64 (exp.f64 -1/4) (*.f64 (PI.f64) f))))) (/.f64 -4 (PI.f64)))
✓	0.2b	(*.f64 (PI.f64) f)
✓	1.2b	(/.f64 (+.f64 (pow.f64 (exp.f64 (/.f64 (PI.f64) 4)) f) (pow.f64 (exp.f64 -1/4) (.f64 (PI.f64) f))) (-.f64 (pow.f64 (exp.f64 (/.f64 (PI.f64) 4)) f) (pow.f64 (exp.f64 -1/4) (.f64 (PI.f64) f))))
✓	3.4b	(-.f64 (pow.f64 (exp.f64 (/.f64 (PI.f64) 4)) f) (pow.f64 (exp.f64 -1/4) (*.f64 (PI.f64) f)))

series456.0ms (2.9%)

Counts

4 → 48

Calls

12 calls:

201.0ms	(.f64 (log.f64 (/.f64 (+.f64 (pow.f64 (exp.f64 (/.f64 (PI.f64) 4)) f) (pow.f64 (exp.f64 -1/4) (.f64 (PI.f64) f))) (-.f64 (pow.f64 (exp.f64 (/.f64 (PI.f64) 4)) f) (pow.f64 (exp.f64 -1/4) (*.f64 (PI.f64) f))))) (/.f64 -4 (PI.f64)))	f	-inf
198.0ms	(.f64 (log.f64 (/.f64 (+.f64 (pow.f64 (exp.f64 (/.f64 (PI.f64) 4)) f) (pow.f64 (exp.f64 -1/4) (.f64 (PI.f64) f))) (-.f64 (pow.f64 (exp.f64 (/.f64 (PI.f64) 4)) f) (pow.f64 (exp.f64 -1/4) (*.f64 (PI.f64) f))))) (/.f64 -4 (PI.f64)))	f	inf
15.0ms	(.f64 (log.f64 (/.f64 (+.f64 (pow.f64 (exp.f64 (/.f64 (PI.f64) 4)) f) (pow.f64 (exp.f64 -1/4) (.f64 (PI.f64) f))) (-.f64 (pow.f64 (exp.f64 (/.f64 (PI.f64) 4)) f) (pow.f64 (exp.f64 -1/4) (*.f64 (PI.f64) f))))) (/.f64 -4 (PI.f64)))	f	0
13.0ms	(/.f64 (+.f64 (pow.f64 (exp.f64 (/.f64 (PI.f64) 4)) f) (pow.f64 (exp.f64 -1/4) (.f64 (PI.f64) f))) (-.f64 (pow.f64 (exp.f64 (/.f64 (PI.f64) 4)) f) (pow.f64 (exp.f64 -1/4) (.f64 (PI.f64) f))))	f	0
9.0ms	(/.f64 (+.f64 (pow.f64 (exp.f64 (/.f64 (PI.f64) 4)) f) (pow.f64 (exp.f64 -1/4) (.f64 (PI.f64) f))) (-.f64 (pow.f64 (exp.f64 (/.f64 (PI.f64) 4)) f) (pow.f64 (exp.f64 -1/4) (.f64 (PI.f64) f))))	f	-inf

rewrite60.0ms (0.4%)

Algorithm

1×	batch-egg-rewrite

Rules

195×	`add-sqr-sqrt_binary64`
191×	`pow1_binary64`
189×	`*-un-lft-identity_binary64`
188×	`add-log-exp_binary64`
185×	`log1p-expm1-u_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	18	128
1	397	128

Stop Event

1×	node limit

Counts

4 → 120

simplify50.0ms (0.3%)

Algorithm

1×	egg-herbie

Rules

730×	`fma-neg_binary64`
395×	`associate-l_binary64`
382×	`associate-r_binary64`
362×	`unswap-sqr_binary64`
354×	`distribute-rgt-neg-in_binary64`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	88	1440
1	257	1434
2	788	1427
3	3219	1421

Stop Event

1×	node limit

Counts

168 → 149

prune156.0ms (1%)

Pruning

5 alts after pruning (5 fresh and 0 done)

	Pruned	Kept	Total
New	160	5	165
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	161	5	166

Error

1.6b

Counts

166 → 5

Alt Table

Status	Error	Program
	61.8b	(.f64 (log.f64 (/.f64 (+.f64 (pow.f64 (exp.f64 (/.f64 (PI.f64) 4)) f) (pow.f64 (exp.f64 -1/4) (.f64 (PI.f64) f))) (pow.f64 (sqrt.f64 (-.f64 (pow.f64 (pow.f64 (exp.f64 (PI.f64)) 1/4) f) (pow.f64 (exp.f64 -1/4) (*.f64 (PI.f64) f)))) 2))) (/.f64 -4 (PI.f64)))
▶	2.0b	(-.f64 (+.f64 (.f64 4 (/.f64 (log.f64 f) (PI.f64))) (.f64 7/5760 (.f64 (pow.f64 f 4) (pow.f64 (PI.f64) 3)))) (+.f64 (.f64 1/12 (.f64 (pow.f64 f 2) (PI.f64))) (.f64 4 (/.f64 (log.f64 (/.f64 4 (PI.f64))) (PI.f64)))))
	2.5b	(*.f64 (/.f64 -4 (PI.f64)) (-.f64 (log.f64 (/.f64 4 (PI.f64))) (log.f64 f)))
	2.4b	(*.f64 -4 (/.f64 (-.f64 (log.f64 (/.f64 4 (PI.f64))) (log.f64 f)) (PI.f64)))
	2.2b	(.f64 (log.f64 (fma.f64 f (.f64 (PI.f64) 1/12) (/.f64 4 (*.f64 f (PI.f64))))) (/.f64 -4 (PI.f64)))

Compiler

Compiled 6804 to 4376 computations (35.7% saved)

localize23.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.3b	(/.f64 (log.f64 f) (PI.f64))
✓	0.4b	(-.f64 (+.f64 (.f64 4 (/.f64 (log.f64 f) (PI.f64))) (.f64 7/5760 (.f64 (pow.f64 f 4) (pow.f64 (PI.f64) 3)))) (+.f64 (.f64 1/12 (.f64 (pow.f64 f 2) (PI.f64))) (.f64 4 (/.f64 (log.f64 (/.f64 4 (PI.f64))) (PI.f64)))))
✓	1.0b	(pow.f64 (PI.f64) 3)
✓	2.0b	(log.f64 (/.f64 4 (PI.f64)))

series55.0ms (0.3%)

Counts

4 → 18

Calls

6 calls:

12.0ms	(/.f64 (log.f64 f) (PI.f64))	f	-inf
12.0ms	(/.f64 (log.f64 f) (PI.f64))	f	0
10.0ms	(-.f64 (+.f64 (.f64 4 (/.f64 (log.f64 f) (PI.f64))) (.f64 7/5760 (.f64 (pow.f64 f 4) (pow.f64 (PI.f64) 3)))) (+.f64 (.f64 1/12 (.f64 (pow.f64 f 2) (PI.f64))) (.f64 4 (/.f64 (log.f64 (/.f64 4 (PI.f64))) (PI.f64)))))	f	0
8.0ms	(/.f64 (log.f64 f) (PI.f64))	f	inf
6.0ms	(-.f64 (+.f64 (.f64 4 (/.f64 (log.f64 f) (PI.f64))) (.f64 7/5760 (.f64 (pow.f64 f 4) (pow.f64 (PI.f64) 3)))) (+.f64 (.f64 1/12 (.f64 (pow.f64 f 2) (PI.f64))) (.f64 4 (/.f64 (log.f64 (/.f64 4 (PI.f64))) (PI.f64)))))	f	-inf

rewrite44.0ms (0.3%)

Algorithm

1×	batch-egg-rewrite

Rules

274×	`add-sqr-sqrt_binary64`
267×	`pow1_binary64`
264×	`*-un-lft-identity_binary64`
261×	`add-log-exp_binary64`
259×	`log1p-expm1-u_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	25	70
1	569	70

Stop Event

1×	node limit

Counts

4 → 51

simplify26.0ms (0.2%)

Algorithm

1×	egg-herbie

Rules

643×	`fma-neg_binary64`
634×	`associate-l_binary64`
490×	`cancel-sign-sub-inv_binary64`
481×	`associate-r_binary64`
143×	`sub-neg_binary64`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	47	442
1	143	437
2	403	383
3	1389	359

Stop Event

1×	node limit

Counts

69 → 65

prune115.0ms (0.7%)

Pruning

10 alts after pruning (10 fresh and 0 done)

	Pruned	Kept	Total
New	58	7	65
Fresh	1	3	4
Picked	1	0	1
Done	0	0	0
Total	60	10	70

Error

1.5b

Counts

70 → 10

Alt Table

Status	Error	Program
▶	2.0b	(-.f64 (.f64 7/5760 (.f64 (pow.f64 f 4) (pow.f64 (PI.f64) 3))) (+.f64 (.f64 4 (/.f64 (log.f64 (/.f64 1 f)) (PI.f64))) (+.f64 (.f64 1/12 (.f64 (pow.f64 f 2) (PI.f64))) (.f64 4 (/.f64 (log.f64 (/.f64 4 (PI.f64))) (PI.f64))))))
	61.8b	(.f64 (log.f64 (/.f64 (+.f64 (pow.f64 (exp.f64 (/.f64 (PI.f64) 4)) f) (pow.f64 (exp.f64 -1/4) (.f64 (PI.f64) f))) (pow.f64 (sqrt.f64 (-.f64 (pow.f64 (pow.f64 (exp.f64 (PI.f64)) 1/4) f) (pow.f64 (exp.f64 -1/4) (*.f64 (PI.f64) f)))) 2))) (/.f64 -4 (PI.f64)))
	2.9b	(+.f64 (fma.f64 (.f64 (cbrt.f64 (fma.f64 4 (/.f64 (log.f64 f) (PI.f64)) (.f64 (.f64 7/5760 (pow.f64 f 4)) (pow.f64 (PI.f64) 3)))) (cbrt.f64 (fma.f64 4 (/.f64 (log.f64 f) (PI.f64)) (.f64 (.f64 7/5760 (pow.f64 f 4)) (pow.f64 (PI.f64) 3))))) (cbrt.f64 (fma.f64 4 (/.f64 (log.f64 f) (PI.f64)) (.f64 (.f64 7/5760 (pow.f64 f 4)) (pow.f64 (PI.f64) 3)))) (neg.f64 (.f64 (fma.f64 1/12 (.f64 (PI.f64) (.f64 f f)) (.f64 4 (/.f64 (log.f64 (/.f64 4 (PI.f64))) (PI.f64)))) 1))) (fma.f64 (neg.f64 (fma.f64 1/12 (.f64 (PI.f64) (.f64 f f)) (.f64 4 (/.f64 (log.f64 (/.f64 4 (PI.f64))) (PI.f64))))) 1 (.f64 (fma.f64 1/12 (.f64 (PI.f64) (.f64 f f)) (.f64 4 (/.f64 (log.f64 (/.f64 4 (PI.f64))) (PI.f64)))) 1)))
	2.4b	(*.f64 -4 (/.f64 (-.f64 (log.f64 (/.f64 4 (PI.f64))) (log.f64 f)) (PI.f64)))
	2.3b	(-.f64 (+.f64 (.f64 4 (cbrt.f64 (.f64 (.f64 (/.f64 (log.f64 f) (PI.f64)) (/.f64 (log.f64 f) (PI.f64))) (/.f64 (log.f64 f) (PI.f64))))) (.f64 7/5760 (.f64 (pow.f64 f 4) (pow.f64 (PI.f64) 3)))) (+.f64 (.f64 1/12 (.f64 (pow.f64 f 2) (PI.f64))) (.f64 4 (/.f64 (log.f64 (/.f64 4 (PI.f64))) (PI.f64)))))
	3.0b	(-.f64 (+.f64 (.f64 4 (.f64 (.f64 (cbrt.f64 (/.f64 (log.f64 f) (PI.f64))) (cbrt.f64 (/.f64 (log.f64 f) (PI.f64)))) (cbrt.f64 (/.f64 (log.f64 f) (PI.f64))))) (.f64 7/5760 (.f64 (pow.f64 f 4) (pow.f64 (PI.f64) 3)))) (+.f64 (.f64 1/12 (.f64 (pow.f64 f 2) (PI.f64))) (.f64 4 (/.f64 (log.f64 (/.f64 4 (PI.f64))) (PI.f64)))))
	2.3b	(cbrt.f64 (.f64 (.f64 (-.f64 (fma.f64 4 (/.f64 (log.f64 f) (PI.f64)) (.f64 (.f64 7/5760 (pow.f64 f 4)) (pow.f64 (PI.f64) 3))) (fma.f64 1/12 (.f64 (PI.f64) (.f64 f f)) (.f64 4 (/.f64 (log.f64 (/.f64 4 (PI.f64))) (PI.f64))))) (-.f64 (fma.f64 4 (/.f64 (log.f64 f) (PI.f64)) (.f64 (.f64 7/5760 (pow.f64 f 4)) (pow.f64 (PI.f64) 3))) (fma.f64 1/12 (.f64 (PI.f64) (.f64 f f)) (.f64 4 (/.f64 (log.f64 (/.f64 4 (PI.f64))) (PI.f64)))))) (-.f64 (fma.f64 4 (/.f64 (log.f64 f) (PI.f64)) (.f64 (.f64 7/5760 (pow.f64 f 4)) (pow.f64 (PI.f64) 3))) (fma.f64 1/12 (.f64 (PI.f64) (.f64 f f)) (*.f64 4 (/.f64 (log.f64 (/.f64 4 (PI.f64))) (PI.f64)))))))
	2.2b	(/.f64 (-.f64 (.f64 (fma.f64 4 (/.f64 (log.f64 f) (PI.f64)) (.f64 (.f64 7/5760 (pow.f64 f 4)) (pow.f64 (PI.f64) 3))) (fma.f64 4 (/.f64 (log.f64 f) (PI.f64)) (.f64 (.f64 7/5760 (pow.f64 f 4)) (pow.f64 (PI.f64) 3)))) (.f64 (fma.f64 1/12 (.f64 (PI.f64) (.f64 f f)) (.f64 4 (/.f64 (log.f64 (/.f64 4 (PI.f64))) (PI.f64)))) (fma.f64 1/12 (.f64 (PI.f64) (.f64 f f)) (.f64 4 (/.f64 (log.f64 (/.f64 4 (PI.f64))) (PI.f64)))))) (+.f64 (fma.f64 4 (/.f64 (log.f64 f) (PI.f64)) (.f64 (.f64 7/5760 (pow.f64 f 4)) (pow.f64 (PI.f64) 3))) (fma.f64 1/12 (.f64 (PI.f64) (.f64 f f)) (*.f64 4 (/.f64 (log.f64 (/.f64 4 (PI.f64))) (PI.f64))))))
	2.3b	(/.f64 (-.f64 (pow.f64 (fma.f64 4 (/.f64 (log.f64 f) (PI.f64)) (.f64 (.f64 7/5760 (pow.f64 f 4)) (pow.f64 (PI.f64) 3))) 3) (pow.f64 (fma.f64 1/12 (.f64 (PI.f64) (.f64 f f)) (.f64 4 (/.f64 (log.f64 (/.f64 4 (PI.f64))) (PI.f64)))) 3)) (+.f64 (.f64 (fma.f64 4 (/.f64 (log.f64 f) (PI.f64)) (.f64 (.f64 7/5760 (pow.f64 f 4)) (pow.f64 (PI.f64) 3))) (fma.f64 4 (/.f64 (log.f64 f) (PI.f64)) (.f64 (.f64 7/5760 (pow.f64 f 4)) (pow.f64 (PI.f64) 3)))) (+.f64 (.f64 (fma.f64 1/12 (.f64 (PI.f64) (.f64 f f)) (.f64 4 (/.f64 (log.f64 (/.f64 4 (PI.f64))) (PI.f64)))) (fma.f64 1/12 (.f64 (PI.f64) (.f64 f f)) (.f64 4 (/.f64 (log.f64 (/.f64 4 (PI.f64))) (PI.f64))))) (.f64 (fma.f64 4 (/.f64 (log.f64 f) (PI.f64)) (.f64 (.f64 7/5760 (pow.f64 f 4)) (pow.f64 (PI.f64) 3))) (fma.f64 1/12 (.f64 (PI.f64) (.f64 f f)) (*.f64 4 (/.f64 (log.f64 (/.f64 4 (PI.f64))) (PI.f64))))))))
	2.2b	(.f64 (log.f64 (fma.f64 f (.f64 (PI.f64) 1/12) (/.f64 4 (*.f64 f (PI.f64))))) (/.f64 -4 (PI.f64)))

Compiler

Compiled 4518 to 2955 computations (34.6% saved)

localize21.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.3b	(/.f64 (log.f64 (/.f64 1 f)) (PI.f64))
✓	0.4b	(+.f64 (.f64 4 (/.f64 (log.f64 (/.f64 1 f)) (PI.f64))) (+.f64 (.f64 1/12 (.f64 (pow.f64 f 2) (PI.f64))) (.f64 4 (/.f64 (log.f64 (/.f64 4 (PI.f64))) (PI.f64)))))
	1.0b	(pow.f64 (PI.f64) 3)
	2.0b	(log.f64 (/.f64 4 (PI.f64)))

series86.0ms (0.5%)

Counts

2 → 20

Calls

6 calls:

30.0ms	(+.f64 (.f64 4 (/.f64 (log.f64 (/.f64 1 f)) (PI.f64))) (+.f64 (.f64 1/12 (.f64 (pow.f64 f 2) (PI.f64))) (.f64 4 (/.f64 (log.f64 (/.f64 4 (PI.f64))) (PI.f64)))))	f	0
15.0ms	(+.f64 (.f64 4 (/.f64 (log.f64 (/.f64 1 f)) (PI.f64))) (+.f64 (.f64 1/12 (.f64 (pow.f64 f 2) (PI.f64))) (.f64 4 (/.f64 (log.f64 (/.f64 4 (PI.f64))) (PI.f64)))))	f	inf
15.0ms	(+.f64 (.f64 4 (/.f64 (log.f64 (/.f64 1 f)) (PI.f64))) (+.f64 (.f64 1/12 (.f64 (pow.f64 f 2) (PI.f64))) (.f64 4 (/.f64 (log.f64 (/.f64 4 (PI.f64))) (PI.f64)))))	f	-inf
9.0ms	(/.f64 (log.f64 (/.f64 1 f)) (PI.f64))	f	0
8.0ms	(/.f64 (log.f64 (/.f64 1 f)) (PI.f64))	f	-inf

rewrite46.0ms (0.3%)

Algorithm

1×	batch-egg-rewrite

Rules

215×	`add-sqr-sqrt_binary64`
208×	`pow1_binary64`
207×	`*-un-lft-identity_binary64`
203×	`add-log-exp_binary64`
202×	`add-exp-log_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	20	46
1	444	46

Stop Event

1×	node limit

Counts

2 → 64

simplify39.0ms (0.3%)

Algorithm

1×	egg-herbie

Rules

806×	`fma-neg_binary64`
656×	`fma-def_binary64`
264×	`associate-l_binary64`
203×	`associate-r_binary64`
184×	`unsub-neg_binary64`

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	39	501
1	105	489
2	231	486
3	494	443
4	1192	431
5	3959	431

Stop Event

1×	node limit

Counts

84 → 77

prune173.0ms (1.1%)

Pruning

8 alts after pruning (8 fresh and 0 done)

	Pruned	Kept	Total
New	91	5	96
Fresh	6	3	9
Picked	1	0	1
Done	0	0	0
Total	98	8	106

Error

1.5b

Counts

106 → 8

Alt Table

Status	Error	Program
▶	1.9b	(-.f64 (.f64 7/5760 (.f64 (pow.f64 f 4) (pow.f64 (PI.f64) 3))) (+.f64 (.f64 4 (log.f64 (pow.f64 (/.f64 1 f) (/.f64 1 (PI.f64))))) (+.f64 (.f64 1/12 (.f64 (pow.f64 f 2) (PI.f64))) (.f64 4 (/.f64 (log.f64 (/.f64 4 (PI.f64))) (PI.f64))))))
	2.2b	(-.f64 (.f64 7/5760 (.f64 (pow.f64 f 4) (pow.f64 (PI.f64) 3))) (/.f64 1 (/.f64 (+.f64 (pow.f64 (.f64 4 (/.f64 (neg.f64 (log.f64 f)) (PI.f64))) 2) (-.f64 (pow.f64 (fma.f64 4 (/.f64 (log.f64 (/.f64 4 (PI.f64))) (PI.f64)) (.f64 (.f64 1/12 (.f64 f f)) (PI.f64))) 2) (.f64 (.f64 4 (/.f64 (neg.f64 (log.f64 f)) (PI.f64))) (fma.f64 4 (/.f64 (log.f64 (/.f64 4 (PI.f64))) (PI.f64)) (.f64 (.f64 1/12 (.f64 f f)) (PI.f64)))))) (+.f64 (.f64 (pow.f64 (/.f64 (neg.f64 (log.f64 f)) (PI.f64)) 3) 64) (pow.f64 (fma.f64 4 (/.f64 (log.f64 (/.f64 4 (PI.f64))) (PI.f64)) (.f64 (.f64 1/12 (*.f64 f f)) (PI.f64))) 3)))))
	2.9b	(+.f64 (fma.f64 (.f64 (cbrt.f64 (fma.f64 4 (/.f64 (log.f64 f) (PI.f64)) (.f64 (.f64 7/5760 (pow.f64 f 4)) (pow.f64 (PI.f64) 3)))) (cbrt.f64 (fma.f64 4 (/.f64 (log.f64 f) (PI.f64)) (.f64 (.f64 7/5760 (pow.f64 f 4)) (pow.f64 (PI.f64) 3))))) (cbrt.f64 (fma.f64 4 (/.f64 (log.f64 f) (PI.f64)) (.f64 (.f64 7/5760 (pow.f64 f 4)) (pow.f64 (PI.f64) 3)))) (neg.f64 (.f64 (fma.f64 1/12 (.f64 (PI.f64) (.f64 f f)) (.f64 4 (/.f64 (log.f64 (/.f64 4 (PI.f64))) (PI.f64)))) 1))) (fma.f64 (neg.f64 (fma.f64 1/12 (.f64 (PI.f64) (.f64 f f)) (.f64 4 (/.f64 (log.f64 (/.f64 4 (PI.f64))) (PI.f64))))) 1 (.f64 (fma.f64 1/12 (.f64 (PI.f64) (.f64 f f)) (.f64 4 (/.f64 (log.f64 (/.f64 4 (PI.f64))) (PI.f64)))) 1)))
	2.3b	(-.f64 (.f64 7/5760 (.f64 (pow.f64 f 4) (pow.f64 (PI.f64) 3))) (fma.f64 (.f64 2 (sqrt.f64 (/.f64 (neg.f64 (log.f64 f)) (PI.f64)))) (.f64 2 (sqrt.f64 (/.f64 (neg.f64 (log.f64 f)) (PI.f64)))) (fma.f64 4 (/.f64 (log.f64 (/.f64 4 (PI.f64))) (PI.f64)) (.f64 (.f64 1/12 (*.f64 f f)) (PI.f64)))))
	3.0b	(-.f64 (.f64 7/5760 (.f64 (pow.f64 f 4) (pow.f64 (PI.f64) 3))) (+.f64 (.f64 4 (pow.f64 (pow.f64 (/.f64 (neg.f64 (log.f64 f)) (PI.f64)) 3) 1/3)) (+.f64 (.f64 1/12 (.f64 (pow.f64 f 2) (PI.f64))) (.f64 4 (/.f64 (log.f64 (/.f64 4 (PI.f64))) (PI.f64))))))
	61.8b	(.f64 (log.f64 (/.f64 (+.f64 (pow.f64 (exp.f64 (/.f64 (PI.f64) 4)) f) (pow.f64 (exp.f64 -1/4) (.f64 (PI.f64) f))) (pow.f64 (sqrt.f64 (-.f64 (pow.f64 (pow.f64 (exp.f64 (PI.f64)) 1/4) f) (pow.f64 (exp.f64 -1/4) (*.f64 (PI.f64) f)))) 2))) (/.f64 -4 (PI.f64)))
	2.1b	(-.f64 (.f64 7/5760 (.f64 (pow.f64 f 4) (pow.f64 (PI.f64) 3))) (+.f64 (.f64 4 (pow.f64 (/.f64 (PI.f64) (neg.f64 (log.f64 f))) -1)) (+.f64 (.f64 1/12 (.f64 (pow.f64 f 2) (PI.f64))) (.f64 4 (/.f64 (log.f64 (/.f64 4 (PI.f64))) (PI.f64))))))
	2.2b	(.f64 (log.f64 (fma.f64 f (.f64 (PI.f64) 1/12) (/.f64 4 (*.f64 f (PI.f64))))) (/.f64 -4 (PI.f64)))

Compiler

Compiled 5045 to 3442 computations (31.8% saved)

localize23.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.4b	(+.f64 (.f64 4 (log.f64 (pow.f64 (/.f64 1 f) (/.f64 1 (PI.f64))))) (+.f64 (.f64 1/12 (.f64 (pow.f64 f 2) (PI.f64))) (.f64 4 (/.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.1b	(pow.f64 (/.f64 1 f) (/.f64 1 (PI.f64)))

series139.0ms (0.9%)

Counts

2 → 24

Calls

6 calls:

51.0ms	(+.f64 (.f64 4 (log.f64 (pow.f64 (/.f64 1 f) (/.f64 1 (PI.f64))))) (+.f64 (.f64 1/12 (.f64 (pow.f64 f 2) (PI.f64))) (.f64 4 (/.f64 (log.f64 (/.f64 4 (PI.f64))) (PI.f64)))))	f	0
30.0ms	(+.f64 (.f64 4 (log.f64 (pow.f64 (/.f64 1 f) (/.f64 1 (PI.f64))))) (+.f64 (.f64 1/12 (.f64 (pow.f64 f 2) (PI.f64))) (.f64 4 (/.f64 (log.f64 (/.f64 4 (PI.f64))) (PI.f64)))))	f	-inf
28.0ms	(+.f64 (.f64 4 (log.f64 (pow.f64 (/.f64 1 f) (/.f64 1 (PI.f64))))) (+.f64 (.f64 1/12 (.f64 (pow.f64 f 2) (PI.f64))) (.f64 4 (/.f64 (log.f64 (/.f64 4 (PI.f64))) (PI.f64)))))	f	inf
13.0ms	(pow.f64 (/.f64 1 f) (/.f64 1 (PI.f64)))	f	inf
9.0ms	(pow.f64 (/.f64 1 f) (/.f64 1 (PI.f64)))	f	-inf

rewrite34.0ms (0.2%)

Algorithm

1×	batch-egg-rewrite

Rules

224×	`add-sqr-sqrt_binary64`
218×	`pow1_binary64`
216×	`*-un-lft-identity_binary64`
212×	`add-log-exp_binary64`
210×	`add-exp-log_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	21	52
1	463	51

Stop Event

1×	node limit

Counts

2 → 43

simplify41.0ms (0.3%)

Algorithm

1×	egg-herbie

Rules

840×	`fma-neg_binary64`
655×	`fma-def_binary64`
280×	`associate-l_binary64`
212×	`associate-r_binary64`
163×	`associate-+l+_binary64`

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	42	561
1	110	549
2	241	546
3	517	503
4	1254	467
5	4203	467

Stop Event

1×	node limit

Counts

67 → 57

prune129.0ms (0.8%)

Pruning

8 alts after pruning (7 fresh and 1 done)

	Pruned	Kept	Total
New	76	0	76
Fresh	0	7	7
Picked	0	1	1
Done	0	0	0
Total	76	8	84

Error

1.5b

Counts

84 → 8

Alt Table

Status	Error	Program
✓	1.9b	(-.f64 (.f64 7/5760 (.f64 (pow.f64 f 4) (pow.f64 (PI.f64) 3))) (+.f64 (.f64 4 (log.f64 (pow.f64 (/.f64 1 f) (/.f64 1 (PI.f64))))) (+.f64 (.f64 1/12 (.f64 (pow.f64 f 2) (PI.f64))) (.f64 4 (/.f64 (log.f64 (/.f64 4 (PI.f64))) (PI.f64))))))
	2.2b	(-.f64 (.f64 7/5760 (.f64 (pow.f64 f 4) (pow.f64 (PI.f64) 3))) (/.f64 1 (/.f64 (+.f64 (pow.f64 (.f64 4 (/.f64 (neg.f64 (log.f64 f)) (PI.f64))) 2) (-.f64 (pow.f64 (fma.f64 4 (/.f64 (log.f64 (/.f64 4 (PI.f64))) (PI.f64)) (.f64 (.f64 1/12 (.f64 f f)) (PI.f64))) 2) (.f64 (.f64 4 (/.f64 (neg.f64 (log.f64 f)) (PI.f64))) (fma.f64 4 (/.f64 (log.f64 (/.f64 4 (PI.f64))) (PI.f64)) (.f64 (.f64 1/12 (.f64 f f)) (PI.f64)))))) (+.f64 (.f64 (pow.f64 (/.f64 (neg.f64 (log.f64 f)) (PI.f64)) 3) 64) (pow.f64 (fma.f64 4 (/.f64 (log.f64 (/.f64 4 (PI.f64))) (PI.f64)) (.f64 (.f64 1/12 (*.f64 f f)) (PI.f64))) 3)))))
	2.9b	(+.f64 (fma.f64 (.f64 (cbrt.f64 (fma.f64 4 (/.f64 (log.f64 f) (PI.f64)) (.f64 (.f64 7/5760 (pow.f64 f 4)) (pow.f64 (PI.f64) 3)))) (cbrt.f64 (fma.f64 4 (/.f64 (log.f64 f) (PI.f64)) (.f64 (.f64 7/5760 (pow.f64 f 4)) (pow.f64 (PI.f64) 3))))) (cbrt.f64 (fma.f64 4 (/.f64 (log.f64 f) (PI.f64)) (.f64 (.f64 7/5760 (pow.f64 f 4)) (pow.f64 (PI.f64) 3)))) (neg.f64 (.f64 (fma.f64 1/12 (.f64 (PI.f64) (.f64 f f)) (.f64 4 (/.f64 (log.f64 (/.f64 4 (PI.f64))) (PI.f64)))) 1))) (fma.f64 (neg.f64 (fma.f64 1/12 (.f64 (PI.f64) (.f64 f f)) (.f64 4 (/.f64 (log.f64 (/.f64 4 (PI.f64))) (PI.f64))))) 1 (.f64 (fma.f64 1/12 (.f64 (PI.f64) (.f64 f f)) (.f64 4 (/.f64 (log.f64 (/.f64 4 (PI.f64))) (PI.f64)))) 1)))
	2.3b	(-.f64 (.f64 7/5760 (.f64 (pow.f64 f 4) (pow.f64 (PI.f64) 3))) (fma.f64 (.f64 2 (sqrt.f64 (/.f64 (neg.f64 (log.f64 f)) (PI.f64)))) (.f64 2 (sqrt.f64 (/.f64 (neg.f64 (log.f64 f)) (PI.f64)))) (fma.f64 4 (/.f64 (log.f64 (/.f64 4 (PI.f64))) (PI.f64)) (.f64 (.f64 1/12 (*.f64 f f)) (PI.f64)))))
	3.0b	(-.f64 (.f64 7/5760 (.f64 (pow.f64 f 4) (pow.f64 (PI.f64) 3))) (+.f64 (.f64 4 (pow.f64 (pow.f64 (/.f64 (neg.f64 (log.f64 f)) (PI.f64)) 3) 1/3)) (+.f64 (.f64 1/12 (.f64 (pow.f64 f 2) (PI.f64))) (.f64 4 (/.f64 (log.f64 (/.f64 4 (PI.f64))) (PI.f64))))))
	61.8b	(.f64 (log.f64 (/.f64 (+.f64 (pow.f64 (exp.f64 (/.f64 (PI.f64) 4)) f) (pow.f64 (exp.f64 -1/4) (.f64 (PI.f64) f))) (pow.f64 (sqrt.f64 (-.f64 (pow.f64 (pow.f64 (exp.f64 (PI.f64)) 1/4) f) (pow.f64 (exp.f64 -1/4) (*.f64 (PI.f64) f)))) 2))) (/.f64 -4 (PI.f64)))
	2.1b	(-.f64 (.f64 7/5760 (.f64 (pow.f64 f 4) (pow.f64 (PI.f64) 3))) (+.f64 (.f64 4 (pow.f64 (/.f64 (PI.f64) (neg.f64 (log.f64 f))) -1)) (+.f64 (.f64 1/12 (.f64 (pow.f64 f 2) (PI.f64))) (.f64 4 (/.f64 (log.f64 (/.f64 4 (PI.f64))) (PI.f64))))))
	2.2b	(.f64 (log.f64 (fma.f64 f (.f64 (PI.f64) 1/12) (/.f64 4 (*.f64 f (PI.f64))))) (/.f64 -4 (PI.f64)))

Compiler

Compiled 3552 to 2598 computations (26.9% saved)

regimes1.6s (10%)

Accuracy

Total 0.6b remaining (28.1%)

Threshold costs 0.6b (28.1%)

Counts

198 → 1

Compiler

Compiled 49428 to 37028 computations (25.1% saved)

simplify5.0ms (0%)

Algorithm

1×	egg-herbie

Rules

17×	`*-commutative_binary64`
14×	`+-commutative_binary64`
12×	`sub-neg_binary64`
11×	`neg-sub0_binary64`
11×	`neg-mul-1_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	27	58
1	37	58
2	45	58
3	64	58
4	89	58
5	109	58
6	122	58
7	130	58
8	133	58

Stop Event

1×

saturated

end269.0ms (1.7%)

Stop Event

1×

fuel

Compiler

Compiled 478 to 352 computations (26.4% saved)

Details

analyze1.4s (9%)

sample10.6s (67.8%)

preprocess34.0ms (0.2%)

simplify22.0ms (0.1%)

prune8.0ms (0.1%)

localize14.0ms (0.1%)

series456.0ms (2.9%)

rewrite60.0ms (0.4%)

simplify50.0ms (0.3%)

prune156.0ms (1%)

localize23.0ms (0.1%)

series55.0ms (0.3%)

rewrite44.0ms (0.3%)

simplify26.0ms (0.2%)

prune115.0ms (0.7%)

localize21.0ms (0.1%)

series86.0ms (0.5%)

rewrite46.0ms (0.3%)

simplify39.0ms (0.3%)

prune173.0ms (1.1%)

localize23.0ms (0.1%)

series139.0ms (0.9%)

rewrite34.0ms (0.2%)

simplify41.0ms (0.3%)

prune129.0ms (0.8%)

regimes1.6s (10%)

simplify5.0ms (0%)

end269.0ms (1.7%)

Profiling