Details

analyze700.0ms (6.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%	99.9%	0.1%	4
0%	74.9%	25.1%	5
0%	74.9%	25.1%	6
0%	74.9%	25.1%	7
6.2%	56.2%	37.6%	8
7.8%	53%	39.2%	9
10.9%	45.6%	43.4%	10
18.3%	31.4%	50.3%	11
19.1%	29.5%	51.3%	12
21.4%	24.8%	53.8%	13
25.8%	16.7%	57.5%	14

Compiler

Compiled 28 to 21 computations (25% saved)

sample1.7s (16.8%)

Results

1.4s	8256×	body	128	valid
313.0ms	1976×	body	128	invalid

Compiler

Compiled 83 to 62 computations (25.3% saved)

simplify34.0ms (0.3%)

Algorithm

1×	egg-herbie

Rules

692×	`fma-def_binary64`
568×	`fma-neg_binary64`
319×	`sub-neg_binary64`
295×	`cancel-sign-sub-inv_binary64`
235×	`distribute-rgt-in_binary64`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	21	32
1	43	32
2	100	31
3	294	30
4	666	30
5	1496	30
6	2874	30
7	4967	30

Stop Event

1×	node limit

Counts

1 → 2

prune4.0ms (0%)

Pruning

3 alts after pruning (3 fresh and 0 done)

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

Error

5.5b

Counts

3 → 2

Alt Table

Status	Error	Program
▶	5.6b	(+.f64 (-.f64 91893853320467/100000000000000 (fma.f64 (log.f64 x) (-.f64 1/2 x) x)) (/.f64 (fma.f64 z (fma.f64 (+.f64 y 7936500793651/10000000000000000) z -13888888888889/5000000000000000) 83333333333333/1000000000000000) x))
	5.6b	(+.f64 (+.f64 (-.f64 (.f64 (-.f64 x 1/2) (log.f64 x)) x) 91893853320467/100000000000000) (/.f64 (+.f64 (.f64 (-.f64 (*.f64 (+.f64 y 7936500793651/10000000000000000) z) 13888888888889/5000000000000000) z) 83333333333333/1000000000000000) x))

Status

Error

Program

▶

5.6b

(+.f64 (-.f64 91893853320467/100000000000000 (fma.f64 (log.f64 x) (-.f64 1/2 x) x)) (/.f64 (fma.f64 z (fma.f64 (+.f64 y 7936500793651/10000000000000000) z -13888888888889/5000000000000000) 83333333333333/1000000000000000) x))

5.6b

(+.f64 (+.f64 (-.f64 (*.f64 (-.f64 x 1/2) (log.f64 x)) x) 91893853320467/100000000000000) (/.f64 (+.f64 (*.f64 (-.f64 (*.f64 (+.f64 y 7936500793651/10000000000000000) z) 13888888888889/5000000000000000) z) 83333333333333/1000000000000000) x))

Compiler

Compiled 150 to 107 computations (28.7% saved)

localize13.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.1b	(fma.f64 z (fma.f64 (+.f64 y 7936500793651/10000000000000000) z -13888888888889/5000000000000000) 83333333333333/1000000000000000)
✓	0.2b	(fma.f64 (log.f64 x) (-.f64 1/2 x) x)
✓	0.2b	(-.f64 91893853320467/100000000000000 (fma.f64 (log.f64 x) (-.f64 1/2 x) x))
✓	5.2b	(/.f64 (fma.f64 z (fma.f64 (+.f64 y 7936500793651/10000000000000000) z -13888888888889/5000000000000000) 83333333333333/1000000000000000) x)

series65.0ms (0.6%)

Counts

4 → 84

Calls

4 calls:

39.0ms	(/.f64 (fma.f64 z (fma.f64 (+.f64 y 7936500793651/10000000000000000) z -13888888888889/5000000000000000) 83333333333333/1000000000000000) x)
10.0ms	(fma.f64 (log.f64 x) (-.f64 1/2 x) x)
9.0ms	(-.f64 91893853320467/100000000000000 (fma.f64 (log.f64 x) (-.f64 1/2 x) x))
7.0ms	(fma.f64 z (fma.f64 (+.f64 y 7936500793651/10000000000000000) z -13888888888889/5000000000000000) 83333333333333/1000000000000000)

rewrite83.0ms (0.8%)

Algorithm

1×	batch-egg-rewrite

Rules

272×	`prod-diff_binary64`
190×	`add-sqr-sqrt_binary64`
182×	`log1p-expm1-u_binary64`
182×	`expm1-log1p-u_binary64`
181×	`add-cbrt-cube_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	17	50
1	380	50
2	4797	50

Stop Event

1×	node limit

Counts

4 → 109

Calls

4 calls:

81.0ms	(fma.f64 z (fma.f64 (+.f64 y 7936500793651/10000000000000000) z -13888888888889/5000000000000000) 83333333333333/1000000000000000)
81.0ms	(fma.f64 (log.f64 x) (-.f64 1/2 x) x)
81.0ms	(-.f64 91893853320467/100000000000000 (fma.f64 (log.f64 x) (-.f64 1/2 x) x))
81.0ms	(/.f64 (fma.f64 z (fma.f64 (+.f64 y 7936500793651/10000000000000000) z -13888888888889/5000000000000000) 83333333333333/1000000000000000) x)

simplify55.0ms (0.5%)

Algorithm

1×	egg-herbie

Rules

448×	`fma-neg_binary64`
372×	`cancel-sign-sub-inv_binary64`
353×	`sub-neg_binary64`
259×	`fma-def_binary64`
237×	`distribute-rgt-in_binary64`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	83	1866
1	260	1816
2	778	1619
3	2501	1180

Stop Event

1×	node limit

Counts

193 → 154

prune216.0ms (2.1%)

Pruning

13 alts after pruning (13 fresh and 0 done)

	Pruned	Kept	Total
New	141	13	154
Fresh	1	0	1
Picked	1	0	1
Done	0	0	0
Total	143	13	156

Error

0.1b

Counts

156 → 13

Alt Table

Status	Error	Program
	6.1b	(+.f64 (pow.f64 (cbrt.f64 (-.f64 91893853320467/100000000000000 (fma.f64 (log.f64 x) (-.f64 1/2 x) x))) 3) (/.f64 (fma.f64 z (fma.f64 (+.f64 y 7936500793651/10000000000000000) z -13888888888889/5000000000000000) 83333333333333/1000000000000000) x))
▶	5.6b	(+.f64 (-.f64 91893853320467/100000000000000 (fma.f64 (log.f64 x) (-.f64 1/2 x) x)) (pow.f64 (/.f64 x (fma.f64 z (fma.f64 (+.f64 y 7936500793651/10000000000000000) z -13888888888889/5000000000000000) 83333333333333/1000000000000000)) -1))
	6.1b	(+.f64 (-.f64 91893853320467/100000000000000 (*.f64 (cbrt.f64 (fma.f64 (log.f64 x) (-.f64 1/2 x) x)) (pow.f64 (cbrt.f64 (fma.f64 (log.f64 x) (-.f64 1/2 x) x)) 2))) (/.f64 (fma.f64 z (fma.f64 (+.f64 y 7936500793651/10000000000000000) z -13888888888889/5000000000000000) 83333333333333/1000000000000000) x))
	27.6b	(+.f64 (-.f64 91893853320467/100000000000000 (fma.f64 (log.f64 x) (-.f64 1/2 x) x)) (.f64 (/.f64 z x) (.f64 z y)))
	10.8b	(+.f64 (-.f64 91893853320467/100000000000000 (fma.f64 (log.f64 x) (-.f64 1/2 x) x)) (*.f64 (/.f64 (sqrt.f64 (fma.f64 z (fma.f64 (+.f64 y 7936500793651/10000000000000000) z -13888888888889/5000000000000000) 83333333333333/1000000000000000)) 1) (/.f64 (sqrt.f64 (fma.f64 z (fma.f64 (+.f64 y 7936500793651/10000000000000000) z -13888888888889/5000000000000000) 83333333333333/1000000000000000)) x)))
	5.6b	(+.f64 (-.f64 91893853320467/100000000000000 (-.f64 (+.f64 (.f64 (log.f64 (/.f64 1 x)) x) x) (.f64 1/2 (log.f64 (/.f64 1 x))))) (/.f64 (fma.f64 z (fma.f64 (+.f64 y 7936500793651/10000000000000000) z -13888888888889/5000000000000000) 83333333333333/1000000000000000) x))
	16.1b	(+.f64 (-.f64 91893853320467/100000000000000 (fma.f64 (log.f64 x) (-.f64 1/2 x) x)) (/.f64 (pow.f64 (pow.f64 (fma.f64 z (fma.f64 (+.f64 y 7936500793651/10000000000000000) z -13888888888889/5000000000000000) 83333333333333/1000000000000000) 3) 1/3) x))
	22.7b	(+.f64 (-.f64 91893853320467/100000000000000 (fma.f64 (log.f64 x) (-.f64 1/2 x) x)) (neg.f64 (/.f64 z (/.f64 x (+.f64 13888888888889/5000000000000000 (*.f64 z (-.f64 -7936500793651/10000000000000000 y)))))))
	26.5b	(+.f64 (cbrt.f64 (pow.f64 (-.f64 91893853320467/100000000000000 (fma.f64 (log.f64 x) (-.f64 1/2 x) x)) 3)) (/.f64 (fma.f64 z (fma.f64 (+.f64 y 7936500793651/10000000000000000) z -13888888888889/5000000000000000) 83333333333333/1000000000000000) x))
	5.8b	(+.f64 (-.f64 91893853320467/100000000000000 (fma.f64 (log.f64 x) (-.f64 1/2 x) x)) (-.f64 (+.f64 (.f64 7936500793651/10000000000000000 (/.f64 (pow.f64 z 2) x)) (+.f64 (/.f64 (.f64 y (pow.f64 z 2)) x) (.f64 83333333333333/1000000000000000 (/.f64 1 x)))) (.f64 13888888888889/5000000000000000 (/.f64 z x))))
	5.7b	(+.f64 (pow.f64 (sqrt.f64 (-.f64 91893853320467/100000000000000 (fma.f64 (log.f64 x) (-.f64 1/2 x) x))) 2) (/.f64 (fma.f64 z (fma.f64 (+.f64 y 7936500793651/10000000000000000) z -13888888888889/5000000000000000) 83333333333333/1000000000000000) x))
	26.5b	(+.f64 (-.f64 91893853320467/100000000000000 (/.f64 (+.f64 (pow.f64 (.f64 (log.f64 x) (-.f64 1/2 x)) 3) (pow.f64 x 3)) (+.f64 (.f64 (.f64 (log.f64 x) (-.f64 1/2 x)) (.f64 (log.f64 x) (-.f64 1/2 x))) (-.f64 (.f64 x x) (.f64 (*.f64 (log.f64 x) (-.f64 1/2 x)) x))))) (/.f64 (fma.f64 z (fma.f64 (+.f64 y 7936500793651/10000000000000000) z -13888888888889/5000000000000000) 83333333333333/1000000000000000) x))
	22.5b	(+.f64 (-.f64 91893853320467/100000000000000 (fma.f64 (log.f64 x) (-.f64 1/2 x) x)) (.f64 z (.f64 z (/.f64 (+.f64 7936500793651/10000000000000000 y) x))))

Compiler

Compiled 4916 to 3281 computations (33.3% saved)

localize16.0ms (0.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
	0.2b	(fma.f64 (log.f64 x) (-.f64 1/2 x) x)
	0.2b	(-.f64 91893853320467/100000000000000 (fma.f64 (log.f64 x) (-.f64 1/2 x) x))
✓	0.3b	(pow.f64 (/.f64 x (fma.f64 z (fma.f64 (+.f64 y 7936500793651/10000000000000000) z -13888888888889/5000000000000000) 83333333333333/1000000000000000)) -1)
✓	5.2b	(/.f64 x (fma.f64 z (fma.f64 (+.f64 y 7936500793651/10000000000000000) z -13888888888889/5000000000000000) 83333333333333/1000000000000000))

series834.0ms (8.1%)

Counts

2 → 72

Calls

2 calls:

722.0ms

(pow.f64 (/.f64 x (fma.f64 z (fma.f64 (+.f64 y 7936500793651/10000000000000000) z -13888888888889/5000000000000000) 83333333333333/1000000000000000)) -1)

111.0ms

(/.f64 x (fma.f64 z (fma.f64 (+.f64 y 7936500793651/10000000000000000) z -13888888888889/5000000000000000) 83333333333333/1000000000000000))

rewrite64.0ms (0.6%)

Algorithm

1×	batch-egg-rewrite

Rules

242×	`expm1-udef_binary64`
242×	`log1p-udef_binary64`
203×	`log-pow_binary64`
139×	`add-sqr-sqrt_binary64`
132×	`log1p-expm1-u_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	13	33
1	281	30
2	3436	30

Stop Event

1×	node limit

Counts

2 → 75

Calls

2 calls:

63.0ms

(pow.f64 (/.f64 x (fma.f64 z (fma.f64 (+.f64 y 7936500793651/10000000000000000) z -13888888888889/5000000000000000) 83333333333333/1000000000000000)) -1)

63.0ms

(/.f64 x (fma.f64 z (fma.f64 (+.f64 y 7936500793651/10000000000000000) z -13888888888889/5000000000000000) 83333333333333/1000000000000000))

simplify85.0ms (0.8%)

Algorithm

1×	egg-herbie

Rules

436×	`cancel-sign-sub-inv_binary64`
234×	`fma-def_binary64`
216×	`associate-/r*_binary64`
208×	`unswap-sqr_binary64`
201×	`sub-neg_binary64`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	267	3580
1	839	3488
2	3389	3462

Stop Event

1×	node limit

Counts

147 → 129

prune301.0ms (2.9%)

Pruning

12 alts after pruning (12 fresh and 0 done)

	Pruned	Kept	Total
New	198	1	199
Fresh	1	11	12
Picked	1	0	1
Done	0	0	0
Total	200	12	212

Error

0.0b

Counts

212 → 12

Alt Table

Status	Error	Program
	6.1b	(+.f64 (-.f64 91893853320467/100000000000000 (*.f64 (cbrt.f64 (fma.f64 (log.f64 x) (-.f64 1/2 x) x)) (pow.f64 (cbrt.f64 (fma.f64 (log.f64 x) (-.f64 1/2 x) x)) 2))) (/.f64 (fma.f64 z (fma.f64 (+.f64 y 7936500793651/10000000000000000) z -13888888888889/5000000000000000) 83333333333333/1000000000000000) x))
	27.6b	(+.f64 (-.f64 91893853320467/100000000000000 (fma.f64 (log.f64 x) (-.f64 1/2 x) x)) (.f64 (/.f64 z x) (.f64 z y)))
	10.8b	(+.f64 (-.f64 91893853320467/100000000000000 (fma.f64 (log.f64 x) (-.f64 1/2 x) x)) (*.f64 (/.f64 (sqrt.f64 (fma.f64 z (fma.f64 (+.f64 y 7936500793651/10000000000000000) z -13888888888889/5000000000000000) 83333333333333/1000000000000000)) 1) (/.f64 (sqrt.f64 (fma.f64 z (fma.f64 (+.f64 y 7936500793651/10000000000000000) z -13888888888889/5000000000000000) 83333333333333/1000000000000000)) x)))
▶	5.6b	(+.f64 (-.f64 91893853320467/100000000000000 (-.f64 (+.f64 (.f64 (log.f64 (/.f64 1 x)) x) x) (.f64 1/2 (log.f64 (/.f64 1 x))))) (/.f64 (fma.f64 z (fma.f64 (+.f64 y 7936500793651/10000000000000000) z -13888888888889/5000000000000000) 83333333333333/1000000000000000) x))
	16.1b	(+.f64 (-.f64 91893853320467/100000000000000 (fma.f64 (log.f64 x) (-.f64 1/2 x) x)) (/.f64 (pow.f64 (pow.f64 (fma.f64 z (fma.f64 (+.f64 y 7936500793651/10000000000000000) z -13888888888889/5000000000000000) 83333333333333/1000000000000000) 3) 1/3) x))
	22.7b	(+.f64 (-.f64 91893853320467/100000000000000 (fma.f64 (log.f64 x) (-.f64 1/2 x) x)) (neg.f64 (/.f64 z (/.f64 x (+.f64 13888888888889/5000000000000000 (*.f64 z (-.f64 -7936500793651/10000000000000000 y)))))))
	5.7b	(+.f64 (pow.f64 (sqrt.f64 (-.f64 91893853320467/100000000000000 (fma.f64 (log.f64 x) (-.f64 1/2 x) x))) 2) (/.f64 (fma.f64 z (fma.f64 (+.f64 y 7936500793651/10000000000000000) z -13888888888889/5000000000000000) 83333333333333/1000000000000000) x))
	6.1b	(+.f64 (pow.f64 (cbrt.f64 (-.f64 91893853320467/100000000000000 (fma.f64 (log.f64 x) (-.f64 1/2 x) x))) 3) (/.f64 (fma.f64 z (fma.f64 (+.f64 y 7936500793651/10000000000000000) z -13888888888889/5000000000000000) 83333333333333/1000000000000000) x))
	26.5b	(+.f64 (-.f64 91893853320467/100000000000000 (/.f64 (+.f64 (pow.f64 (.f64 (log.f64 x) (-.f64 1/2 x)) 3) (pow.f64 x 3)) (+.f64 (.f64 (.f64 (log.f64 x) (-.f64 1/2 x)) (.f64 (log.f64 x) (-.f64 1/2 x))) (-.f64 (.f64 x x) (.f64 (*.f64 (log.f64 x) (-.f64 1/2 x)) x))))) (/.f64 (fma.f64 z (fma.f64 (+.f64 y 7936500793651/10000000000000000) z -13888888888889/5000000000000000) 83333333333333/1000000000000000) x))
	22.5b	(+.f64 (-.f64 91893853320467/100000000000000 (fma.f64 (log.f64 x) (-.f64 1/2 x) x)) (.f64 z (.f64 z (/.f64 (+.f64 7936500793651/10000000000000000 y) x))))
	23.9b	(+.f64 (-.f64 91893853320467/100000000000000 (fma.f64 (log.f64 x) (-.f64 1/2 x) x)) (pow.f64 (/.f64 (/.f64 x (*.f64 z z)) (+.f64 7936500793651/10000000000000000 y)) -1))
	26.5b	(+.f64 (cbrt.f64 (pow.f64 (-.f64 91893853320467/100000000000000 (fma.f64 (log.f64 x) (-.f64 1/2 x) x)) 3)) (/.f64 (fma.f64 z (fma.f64 (+.f64 y 7936500793651/10000000000000000) z -13888888888889/5000000000000000) 83333333333333/1000000000000000) x))

Compiler

Compiled 8070 to 5457 computations (32.4% saved)

localize18.0ms (0.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.2b	(-.f64 91893853320467/100000000000000 (-.f64 (+.f64 (.f64 (log.f64 (/.f64 1 x)) x) x) (.f64 1/2 (log.f64 (/.f64 1 x)))))
✓	0.3b	(*.f64 (log.f64 (/.f64 1 x)) x)
✓	0.3b	(+.f64 (*.f64 (log.f64 (/.f64 1 x)) x) x)
	5.2b	(/.f64 (fma.f64 z (fma.f64 (+.f64 y 7936500793651/10000000000000000) z -13888888888889/5000000000000000) 83333333333333/1000000000000000) x)

series69.0ms (0.7%)

Counts

3 → 32

Calls

3 calls:

31.0ms	(+.f64 (*.f64 (log.f64 (/.f64 1 x)) x) x)
24.0ms	(*.f64 (log.f64 (/.f64 1 x)) x)
13.0ms	(-.f64 91893853320467/100000000000000 (-.f64 (+.f64 (.f64 (log.f64 (/.f64 1 x)) x) x) (.f64 1/2 (log.f64 (/.f64 1 x)))))

rewrite65.0ms (0.6%)

Algorithm

1×	batch-egg-rewrite

Rules

362×	`fma-neg_binary64`
243×	`expm1-udef_binary64`
243×	`log1p-udef_binary64`
139×	`add-sqr-sqrt_binary64`
135×	`log1p-expm1-u_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	12	39
1	283	37
2	3991	37

Stop Event

1×	node limit

Counts

3 → 95

Calls

3 calls:

63.0ms	(-.f64 91893853320467/100000000000000 (-.f64 (+.f64 (.f64 (log.f64 (/.f64 1 x)) x) x) (.f64 1/2 (log.f64 (/.f64 1 x)))))
63.0ms	(*.f64 (log.f64 (/.f64 1 x)) x)
63.0ms	(+.f64 (*.f64 (log.f64 (/.f64 1 x)) x) x)

simplify36.0ms (0.4%)

Algorithm

1×	egg-herbie

Rules

503×	`sub-neg_binary64`
486×	`fma-def_binary64`
321×	`associate--l-_binary64`
235×	`fma-neg_binary64`
220×	`distribute-rgt-in_binary64`

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	43	480
1	124	457
2	356	412
3	1139	400
4	3438	394

Stop Event

1×	node limit

Counts

127 → 115

prune243.0ms (2.4%)

Pruning

13 alts after pruning (12 fresh and 1 done)

	Pruned	Kept	Total
New	161	2	163
Fresh	1	10	11
Picked	0	1	1
Done	0	0	0
Total	162	13	175

Error

0.0b

Counts

175 → 13

Alt Table

Status	Error	Program
	6.1b	(+.f64 (-.f64 91893853320467/100000000000000 (*.f64 (cbrt.f64 (fma.f64 (log.f64 x) (-.f64 1/2 x) x)) (pow.f64 (cbrt.f64 (fma.f64 (log.f64 x) (-.f64 1/2 x) x)) 2))) (/.f64 (fma.f64 z (fma.f64 (+.f64 y 7936500793651/10000000000000000) z -13888888888889/5000000000000000) 83333333333333/1000000000000000) x))
	27.6b	(+.f64 (-.f64 91893853320467/100000000000000 (fma.f64 (log.f64 x) (-.f64 1/2 x) x)) (.f64 (/.f64 z x) (.f64 z y)))
	10.8b	(+.f64 (-.f64 91893853320467/100000000000000 (fma.f64 (log.f64 x) (-.f64 1/2 x) x)) (*.f64 (/.f64 (sqrt.f64 (fma.f64 z (fma.f64 (+.f64 y 7936500793651/10000000000000000) z -13888888888889/5000000000000000) 83333333333333/1000000000000000)) 1) (/.f64 (sqrt.f64 (fma.f64 z (fma.f64 (+.f64 y 7936500793651/10000000000000000) z -13888888888889/5000000000000000) 83333333333333/1000000000000000)) x)))
✓	5.6b	(+.f64 (-.f64 91893853320467/100000000000000 (-.f64 (+.f64 (.f64 (log.f64 (/.f64 1 x)) x) x) (.f64 1/2 (log.f64 (/.f64 1 x))))) (/.f64 (fma.f64 z (fma.f64 (+.f64 y 7936500793651/10000000000000000) z -13888888888889/5000000000000000) 83333333333333/1000000000000000) x))
	16.1b	(+.f64 (-.f64 91893853320467/100000000000000 (fma.f64 (log.f64 x) (-.f64 1/2 x) x)) (/.f64 (pow.f64 (pow.f64 (fma.f64 z (fma.f64 (+.f64 y 7936500793651/10000000000000000) z -13888888888889/5000000000000000) 83333333333333/1000000000000000) 3) 1/3) x))
	22.7b	(+.f64 (-.f64 91893853320467/100000000000000 (fma.f64 (log.f64 x) (-.f64 1/2 x) x)) (neg.f64 (/.f64 z (/.f64 x (+.f64 13888888888889/5000000000000000 (*.f64 z (-.f64 -7936500793651/10000000000000000 y)))))))
▶	5.7b	(+.f64 (pow.f64 (sqrt.f64 (-.f64 91893853320467/100000000000000 (fma.f64 (log.f64 x) (-.f64 1/2 x) x))) 2) (/.f64 (fma.f64 z (fma.f64 (+.f64 y 7936500793651/10000000000000000) z -13888888888889/5000000000000000) 83333333333333/1000000000000000) x))
	6.1b	(+.f64 (pow.f64 (cbrt.f64 (-.f64 91893853320467/100000000000000 (fma.f64 (log.f64 x) (-.f64 1/2 x) x))) 3) (/.f64 (fma.f64 z (fma.f64 (+.f64 y 7936500793651/10000000000000000) z -13888888888889/5000000000000000) 83333333333333/1000000000000000) x))
	26.5b	(+.f64 (-.f64 91893853320467/100000000000000 (/.f64 (+.f64 (pow.f64 (.f64 (log.f64 x) (-.f64 1/2 x)) 3) (pow.f64 x 3)) (+.f64 (.f64 (.f64 (log.f64 x) (-.f64 1/2 x)) (.f64 (log.f64 x) (-.f64 1/2 x))) (-.f64 (.f64 x x) (.f64 (*.f64 (log.f64 x) (-.f64 1/2 x)) x))))) (/.f64 (fma.f64 z (fma.f64 (+.f64 y 7936500793651/10000000000000000) z -13888888888889/5000000000000000) 83333333333333/1000000000000000) x))
	5.7b	(+.f64 (-.f64 91893853320467/100000000000000 (-.f64 (.f64 (.f64 (+.f64 1 (neg.f64 (log.f64 x))) (sqrt.f64 x)) (sqrt.f64 x)) (*.f64 1/2 (log.f64 (/.f64 1 x))))) (/.f64 (fma.f64 z (fma.f64 (+.f64 y 7936500793651/10000000000000000) z -13888888888889/5000000000000000) 83333333333333/1000000000000000) x))
	22.5b	(+.f64 (-.f64 91893853320467/100000000000000 (fma.f64 (log.f64 x) (-.f64 1/2 x) x)) (.f64 z (.f64 z (/.f64 (+.f64 7936500793651/10000000000000000 y) x))))
	23.9b	(+.f64 (-.f64 91893853320467/100000000000000 (fma.f64 (log.f64 x) (-.f64 1/2 x) x)) (pow.f64 (/.f64 (/.f64 x (*.f64 z z)) (+.f64 7936500793651/10000000000000000 y)) -1))
	6.0b	(+.f64 (-.f64 91893853320467/100000000000000 (-.f64 (fma.f64 (pow.f64 (cbrt.f64 (.f64 x (neg.f64 (log.f64 x)))) 2) (cbrt.f64 (.f64 x (neg.f64 (log.f64 x)))) x) (*.f64 1/2 (log.f64 (/.f64 1 x))))) (/.f64 (fma.f64 z (fma.f64 (+.f64 y 7936500793651/10000000000000000) z -13888888888889/5000000000000000) 83333333333333/1000000000000000) x))

Compiler

Compiled 6322 to 4095 computations (35.2% saved)

localize15.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
	0.2b	(fma.f64 (log.f64 x) (-.f64 1/2 x) x)
	0.2b	(-.f64 91893853320467/100000000000000 (fma.f64 (log.f64 x) (-.f64 1/2 x) x))
✓	0.5b	(pow.f64 (sqrt.f64 (-.f64 91893853320467/100000000000000 (fma.f64 (log.f64 x) (-.f64 1/2 x) x))) 2)
	5.2b	(/.f64 (fma.f64 z (fma.f64 (+.f64 y 7936500793651/10000000000000000) z -13888888888889/5000000000000000) 83333333333333/1000000000000000) x)

series463.0ms (4.5%)

Counts

1 → 4

Calls

1 calls:

463.0ms

(pow.f64 (sqrt.f64 (-.f64 91893853320467/100000000000000 (fma.f64 (log.f64 x) (-.f64 1/2 x) x))) 2)

rewrite47.0ms (0.5%)

Algorithm

1×	batch-egg-rewrite

Rules

435×	`log-prod_binary64`
193×	`expm1-udef_binary64`
193×	`log1p-udef_binary64`
170×	`prod-diff_binary64`
159×	`log-pow_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	11	13
1	245	13
2	2753	13

Stop Event

1×	node limit

Counts

1 → 46

Calls

1 calls:

46.0ms

(pow.f64 (sqrt.f64 (-.f64 91893853320467/100000000000000 (fma.f64 (log.f64 x) (-.f64 1/2 x) x))) 2)

simplify34.0ms (0.3%)

Algorithm

1×	egg-herbie

Rules

679×	`fma-neg_binary64`
597×	`fma-def_binary64`
372×	`sub-neg_binary64`
290×	`associate-+l-_binary64`
268×	`associate--r+_binary64`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	11	63
1	28	57
2	67	52
3	155	46
4	377	46
5	674	46
6	1237	46
7	2274	46
8	4301	46

Stop Event

1×	node limit

Counts

50 → 50

prune254.0ms (2.5%)

Pruning

14 alts after pruning (13 fresh and 1 done)

	Pruned	Kept	Total
New	165	3	168
Fresh	1	10	11
Picked	1	0	1
Done	0	1	1
Total	167	14	181

Error

0.0b

Counts

181 → 14

Alt Table

Status	Error	Program
	10.8b	(+.f64 (-.f64 91893853320467/100000000000000 (fma.f64 (log.f64 x) (-.f64 1/2 x) x)) (*.f64 (/.f64 (sqrt.f64 (fma.f64 z (fma.f64 (+.f64 y 7936500793651/10000000000000000) z -13888888888889/5000000000000000) 83333333333333/1000000000000000)) 1) (/.f64 (sqrt.f64 (fma.f64 z (fma.f64 (+.f64 y 7936500793651/10000000000000000) z -13888888888889/5000000000000000) 83333333333333/1000000000000000)) x)))
✓	5.6b	(+.f64 (-.f64 91893853320467/100000000000000 (-.f64 (+.f64 (.f64 (log.f64 (/.f64 1 x)) x) x) (.f64 1/2 (log.f64 (/.f64 1 x))))) (/.f64 (fma.f64 z (fma.f64 (+.f64 y 7936500793651/10000000000000000) z -13888888888889/5000000000000000) 83333333333333/1000000000000000) x))
	5.9b	(+.f64 (.f64 (.f64 (sqrt.f64 (-.f64 91893853320467/100000000000000 (fma.f64 (log.f64 x) (-.f64 1/2 x) x))) (cbrt.f64 (-.f64 91893853320467/100000000000000 (fma.f64 (log.f64 x) (-.f64 1/2 x) x)))) (cbrt.f64 (sqrt.f64 (-.f64 91893853320467/100000000000000 (fma.f64 (log.f64 x) (-.f64 1/2 x) x))))) (/.f64 (fma.f64 z (fma.f64 (+.f64 y 7936500793651/10000000000000000) z -13888888888889/5000000000000000) 83333333333333/1000000000000000) x))
	16.1b	(+.f64 (-.f64 91893853320467/100000000000000 (fma.f64 (log.f64 x) (-.f64 1/2 x) x)) (/.f64 (pow.f64 (pow.f64 (fma.f64 z (fma.f64 (+.f64 y 7936500793651/10000000000000000) z -13888888888889/5000000000000000) 83333333333333/1000000000000000) 3) 1/3) x))
	22.7b	(+.f64 (-.f64 91893853320467/100000000000000 (fma.f64 (log.f64 x) (-.f64 1/2 x) x)) (neg.f64 (/.f64 z (/.f64 x (+.f64 13888888888889/5000000000000000 (*.f64 z (-.f64 -7936500793651/10000000000000000 y)))))))
	5.8b	(+.f64 (.f64 (cbrt.f64 (-.f64 91893853320467/100000000000000 (fma.f64 (log.f64 x) (-.f64 1/2 x) x))) (.f64 (cbrt.f64 (sqrt.f64 (-.f64 91893853320467/100000000000000 (fma.f64 (log.f64 x) (-.f64 1/2 x) x)))) (sqrt.f64 (-.f64 91893853320467/100000000000000 (fma.f64 (log.f64 x) (-.f64 1/2 x) x))))) (/.f64 (fma.f64 z (fma.f64 (+.f64 y 7936500793651/10000000000000000) z -13888888888889/5000000000000000) 83333333333333/1000000000000000) x))
	6.0b	(+.f64 (-.f64 91893853320467/100000000000000 (-.f64 (fma.f64 (pow.f64 (cbrt.f64 (.f64 x (neg.f64 (log.f64 x)))) 2) (cbrt.f64 (.f64 x (neg.f64 (log.f64 x)))) x) (*.f64 1/2 (log.f64 (/.f64 1 x))))) (/.f64 (fma.f64 z (fma.f64 (+.f64 y 7936500793651/10000000000000000) z -13888888888889/5000000000000000) 83333333333333/1000000000000000) x))
	27.7b	(+.f64 (pow.f64 (sqrt.f64 (-.f64 91893853320467/100000000000000 (fma.f64 (log.f64 x) (-.f64 1/2 x) x))) 2) (.f64 (/.f64 z x) (.f64 z y)))
	6.1b	(+.f64 (pow.f64 (cbrt.f64 (-.f64 91893853320467/100000000000000 (fma.f64 (log.f64 x) (-.f64 1/2 x) x))) 3) (/.f64 (fma.f64 z (fma.f64 (+.f64 y 7936500793651/10000000000000000) z -13888888888889/5000000000000000) 83333333333333/1000000000000000) x))
	26.5b	(+.f64 (-.f64 91893853320467/100000000000000 (/.f64 (+.f64 (pow.f64 (.f64 (log.f64 x) (-.f64 1/2 x)) 3) (pow.f64 x 3)) (+.f64 (.f64 (.f64 (log.f64 x) (-.f64 1/2 x)) (.f64 (log.f64 x) (-.f64 1/2 x))) (-.f64 (.f64 x x) (.f64 (*.f64 (log.f64 x) (-.f64 1/2 x)) x))))) (/.f64 (fma.f64 z (fma.f64 (+.f64 y 7936500793651/10000000000000000) z -13888888888889/5000000000000000) 83333333333333/1000000000000000) x))
	6.1b	(+.f64 (-.f64 91893853320467/100000000000000 (*.f64 (cbrt.f64 (fma.f64 (log.f64 x) (-.f64 1/2 x) x)) (pow.f64 (cbrt.f64 (fma.f64 (log.f64 x) (-.f64 1/2 x) x)) 2))) (/.f64 (fma.f64 z (fma.f64 (+.f64 y 7936500793651/10000000000000000) z -13888888888889/5000000000000000) 83333333333333/1000000000000000) x))
	5.7b	(+.f64 (-.f64 91893853320467/100000000000000 (-.f64 (.f64 (.f64 (+.f64 1 (neg.f64 (log.f64 x))) (sqrt.f64 x)) (sqrt.f64 x)) (*.f64 1/2 (log.f64 (/.f64 1 x))))) (/.f64 (fma.f64 z (fma.f64 (+.f64 y 7936500793651/10000000000000000) z -13888888888889/5000000000000000) 83333333333333/1000000000000000) x))
	22.5b	(+.f64 (-.f64 91893853320467/100000000000000 (fma.f64 (log.f64 x) (-.f64 1/2 x) x)) (.f64 z (.f64 z (/.f64 (+.f64 7936500793651/10000000000000000 y) x))))
	23.9b	(+.f64 (-.f64 91893853320467/100000000000000 (fma.f64 (log.f64 x) (-.f64 1/2 x) x)) (pow.f64 (/.f64 (/.f64 x (*.f64 z z)) (+.f64 7936500793651/10000000000000000 y)) -1))

Compiler

Compiled 5667 to 3848 computations (32.1% saved)

regimes4.4s (43.4%)

Accuracy

Total 0.4b remaining (87.6%)

Threshold costs 0.4b (87.6%)

Counts

315 → 3

Compiler

Compiled 67050 to 49112 computations (26.8% saved)

bsearch18.0ms (0.2%)

Compiler: Compiled 12 to 9 computations (25% saved)

simplify15.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

37×	`distribute-rgt-neg-in_binary64`
35×	`cancel-sign-sub-inv_binary64`
25×	`distribute-lft-neg-in_binary64`
20×	`neg-sub0_binary64`
20×	`neg-mul-1_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	46	141
1	74	141
2	97	141
3	125	141
4	157	141
5	179	141
6	203	141
7	219	141
8	235	141
9	253	141
10	284	141
11	306	141
12	319	141
13	323	141

Stop Event

1×

saturated

end337.0ms (3.3%)

Compiler: Compiled 678 to 477 computations (29.6% saved)

Iter	Nodes	Cost
0	46	141
1	74	141
2	97	141
3	125	141
4	157	141
5	179	141
6	203	141
7	219	141
8	235	141
9	253	141
10	284	141
11	306	141
12	319	141
13	323	141

Iter	Nodes	Cost
0	46	141
1	74	141
2	97	141
3	125	141
4	157	141
5	179	141
6	203	141
7	219	141
8	235	141
9	253	141
10	284	141
11	306	141
12	319	141
13	323	141

Details

analyze700.0ms (6.8%)

sample1.7s (16.8%)

simplify34.0ms (0.3%)

prune4.0ms (0%)

localize13.0ms (0.1%)

series65.0ms (0.6%)

rewrite83.0ms (0.8%)

simplify55.0ms (0.5%)

prune216.0ms (2.1%)

localize16.0ms (0.2%)

series834.0ms (8.1%)

rewrite64.0ms (0.6%)

simplify85.0ms (0.8%)

prune301.0ms (2.9%)

localize18.0ms (0.2%)

series69.0ms (0.7%)

rewrite65.0ms (0.6%)

simplify36.0ms (0.4%)

prune243.0ms (2.4%)

localize15.0ms (0.1%)

series463.0ms (4.5%)

rewrite47.0ms (0.5%)

simplify34.0ms (0.3%)

prune254.0ms (2.5%)

regimes4.4s (43.4%)

bsearch18.0ms (0.2%)

simplify15.0ms (0.1%)

end337.0ms (3.3%)

Profiling

Iter	Nodes	Cost
0	46	141
1	74	141
2	97	141
3	125	141
4	157	141
5	179	141
6	203	141
7	219	141
8	235	141
9	253	141
10	284	141
11	306	141
12	319	141
13	323	141