Details

analyze833.0ms (8.2%)

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 18 to 13 computations (27.8% saved)

sample2.7s (26.4%)

Results

1.1s	5980×	body	128	valid
557.0ms	679×	body	1024	valid
422.0ms	896×	body	512	valid
255.0ms	680×	body	256	valid
108.0ms	302×	body	128	invalid
26.0ms	21×	body	2048	valid

Compiler

Compiled 53 to 38 computations (28.3% saved)

simplify57.0ms (0.6%)

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

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

localize10.0ms (0.1%)

Local error

Found 3 expressions with local error:

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

series677.0ms (6.7%)

Counts

3 → 108

Calls

3 calls:

252.0ms	(*.f64 z (log1p.f64 (neg.f64 y)))
245.0ms	(-.f64 (fma.f64 x (log.f64 y) (*.f64 z (log1p.f64 (neg.f64 y)))) t)
180.0ms	(fma.f64 x (log.f64 y) (*.f64 z (log1p.f64 (neg.f64 y))))

rewrite10.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

17×	`add-sqr-sqrt_binary64`
15×	`*-un-lft-identity_binary64`
13×	`add-cube-cbrt_binary64`
9×	`prod-diff_binary64`
5×	`add-cbrt-cube_binary64`

Counts

3 → 61

Calls

3 calls:

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

simplify157.0ms (1.5%)

Algorithm

1×	egg-herbie

Rules

368×	`distribute-neg-in_binary64`
341×	`distribute-rgt-in_binary64`
316×	`fma-neg_binary64`
292×	`times-frac_binary64`
259×	`sub-neg_binary64`

Counts

169 → 169

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	235	3071
1	634	2835
2	2073	2748
3	4555	2748
4	4988	2748
5	4921	2748

prune132.0ms (1.3%)

Pruning

4 alts after pruning (4 fresh and 0 done)

	Pruned	Kept	Total
New	165	4	169
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	166	4	170

Error

0.1b

Counts

170 → 4

Alt Table

Status	Error	Program
	1.3b	(.f64 (.f64 (cbrt.f64 (-.f64 (fma.f64 x (log.f64 y) (.f64 z (log1p.f64 (neg.f64 y)))) t)) (cbrt.f64 (-.f64 (fma.f64 x (log.f64 y) (.f64 z (log1p.f64 (neg.f64 y)))) t))) (cbrt.f64 (-.f64 (fma.f64 x (log.f64 y) (*.f64 z (log1p.f64 (neg.f64 y)))) t)))
▶	0.1b	(-.f64 (-.f64 (.f64 (log.f64 y) x) (.f64 z (+.f64 (.f64 1/2 (.f64 y y)) (+.f64 y (*.f64 1/3 (pow.f64 y 3)))))) t)
	31.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)
	29.6b	(-.f64 (cbrt.f64 (.f64 (.f64 (fma.f64 x (log.f64 y) (.f64 z (log1p.f64 (neg.f64 y)))) (fma.f64 x (log.f64 y) (.f64 z (log1p.f64 (neg.f64 y))))) (fma.f64 x (log.f64 y) (*.f64 z (log1p.f64 (neg.f64 y)))))) t)

Compiler

Compiled 3735 to 1315 computations (64.8% saved)

localize15.0ms (0.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.0b	(.f64 1/2 (.f64 y y))
✓	0.0b	(-.f64 (.f64 (log.f64 y) x) (.f64 z (+.f64 (.f64 1/2 (.f64 y y)) (+.f64 y (*.f64 1/3 (pow.f64 y 3))))))
✓	0.1b	(*.f64 1/3 (pow.f64 y 3))
✓	0.3b	(*.f64 (log.f64 y) x)

series1.2s (11.9%)

Counts

4 → 56

Calls

4 calls:

1.1s	(*.f64 (log.f64 y) x)
106.0ms	(-.f64 (.f64 (log.f64 y) x) (.f64 z (+.f64 (.f64 1/2 (.f64 y y)) (+.f64 y (*.f64 1/3 (pow.f64 y 3))))))
5.0ms	(*.f64 1/3 (pow.f64 y 3))
2.0ms	(.f64 1/2 (.f64 y y))

rewrite20.0ms (0.2%)

Algorithm

1×	rewrite-expression-head

Rules

21×	`add-sqr-sqrt_binary64`
16×	`associate-r_binary64`
16×	`add-exp-log_binary64`
13×	`add-cbrt-cube_binary64`
12×	`pow1_binary64`

Counts

4 → 93

Calls

4 calls:

6.0ms	(*.f64 (log.f64 y) x)
4.0ms	(*.f64 1/3 (pow.f64 y 3))
4.0ms	(.f64 1/2 (.f64 y y))
3.0ms	(-.f64 (.f64 (log.f64 y) x) (.f64 z (+.f64 (.f64 1/2 (.f64 y y)) (+.f64 y (*.f64 1/3 (pow.f64 y 3))))))

simplify117.0ms (1.2%)

Algorithm

1×	egg-herbie

Rules

792×	`fma-def_binary64`
274×	`associate-+r+_binary64`
273×	`associate-+l+_binary64`
243×	`exp-prod_binary64`
210×	`fma-neg_binary64`

Counts

149 → 147

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	200	2609
1	475	2237
2	1629	2144
3	4481	2120
4	4979	2120
5	4840	2120

prune193.0ms (1.9%)

Pruning

8 alts after pruning (7 fresh and 1 done)

	Pruned	Kept	Total
New	142	5	147
Fresh	1	2	3
Picked	0	1	1
Done	0	0	0
Total	143	8	151

Error

0.0b

Counts

151 → 8

Alt Table

Status	Error	Program
	1.3b	(.f64 (.f64 (cbrt.f64 (-.f64 (fma.f64 x (log.f64 y) (.f64 z (log1p.f64 (neg.f64 y)))) t)) (cbrt.f64 (-.f64 (fma.f64 x (log.f64 y) (.f64 z (log1p.f64 (neg.f64 y)))) t))) (cbrt.f64 (-.f64 (fma.f64 x (log.f64 y) (*.f64 z (log1p.f64 (neg.f64 y)))) t)))
✓	0.1b	(-.f64 (-.f64 (.f64 (log.f64 y) x) (.f64 z (+.f64 (.f64 1/2 (.f64 y y)) (+.f64 y (*.f64 1/3 (pow.f64 y 3)))))) t)
	31.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)
	35.4b	(-.f64 (/.f64 (-.f64 (pow.f64 (.f64 x (log.f64 y)) 3) (pow.f64 (.f64 z (fma.f64 y (.f64 y 1/2) (fma.f64 1/3 (pow.f64 y 3) y))) 3)) (fma.f64 x (.f64 x (.f64 (log.f64 y) (log.f64 y))) (.f64 z (.f64 (fma.f64 y (.f64 y 1/2) (fma.f64 1/3 (pow.f64 y 3) y)) (fma.f64 z (fma.f64 y (.f64 y 1/2) (fma.f64 1/3 (pow.f64 y 3) y)) (.f64 x (log.f64 y))))))) t)
	31.4b	(-.f64 (-.f64 (.f64 (.f64 (log.f64 y) (sqrt.f64 x)) (sqrt.f64 x)) (.f64 z (+.f64 (.f64 1/2 (.f64 y y)) (+.f64 y (.f64 1/3 (pow.f64 y 3)))))) t)
▶	0.5b	(-.f64 (-.f64 (.f64 (.f64 (log.f64 y) (.f64 (cbrt.f64 x) (cbrt.f64 x))) (cbrt.f64 x)) (.f64 z (+.f64 (.f64 1/2 (.f64 y y)) (+.f64 y (*.f64 1/3 (pow.f64 y 3)))))) t)
	0.6b	(-.f64 (-.f64 (.f64 (.f64 (cbrt.f64 (log.f64 y)) (cbrt.f64 (log.f64 y))) (.f64 (cbrt.f64 (log.f64 y)) x)) (.f64 z (+.f64 (.f64 1/2 (.f64 y y)) (+.f64 y (*.f64 1/3 (pow.f64 y 3)))))) t)
	23.6b	(-.f64 (-.f64 (cbrt.f64 (.f64 (.f64 (.f64 (log.f64 y) (log.f64 y)) (log.f64 y)) (.f64 (.f64 x x) x))) (.f64 z (+.f64 (.f64 1/2 (.f64 y y)) (+.f64 y (*.f64 1/3 (pow.f64 y 3)))))) t)

Compiler

Compiled 4612 to 2512 computations (45.5% saved)

localize19.0ms (0.2%)

Local error

Found 4 expressions with local error:

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

series1.2s (11.8%)

Counts

4 → 72

Calls

4 calls:

760.0ms	(.f64 (log.f64 y) (.f64 (cbrt.f64 x) (cbrt.f64 x)))
361.0ms	(.f64 (.f64 (log.f64 y) (*.f64 (cbrt.f64 x) (cbrt.f64 x))) (cbrt.f64 x))
46.0ms	(*.f64 (cbrt.f64 x) (cbrt.f64 x))
30.0ms	(cbrt.f64 x)

rewrite23.0ms (0.2%)

Algorithm

1×	rewrite-expression-head

Rules

26×	`pow1_binary64`
25×	`add-sqr-sqrt_binary64`
22×	`cbrt-prod_binary64`
20×	`add-exp-log_binary64`
16×	`*-un-lft-identity_binary64`

Counts

4 → 103

Calls

4 calls:

7.0ms	(.f64 (.f64 (log.f64 y) (*.f64 (cbrt.f64 x) (cbrt.f64 x))) (cbrt.f64 x))
6.0ms	(.f64 (log.f64 y) (.f64 (cbrt.f64 x) (cbrt.f64 x)))
4.0ms	(*.f64 (cbrt.f64 x) (cbrt.f64 x))
1.0ms	(cbrt.f64 x)

simplify132.0ms (1.3%)

Algorithm

1×	egg-herbie

Rules

629×	`unswap-sqr_binary64`
471×	`distribute-rgt-in_binary64`
444×	`distribute-lft-in_binary64`
416×	`*-commutative_binary64`
408×	`log-prod_binary64`

Counts

175 → 154

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	120	1805
1	244	1524
2	880	1413
3	1415	1385
4	4684	1385
5	4974	1385

prune327.0ms (3.2%)

Pruning

12 alts after pruning (11 fresh and 1 done)

	Pruned	Kept	Total
New	183	7	190
Fresh	2	4	6
Picked	1	0	1
Done	0	1	1
Total	186	12	198

Error

0.0b

Counts

198 → 12

Alt Table

Status	Error	Program
	0.9b	(-.f64 (-.f64 (.f64 (.f64 (log.f64 y) (.f64 (.f64 (.f64 (cbrt.f64 (cbrt.f64 x)) (cbrt.f64 (cbrt.f64 x))) (.f64 (cbrt.f64 (cbrt.f64 x)) (cbrt.f64 (cbrt.f64 x)))) (.f64 (cbrt.f64 (cbrt.f64 x)) (cbrt.f64 (cbrt.f64 x))))) (cbrt.f64 x)) (.f64 z (+.f64 (.f64 1/2 (.f64 y y)) (+.f64 y (*.f64 1/3 (pow.f64 y 3)))))) t)
	0.7b	(-.f64 (-.f64 (.f64 (.f64 (log.f64 y) (.f64 (cbrt.f64 x) (cbrt.f64 x))) (.f64 (cbrt.f64 (.f64 (cbrt.f64 x) (cbrt.f64 x))) (cbrt.f64 (cbrt.f64 x)))) (.f64 z (+.f64 (.f64 1/2 (.f64 y y)) (+.f64 y (*.f64 1/3 (pow.f64 y 3)))))) t)
	1.3b	(.f64 (.f64 (cbrt.f64 (-.f64 (fma.f64 x (log.f64 y) (.f64 z (log1p.f64 (neg.f64 y)))) t)) (cbrt.f64 (-.f64 (fma.f64 x (log.f64 y) (.f64 z (log1p.f64 (neg.f64 y)))) t))) (cbrt.f64 (-.f64 (fma.f64 x (log.f64 y) (*.f64 z (log1p.f64 (neg.f64 y)))) t)))
✓	0.1b	(-.f64 (-.f64 (.f64 (log.f64 y) x) (.f64 z (+.f64 (.f64 1/2 (.f64 y y)) (+.f64 y (*.f64 1/3 (pow.f64 y 3)))))) t)
	15.5b	(-.f64 (-.f64 (.f64 (.f64 (log.f64 y) (cbrt.f64 (.f64 x x))) (cbrt.f64 x)) (.f64 z (+.f64 (.f64 1/2 (.f64 y y)) (+.f64 y (*.f64 1/3 (pow.f64 y 3)))))) t)
	0.8b	(-.f64 (-.f64 (.f64 (.f64 (log.f64 y) (.f64 (cbrt.f64 x) (cbrt.f64 x))) (.f64 (.f64 (cbrt.f64 (cbrt.f64 x)) (cbrt.f64 (cbrt.f64 x))) (cbrt.f64 (cbrt.f64 x)))) (.f64 z (+.f64 (.f64 1/2 (.f64 y y)) (+.f64 y (*.f64 1/3 (pow.f64 y 3)))))) t)
	23.6b	(-.f64 (-.f64 (cbrt.f64 (.f64 (.f64 (.f64 (log.f64 y) (log.f64 y)) (log.f64 y)) (.f64 (.f64 x x) x))) (.f64 z (+.f64 (.f64 1/2 (.f64 y y)) (+.f64 y (*.f64 1/3 (pow.f64 y 3)))))) t)
	0.7b	(-.f64 (-.f64 (.f64 (.f64 (log.f64 y) (.f64 (cbrt.f64 x) (.f64 (cbrt.f64 (.f64 (cbrt.f64 x) (cbrt.f64 x))) (cbrt.f64 (cbrt.f64 x))))) (cbrt.f64 x)) (.f64 z (+.f64 (.f64 1/2 (.f64 y y)) (+.f64 y (*.f64 1/3 (pow.f64 y 3)))))) t)
▶	0.5b	(-.f64 (-.f64 (.f64 (cbrt.f64 x) (.f64 (log.f64 y) (.f64 (cbrt.f64 x) (cbrt.f64 x)))) (.f64 z (+.f64 (.f64 1/2 (.f64 y y)) (+.f64 y (*.f64 1/3 (pow.f64 y 3)))))) t)
	31.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.5b	(-.f64 (-.f64 (.f64 (log.f64 y) (.f64 (.f64 (cbrt.f64 x) (cbrt.f64 x)) (cbrt.f64 x))) (.f64 z (+.f64 (.f64 1/2 (.f64 y y)) (+.f64 y (*.f64 1/3 (pow.f64 y 3)))))) t)
	31.4b	(-.f64 (-.f64 (.f64 (.f64 (log.f64 y) (sqrt.f64 x)) (sqrt.f64 x)) (.f64 z (+.f64 (.f64 1/2 (.f64 y y)) (+.f64 y (.f64 1/3 (pow.f64 y 3)))))) t)

Compiler

Compiled 7135 to 3407 computations (52.2% saved)

localize19.0ms (0.2%)

Local error

Found 4 expressions with local error:

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

series266.0ms (2.6%)

Counts

1 → 24

Calls

1 calls:

266.0ms

(*.f64 (cbrt.f64 x) (*.f64 (log.f64 y) (*.f64 (cbrt.f64 x) (cbrt.f64 x))))

rewrite9.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

10×	`add-exp-log_binary64`
10×	`pow1_binary64`
6×	`associate-l_binary64`
6×	`cbrt-unprod_binary64`
6×	`prod-exp_binary64`

Counts

1 → 26

Calls

1 calls:

7.0ms

(*.f64 (cbrt.f64 x) (*.f64 (log.f64 y) (*.f64 (cbrt.f64 x) (cbrt.f64 x))))

simplify65.0ms (0.6%)

Algorithm

1×	egg-herbie

Rules

512×	`fma-neg_binary64`
475×	`associate-l_binary64`
454×	`div-sub_binary64`
448×	`unsub-neg_binary64`
316×	`unswap-sqr_binary64`

Counts

50 → 40

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	59	736
1	138	396
2	367	392
3	782	392
4	2160	384
5	3792	384
6	5122	384

prune353.0ms (3.5%)

Pruning

12 alts after pruning (10 fresh and 2 done)

	Pruned	Kept	Total
New	190	0	190
Fresh	0	10	10
Picked	0	1	1
Done	0	1	1
Total	190	12	202

Error

0.0b

Counts

202 → 12

Alt Table

Status	Error	Program
	0.9b	(-.f64 (-.f64 (.f64 (.f64 (log.f64 y) (.f64 (.f64 (.f64 (cbrt.f64 (cbrt.f64 x)) (cbrt.f64 (cbrt.f64 x))) (.f64 (cbrt.f64 (cbrt.f64 x)) (cbrt.f64 (cbrt.f64 x)))) (.f64 (cbrt.f64 (cbrt.f64 x)) (cbrt.f64 (cbrt.f64 x))))) (cbrt.f64 x)) (.f64 z (+.f64 (.f64 1/2 (.f64 y y)) (+.f64 y (*.f64 1/3 (pow.f64 y 3)))))) t)
	0.7b	(-.f64 (-.f64 (.f64 (.f64 (log.f64 y) (.f64 (cbrt.f64 x) (cbrt.f64 x))) (.f64 (cbrt.f64 (.f64 (cbrt.f64 x) (cbrt.f64 x))) (cbrt.f64 (cbrt.f64 x)))) (.f64 z (+.f64 (.f64 1/2 (.f64 y y)) (+.f64 y (*.f64 1/3 (pow.f64 y 3)))))) t)
	1.3b	(.f64 (.f64 (cbrt.f64 (-.f64 (fma.f64 x (log.f64 y) (.f64 z (log1p.f64 (neg.f64 y)))) t)) (cbrt.f64 (-.f64 (fma.f64 x (log.f64 y) (.f64 z (log1p.f64 (neg.f64 y)))) t))) (cbrt.f64 (-.f64 (fma.f64 x (log.f64 y) (*.f64 z (log1p.f64 (neg.f64 y)))) t)))
✓	0.1b	(-.f64 (-.f64 (.f64 (log.f64 y) x) (.f64 z (+.f64 (.f64 1/2 (.f64 y y)) (+.f64 y (*.f64 1/3 (pow.f64 y 3)))))) t)
	15.5b	(-.f64 (-.f64 (.f64 (.f64 (log.f64 y) (cbrt.f64 (.f64 x x))) (cbrt.f64 x)) (.f64 z (+.f64 (.f64 1/2 (.f64 y y)) (+.f64 y (*.f64 1/3 (pow.f64 y 3)))))) t)
	0.8b	(-.f64 (-.f64 (.f64 (.f64 (log.f64 y) (.f64 (cbrt.f64 x) (cbrt.f64 x))) (.f64 (.f64 (cbrt.f64 (cbrt.f64 x)) (cbrt.f64 (cbrt.f64 x))) (cbrt.f64 (cbrt.f64 x)))) (.f64 z (+.f64 (.f64 1/2 (.f64 y y)) (+.f64 y (*.f64 1/3 (pow.f64 y 3)))))) t)
	23.6b	(-.f64 (-.f64 (cbrt.f64 (.f64 (.f64 (.f64 (log.f64 y) (log.f64 y)) (log.f64 y)) (.f64 (.f64 x x) x))) (.f64 z (+.f64 (.f64 1/2 (.f64 y y)) (+.f64 y (*.f64 1/3 (pow.f64 y 3)))))) t)
	0.7b	(-.f64 (-.f64 (.f64 (.f64 (log.f64 y) (.f64 (cbrt.f64 x) (.f64 (cbrt.f64 (.f64 (cbrt.f64 x) (cbrt.f64 x))) (cbrt.f64 (cbrt.f64 x))))) (cbrt.f64 x)) (.f64 z (+.f64 (.f64 1/2 (.f64 y y)) (+.f64 y (*.f64 1/3 (pow.f64 y 3)))))) t)
✓	0.5b	(-.f64 (-.f64 (.f64 (cbrt.f64 x) (.f64 (log.f64 y) (.f64 (cbrt.f64 x) (cbrt.f64 x)))) (.f64 z (+.f64 (.f64 1/2 (.f64 y y)) (+.f64 y (*.f64 1/3 (pow.f64 y 3)))))) t)
	31.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.5b	(-.f64 (-.f64 (.f64 (log.f64 y) (.f64 (.f64 (cbrt.f64 x) (cbrt.f64 x)) (cbrt.f64 x))) (.f64 z (+.f64 (.f64 1/2 (.f64 y y)) (+.f64 y (*.f64 1/3 (pow.f64 y 3)))))) t)
	31.4b	(-.f64 (-.f64 (.f64 (.f64 (log.f64 y) (sqrt.f64 x)) (sqrt.f64 x)) (.f64 z (+.f64 (.f64 1/2 (.f64 y y)) (+.f64 y (.f64 1/3 (pow.f64 y 3)))))) t)

Compiler

Compiled 6738 to 3170 computations (53% saved)

regimes1.3s (13.3%)

Accuracy

Total 0.2b remaining (82.8%)

Threshold costs 0.2b (82.8%)

Counts

171 → 1

Compiler

Compiled 28442 to 18261 computations (35.8% saved)

simplify3.0ms (0%)

Algorithm

1×	egg-herbie

Rules

5×	`+-commutative_binary64`
5×	`*-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	18	31
1	26	31
2	34	31
3	38	31
4	40	31
5	40	31

end257.0ms (2.5%)

Compiler: Compiled 485 to 281 computations (42.1% saved)

Details

analyze833.0ms (8.2%)

sample2.7s (26.4%)

simplify57.0ms (0.6%)

prune3.0ms (0%)

localize10.0ms (0.1%)

series677.0ms (6.7%)

rewrite10.0ms (0.1%)

simplify157.0ms (1.5%)

prune132.0ms (1.3%)

localize15.0ms (0.2%)

series1.2s (11.9%)

rewrite20.0ms (0.2%)

simplify117.0ms (1.2%)

prune193.0ms (1.9%)

localize19.0ms (0.2%)

series1.2s (11.8%)

rewrite23.0ms (0.2%)

simplify132.0ms (1.3%)

prune327.0ms (3.2%)

localize19.0ms (0.2%)

series266.0ms (2.6%)

rewrite9.0ms (0.1%)

simplify65.0ms (0.6%)

prune353.0ms (3.5%)

regimes1.3s (13.3%)

simplify3.0ms (0%)

end257.0ms (2.5%)

Profiling