Details

analyze319.0ms (2.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%	74.9%	25.1%	3
0%	74.9%	25.1%	4
0%	49.9%	50.1%	5
0%	43.7%	56.3%	6
0%	34.3%	65.7%	7
3.1%	31.2%	65.7%	8
3.5%	27.7%	68.8%	9
5.3%	24.4%	70.4%	10
7.5%	19.8%	72.7%	11
11.1%	16.2%	72.7%	12
11.3%	15.3%	73.5%	13
13.2%	13%	73.9%	14

Compiler

Compiled 16 to 11 computations (31.3% saved)

sample213.0ms (1.5%)

Algorithm

1×

intervals

Results

18.0ms	256×	body	128	valid
1.0ms	12×	body	128	nan
0.0ms	1×	body	128	invalid

Compiler

Compiled 35 to 25 computations (28.6% saved)

simplify180.0ms (1.3%)

Algorithm

1×	egg-herbie

Rules

2537×	`fma-neg_binary64`
490×	`associate--r-_binary64`
460×	`associate--l-_binary64`
401×	`distribute-rgt-in_binary64`
373×	`unsub-neg_binary64`

Counts

1 → 2

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	11	17
1	22	17
2	59	17
3	145	15
4	313	15
5	593	15
6	714	15
7	958	15
8	1168	15
9	1549	15
10	2712	15
11	2613	15
12	2654	15
13	2663	15
14	2669	15
15	2671	15
16	2759	15
17	2777	15
18	2785	15
19	2807	15
20	2793	15
21	2793	15
22	5107	15

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) (log.f64 t)) (+.f64 y z))

Compiler

Compiled 53 to 31 computations (41.5% saved)

localize10.0ms (0.1%)

Local error

Found 2 expressions with local error:

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

series841.0ms (6%)

Counts

2 → 84

Calls

2 calls:

465.0ms	(fma.f64 x (log.f64 y) (log.f64 t))
376.0ms	(-.f64 (fma.f64 x (log.f64 y) (log.f64 t)) (+.f64 y z))

rewrite9.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

24×	`*-un-lft-identity_binary64`
13×	`add-sqr-sqrt_binary64`
12×	`prod-diff_binary64`
11×	`add-cube-cbrt_binary64`
7×	`add-log-exp_binary64`

Counts

2 → 48

Calls

2 calls:

6.0ms	(-.f64 (fma.f64 x (log.f64 y) (log.f64 t)) (+.f64 y z))
0.0ms	(fma.f64 x (log.f64 y) (log.f64 t))

simplify106.0ms (0.8%)

Algorithm

1×	egg-herbie

Rules

593×	`fma-def_binary64`
414×	`associate-l_binary64`
385×	`distribute-rgt-in_binary64`
360×	`distribute-lft-in_binary64`
333×	`associate-r_binary64`

Counts

132 → 91

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	115	1952
1	260	1860
2	897	1769
3	4368	1769
4	4817	1762
5	4996	1762

prune51.0ms (0.4%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	88	3	91
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	88	4	92

Error

0.1b

Counts

92 → 4

Alt Table

Status	Error	Program
	33.0b	(-.f64 (*.f64 (sqrt.f64 (fma.f64 x (log.f64 y) (log.f64 t))) (sqrt.f64 (fma.f64 x (log.f64 y) (log.f64 t)))) (+.f64 y z))
▶	0.5b	(-.f64 (.f64 (.f64 (cbrt.f64 (fma.f64 x (log.f64 y) (log.f64 t))) (cbrt.f64 (fma.f64 x (log.f64 y) (log.f64 t)))) (cbrt.f64 (fma.f64 x (log.f64 y) (log.f64 t)))) (+.f64 y z))
	33.9b	(-.f64 (expm1.f64 (log1p.f64 (fma.f64 x (log.f64 y) (log.f64 t)))) (+.f64 y z))
✓	0.1b	(-.f64 (fma.f64 x (log.f64 y) (log.f64 t)) (+.f64 y z))

Compiler

Compiled 1839 to 397 computations (78.4% saved)

localize14.0ms (0.1%)

Local error

Found 4 expressions with local error:

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

series3.0s (21.6%)

Counts

3 → 108

Calls

3 calls:

1.4s

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

1.2s

(cbrt.f64 (fma.f64 x (log.f64 y) (log.f64 t)))

473.0ms

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

rewrite19.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:

8.0ms

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

4.0ms

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

1.0ms

(cbrt.f64 (fma.f64 x (log.f64 y) (log.f64 t)))

simplify170.0ms (1.2%)

Algorithm

1×	egg-herbie

Rules

859×	`fma-def_binary64`
335×	`unswap-sqr_binary64`
268×	`cancel-sign-sub-inv_binary64`
197×	`associate-r_binary64`
170×	`associate-l_binary64`

Counts

201 → 202

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	241	4636
1	699	4142
2	2371	3941
3	4344	3706
4	4910	3706
5	5008	3706

prune445.0ms (3.2%)

Pruning

12 alts after pruning (11 fresh and 1 done)

	Pruned	Kept	Total
New	377	9	386
Fresh	0	2	2
Picked	1	0	1
Done	0	1	1
Total	378	12	390

Error

0.0b

Counts

390 → 12

Alt Table

Status	Error	Program
	22.8b	(-.f64 (.f64 (cbrt.f64 (.f64 (pow.f64 (log.f64 y) 2) (pow.f64 (/.f64 -1 x) -2))) (cbrt.f64 (fma.f64 x (log.f64 y) (log.f64 t)))) (+.f64 y z))
✓	0.1b	(-.f64 (fma.f64 x (log.f64 y) (log.f64 t)) (+.f64 y z))
	0.6b	(-.f64 (.f64 (.f64 (.f64 (cbrt.f64 (.f64 (cbrt.f64 (fma.f64 x (log.f64 y) (log.f64 t))) (cbrt.f64 (fma.f64 x (log.f64 y) (log.f64 t))))) (cbrt.f64 (.f64 (cbrt.f64 (fma.f64 x (log.f64 y) (log.f64 t))) (cbrt.f64 (fma.f64 x (log.f64 y) (log.f64 t)))))) (cbrt.f64 (.f64 (cbrt.f64 (fma.f64 x (log.f64 y) (log.f64 t))) (cbrt.f64 (fma.f64 x (log.f64 y) (log.f64 t)))))) (cbrt.f64 (fma.f64 x (log.f64 y) (log.f64 t)))) (+.f64 y z))
	33.0b	(-.f64 (*.f64 (sqrt.f64 (fma.f64 x (log.f64 y) (log.f64 t))) (sqrt.f64 (fma.f64 x (log.f64 y) (log.f64 t)))) (+.f64 y z))
	33.9b	(-.f64 (expm1.f64 (log1p.f64 (fma.f64 x (log.f64 y) (log.f64 t)))) (+.f64 y z))
	0.7b	(-.f64 (.f64 (.f64 (cbrt.f64 (fma.f64 x (log.f64 y) (log.f64 t))) (cbrt.f64 (fma.f64 x (log.f64 y) (log.f64 t)))) (.f64 (.f64 (cbrt.f64 (cbrt.f64 (fma.f64 x (log.f64 y) (log.f64 t)))) (cbrt.f64 (cbrt.f64 (fma.f64 x (log.f64 y) (log.f64 t))))) (cbrt.f64 (cbrt.f64 (fma.f64 x (log.f64 y) (log.f64 t)))))) (+.f64 y z))
	33.2b	(-.f64 (.f64 (.f64 (*.f64 (cbrt.f64 (fma.f64 x (log.f64 y) (log.f64 t))) (cbrt.f64 (fma.f64 x (log.f64 y) (log.f64 t)))) (cbrt.f64 (sqrt.f64 (fma.f64 x (log.f64 y) (log.f64 t))))) (cbrt.f64 (sqrt.f64 (fma.f64 x (log.f64 y) (log.f64 t))))) (+.f64 y z))
	0.6b	(-.f64 (.f64 (.f64 (cbrt.f64 (.f64 (.f64 (cbrt.f64 (fma.f64 x (log.f64 y) (log.f64 t))) (cbrt.f64 (fma.f64 x (log.f64 y) (log.f64 t)))) (cbrt.f64 (fma.f64 x (log.f64 y) (log.f64 t))))) (cbrt.f64 (.f64 (.f64 (cbrt.f64 (fma.f64 x (log.f64 y) (log.f64 t))) (cbrt.f64 (fma.f64 x (log.f64 y) (log.f64 t)))) (cbrt.f64 (fma.f64 x (log.f64 y) (log.f64 t)))))) (cbrt.f64 (.f64 (.f64 (cbrt.f64 (fma.f64 x (log.f64 y) (log.f64 t))) (cbrt.f64 (fma.f64 x (log.f64 y) (log.f64 t)))) (cbrt.f64 (fma.f64 x (log.f64 y) (log.f64 t)))))) (+.f64 y z))
▶	0.5b	(-.f64 (pow.f64 (cbrt.f64 (fma.f64 x (log.f64 y) (log.f64 t))) 3) (+.f64 y z))
	0.8b	(-.f64 (.f64 (.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (fma.f64 (log.f64 y) x (log.f64 t)))) 5) (cbrt.f64 (cbrt.f64 (fma.f64 x (log.f64 y) (log.f64 t))))) (cbrt.f64 (fma.f64 x (log.f64 y) (log.f64 t)))) (+.f64 y z))
	0.7b	(-.f64 (.f64 (.f64 (cbrt.f64 (*.f64 (cbrt.f64 (fma.f64 x (log.f64 y) (log.f64 t))) (cbrt.f64 (fma.f64 x (log.f64 y) (log.f64 t))))) (pow.f64 (cbrt.f64 (cbrt.f64 (fma.f64 (log.f64 y) x (log.f64 t)))) 4)) (cbrt.f64 (fma.f64 x (log.f64 y) (log.f64 t)))) (+.f64 y z))
	0.6b	(-.f64 (.f64 (.f64 (cbrt.f64 (.f64 (cbrt.f64 (fma.f64 x (log.f64 y) (log.f64 t))) (cbrt.f64 (fma.f64 x (log.f64 y) (log.f64 t))))) (.f64 (cbrt.f64 (cbrt.f64 (fma.f64 x (log.f64 y) (log.f64 t)))) (cbrt.f64 (fma.f64 x (log.f64 y) (log.f64 t))))) (cbrt.f64 (fma.f64 x (log.f64 y) (log.f64 t)))) (+.f64 y z))

Compiler

Compiled 15505 to 4152 computations (73.2% saved)

localize13.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.0b	(-.f64 (pow.f64 (cbrt.f64 (fma.f64 x (log.f64 y) (log.f64 t))) 3) (+.f64 y z))
	0.2b	(fma.f64 x (log.f64 y) (log.f64 t))
	0.6b	(cbrt.f64 (fma.f64 x (log.f64 y) (log.f64 t)))
✓	0.7b	(pow.f64 (cbrt.f64 (fma.f64 x (log.f64 y) (log.f64 t))) 3)

series2.4s (17.3%)

Counts

2 → 84

Calls

2 calls:

2.0s	(pow.f64 (cbrt.f64 (fma.f64 x (log.f64 y) (log.f64 t))) 3)
386.0ms	(-.f64 (pow.f64 (cbrt.f64 (fma.f64 x (log.f64 y) (log.f64 t))) 3) (+.f64 y z))

rewrite32.0ms (0.2%)

Algorithm

1×	rewrite-expression-head

Rules

94×	`*-un-lft-identity_binary64`
72×	`prod-diff_binary64`
62×	`add-sqr-sqrt_binary64`
51×	`add-cube-cbrt_binary64`
38×	`cube-prod_binary64`

Counts

2 → 149

Calls

2 calls:

11.0ms	(-.f64 (pow.f64 (cbrt.f64 (fma.f64 x (log.f64 y) (log.f64 t))) 3) (+.f64 y z))
2.0ms	(pow.f64 (cbrt.f64 (fma.f64 x (log.f64 y) (log.f64 t))) 3)

simplify176.0ms (1.3%)

Algorithm

1×	egg-herbie

Rules

611×	`fma-neg_binary64`
431×	`distribute-rgt-in_binary64`
404×	`distribute-lft-in_binary64`
270×	`unswap-sqr_binary64`
225×	`times-frac_binary64`

Counts

233 → 169

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	193	4562
1	401	4072
2	1431	3612
3	4723	3612
4	4969	3612

prune507.0ms (3.6%)

Pruning

12 alts after pruning (10 fresh and 2 done)

	Pruned	Kept	Total
New	246	2	248
Fresh	2	8	10
Picked	0	1	1
Done	0	1	1
Total	248	12	260

Error

0.0b

Counts

260 → 12

Alt Table

Status	Error	Program
	0.6b	(-.f64 (.f64 (.f64 (.f64 (cbrt.f64 (.f64 (cbrt.f64 (fma.f64 x (log.f64 y) (log.f64 t))) (cbrt.f64 (fma.f64 x (log.f64 y) (log.f64 t))))) (cbrt.f64 (.f64 (cbrt.f64 (fma.f64 x (log.f64 y) (log.f64 t))) (cbrt.f64 (fma.f64 x (log.f64 y) (log.f64 t)))))) (cbrt.f64 (.f64 (cbrt.f64 (fma.f64 x (log.f64 y) (log.f64 t))) (cbrt.f64 (fma.f64 x (log.f64 y) (log.f64 t)))))) (cbrt.f64 (fma.f64 x (log.f64 y) (log.f64 t)))) (+.f64 y z))
	0.6b	(-.f64 (.f64 (.f64 (cbrt.f64 (pow.f64 (cbrt.f64 (fma.f64 x (log.f64 y) (log.f64 t))) 3)) (cbrt.f64 (pow.f64 (cbrt.f64 (fma.f64 x (log.f64 y) (log.f64 t))) 3))) (cbrt.f64 (pow.f64 (cbrt.f64 (fma.f64 x (log.f64 y) (log.f64 t))) 3))) (+.f64 y z))
	22.8b	(-.f64 (.f64 (cbrt.f64 (.f64 (pow.f64 (log.f64 y) 2) (pow.f64 (/.f64 -1 x) -2))) (cbrt.f64 (fma.f64 x (log.f64 y) (log.f64 t)))) (+.f64 y z))
✓	0.1b	(-.f64 (fma.f64 x (log.f64 y) (log.f64 t)) (+.f64 y z))
	33.0b	(-.f64 (*.f64 (sqrt.f64 (fma.f64 x (log.f64 y) (log.f64 t))) (sqrt.f64 (fma.f64 x (log.f64 y) (log.f64 t)))) (+.f64 y z))
	1.0b	(fma.f64 (pow.f64 (*.f64 (cbrt.f64 (cbrt.f64 (fma.f64 x (log.f64 y) (log.f64 t)))) (cbrt.f64 (cbrt.f64 (fma.f64 x (log.f64 y) (log.f64 t))))) 3) (pow.f64 (cbrt.f64 (cbrt.f64 (fma.f64 x (log.f64 y) (log.f64 t)))) 3) (neg.f64 (+.f64 y z)))
	33.9b	(-.f64 (expm1.f64 (log1p.f64 (fma.f64 x (log.f64 y) (log.f64 t)))) (+.f64 y z))
	0.7b	(-.f64 (.f64 (.f64 (cbrt.f64 (fma.f64 x (log.f64 y) (log.f64 t))) (cbrt.f64 (fma.f64 x (log.f64 y) (log.f64 t)))) (.f64 (.f64 (cbrt.f64 (cbrt.f64 (fma.f64 x (log.f64 y) (log.f64 t)))) (cbrt.f64 (cbrt.f64 (fma.f64 x (log.f64 y) (log.f64 t))))) (cbrt.f64 (cbrt.f64 (fma.f64 x (log.f64 y) (log.f64 t)))))) (+.f64 y z))
	33.2b	(-.f64 (.f64 (.f64 (*.f64 (cbrt.f64 (fma.f64 x (log.f64 y) (log.f64 t))) (cbrt.f64 (fma.f64 x (log.f64 y) (log.f64 t)))) (cbrt.f64 (sqrt.f64 (fma.f64 x (log.f64 y) (log.f64 t))))) (cbrt.f64 (sqrt.f64 (fma.f64 x (log.f64 y) (log.f64 t))))) (+.f64 y z))
✓	0.5b	(-.f64 (pow.f64 (cbrt.f64 (fma.f64 x (log.f64 y) (log.f64 t))) 3) (+.f64 y z))
	0.7b	(-.f64 (.f64 (.f64 (cbrt.f64 (*.f64 (cbrt.f64 (fma.f64 x (log.f64 y) (log.f64 t))) (cbrt.f64 (fma.f64 x (log.f64 y) (log.f64 t))))) (pow.f64 (cbrt.f64 (cbrt.f64 (fma.f64 (log.f64 y) x (log.f64 t)))) 4)) (cbrt.f64 (fma.f64 x (log.f64 y) (log.f64 t)))) (+.f64 y z))
▶	0.6b	(-.f64 (.f64 (.f64 (cbrt.f64 (.f64 (cbrt.f64 (fma.f64 x (log.f64 y) (log.f64 t))) (cbrt.f64 (fma.f64 x (log.f64 y) (log.f64 t))))) (.f64 (cbrt.f64 (cbrt.f64 (fma.f64 x (log.f64 y) (log.f64 t)))) (cbrt.f64 (fma.f64 x (log.f64 y) (log.f64 t))))) (cbrt.f64 (fma.f64 x (log.f64 y) (log.f64 t)))) (+.f64 y z))

Compiler

Compiled 7432 to 2342 computations (68.5% saved)

localize18.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
	0.5b	(*.f64 (cbrt.f64 (fma.f64 x (log.f64 y) (log.f64 t))) (cbrt.f64 (fma.f64 x (log.f64 y) (log.f64 t))))
✓	0.5b	(cbrt.f64 (cbrt.f64 (fma.f64 x (log.f64 y) (log.f64 t))))
✓	0.5b	(cbrt.f64 (*.f64 (cbrt.f64 (fma.f64 x (log.f64 y) (log.f64 t))) (cbrt.f64 (fma.f64 x (log.f64 y) (log.f64 t)))))
	0.6b	(cbrt.f64 (fma.f64 x (log.f64 y) (log.f64 t)))

series2.8s (19.8%)

Counts

2 → 72

Calls

2 calls:

1.5s	(cbrt.f64 (*.f64 (cbrt.f64 (fma.f64 x (log.f64 y) (log.f64 t))) (cbrt.f64 (fma.f64 x (log.f64 y) (log.f64 t)))))
1.2s	(cbrt.f64 (cbrt.f64 (fma.f64 x (log.f64 y) (log.f64 t))))

rewrite4.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

10×	`cbrt-prod_binary64`
4×	`*-un-lft-identity_binary64`
4×	`add-sqr-sqrt_binary64`
4×	`add-cube-cbrt_binary64`
2×	`add-cbrt-cube_binary64`

Counts

2 → 27

Calls

2 calls:

2.0ms	(cbrt.f64 (*.f64 (cbrt.f64 (fma.f64 x (log.f64 y) (log.f64 t))) (cbrt.f64 (fma.f64 x (log.f64 y) (log.f64 t)))))
1.0ms	(cbrt.f64 (cbrt.f64 (fma.f64 x (log.f64 y) (log.f64 t))))

simplify109.0ms (0.8%)

Algorithm

1×	egg-herbie

Rules

601×	`fma-def_binary64`
302×	`cancel-sign-sub-inv_binary64`
256×	`associate-/r/_binary64`
256×	`fma-neg_binary64`
157×	`unswap-sqr_binary64`

Counts

99 → 106

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	228	3100
1	658	2994
2	2185	2860
3	4912	2860
4	4982	2860

prune765.0ms (5.4%)

Pruning

12 alts after pruning (9 fresh and 3 done)

	Pruned	Kept	Total
New	464	0	464
Fresh	0	9	9
Picked	0	1	1
Done	0	2	2
Total	464	12	476

Error

0.0b

Counts

476 → 12

Alt Table

Status	Error	Program
	0.6b	(-.f64 (.f64 (.f64 (.f64 (cbrt.f64 (.f64 (cbrt.f64 (fma.f64 x (log.f64 y) (log.f64 t))) (cbrt.f64 (fma.f64 x (log.f64 y) (log.f64 t))))) (cbrt.f64 (.f64 (cbrt.f64 (fma.f64 x (log.f64 y) (log.f64 t))) (cbrt.f64 (fma.f64 x (log.f64 y) (log.f64 t)))))) (cbrt.f64 (.f64 (cbrt.f64 (fma.f64 x (log.f64 y) (log.f64 t))) (cbrt.f64 (fma.f64 x (log.f64 y) (log.f64 t)))))) (cbrt.f64 (fma.f64 x (log.f64 y) (log.f64 t)))) (+.f64 y z))
	0.6b	(-.f64 (.f64 (.f64 (cbrt.f64 (pow.f64 (cbrt.f64 (fma.f64 x (log.f64 y) (log.f64 t))) 3)) (cbrt.f64 (pow.f64 (cbrt.f64 (fma.f64 x (log.f64 y) (log.f64 t))) 3))) (cbrt.f64 (pow.f64 (cbrt.f64 (fma.f64 x (log.f64 y) (log.f64 t))) 3))) (+.f64 y z))
	22.8b	(-.f64 (.f64 (cbrt.f64 (.f64 (pow.f64 (log.f64 y) 2) (pow.f64 (/.f64 -1 x) -2))) (cbrt.f64 (fma.f64 x (log.f64 y) (log.f64 t)))) (+.f64 y z))
✓	0.1b	(-.f64 (fma.f64 x (log.f64 y) (log.f64 t)) (+.f64 y z))
	33.0b	(-.f64 (*.f64 (sqrt.f64 (fma.f64 x (log.f64 y) (log.f64 t))) (sqrt.f64 (fma.f64 x (log.f64 y) (log.f64 t)))) (+.f64 y z))
	1.0b	(fma.f64 (pow.f64 (*.f64 (cbrt.f64 (cbrt.f64 (fma.f64 x (log.f64 y) (log.f64 t)))) (cbrt.f64 (cbrt.f64 (fma.f64 x (log.f64 y) (log.f64 t))))) 3) (pow.f64 (cbrt.f64 (cbrt.f64 (fma.f64 x (log.f64 y) (log.f64 t)))) 3) (neg.f64 (+.f64 y z)))
	33.9b	(-.f64 (expm1.f64 (log1p.f64 (fma.f64 x (log.f64 y) (log.f64 t)))) (+.f64 y z))
	0.7b	(-.f64 (.f64 (.f64 (cbrt.f64 (fma.f64 x (log.f64 y) (log.f64 t))) (cbrt.f64 (fma.f64 x (log.f64 y) (log.f64 t)))) (.f64 (.f64 (cbrt.f64 (cbrt.f64 (fma.f64 x (log.f64 y) (log.f64 t)))) (cbrt.f64 (cbrt.f64 (fma.f64 x (log.f64 y) (log.f64 t))))) (cbrt.f64 (cbrt.f64 (fma.f64 x (log.f64 y) (log.f64 t)))))) (+.f64 y z))
	33.2b	(-.f64 (.f64 (.f64 (*.f64 (cbrt.f64 (fma.f64 x (log.f64 y) (log.f64 t))) (cbrt.f64 (fma.f64 x (log.f64 y) (log.f64 t)))) (cbrt.f64 (sqrt.f64 (fma.f64 x (log.f64 y) (log.f64 t))))) (cbrt.f64 (sqrt.f64 (fma.f64 x (log.f64 y) (log.f64 t))))) (+.f64 y z))
✓	0.5b	(-.f64 (pow.f64 (cbrt.f64 (fma.f64 x (log.f64 y) (log.f64 t))) 3) (+.f64 y z))
	0.7b	(-.f64 (.f64 (.f64 (cbrt.f64 (*.f64 (cbrt.f64 (fma.f64 x (log.f64 y) (log.f64 t))) (cbrt.f64 (fma.f64 x (log.f64 y) (log.f64 t))))) (pow.f64 (cbrt.f64 (cbrt.f64 (fma.f64 (log.f64 y) x (log.f64 t)))) 4)) (cbrt.f64 (fma.f64 x (log.f64 y) (log.f64 t)))) (+.f64 y z))
✓	0.6b	(-.f64 (.f64 (.f64 (cbrt.f64 (.f64 (cbrt.f64 (fma.f64 x (log.f64 y) (log.f64 t))) (cbrt.f64 (fma.f64 x (log.f64 y) (log.f64 t))))) (.f64 (cbrt.f64 (cbrt.f64 (fma.f64 x (log.f64 y) (log.f64 t)))) (cbrt.f64 (fma.f64 x (log.f64 y) (log.f64 t))))) (cbrt.f64 (fma.f64 x (log.f64 y) (log.f64 t)))) (+.f64 y z))

Compiler

Compiled 29006 to 7290 computations (74.9% saved)

regimes649.0ms (4.6%)

Accuracy

Total 0.0b remaining (55.5%)

Threshold costs 0.0b (55.5%)

Counts

66 → 1

Compiler

Compiled 18726 to 7999 computations (57.3% saved)

simplify3.0ms (0%)

Algorithm

1×	egg-herbie

Rules

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

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	10	15
1	13	15
2	22	15
3	30	15
4	35	15
5	37	15
6	37	15

end0.0ms (0%)

Compiler: Compiled 14 to 9 computations (35.7% saved)

sample1.2s (8.2%)

Algorithm

1×

intervals

Results

615.0ms	7999×	body	128	valid
23.0ms	414×	body	128	nan
2.0ms	32×	body	128	invalid
0.0ms	1×	body	1024	valid

Compiler

Compiled 458 to 204 computations (55.5% saved)

Details

analyze319.0ms (2.3%)

sample213.0ms (1.5%)

simplify180.0ms (1.3%)

prune3.0ms (0%)

localize10.0ms (0.1%)

series841.0ms (6%)

rewrite9.0ms (0.1%)

simplify106.0ms (0.8%)

prune51.0ms (0.4%)

localize14.0ms (0.1%)

series3.0s (21.6%)

rewrite19.0ms (0.1%)

simplify170.0ms (1.2%)

prune445.0ms (3.2%)

localize13.0ms (0.1%)

series2.4s (17.3%)

rewrite32.0ms (0.2%)

simplify176.0ms (1.3%)

prune507.0ms (3.6%)

localize18.0ms (0.1%)

series2.8s (19.8%)

rewrite4.0ms (0%)

simplify109.0ms (0.8%)

prune765.0ms (5.4%)

regimes649.0ms (4.6%)

simplify3.0ms (0%)

end0.0ms (0%)

sample1.2s (8.2%)

Profiling