Details

analyze488.0ms (2.1%)

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%	74.9%	25.1%	3
0%	74.9%	25.1%	4
0%	74.9%	25.1%	5
0%	62.4%	37.6%	6
0%	31.2%	68.8%	7
0%	31.2%	68.8%	8
0%	31.2%	68.8%	9
0%	28.1%	71.9%	10
4.7%	21.8%	73.5%	11
4.7%	21.8%	73.5%	12
7%	19.5%	73.5%	13
8.2%	17.5%	74.3%	14

Compiler

Compiled 22 to 17 computations (22.7% saved)

sample2.3s (9.6%)

Results

1.1s	6317×	body	128	valid
456.0ms	514×	body	1024	valid
381.0ms	793×	body	512	valid
205.0ms	629×	body	256	valid
48.0ms	291×	body	128	invalid
3.0ms	3×	body	2048	valid

Compiler

Compiled 65 to 50 computations (23.1% saved)

simplify93.0ms (0.4%)

Algorithm

1×	egg-herbie

Rules

735×	`unsub-neg_binary64`
674×	`sub-neg_binary64`
591×	`distribute-rgt-in_binary64`
584×	`fma-def_binary64`
542×	`fma-neg_binary64`

Counts

1 → 2

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	15	24
1	31	23
2	65	23
3	129	23
4	308	23
5	765	23
6	1527	23
7	2231	23
8	2172	23
9	2249	23
10	2264	23
11	2274	23
12	3084	23
13	5202	23

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

0.1b

Counts

3 → 1

Alt Table

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

Compiler

Compiled 74 to 53 computations (28.4% saved)

localize12.0ms (0.1%)

Local error

Found 2 expressions with local error:

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

series230.0ms (1%)

Counts

2 → 60

Calls

2 calls:

168.0ms	(fma.f64 (-.f64 x 1) (log.f64 y) (*.f64 (-.f64 z 1) (log1p.f64 (neg.f64 y))))
62.0ms	(*.f64 (-.f64 z 1) (log1p.f64 (neg.f64 y)))

rewrite7.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

10×	`add-sqr-sqrt_binary64`
7×	`associate-l_binary64`
7×	`*-un-lft-identity_binary64`
4×	`add-cube-cbrt_binary64`
4×	`add-cbrt-cube_binary64`

Counts

2 → 36

Calls

2 calls:

5.0ms	(*.f64 (-.f64 z 1) (log1p.f64 (neg.f64 y)))
0.0ms	(fma.f64 (-.f64 x 1) (log.f64 y) (*.f64 (-.f64 z 1) (log1p.f64 (neg.f64 y))))

simplify93.0ms (0.4%)

Algorithm

1×	egg-herbie

Rules

473×	`fma-neg_binary64`
472×	`sub-neg_binary64`
368×	`cancel-sign-sub-inv_binary64`
336×	`distribute-rgt-in_binary64`
311×	`distribute-neg-in_binary64`

Counts

96 → 120

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	226	2517
1	700	2204
2	2581	2155
3	4920	2151
4	5178	2151

prune116.0ms (0.5%)

Pruning

7 alts after pruning (6 fresh and 1 done)

	Pruned	Kept	Total
New	114	6	120
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	114	7	121

Error

0.0b

Counts

121 → 7

Alt Table

Status	Error	Program
	20.9b	(-.f64 (fma.f64 (log1p.f64 (neg.f64 y)) (+.f64 z -1) (neg.f64 (log.f64 y))) t)
▶	0.8b	(-.f64 (.f64 (.f64 (cbrt.f64 (fma.f64 (-.f64 x 1) (log.f64 y) (.f64 (-.f64 z 1) (log1p.f64 (neg.f64 y))))) (cbrt.f64 (fma.f64 (-.f64 x 1) (log.f64 y) (.f64 (-.f64 z 1) (log1p.f64 (neg.f64 y)))))) (cbrt.f64 (fma.f64 (-.f64 x 1) (log.f64 y) (*.f64 (-.f64 z 1) (log1p.f64 (neg.f64 y)))))) t)
✓	0.1b	(-.f64 (fma.f64 (-.f64 x 1) (log.f64 y) (*.f64 (-.f64 z 1) (log1p.f64 (neg.f64 y)))) t)
	39.1b	(-.f64 (log.f64 (*.f64 (pow.f64 (-.f64 1 y) (+.f64 z -1)) (pow.f64 y (+.f64 x -1)))) t)
	15.3b	(-.f64 (fma.f64 (-.f64 x 1) (log.f64 y) (.f64 (sqrt.f64 (.f64 (-.f64 z 1) (log1p.f64 (neg.f64 y)))) (sqrt.f64 (*.f64 (-.f64 z 1) (log1p.f64 (neg.f64 y)))))) t)
	21.7b	(-.f64 (.f64 (sqrt.f64 (fma.f64 (-.f64 x 1) (log.f64 y) (.f64 (-.f64 z 1) (log1p.f64 (neg.f64 y))))) (sqrt.f64 (fma.f64 (-.f64 x 1) (log.f64 y) (*.f64 (-.f64 z 1) (log1p.f64 (neg.f64 y)))))) t)
	25.4b	(-.f64 (cbrt.f64 (pow.f64 (fma.f64 (log.f64 y) (+.f64 x -1) (*.f64 (log1p.f64 (neg.f64 y)) (+.f64 z -1))) 3)) t)

Compiler

Compiled 3551 to 2084 computations (41.3% saved)

localize16.0ms (0.1%)

Local error

Found 4 expressions with local error:

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

series13.1s (55.5%)

Counts

3 → 108

Calls

3 calls:

12.7s

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

319.0ms

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

170.0ms

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

rewrite21.0ms (0.1%)

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:

6.0ms

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

4.0ms

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

1.0ms

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

simplify577.0ms (2.4%)

Algorithm

1×	egg-herbie

Rules

904×	`fma-def_binary64`
135×	`times-frac_binary64`
95×	`sqr-pow_binary64`
78×	`sub-neg_binary64`
40×	`unpow1/3_binary64`

Counts

201 → 308

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	3519	61705
1	5036	61705

prune3.1s (13.3%)

Pruning

10 alts after pruning (9 fresh and 1 done)

	Pruned	Kept	Total
New	641	6	647
Fresh	2	3	5
Picked	0	1	1
Done	1	0	1
Total	644	10	654

Error

0.0b

Counts

654 → 10

Alt Table

Status	Error	Program
▶	0.1b	(-.f64 (pow.f64 (fma.f64 (+.f64 x -1) (log.f64 y) (*.f64 (+.f64 z -1) (log1p.f64 (neg.f64 y)))) 1) t)
	1.0b	(-.f64 (.f64 (.f64 (cbrt.f64 (fma.f64 (-.f64 x 1) (log.f64 y) (.f64 (-.f64 z 1) (log1p.f64 (neg.f64 y))))) (.f64 (.f64 (cbrt.f64 (cbrt.f64 (fma.f64 (-.f64 x 1) (log.f64 y) (.f64 (-.f64 z 1) (log1p.f64 (neg.f64 y)))))) (cbrt.f64 (cbrt.f64 (fma.f64 (-.f64 x 1) (log.f64 y) (.f64 (-.f64 z 1) (log1p.f64 (neg.f64 y))))))) (cbrt.f64 (cbrt.f64 (fma.f64 (-.f64 x 1) (log.f64 y) (.f64 (-.f64 z 1) (log1p.f64 (neg.f64 y)))))))) (cbrt.f64 (fma.f64 (-.f64 x 1) (log.f64 y) (*.f64 (-.f64 z 1) (log1p.f64 (neg.f64 y)))))) t)
	0.9b	(-.f64 (.f64 (.f64 (.f64 (cbrt.f64 (.f64 (cbrt.f64 (fma.f64 (-.f64 x 1) (log.f64 y) (.f64 (-.f64 z 1) (log1p.f64 (neg.f64 y))))) (cbrt.f64 (fma.f64 (-.f64 x 1) (log.f64 y) (.f64 (-.f64 z 1) (log1p.f64 (neg.f64 y))))))) (cbrt.f64 (.f64 (cbrt.f64 (fma.f64 (-.f64 x 1) (log.f64 y) (.f64 (-.f64 z 1) (log1p.f64 (neg.f64 y))))) (cbrt.f64 (fma.f64 (-.f64 x 1) (log.f64 y) (.f64 (-.f64 z 1) (log1p.f64 (neg.f64 y)))))))) (cbrt.f64 (.f64 (cbrt.f64 (fma.f64 (-.f64 x 1) (log.f64 y) (.f64 (-.f64 z 1) (log1p.f64 (neg.f64 y))))) (cbrt.f64 (fma.f64 (-.f64 x 1) (log.f64 y) (.f64 (-.f64 z 1) (log1p.f64 (neg.f64 y)))))))) (cbrt.f64 (fma.f64 (-.f64 x 1) (log.f64 y) (*.f64 (-.f64 z 1) (log1p.f64 (neg.f64 y)))))) t)
	0.6b	(-.f64 (-.f64 (+.f64 y (*.f64 (log.f64 y) x)) (fma.f64 y z (log.f64 y))) t)
	0.8b	(-.f64 (.f64 (.f64 (.f64 (cbrt.f64 (fma.f64 (-.f64 x 1) (log.f64 y) (.f64 (-.f64 z 1) (log1p.f64 (neg.f64 y))))) (cbrt.f64 (.f64 (cbrt.f64 (fma.f64 (-.f64 x 1) (log.f64 y) (.f64 (-.f64 z 1) (log1p.f64 (neg.f64 y))))) (cbrt.f64 (fma.f64 (-.f64 x 1) (log.f64 y) (.f64 (-.f64 z 1) (log1p.f64 (neg.f64 y)))))))) (cbrt.f64 (cbrt.f64 (fma.f64 (-.f64 x 1) (log.f64 y) (.f64 (-.f64 z 1) (log1p.f64 (neg.f64 y))))))) (cbrt.f64 (fma.f64 (-.f64 x 1) (log.f64 y) (*.f64 (-.f64 z 1) (log1p.f64 (neg.f64 y)))))) t)
	0.8b	(-.f64 (.f64 (.f64 (.f64 (cbrt.f64 (fma.f64 (-.f64 x 1) (log.f64 y) (.f64 (-.f64 z 1) (log1p.f64 (neg.f64 y))))) (cbrt.f64 (fma.f64 (-.f64 x 1) (log.f64 y) (.f64 (-.f64 z 1) (log1p.f64 (neg.f64 y)))))) (cbrt.f64 (.f64 (cbrt.f64 (fma.f64 (-.f64 x 1) (log.f64 y) (.f64 (-.f64 z 1) (log1p.f64 (neg.f64 y))))) (cbrt.f64 (fma.f64 (-.f64 x 1) (log.f64 y) (.f64 (-.f64 z 1) (log1p.f64 (neg.f64 y)))))))) (cbrt.f64 (cbrt.f64 (fma.f64 (-.f64 x 1) (log.f64 y) (*.f64 (-.f64 z 1) (log1p.f64 (neg.f64 y))))))) t)
	15.3b	(-.f64 (fma.f64 (-.f64 x 1) (log.f64 y) (.f64 (sqrt.f64 (.f64 (-.f64 z 1) (log1p.f64 (neg.f64 y)))) (sqrt.f64 (*.f64 (-.f64 z 1) (log1p.f64 (neg.f64 y)))))) t)
	21.7b	(-.f64 (.f64 (sqrt.f64 (fma.f64 (-.f64 x 1) (log.f64 y) (.f64 (-.f64 z 1) (log1p.f64 (neg.f64 y))))) (sqrt.f64 (fma.f64 (-.f64 x 1) (log.f64 y) (*.f64 (-.f64 z 1) (log1p.f64 (neg.f64 y)))))) t)
✓	0.8b	(-.f64 (.f64 (.f64 (cbrt.f64 (fma.f64 (-.f64 x 1) (log.f64 y) (.f64 (-.f64 z 1) (log1p.f64 (neg.f64 y))))) (cbrt.f64 (fma.f64 (-.f64 x 1) (log.f64 y) (.f64 (-.f64 z 1) (log1p.f64 (neg.f64 y)))))) (cbrt.f64 (fma.f64 (-.f64 x 1) (log.f64 y) (*.f64 (-.f64 z 1) (log1p.f64 (neg.f64 y)))))) t)
	39.1b	(-.f64 (log.f64 (*.f64 (pow.f64 (-.f64 1 y) (+.f64 z -1)) (pow.f64 y (+.f64 x -1)))) t)

Compiler

Compiled 133304 to 90793 computations (31.9% saved)

localize13.0ms (0.1%)

Local error

Found 2 expressions with local error:

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

series231.0ms (1%)

Counts

2 → 60

Calls

2 calls:

176.0ms	(fma.f64 (+.f64 x -1) (log.f64 y) (*.f64 (+.f64 z -1) (log1p.f64 (neg.f64 y))))
55.0ms	(*.f64 (+.f64 z -1) (log1p.f64 (neg.f64 y)))

rewrite6.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

7×	`add-sqr-sqrt_binary64`
6×	`*-un-lft-identity_binary64`
5×	`associate-l_binary64`
4×	`add-cube-cbrt_binary64`
4×	`add-cbrt-cube_binary64`

Counts

2 → 34

Calls

2 calls:

4.0ms	(*.f64 (+.f64 z -1) (log1p.f64 (neg.f64 y)))
0.0ms	(fma.f64 (+.f64 x -1) (log.f64 y) (*.f64 (+.f64 z -1) (log1p.f64 (neg.f64 y))))

simplify93.0ms (0.4%)

Algorithm

1×	egg-herbie

Rules

483×	`fma-neg_binary64`
470×	`sub-neg_binary64`
403×	`distribute-rgt-in_binary64`
368×	`cancel-sign-sub-inv_binary64`
312×	`distribute-neg-in_binary64`

Counts

94 → 114

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	226	2491
1	712	2176
2	2638	2126
3	4593	2122
4	4998	2122

prune185.0ms (0.8%)

Pruning

9 alts after pruning (8 fresh and 1 done)

	Pruned	Kept	Total
New	113	1	114
Fresh	1	7	8
Picked	1	0	1
Done	0	1	1
Total	115	9	124

Error

0.0b

Counts

124 → 9

Alt Table

Status	Error	Program
▶	0.1b	(-.f64 (pow.f64 (+.f64 (*.f64 (log.f64 y) x) (fma.f64 (log1p.f64 (neg.f64 y)) (+.f64 z -1) (neg.f64 (log.f64 y)))) 1) t)
	21.7b	(-.f64 (.f64 (sqrt.f64 (fma.f64 (-.f64 x 1) (log.f64 y) (.f64 (-.f64 z 1) (log1p.f64 (neg.f64 y))))) (sqrt.f64 (fma.f64 (-.f64 x 1) (log.f64 y) (*.f64 (-.f64 z 1) (log1p.f64 (neg.f64 y)))))) t)
	0.8b	(-.f64 (.f64 (.f64 (.f64 (cbrt.f64 (fma.f64 (-.f64 x 1) (log.f64 y) (.f64 (-.f64 z 1) (log1p.f64 (neg.f64 y))))) (cbrt.f64 (.f64 (cbrt.f64 (fma.f64 (-.f64 x 1) (log.f64 y) (.f64 (-.f64 z 1) (log1p.f64 (neg.f64 y))))) (cbrt.f64 (fma.f64 (-.f64 x 1) (log.f64 y) (.f64 (-.f64 z 1) (log1p.f64 (neg.f64 y)))))))) (cbrt.f64 (cbrt.f64 (fma.f64 (-.f64 x 1) (log.f64 y) (.f64 (-.f64 z 1) (log1p.f64 (neg.f64 y))))))) (cbrt.f64 (fma.f64 (-.f64 x 1) (log.f64 y) (*.f64 (-.f64 z 1) (log1p.f64 (neg.f64 y)))))) t)
	0.8b	(-.f64 (.f64 (.f64 (.f64 (cbrt.f64 (fma.f64 (-.f64 x 1) (log.f64 y) (.f64 (-.f64 z 1) (log1p.f64 (neg.f64 y))))) (cbrt.f64 (fma.f64 (-.f64 x 1) (log.f64 y) (.f64 (-.f64 z 1) (log1p.f64 (neg.f64 y)))))) (cbrt.f64 (.f64 (cbrt.f64 (fma.f64 (-.f64 x 1) (log.f64 y) (.f64 (-.f64 z 1) (log1p.f64 (neg.f64 y))))) (cbrt.f64 (fma.f64 (-.f64 x 1) (log.f64 y) (.f64 (-.f64 z 1) (log1p.f64 (neg.f64 y)))))))) (cbrt.f64 (cbrt.f64 (fma.f64 (-.f64 x 1) (log.f64 y) (*.f64 (-.f64 z 1) (log1p.f64 (neg.f64 y))))))) t)
	15.3b	(-.f64 (fma.f64 (-.f64 x 1) (log.f64 y) (.f64 (sqrt.f64 (.f64 (-.f64 z 1) (log1p.f64 (neg.f64 y)))) (sqrt.f64 (*.f64 (-.f64 z 1) (log1p.f64 (neg.f64 y)))))) t)
✓	0.8b	(-.f64 (.f64 (.f64 (cbrt.f64 (fma.f64 (-.f64 x 1) (log.f64 y) (.f64 (-.f64 z 1) (log1p.f64 (neg.f64 y))))) (cbrt.f64 (fma.f64 (-.f64 x 1) (log.f64 y) (.f64 (-.f64 z 1) (log1p.f64 (neg.f64 y)))))) (cbrt.f64 (fma.f64 (-.f64 x 1) (log.f64 y) (*.f64 (-.f64 z 1) (log1p.f64 (neg.f64 y)))))) t)
	39.1b	(-.f64 (log.f64 (*.f64 (pow.f64 (-.f64 1 y) (+.f64 z -1)) (pow.f64 y (+.f64 x -1)))) t)
	1.0b	(-.f64 (.f64 (.f64 (cbrt.f64 (fma.f64 (-.f64 x 1) (log.f64 y) (.f64 (-.f64 z 1) (log1p.f64 (neg.f64 y))))) (.f64 (.f64 (cbrt.f64 (cbrt.f64 (fma.f64 (-.f64 x 1) (log.f64 y) (.f64 (-.f64 z 1) (log1p.f64 (neg.f64 y)))))) (cbrt.f64 (cbrt.f64 (fma.f64 (-.f64 x 1) (log.f64 y) (.f64 (-.f64 z 1) (log1p.f64 (neg.f64 y))))))) (cbrt.f64 (cbrt.f64 (fma.f64 (-.f64 x 1) (log.f64 y) (.f64 (-.f64 z 1) (log1p.f64 (neg.f64 y)))))))) (cbrt.f64 (fma.f64 (-.f64 x 1) (log.f64 y) (*.f64 (-.f64 z 1) (log1p.f64 (neg.f64 y)))))) t)
	0.9b	(-.f64 (.f64 (.f64 (.f64 (cbrt.f64 (.f64 (cbrt.f64 (fma.f64 (-.f64 x 1) (log.f64 y) (.f64 (-.f64 z 1) (log1p.f64 (neg.f64 y))))) (cbrt.f64 (fma.f64 (-.f64 x 1) (log.f64 y) (.f64 (-.f64 z 1) (log1p.f64 (neg.f64 y))))))) (cbrt.f64 (.f64 (cbrt.f64 (fma.f64 (-.f64 x 1) (log.f64 y) (.f64 (-.f64 z 1) (log1p.f64 (neg.f64 y))))) (cbrt.f64 (fma.f64 (-.f64 x 1) (log.f64 y) (.f64 (-.f64 z 1) (log1p.f64 (neg.f64 y)))))))) (cbrt.f64 (.f64 (cbrt.f64 (fma.f64 (-.f64 x 1) (log.f64 y) (.f64 (-.f64 z 1) (log1p.f64 (neg.f64 y))))) (cbrt.f64 (fma.f64 (-.f64 x 1) (log.f64 y) (.f64 (-.f64 z 1) (log1p.f64 (neg.f64 y)))))))) (cbrt.f64 (fma.f64 (-.f64 x 1) (log.f64 y) (*.f64 (-.f64 z 1) (log1p.f64 (neg.f64 y)))))) t)

Compiler

Compiled 4264 to 2609 computations (38.8% saved)

localize13.0ms (0.1%)

Local error

Found 3 expressions with local error:

New	Error	Program
✓	0.0b	(fma.f64 (log1p.f64 (neg.f64 y)) (+.f64 z -1) (neg.f64 (log.f64 y)))
✓	0.0b	(+.f64 (*.f64 (log.f64 y) x) (fma.f64 (log1p.f64 (neg.f64 y)) (+.f64 z -1) (neg.f64 (log.f64 y))))
✓	0.3b	(*.f64 (log.f64 y) x)

series549.0ms (2.3%)

Counts

3 → 68

Calls

3 calls:

242.0ms	(+.f64 (*.f64 (log.f64 y) x) (fma.f64 (log1p.f64 (neg.f64 y)) (+.f64 z -1) (neg.f64 (log.f64 y))))
221.0ms	(*.f64 (log.f64 y) x)
86.0ms	(fma.f64 (log1p.f64 (neg.f64 y)) (+.f64 z -1) (neg.f64 (log.f64 y)))

rewrite8.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

7×	`add-sqr-sqrt_binary64`
6×	`pow1_binary64`
5×	`*-un-lft-identity_binary64`
5×	`add-cube-cbrt_binary64`
5×	`add-cbrt-cube_binary64`

Counts

3 → 46

Calls

3 calls:

3.0ms	(+.f64 (*.f64 (log.f64 y) x) (fma.f64 (log1p.f64 (neg.f64 y)) (+.f64 z -1) (neg.f64 (log.f64 y))))
3.0ms	(*.f64 (log.f64 y) x)
0.0ms	(fma.f64 (log1p.f64 (neg.f64 y)) (+.f64 z -1) (neg.f64 (log.f64 y)))

simplify118.0ms (0.5%)

Algorithm

1×	egg-herbie

Rules

606×	`fma-neg_binary64`
456×	`sub-neg_binary64`
416×	`distribute-rgt-in_binary64`
358×	`cancel-sign-sub-inv_binary64`
309×	`distribute-neg-in_binary64`

Counts

114 → 133

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	212	2829
1	688	2534
2	2452	2418
3	4525	2414
4	4998	2414
5	4962	2414

prune200.0ms (0.8%)

Pruning

9 alts after pruning (8 fresh and 1 done)

	Pruned	Kept	Total
New	130	3	133
Fresh	2	5	7
Picked	0	1	1
Done	1	0	1
Total	133	9	142

Error

Counts

142 → 9

Alt Table

Status	Error	Program
✓	0.1b	(-.f64 (pow.f64 (+.f64 (*.f64 (log.f64 y) x) (fma.f64 (log1p.f64 (neg.f64 y)) (+.f64 z -1) (neg.f64 (log.f64 y)))) 1) t)
	21.7b	(-.f64 (.f64 (sqrt.f64 (fma.f64 (-.f64 x 1) (log.f64 y) (.f64 (-.f64 z 1) (log1p.f64 (neg.f64 y))))) (sqrt.f64 (fma.f64 (-.f64 x 1) (log.f64 y) (*.f64 (-.f64 z 1) (log1p.f64 (neg.f64 y)))))) t)
	0.5b	(-.f64 (pow.f64 (+.f64 (.f64 (.f64 (cbrt.f64 (.f64 (log.f64 y) x)) (cbrt.f64 (.f64 (log.f64 y) x))) (cbrt.f64 (*.f64 (log.f64 y) x))) (fma.f64 (log1p.f64 (neg.f64 y)) (+.f64 z -1) (neg.f64 (log.f64 y)))) 1) t)
	0.8b	(-.f64 (.f64 (.f64 (.f64 (cbrt.f64 (fma.f64 (-.f64 x 1) (log.f64 y) (.f64 (-.f64 z 1) (log1p.f64 (neg.f64 y))))) (cbrt.f64 (fma.f64 (-.f64 x 1) (log.f64 y) (.f64 (-.f64 z 1) (log1p.f64 (neg.f64 y)))))) (cbrt.f64 (.f64 (cbrt.f64 (fma.f64 (-.f64 x 1) (log.f64 y) (.f64 (-.f64 z 1) (log1p.f64 (neg.f64 y))))) (cbrt.f64 (fma.f64 (-.f64 x 1) (log.f64 y) (.f64 (-.f64 z 1) (log1p.f64 (neg.f64 y)))))))) (cbrt.f64 (cbrt.f64 (fma.f64 (-.f64 x 1) (log.f64 y) (*.f64 (-.f64 z 1) (log1p.f64 (neg.f64 y))))))) t)
	15.3b	(-.f64 (fma.f64 (-.f64 x 1) (log.f64 y) (.f64 (sqrt.f64 (.f64 (-.f64 z 1) (log1p.f64 (neg.f64 y)))) (sqrt.f64 (*.f64 (-.f64 z 1) (log1p.f64 (neg.f64 y)))))) t)
	39.1b	(-.f64 (pow.f64 (log.f64 (*.f64 (pow.f64 y x) (/.f64 (pow.f64 (-.f64 1 y) (+.f64 -1 z)) y))) 1) t)
	34.6b	(-.f64 (pow.f64 (+.f64 (.f64 (.f64 (log.f64 y) (sqrt.f64 x)) (sqrt.f64 x)) (fma.f64 (log1p.f64 (neg.f64 y)) (+.f64 z -1) (neg.f64 (log.f64 y)))) 1) t)
	1.0b	(-.f64 (.f64 (.f64 (cbrt.f64 (fma.f64 (-.f64 x 1) (log.f64 y) (.f64 (-.f64 z 1) (log1p.f64 (neg.f64 y))))) (.f64 (.f64 (cbrt.f64 (cbrt.f64 (fma.f64 (-.f64 x 1) (log.f64 y) (.f64 (-.f64 z 1) (log1p.f64 (neg.f64 y)))))) (cbrt.f64 (cbrt.f64 (fma.f64 (-.f64 x 1) (log.f64 y) (.f64 (-.f64 z 1) (log1p.f64 (neg.f64 y))))))) (cbrt.f64 (cbrt.f64 (fma.f64 (-.f64 x 1) (log.f64 y) (.f64 (-.f64 z 1) (log1p.f64 (neg.f64 y)))))))) (cbrt.f64 (fma.f64 (-.f64 x 1) (log.f64 y) (*.f64 (-.f64 z 1) (log1p.f64 (neg.f64 y)))))) t)
	0.9b	(-.f64 (.f64 (.f64 (.f64 (cbrt.f64 (.f64 (cbrt.f64 (fma.f64 (-.f64 x 1) (log.f64 y) (.f64 (-.f64 z 1) (log1p.f64 (neg.f64 y))))) (cbrt.f64 (fma.f64 (-.f64 x 1) (log.f64 y) (.f64 (-.f64 z 1) (log1p.f64 (neg.f64 y))))))) (cbrt.f64 (.f64 (cbrt.f64 (fma.f64 (-.f64 x 1) (log.f64 y) (.f64 (-.f64 z 1) (log1p.f64 (neg.f64 y))))) (cbrt.f64 (fma.f64 (-.f64 x 1) (log.f64 y) (.f64 (-.f64 z 1) (log1p.f64 (neg.f64 y)))))))) (cbrt.f64 (.f64 (cbrt.f64 (fma.f64 (-.f64 x 1) (log.f64 y) (.f64 (-.f64 z 1) (log1p.f64 (neg.f64 y))))) (cbrt.f64 (fma.f64 (-.f64 x 1) (log.f64 y) (.f64 (-.f64 z 1) (log1p.f64 (neg.f64 y)))))))) (cbrt.f64 (fma.f64 (-.f64 x 1) (log.f64 y) (*.f64 (-.f64 z 1) (log1p.f64 (neg.f64 y)))))) t)

Compiler

Compiled 4357 to 2281 computations (47.6% saved)

regimes1.8s (7.7%)

Accuracy

Total 0.1b remaining (60.7%)

Threshold costs 0.1b (60.7%)

Counts

142 → 1

Compiler

Compiled 53890 to 34410 computations (36.1% saved)

simplify2.0ms (0%)

Algorithm

1×	egg-herbie

Rules

6×	`+-commutative_binary64`
4×	`*-commutative_binary64`
4×	`sub-neg_binary64`
3×	`neg-sub0_binary64`
3×	`neg-mul-1_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	17	27
1	28	27
2	35	27
3	39	27
4	40	27
5	39	27

end228.0ms (1%)

Compiler: Compiled 492 to 305 computations (38% saved)

Details

analyze488.0ms (2.1%)

sample2.3s (9.6%)

simplify93.0ms (0.4%)

prune4.0ms (0%)

localize12.0ms (0.1%)

series230.0ms (1%)

rewrite7.0ms (0%)

simplify93.0ms (0.4%)

prune116.0ms (0.5%)

localize16.0ms (0.1%)

series13.1s (55.5%)

rewrite21.0ms (0.1%)

simplify577.0ms (2.4%)

prune3.1s (13.3%)

localize13.0ms (0.1%)

series231.0ms (1%)

rewrite6.0ms (0%)

simplify93.0ms (0.4%)

prune185.0ms (0.8%)

localize13.0ms (0.1%)

series549.0ms (2.3%)

rewrite8.0ms (0%)

simplify118.0ms (0.5%)

prune200.0ms (0.8%)

regimes1.8s (7.7%)

simplify2.0ms (0%)

end228.0ms (1%)

Profiling