Details

analyze1.4s (9.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)

sample10.6s (71.3%)

Results

3.3s	4010×	body	1024	valid
3.1s	4003×	body	1024	invalid
1.2s	2063×	body	512	valid
1.1s	1989×	body	512	invalid
823.0ms	566×	body	2048	valid
416.0ms	1013×	body	256	invalid
399.0ms	968×	body	256	valid
150.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)

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

simplify26.0ms (0.2%)

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

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

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

series474.0ms (3.2%)

Counts

4 → 48

Calls

12 calls:

209.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
203.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
12.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
11.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

rewrite59.0ms (0.4%)

Algorithm

1×	batch-egg-rewrite

Rules

192×	`add-sqr-sqrt_binary64`
185×	`log1p-expm1-u_binary64`
185×	`expm1-log1p-u_binary64`
184×	`add-log-exp_binary64`
182×	`add-cbrt-cube_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	18	128
1	401	128

Stop Event

1×	node limit

Counts

4 → 120

simplify52.0ms (0.4%)

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

prune158.0ms (1.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
	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)))
	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)))))

Compiler

Compiled 6804 to 4378 computations (35.7% saved)

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

series53.0ms (0.4%)

Counts

4 → 18

Calls

6 calls:

16.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
9.0ms	(/.f64 (log.f64 f) (PI.f64))	f	inf
8.0ms	(/.f64 (log.f64 f) (PI.f64))	f	-inf
7.0ms	(/.f64 (log.f64 f) (PI.f64))	f	0
7.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

259×	`log1p-expm1-u_binary64`
259×	`expm1-log1p-u_binary64`
253×	`add-cbrt-cube_binary64`
249×	`add-log-exp_binary64`
248×	`add-exp-log_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	25	70
1	564	70

Stop Event

1×	node limit

Counts

4 → 86

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

104 → 100

prune142.0ms (1%)

Pruning

9 alts after pruning (9 fresh and 0 done)

	Pruned	Kept	Total
New	94	6	100
Fresh	1	3	4
Picked	1	0	1
Done	0	0	0
Total	96	9	105

Error

1.5b

Counts

105 → 9

Alt Table

Status	Error	Program
	48.8b	(fma.f64 (pow.f64 (cbrt.f64 (fma.f64 7/5760 (.f64 (pow.f64 (PI.f64) 3) (pow.f64 f 4)) (/.f64 (log.f64 (pow.f64 f 4)) (PI.f64)))) 2) (cbrt.f64 (fma.f64 7/5760 (.f64 (pow.f64 (PI.f64) 3) (pow.f64 f 4)) (/.f64 (log.f64 (pow.f64 f 4)) (PI.f64)))) (neg.f64 (fma.f64 4 (/.f64 (log.f64 (/.f64 4 (PI.f64))) (PI.f64)) (.f64 1/12 (.f64 (PI.f64) (*.f64 f 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)))
	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)))
	48.8b	(pow.f64 (cbrt.f64 (-.f64 (fma.f64 7/5760 (.f64 (pow.f64 (PI.f64) 3) (pow.f64 f 4)) (/.f64 (log.f64 (pow.f64 f 4)) (PI.f64))) (fma.f64 4 (/.f64 (log.f64 (/.f64 4 (PI.f64))) (PI.f64)) (.f64 1/12 (.f64 (PI.f64) (.f64 f f)))))) 3)
▶	1.9b	(-.f64 (+.f64 (.f64 4 (log.f64 (pow.f64 f (/.f64 1 (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.1b	(-.f64 (+.f64 (.f64 4 (pow.f64 (/.f64 (PI.f64) (log.f64 f)) -1)) (.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.9b	(-.f64 (+.f64 (.f64 4 (pow.f64 (cbrt.f64 (/.f64 (log.f64 f) (PI.f64))) 3)) (.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 (pow.f64 (cbrt.f64 (/.f64 (log.f64 f) (PI.f64))) 2) (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)))))

Compiler

Compiled 4685 to 3290 computations (29.8% saved)

localize24.0ms (0.2%)

Local error

Found 4 expressions with local error:

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

series67.0ms (0.4%)

Counts

2 → 24

Calls

6 calls:

19.0ms	(-.f64 (+.f64 (.f64 4 (log.f64 (pow.f64 f (/.f64 1 (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
11.0ms	(pow.f64 f (/.f64 1 (PI.f64)))	f	inf
9.0ms	(-.f64 (+.f64 (.f64 4 (log.f64 (pow.f64 f (/.f64 1 (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
9.0ms	(pow.f64 f (/.f64 1 (PI.f64)))	f	-inf
9.0ms	(-.f64 (+.f64 (.f64 4 (log.f64 (pow.f64 f (/.f64 1 (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

rewrite41.0ms (0.3%)

Algorithm

1×	batch-egg-rewrite

Rules

272×	`log1p-expm1-u_binary64`
272×	`expm1-log1p-u_binary64`
266×	`add-cbrt-cube_binary64`
261×	`add-log-exp_binary64`
260×	`add-exp-log_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	27	62
1	600	62

Stop Event

1×	node limit

Counts

2 → 48

simplify29.0ms (0.2%)

Algorithm

1×	egg-herbie

Rules

686×	`fma-neg_binary64`
670×	`associate-l_binary64`
503×	`cancel-sign-sub-inv_binary64`
490×	`associate-r_binary64`
179×	`fma-def_binary64`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	52	556
1	157	551
2	452	531
3	1508	499

Stop Event

1×	node limit

Counts

72 → 62

prune165.0ms (1.1%)

Pruning

10 alts after pruning (9 fresh and 1 done)

	Pruned	Kept	Total
New	95	3	98
Fresh	2	6	8
Picked	0	1	1
Done	0	0	0
Total	97	10	107

Error

1.5b

Counts

107 → 10

Alt Table

Status	Error	Program
	2.3b	(/.f64 (-.f64 (pow.f64 (fma.f64 4 (.f64 (/.f64 1 (PI.f64)) (log.f64 f)) (.f64 (.f64 7/5760 (pow.f64 f 4)) (pow.f64 (PI.f64) 3))) 3) (pow.f64 (fma.f64 4 (/.f64 (log.f64 (/.f64 4 (PI.f64))) (PI.f64)) (.f64 1/12 (.f64 (PI.f64) (.f64 f f)))) 3)) (+.f64 (pow.f64 (fma.f64 4 (.f64 (/.f64 1 (PI.f64)) (log.f64 f)) (.f64 (.f64 7/5760 (pow.f64 f 4)) (pow.f64 (PI.f64) 3))) 2) (+.f64 (pow.f64 (fma.f64 4 (/.f64 (log.f64 (/.f64 4 (PI.f64))) (PI.f64)) (.f64 1/12 (.f64 (PI.f64) (.f64 f f)))) 2) (.f64 (fma.f64 4 (.f64 (/.f64 1 (PI.f64)) (log.f64 f)) (.f64 (.f64 7/5760 (pow.f64 f 4)) (pow.f64 (PI.f64) 3))) (fma.f64 4 (/.f64 (log.f64 (/.f64 4 (PI.f64))) (PI.f64)) (.f64 1/12 (.f64 (PI.f64) (*.f64 f f))))))))
	3.0b	(-.f64 (+.f64 (.f64 4 (.f64 (pow.f64 (cbrt.f64 (/.f64 (log.f64 f) (PI.f64))) 2) (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.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)))
	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)))
	48.8b	(pow.f64 (cbrt.f64 (-.f64 (fma.f64 7/5760 (.f64 (pow.f64 (PI.f64) 3) (pow.f64 f 4)) (/.f64 (log.f64 (pow.f64 f 4)) (PI.f64))) (fma.f64 4 (/.f64 (log.f64 (/.f64 4 (PI.f64))) (PI.f64)) (.f64 1/12 (.f64 (PI.f64) (.f64 f f)))))) 3)
	2.9b	(fma.f64 (pow.f64 (cbrt.f64 (fma.f64 4 (.f64 (/.f64 1 (PI.f64)) (log.f64 f)) (.f64 (.f64 7/5760 (pow.f64 f 4)) (pow.f64 (PI.f64) 3)))) 2) (cbrt.f64 (fma.f64 4 (.f64 (/.f64 1 (PI.f64)) (log.f64 f)) (.f64 (.f64 7/5760 (pow.f64 f 4)) (pow.f64 (PI.f64) 3)))) (neg.f64 (fma.f64 4 (/.f64 (log.f64 (/.f64 4 (PI.f64))) (PI.f64)) (.f64 1/12 (.f64 (PI.f64) (*.f64 f f))))))
✓	1.9b	(-.f64 (+.f64 (.f64 4 (log.f64 (pow.f64 f (/.f64 1 (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.1b	(-.f64 (+.f64 (.f64 4 (pow.f64 (/.f64 (PI.f64) (log.f64 f)) -1)) (.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.9b	(.f64 (pow.f64 (cbrt.f64 (-.f64 (fma.f64 4 (.f64 (/.f64 1 (PI.f64)) (log.f64 f)) (.f64 (.f64 7/5760 (pow.f64 f 4)) (pow.f64 (PI.f64) 3))) (fma.f64 4 (/.f64 (log.f64 (/.f64 4 (PI.f64))) (PI.f64)) (.f64 1/12 (.f64 (PI.f64) (.f64 f f)))))) 2) (cbrt.f64 (-.f64 (fma.f64 4 (.f64 (/.f64 1 (PI.f64)) (log.f64 f)) (.f64 (.f64 7/5760 (pow.f64 f 4)) (pow.f64 (PI.f64) 3))) (fma.f64 4 (/.f64 (log.f64 (/.f64 4 (PI.f64))) (PI.f64)) (.f64 1/12 (.f64 (PI.f64) (*.f64 f f)))))))

Compiler

Compiled 5125 to 3715 computations (27.5% saved)

localize23.0ms (0.2%)

Local error

Found 4 expressions with local error:

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

series72.0ms (0.5%)

Counts

2 → 24

Calls

6 calls:

16.0ms	(pow.f64 (/.f64 (PI.f64) (log.f64 f)) -1)	f	-inf
16.0ms	(pow.f64 (/.f64 (PI.f64) (log.f64 f)) -1)	f	inf
12.0ms	(pow.f64 (/.f64 (PI.f64) (log.f64 f)) -1)	f	0
11.0ms	(-.f64 (+.f64 (.f64 4 (pow.f64 (/.f64 (PI.f64) (log.f64 f)) -1)) (.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
9.0ms	(-.f64 (+.f64 (.f64 4 (pow.f64 (/.f64 (PI.f64) (log.f64 f)) -1)) (.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

rewrite42.0ms (0.3%)

Algorithm

1×	batch-egg-rewrite

Rules

276×	`log1p-expm1-u_binary64`
276×	`expm1-log1p-u_binary64`
271×	`add-cbrt-cube_binary64`
266×	`add-log-exp_binary64`
265×	`add-exp-log_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	27	64
1	604	64

Stop Event

1×	node limit

Counts

2 → 49

simplify27.0ms (0.2%)

Algorithm

1×	egg-herbie

Rules

686×	`fma-neg_binary64`
634×	`associate-l_binary64`
505×	`cancel-sign-sub-inv_binary64`
471×	`associate-r_binary64`
179×	`fma-def_binary64`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	49	532
1	152	527
2	438	507
3	1470	475

Stop Event

1×	node limit

Counts

73 → 63

prune129.0ms (0.9%)

Pruning

10 alts after pruning (8 fresh and 2 done)

	Pruned	Kept	Total
New	98	1	99
Fresh	1	7	8
Picked	0	1	1
Done	0	1	1
Total	99	10	109

Error

1.5b

Counts

109 → 10

Alt Table

Status	Error	Program
	2.9b	(-.f64 (+.f64 (.f64 4 (.f64 (pow.f64 (pow.f64 (cbrt.f64 (/.f64 (PI.f64) (log.f64 f))) 2) -1) (pow.f64 (cbrt.f64 (/.f64 (PI.f64) (log.f64 f))) -1))) (.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)))))
	48.8b	(pow.f64 (cbrt.f64 (-.f64 (fma.f64 7/5760 (.f64 (pow.f64 (PI.f64) 3) (pow.f64 f 4)) (/.f64 (log.f64 (pow.f64 f 4)) (PI.f64))) (fma.f64 4 (/.f64 (log.f64 (/.f64 4 (PI.f64))) (PI.f64)) (.f64 1/12 (.f64 (PI.f64) (.f64 f f)))))) 3)
	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)))
	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	(fma.f64 (pow.f64 (cbrt.f64 (fma.f64 4 (.f64 (/.f64 1 (PI.f64)) (log.f64 f)) (.f64 (.f64 7/5760 (pow.f64 f 4)) (pow.f64 (PI.f64) 3)))) 2) (cbrt.f64 (fma.f64 4 (.f64 (/.f64 1 (PI.f64)) (log.f64 f)) (.f64 (.f64 7/5760 (pow.f64 f 4)) (pow.f64 (PI.f64) 3)))) (neg.f64 (fma.f64 4 (/.f64 (log.f64 (/.f64 4 (PI.f64))) (PI.f64)) (.f64 1/12 (.f64 (PI.f64) (*.f64 f f))))))
✓	1.9b	(-.f64 (+.f64 (.f64 4 (log.f64 (pow.f64 f (/.f64 1 (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.1b	(-.f64 (+.f64 (.f64 4 (pow.f64 (/.f64 (PI.f64) (log.f64 f)) -1)) (.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 (pow.f64 (cbrt.f64 (/.f64 (log.f64 f) (PI.f64))) 2) (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.9b	(.f64 (pow.f64 (cbrt.f64 (-.f64 (fma.f64 4 (.f64 (/.f64 1 (PI.f64)) (log.f64 f)) (.f64 (.f64 7/5760 (pow.f64 f 4)) (pow.f64 (PI.f64) 3))) (fma.f64 4 (/.f64 (log.f64 (/.f64 4 (PI.f64))) (PI.f64)) (.f64 1/12 (.f64 (PI.f64) (.f64 f f)))))) 2) (cbrt.f64 (-.f64 (fma.f64 4 (.f64 (/.f64 1 (PI.f64)) (log.f64 f)) (.f64 (.f64 7/5760 (pow.f64 f 4)) (pow.f64 (PI.f64) 3))) (fma.f64 4 (/.f64 (log.f64 (/.f64 4 (PI.f64))) (PI.f64)) (.f64 1/12 (.f64 (PI.f64) (*.f64 f f)))))))

Compiler

Compiled 4672 to 3224 computations (31% saved)

regimes858.0ms (5.8%)

Accuracy

Total 0.6b remaining (27.6%)

Threshold costs 0.6b (27.6%)

Counts

115 → 1

Compiler

Compiled 26094 to 19544 computations (25.1% saved)

simplify4.0ms (0%)

Algorithm

1×	egg-herbie

Rules

14×	`*-commutative_binary64`
11×	`+-commutative_binary64`
9×	`sub-neg_binary64`
8×	`neg-sub0_binary64`
8×	`neg-mul-1_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	27	58
1	39	58
2	47	58
3	69	58
4	86	58
5	98	58
6	106	58
7	109	58

Stop Event

1×

saturated

end282.0ms (1.9%)

Stop Event

1×

fuel

Compiler

Compiled 461 to 353 computations (23.4% saved)

Details

analyze1.4s (9.3%)

sample10.6s (71.3%)

preprocess36.0ms (0.2%)

simplify26.0ms (0.2%)

prune4.0ms (0%)

localize14.0ms (0.1%)

series474.0ms (3.2%)

rewrite59.0ms (0.4%)

simplify52.0ms (0.4%)

prune158.0ms (1.1%)

localize20.0ms (0.1%)

series53.0ms (0.4%)

rewrite44.0ms (0.3%)

simplify26.0ms (0.2%)

prune142.0ms (1%)

localize24.0ms (0.2%)

series67.0ms (0.4%)

rewrite41.0ms (0.3%)

simplify29.0ms (0.2%)

prune165.0ms (1.1%)

localize23.0ms (0.2%)

series72.0ms (0.5%)

rewrite42.0ms (0.3%)

simplify27.0ms (0.2%)

prune129.0ms (0.9%)

regimes858.0ms (5.8%)

simplify4.0ms (0%)

end282.0ms (1.9%)

Profiling