Details

analyze905.0ms (5.3%)

Algorithm

1×

Search

True	Other	False	Iter
0%	99.8%	0.2%	0
0%	99.8%	0.2%	1
0%	99.8%	0.2%	2
0%	99.8%	0.2%	3
0%	99.8%	0.2%	4
0%	99.8%	0.2%	5
0%	99.8%	0.2%	6
0%	49.9%	50.1%	7
0%	49.9%	50.1%	8
0%	49.9%	50.1%	9
0%	49.9%	50.1%	10
12.5%	25%	62.6%	11
12.5%	25%	62.6%	12
12.5%	25%	62.6%	13
12.5%	25%	62.6%	14

Compiler

Compiled 18 to 13 computations (27.8% saved)

sample4.9s (28.5%)

Results

1.6s	5998×	body	128	valid
1.0s	4111×	body	128	invalid
836.0ms	689×	body	1024	valid
601.0ms	886×	body	512	valid
342.0ms	664×	body	256	valid
28.0ms	19×	body	2048	valid

Compiler

Compiled 53 to 38 computations (28.3% saved)

simplify91.0ms (0.5%)

Algorithm

1×	egg-herbie

Rules

821×	`fma-neg_binary64`
326×	`fma-def_binary64`
173×	`distribute-rgt-in_binary64`
134×	`unsub-neg_binary64`
124×	`associate--r+_binary64`

Counts

1 → 2

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	13	18
1	25	17
2	46	17
3	71	17
4	112	17
5	173	17
6	293	17
7	437	17
8	681	17
9	1080	17
10	1312	17
11	1523	17
12	1539	17
13	1539	17
14	1492	17

prune7.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

0.1b

Counts

3 → 1

Alt Table

Status	Error	Program
▶	0.1b	(-.f64 (fma.f64 x (log.f64 y) (*.f64 z (log1p.f64 (neg.f64 y)))) t)

Compiler

Compiled 58 to 37 computations (36.2% saved)

localize19.0ms (0.1%)

Local error

Found 2 expressions with local error:

New	Error	Program
✓	0.0b	(*.f64 z (log1p.f64 (neg.f64 y)))
✓	0.2b	(fma.f64 x (log.f64 y) (*.f64 z (log1p.f64 (neg.f64 y))))

series805.0ms (4.7%)

Counts

2 → 60

Calls

2 calls:

442.0ms	(*.f64 z (log1p.f64 (neg.f64 y)))
363.0ms	(fma.f64 x (log.f64 y) (*.f64 z (log1p.f64 (neg.f64 y))))

rewrite9.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

6×	`add-sqr-sqrt_binary64`
4×	`*-un-lft-identity_binary64`
4×	`add-cube-cbrt_binary64`
4×	`add-cbrt-cube_binary64`
4×	`add-exp-log_binary64`

Counts

2 → 30

Calls

2 calls:

6.0ms	(*.f64 z (log1p.f64 (neg.f64 y)))
1.0ms	(fma.f64 x (log.f64 y) (*.f64 z (log1p.f64 (neg.f64 y))))

simplify144.0ms (0.8%)

Algorithm

1×	egg-herbie

Rules

635×	`fma-def_binary64`
533×	`sub-neg_binary64`
499×	`times-frac_binary64`
277×	`associate--r+_binary64`
275×	`unsub-neg_binary64`

Counts

90 → 97

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	140	1496
1	384	1354
2	1222	1300
3	3840	1300
4	5080	1300

prune125.0ms (0.7%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	94	3	97
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	94	4	98

Error

0.1b

Counts

98 → 4

Alt Table

Status	Error	Program
	27.0b	(-.f64 (cbrt.f64 (pow.f64 (fma.f64 (log1p.f64 (neg.f64 y)) z (*.f64 (log.f64 y) x)) 3)) t)
✓	0.1b	(-.f64 (fma.f64 x (log.f64 y) (*.f64 z (log1p.f64 (neg.f64 y)))) t)
	33.2b	(-.f64 (.f64 (sqrt.f64 (fma.f64 x (log.f64 y) (.f64 z (log1p.f64 (neg.f64 y))))) (sqrt.f64 (fma.f64 x (log.f64 y) (*.f64 z (log1p.f64 (neg.f64 y)))))) t)
▶	0.8b	(-.f64 (.f64 (.f64 (cbrt.f64 (fma.f64 x (log.f64 y) (.f64 z (log1p.f64 (neg.f64 y))))) (cbrt.f64 (fma.f64 x (log.f64 y) (.f64 z (log1p.f64 (neg.f64 y)))))) (cbrt.f64 (fma.f64 x (log.f64 y) (*.f64 z (log1p.f64 (neg.f64 y)))))) t)

Compiler

Compiled 2015 to 856 computations (57.5% saved)

localize26.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
	0.2b	(fma.f64 x (log.f64 y) (*.f64 z (log1p.f64 (neg.f64 y))))
✓	0.3b	(.f64 (.f64 (cbrt.f64 (fma.f64 x (log.f64 y) (.f64 z (log1p.f64 (neg.f64 y))))) (cbrt.f64 (fma.f64 x (log.f64 y) (.f64 z (log1p.f64 (neg.f64 y)))))) (cbrt.f64 (fma.f64 x (log.f64 y) (*.f64 z (log1p.f64 (neg.f64 y))))))
✓	0.5b	(cbrt.f64 (fma.f64 x (log.f64 y) (*.f64 z (log1p.f64 (neg.f64 y)))))
✓	0.6b	(.f64 (cbrt.f64 (fma.f64 x (log.f64 y) (.f64 z (log1p.f64 (neg.f64 y))))) (cbrt.f64 (fma.f64 x (log.f64 y) (*.f64 z (log1p.f64 (neg.f64 y))))))

series1.9s (11%)

Counts

3 → 108

Calls

3 calls:

1.3s

(*.f64 (cbrt.f64 (fma.f64 x (log.f64 y) (*.f64 z (log1p.f64 (neg.f64 y))))) (cbrt.f64 (fma.f64 x (log.f64 y) (*.f64 z (log1p.f64 (neg.f64 y))))))

335.0ms

(*.f64 (*.f64 (cbrt.f64 (fma.f64 x (log.f64 y) (*.f64 z (log1p.f64 (neg.f64 y))))) (cbrt.f64 (fma.f64 x (log.f64 y) (*.f64 z (log1p.f64 (neg.f64 y)))))) (cbrt.f64 (fma.f64 x (log.f64 y) (*.f64 z (log1p.f64 (neg.f64 y))))))

198.0ms

(cbrt.f64 (fma.f64 x (log.f64 y) (*.f64 z (log1p.f64 (neg.f64 y)))))

rewrite49.0ms (0.3%)

Algorithm

1×	rewrite-expression-head

Rules

29×	`pow1_binary64`
24×	`add-sqr-sqrt_binary64`
23×	`cbrt-prod_binary64`
16×	`pow1/3_binary64`
14×	`*-un-lft-identity_binary64`

Counts

3 → 93

Calls

3 calls:

19.0ms

(*.f64 (*.f64 (cbrt.f64 (fma.f64 x (log.f64 y) (*.f64 z (log1p.f64 (neg.f64 y))))) (cbrt.f64 (fma.f64 x (log.f64 y) (*.f64 z (log1p.f64 (neg.f64 y)))))) (cbrt.f64 (fma.f64 x (log.f64 y) (*.f64 z (log1p.f64 (neg.f64 y))))))

10.0ms

(*.f64 (cbrt.f64 (fma.f64 x (log.f64 y) (*.f64 z (log1p.f64 (neg.f64 y))))) (cbrt.f64 (fma.f64 x (log.f64 y) (*.f64 z (log1p.f64 (neg.f64 y))))))

1.0ms

(cbrt.f64 (fma.f64 x (log.f64 y) (*.f64 z (log1p.f64 (neg.f64 y)))))

simplify489.0ms (2.9%)

Algorithm

1×	egg-herbie

Rules

949×	`fma-def_binary64`
421×	`*-commutative_binary64`
200×	`associate-r_binary64`
184×	`cancel-sign-sub-inv_binary64`
179×	`+-commutative_binary64`

Counts

201 → 298

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	980	14983
1	3360	14318
2	5018	14318

prune2.0s (11.8%)

Pruning

10 alts after pruning (9 fresh and 1 done)

	Pruned	Kept	Total
New	606	8	614
Fresh	1	1	2
Picked	0	1	1
Done	1	0	1
Total	608	10	618

Error

0.0b

Counts

618 → 10

Alt Table

Status	Error	Program
✓	0.8b	(-.f64 (.f64 (.f64 (cbrt.f64 (fma.f64 x (log.f64 y) (.f64 z (log1p.f64 (neg.f64 y))))) (cbrt.f64 (fma.f64 x (log.f64 y) (.f64 z (log1p.f64 (neg.f64 y)))))) (cbrt.f64 (fma.f64 x (log.f64 y) (*.f64 z (log1p.f64 (neg.f64 y)))))) t)
	0.8b	(-.f64 (.f64 (.f64 (cbrt.f64 (fma.f64 x (log.f64 y) (.f64 z (log1p.f64 (neg.f64 y))))) (cbrt.f64 (fma.f64 x (log.f64 y) (.f64 z (log1p.f64 (neg.f64 y)))))) (.f64 (cbrt.f64 (.f64 (cbrt.f64 (fma.f64 x (log.f64 y) (.f64 z (log1p.f64 (neg.f64 y))))) (cbrt.f64 (fma.f64 x (log.f64 y) (.f64 z (log1p.f64 (neg.f64 y))))))) (cbrt.f64 (cbrt.f64 (fma.f64 x (log.f64 y) (*.f64 z (log1p.f64 (neg.f64 y)))))))) t)
	27.0b	(-.f64 (cbrt.f64 (pow.f64 (fma.f64 (log1p.f64 (neg.f64 y)) z (*.f64 (log.f64 y) x)) 3)) t)
▶	0.1b	(-.f64 (-.f64 (.f64 (log.f64 y) x) (fma.f64 y z (.f64 (.f64 z (.f64 y y)) 1/2))) t)
	0.9b	(-.f64 (.f64 (.f64 (.f64 (cbrt.f64 (fma.f64 x (log.f64 y) (.f64 z (log1p.f64 (neg.f64 y))))) (.f64 (cbrt.f64 (cbrt.f64 (fma.f64 x (log.f64 y) (.f64 z (log1p.f64 (neg.f64 y)))))) (cbrt.f64 (cbrt.f64 (fma.f64 x (log.f64 y) (.f64 z (log1p.f64 (neg.f64 y)))))))) (cbrt.f64 (cbrt.f64 (fma.f64 x (log.f64 y) (.f64 z (log1p.f64 (neg.f64 y))))))) (cbrt.f64 (fma.f64 x (log.f64 y) (*.f64 z (log1p.f64 (neg.f64 y)))))) t)
	33.3b	(-.f64 (.f64 (.f64 (sqrt.f64 (cbrt.f64 (fma.f64 x (log.f64 y) (.f64 z (log1p.f64 (neg.f64 y)))))) (.f64 (sqrt.f64 (cbrt.f64 (fma.f64 x (log.f64 y) (.f64 z (log1p.f64 (neg.f64 y)))))) (cbrt.f64 (fma.f64 x (log.f64 y) (.f64 z (log1p.f64 (neg.f64 y))))))) (cbrt.f64 (fma.f64 x (log.f64 y) (*.f64 z (log1p.f64 (neg.f64 y)))))) t)
	33.3b	(-.f64 (.f64 (.f64 (cbrt.f64 (sqrt.f64 (fma.f64 x (log.f64 y) (.f64 z (log1p.f64 (neg.f64 y)))))) (.f64 (cbrt.f64 (sqrt.f64 (fma.f64 x (log.f64 y) (.f64 z (log1p.f64 (neg.f64 y)))))) (cbrt.f64 (fma.f64 x (log.f64 y) (.f64 z (log1p.f64 (neg.f64 y))))))) (cbrt.f64 (fma.f64 x (log.f64 y) (*.f64 z (log1p.f64 (neg.f64 y)))))) t)
	0.9b	(-.f64 (.f64 (.f64 (cbrt.f64 (.f64 (.f64 (cbrt.f64 (fma.f64 x (log.f64 y) (.f64 z (log1p.f64 (neg.f64 y))))) (cbrt.f64 (fma.f64 x (log.f64 y) (.f64 z (log1p.f64 (neg.f64 y)))))) (cbrt.f64 (fma.f64 x (log.f64 y) (.f64 z (log1p.f64 (neg.f64 y))))))) (cbrt.f64 (.f64 (.f64 (cbrt.f64 (fma.f64 x (log.f64 y) (.f64 z (log1p.f64 (neg.f64 y))))) (cbrt.f64 (fma.f64 x (log.f64 y) (.f64 z (log1p.f64 (neg.f64 y)))))) (cbrt.f64 (fma.f64 x (log.f64 y) (.f64 z (log1p.f64 (neg.f64 y)))))))) (cbrt.f64 (.f64 (.f64 (cbrt.f64 (fma.f64 x (log.f64 y) (.f64 z (log1p.f64 (neg.f64 y))))) (cbrt.f64 (fma.f64 x (log.f64 y) (.f64 z (log1p.f64 (neg.f64 y)))))) (cbrt.f64 (fma.f64 x (log.f64 y) (*.f64 z (log1p.f64 (neg.f64 y)))))))) t)
	0.9b	(-.f64 (.f64 (.f64 (.f64 (cbrt.f64 (.f64 (cbrt.f64 (fma.f64 x (log.f64 y) (.f64 z (log1p.f64 (neg.f64 y))))) (cbrt.f64 (fma.f64 x (log.f64 y) (.f64 z (log1p.f64 (neg.f64 y))))))) (cbrt.f64 (.f64 (cbrt.f64 (fma.f64 x (log.f64 y) (.f64 z (log1p.f64 (neg.f64 y))))) (cbrt.f64 (fma.f64 x (log.f64 y) (.f64 z (log1p.f64 (neg.f64 y)))))))) (.f64 (cbrt.f64 (cbrt.f64 (fma.f64 x (log.f64 y) (.f64 z (log1p.f64 (neg.f64 y)))))) (cbrt.f64 (cbrt.f64 (fma.f64 x (log.f64 y) (.f64 z (log1p.f64 (neg.f64 y)))))))) (cbrt.f64 (fma.f64 x (log.f64 y) (*.f64 z (log1p.f64 (neg.f64 y)))))) t)
	0.8b	(-.f64 (pow.f64 (cbrt.f64 (fma.f64 x (log.f64 y) (*.f64 z (log1p.f64 (neg.f64 y))))) 3) t)

Compiler

Compiled 44852 to 19529 computations (56.5% saved)

localize23.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.0b	(-.f64 (.f64 (log.f64 y) x) (fma.f64 y z (.f64 (.f64 z (.f64 y y)) 1/2)))
✓	0.0b	(.f64 (.f64 z (*.f64 y y)) 1/2)
✓	0.3b	(*.f64 (log.f64 y) x)
✓	6.2b	(.f64 z (.f64 y y))

series708.0ms (4.1%)

Counts

4 → 92

Calls

4 calls:

490.0ms	(*.f64 (log.f64 y) x)
177.0ms	(-.f64 (.f64 (log.f64 y) x) (fma.f64 y z (.f64 (.f64 z (.f64 y y)) 1/2)))
23.0ms	(.f64 (.f64 z (*.f64 y y)) 1/2)
18.0ms	(.f64 z (.f64 y y))

rewrite40.0ms (0.2%)

Algorithm

1×	rewrite-expression-head

Rules

21×	`pow1_binary64`
20×	`add-cbrt-cube_binary64`
20×	`add-exp-log_binary64`
13×	`add-sqr-sqrt_binary64`
10×	`*-un-lft-identity_binary64`

Counts

4 → 86

Calls

4 calls:

16.0ms	(.f64 (.f64 z (*.f64 y y)) 1/2)
8.0ms	(.f64 z (.f64 y y))
6.0ms	(-.f64 (.f64 (log.f64 y) x) (fma.f64 y z (.f64 (.f64 z (.f64 y y)) 1/2)))
5.0ms	(*.f64 (log.f64 y) x)

simplify197.0ms (1.2%)

Algorithm

1×	egg-herbie

Rules

933×	`fma-neg_binary64`
618×	`fma-def_binary64`
458×	`*-commutative_binary64`
261×	`exp-prod_binary64`
219×	`distribute-rgt-in_binary64`

Counts

178 → 142

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	174	2632
1	373	2247
2	1286	2147
3	3176	2147
4	4543	2147
5	4998	2147
6	4794	2147

prune594.0ms (3.5%)

Pruning

10 alts after pruning (9 fresh and 1 done)

	Pruned	Kept	Total
New	137	5	142
Fresh	4	4	8
Picked	0	1	1
Done	1	0	1
Total	142	10	152

Error

0.0b

Counts

152 → 10

Alt Table

Status	Error	Program
✓	0.1b	(-.f64 (-.f64 (.f64 (log.f64 y) x) (fma.f64 y z (.f64 (.f64 z (.f64 y y)) 1/2))) t)
	20.8b	(-.f64 (/.f64 (-.f64 (.f64 x (.f64 x (.f64 (log.f64 y) (log.f64 y)))) (pow.f64 (cbrt.f64 (.f64 z (fma.f64 (.f64 y y) 1/2 y))) 6)) (fma.f64 z (fma.f64 (.f64 y y) 1/2 y) (*.f64 x (log.f64 y)))) t)
▶	0.6b	(-.f64 (-.f64 (.f64 (.f64 (cbrt.f64 (log.f64 y)) (cbrt.f64 (log.f64 y))) (.f64 (cbrt.f64 (log.f64 y)) x)) (fma.f64 y z (.f64 (.f64 z (.f64 y y)) 1/2))) t)
	30.1b	(-.f64 (-.f64 (.f64 (.f64 (log.f64 y) (sqrt.f64 x)) (sqrt.f64 x)) (fma.f64 y z (.f64 (.f64 z (*.f64 y y)) 1/2))) t)
	0.6b	(-.f64 (-.f64 (.f64 (.f64 (log.f64 y) (.f64 (cbrt.f64 x) (cbrt.f64 x))) (cbrt.f64 x)) (fma.f64 y z (.f64 (.f64 z (.f64 y y)) 1/2))) t)
	0.9b	(-.f64 (.f64 (.f64 (.f64 (cbrt.f64 (fma.f64 x (log.f64 y) (.f64 z (log1p.f64 (neg.f64 y))))) (.f64 (cbrt.f64 (cbrt.f64 (fma.f64 x (log.f64 y) (.f64 z (log1p.f64 (neg.f64 y)))))) (cbrt.f64 (cbrt.f64 (fma.f64 x (log.f64 y) (.f64 z (log1p.f64 (neg.f64 y)))))))) (cbrt.f64 (cbrt.f64 (fma.f64 x (log.f64 y) (.f64 z (log1p.f64 (neg.f64 y))))))) (cbrt.f64 (fma.f64 x (log.f64 y) (*.f64 z (log1p.f64 (neg.f64 y)))))) t)
	33.3b	(-.f64 (.f64 (.f64 (sqrt.f64 (cbrt.f64 (fma.f64 x (log.f64 y) (.f64 z (log1p.f64 (neg.f64 y)))))) (.f64 (sqrt.f64 (cbrt.f64 (fma.f64 x (log.f64 y) (.f64 z (log1p.f64 (neg.f64 y)))))) (cbrt.f64 (fma.f64 x (log.f64 y) (.f64 z (log1p.f64 (neg.f64 y))))))) (cbrt.f64 (fma.f64 x (log.f64 y) (*.f64 z (log1p.f64 (neg.f64 y)))))) t)
	23.3b	(-.f64 (-.f64 (cbrt.f64 (.f64 (.f64 (.f64 (log.f64 y) (log.f64 y)) (log.f64 y)) (.f64 (.f64 x x) x))) (fma.f64 y z (.f64 (.f64 z (.f64 y y)) 1/2))) t)
	0.9b	(-.f64 (.f64 (.f64 (cbrt.f64 (.f64 (.f64 (cbrt.f64 (fma.f64 x (log.f64 y) (.f64 z (log1p.f64 (neg.f64 y))))) (cbrt.f64 (fma.f64 x (log.f64 y) (.f64 z (log1p.f64 (neg.f64 y)))))) (cbrt.f64 (fma.f64 x (log.f64 y) (.f64 z (log1p.f64 (neg.f64 y))))))) (cbrt.f64 (.f64 (.f64 (cbrt.f64 (fma.f64 x (log.f64 y) (.f64 z (log1p.f64 (neg.f64 y))))) (cbrt.f64 (fma.f64 x (log.f64 y) (.f64 z (log1p.f64 (neg.f64 y)))))) (cbrt.f64 (fma.f64 x (log.f64 y) (.f64 z (log1p.f64 (neg.f64 y)))))))) (cbrt.f64 (.f64 (.f64 (cbrt.f64 (fma.f64 x (log.f64 y) (.f64 z (log1p.f64 (neg.f64 y))))) (cbrt.f64 (fma.f64 x (log.f64 y) (.f64 z (log1p.f64 (neg.f64 y)))))) (cbrt.f64 (fma.f64 x (log.f64 y) (*.f64 z (log1p.f64 (neg.f64 y)))))))) t)
	0.9b	(-.f64 (.f64 (.f64 (.f64 (cbrt.f64 (.f64 (cbrt.f64 (fma.f64 x (log.f64 y) (.f64 z (log1p.f64 (neg.f64 y))))) (cbrt.f64 (fma.f64 x (log.f64 y) (.f64 z (log1p.f64 (neg.f64 y))))))) (cbrt.f64 (.f64 (cbrt.f64 (fma.f64 x (log.f64 y) (.f64 z (log1p.f64 (neg.f64 y))))) (cbrt.f64 (fma.f64 x (log.f64 y) (.f64 z (log1p.f64 (neg.f64 y)))))))) (.f64 (cbrt.f64 (cbrt.f64 (fma.f64 x (log.f64 y) (.f64 z (log1p.f64 (neg.f64 y)))))) (cbrt.f64 (cbrt.f64 (fma.f64 x (log.f64 y) (.f64 z (log1p.f64 (neg.f64 y)))))))) (cbrt.f64 (fma.f64 x (log.f64 y) (*.f64 z (log1p.f64 (neg.f64 y)))))) t)

Compiler

Compiled 4310 to 1569 computations (63.6% saved)

localize35.0ms (0.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.3b	(.f64 (.f64 (cbrt.f64 (log.f64 y)) (cbrt.f64 (log.f64 y))) (*.f64 (cbrt.f64 (log.f64 y)) x))
✓	0.5b	(*.f64 (cbrt.f64 (log.f64 y)) (cbrt.f64 (log.f64 y)))
✓	0.5b	(cbrt.f64 (log.f64 y))
	6.2b	(.f64 z (.f64 y y))

series1.8s (10.3%)

Counts

3 → 48

Calls

3 calls:

741.0ms	(cbrt.f64 (log.f64 y))
622.0ms	(*.f64 (cbrt.f64 (log.f64 y)) (cbrt.f64 (log.f64 y)))
409.0ms	(.f64 (.f64 (cbrt.f64 (log.f64 y)) (cbrt.f64 (log.f64 y))) (*.f64 (cbrt.f64 (log.f64 y)) x))

rewrite47.0ms (0.3%)

Algorithm

1×	rewrite-expression-head

Rules

29×	`pow1_binary64`
28×	`cbrt-prod_binary64`
20×	`add-sqr-sqrt_binary64`
17×	`add-exp-log_binary64`
14×	`*-un-lft-identity_binary64`

Counts

3 → 85

Calls

3 calls:

14.0ms	(.f64 (.f64 (cbrt.f64 (log.f64 y)) (cbrt.f64 (log.f64 y))) (*.f64 (cbrt.f64 (log.f64 y)) x))
13.0ms	(*.f64 (cbrt.f64 (log.f64 y)) (cbrt.f64 (log.f64 y)))
2.0ms	(cbrt.f64 (log.f64 y))

simplify174.0ms (1%)

Algorithm

1×	egg-herbie

Rules

582×	`log-prod_binary64`
429×	`distribute-rgt-neg-out_binary64`
388×	`neg-mul-1_binary64`
357×	`distribute-lft-neg-out_binary64`
338×	`exp-prod_binary64`

Counts

133 → 107

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	99	1222
1	202	1065
2	654	1015
3	1391	997
4	3802	877
5	4821	877
6	5104	877

prune474.0ms (2.8%)

Pruning

8 alts after pruning (7 fresh and 1 done)

	Pruned	Kept	Total
New	171	4	175
Fresh	5	3	8
Picked	1	0	1
Done	0	1	1
Total	177	8	185

Error

0.0b

Counts

185 → 8

Alt Table

Status	Error	Program
	0.9b	(-.f64 (.f64 (.f64 (.f64 (cbrt.f64 (fma.f64 x (log.f64 y) (.f64 z (log1p.f64 (neg.f64 y))))) (.f64 (cbrt.f64 (cbrt.f64 (fma.f64 x (log.f64 y) (.f64 z (log1p.f64 (neg.f64 y)))))) (cbrt.f64 (cbrt.f64 (fma.f64 x (log.f64 y) (.f64 z (log1p.f64 (neg.f64 y)))))))) (cbrt.f64 (cbrt.f64 (fma.f64 x (log.f64 y) (.f64 z (log1p.f64 (neg.f64 y))))))) (cbrt.f64 (fma.f64 x (log.f64 y) (*.f64 z (log1p.f64 (neg.f64 y)))))) t)
	0.5b	(-.f64 (-.f64 (.f64 (pow.f64 (pow.f64 (log.f64 y) 2) 1/3) (.f64 (cbrt.f64 (log.f64 y)) x)) (fma.f64 y z (.f64 (.f64 z (*.f64 y y)) 1/2))) t)
	0.6b	(-.f64 (-.f64 (.f64 (.f64 (log.f64 y) (.f64 (cbrt.f64 x) (cbrt.f64 x))) (cbrt.f64 x)) (fma.f64 y z (.f64 (.f64 z (.f64 y y)) 1/2))) t)
✓	0.1b	(-.f64 (-.f64 (.f64 (log.f64 y) x) (fma.f64 y z (.f64 (.f64 z (.f64 y y)) 1/2))) t)
	23.3b	(-.f64 (-.f64 (cbrt.f64 (.f64 (.f64 (.f64 (log.f64 y) (log.f64 y)) (log.f64 y)) (.f64 (.f64 x x) x))) (fma.f64 y z (.f64 (.f64 z (.f64 y y)) 1/2))) t)
	0.6b	(-.f64 (-.f64 (.f64 (expm1.f64 (log1p.f64 (.f64 (cbrt.f64 (log.f64 y)) (cbrt.f64 (log.f64 y))))) (.f64 (cbrt.f64 (log.f64 y)) x)) (fma.f64 y z (.f64 (.f64 z (.f64 y y)) 1/2))) t)
	0.6b	(-.f64 (-.f64 (.f64 (cbrt.f64 (log.f64 y)) (.f64 (cbrt.f64 (log.f64 y)) (.f64 (cbrt.f64 (log.f64 y)) x))) (fma.f64 y z (.f64 (.f64 z (.f64 y y)) 1/2))) t)
	0.7b	(-.f64 (-.f64 (.f64 (.f64 (cbrt.f64 (.f64 (.f64 (cbrt.f64 (log.f64 y)) (cbrt.f64 (log.f64 y))) (.f64 (cbrt.f64 (log.f64 y)) x))) (cbrt.f64 (.f64 (.f64 (cbrt.f64 (log.f64 y)) (cbrt.f64 (log.f64 y))) (.f64 (cbrt.f64 (log.f64 y)) x)))) (cbrt.f64 (.f64 (.f64 (cbrt.f64 (log.f64 y)) (cbrt.f64 (log.f64 y))) (.f64 (cbrt.f64 (log.f64 y)) x)))) (fma.f64 y z (.f64 (.f64 z (.f64 y y)) 1/2))) t)

Compiler

Compiled 5602 to 1623 computations (71% saved)

regimes1.3s (7.7%)

Accuracy

Total 0.3b remaining (84.2%)

Threshold costs 0.3b (84.2%)

Counts

95 → 1

Compiler

Compiled 20210 to 9036 computations (55.3% saved)

simplify6.0ms (0%)

Algorithm

1×	egg-herbie

Rules

5×	`*-commutative_binary64`
4×	`+-commutative_binary64`
4×	`sub-neg_binary64`
2×	`neg-sub0_binary64`
2×	`neg-mul-1_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	14	25
1	21	25
2	29	25
3	33	25
4	35	25
5	35	25

end287.0ms (1.7%)

Compiler: Compiled 338 to 161 computations (52.4% saved)

Details

analyze905.0ms (5.3%)

sample4.9s (28.5%)

simplify91.0ms (0.5%)

prune7.0ms (0%)

localize19.0ms (0.1%)

series805.0ms (4.7%)

rewrite9.0ms (0.1%)

simplify144.0ms (0.8%)

prune125.0ms (0.7%)

localize26.0ms (0.1%)

series1.9s (11%)

rewrite49.0ms (0.3%)

simplify489.0ms (2.9%)

prune2.0s (11.8%)

localize23.0ms (0.1%)

series708.0ms (4.1%)

rewrite40.0ms (0.2%)

simplify197.0ms (1.2%)

prune594.0ms (3.5%)

localize35.0ms (0.2%)

series1.8s (10.3%)

rewrite47.0ms (0.3%)

simplify174.0ms (1%)

prune474.0ms (2.8%)

regimes1.3s (7.7%)

simplify6.0ms (0%)

end287.0ms (1.7%)

Profiling