Details

analyze292.0ms (1.6%)

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
25%	74.9%	0.2%	5
25%	74.9%	0.2%	6
25%	49.9%	25.1%	7
25%	49.9%	25.1%	8
25%	31.2%	43.9%	9
25%	31.2%	43.9%	10
25%	21.8%	53.2%	11
25%	21.8%	53.2%	12
25%	14%	61%	13
25%	14%	61%	14

Compiler

Compiled 16 to 11 computations (31.3% saved)

sample1.7s (9.2%)

Infinites

0.4% of outputs are infinite.

Results

969.0ms	8253×	body	128	valid
531.0ms	4624×	body	128	invalid
1.0ms	2×	body	512	valid
0.0ms	1×	body	1024	valid

Compiler

Compiled 47 to 32 computations (31.9% saved)

simplify184.0ms (1%)

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.1b	(fma.f64 x (log.f64 y) (log.f64 t))

series872.0ms (4.7%)

Counts

2 → 84

Calls

2 calls:

489.0ms	(fma.f64 x (log.f64 y) (log.f64 t))
383.0ms	(-.f64 (fma.f64 x (log.f64 y) (log.f64 t)) (+.f64 y z))

rewrite8.0ms (0%)

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:

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

simplify118.0ms (0.6%)

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

prune54.0ms (0.3%)

Pruning

5 alts after pruning (4 fresh and 1 done)

	Pruned	Kept	Total
New	87	4	91
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	87	5	92

Error

0.1b

Counts

92 → 5

Alt Table

Status	Error	Program
	48.7b	(/.f64 (-.f64 (pow.f64 (sqrt.f64 (fma.f64 (log.f64 y) x (log.f64 t))) 4) (pow.f64 (cbrt.f64 (+.f64 y z)) 6)) (+.f64 (fma.f64 (log.f64 y) x (log.f64 t)) (+.f64 y z)))
▶	1.3b	(.f64 (.f64 (cbrt.f64 (-.f64 (fma.f64 x (log.f64 y) (log.f64 t)) (+.f64 y z))) (cbrt.f64 (-.f64 (fma.f64 x (log.f64 y) (log.f64 t)) (+.f64 y z)))) (cbrt.f64 (-.f64 (fma.f64 x (log.f64 y) (log.f64 t)) (+.f64 y z))))
	33.9b	(-.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))
	19.6b	(-.f64 (cbrt.f64 (pow.f64 (fma.f64 (log.f64 y) x (log.f64 t)) 3)) (+.f64 y z))
✓	0.1b	(-.f64 (fma.f64 x (log.f64 y) (log.f64 t)) (+.f64 y z))

Compiler

Compiled 1919 to 433 computations (77.4% saved)

localize15.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
	0.1b	(fma.f64 x (log.f64 y) (log.f64 t))
✓	0.3b	(.f64 (.f64 (cbrt.f64 (-.f64 (fma.f64 x (log.f64 y) (log.f64 t)) (+.f64 y z))) (cbrt.f64 (-.f64 (fma.f64 x (log.f64 y) (log.f64 t)) (+.f64 y z)))) (cbrt.f64 (-.f64 (fma.f64 x (log.f64 y) (log.f64 t)) (+.f64 y z))))
✓	0.5b	(*.f64 (cbrt.f64 (-.f64 (fma.f64 x (log.f64 y) (log.f64 t)) (+.f64 y z))) (cbrt.f64 (-.f64 (fma.f64 x (log.f64 y) (log.f64 t)) (+.f64 y z))))
✓	0.7b	(cbrt.f64 (-.f64 (fma.f64 x (log.f64 y) (log.f64 t)) (+.f64 y z)))

series3.4s (18.1%)

Counts

3 → 144

Calls

3 calls:

1.6s

(*.f64 (cbrt.f64 (-.f64 (fma.f64 x (log.f64 y) (log.f64 t)) (+.f64 y z))) (cbrt.f64 (-.f64 (fma.f64 x (log.f64 y) (log.f64 t)) (+.f64 y z))))

1.1s

(cbrt.f64 (-.f64 (fma.f64 x (log.f64 y) (log.f64 t)) (+.f64 y z)))

668.0ms

(*.f64 (*.f64 (cbrt.f64 (-.f64 (fma.f64 x (log.f64 y) (log.f64 t)) (+.f64 y z))) (cbrt.f64 (-.f64 (fma.f64 x (log.f64 y) (log.f64 t)) (+.f64 y z)))) (cbrt.f64 (-.f64 (fma.f64 x (log.f64 y) (log.f64 t)) (+.f64 y z))))

rewrite126.0ms (0.7%)

Algorithm

1×	rewrite-expression-head

Rules

68×	`*-un-lft-identity_binary64`
68×	`cbrt-div_binary64`
53×	`cbrt-prod_binary64`
36×	`add-sqr-sqrt_binary64`
34×	`flip--_binary64`

Counts

3 → 150

Calls

3 calls:

35.0ms

(*.f64 (*.f64 (cbrt.f64 (-.f64 (fma.f64 x (log.f64 y) (log.f64 t)) (+.f64 y z))) (cbrt.f64 (-.f64 (fma.f64 x (log.f64 y) (log.f64 t)) (+.f64 y z)))) (cbrt.f64 (-.f64 (fma.f64 x (log.f64 y) (log.f64 t)) (+.f64 y z))))

25.0ms

(*.f64 (cbrt.f64 (-.f64 (fma.f64 x (log.f64 y) (log.f64 t)) (+.f64 y z))) (cbrt.f64 (-.f64 (fma.f64 x (log.f64 y) (log.f64 t)) (+.f64 y z))))

9.0ms

(cbrt.f64 (-.f64 (fma.f64 x (log.f64 y) (log.f64 t)) (+.f64 y z)))

simplify551.0ms (3%)

Algorithm

1×	egg-herbie

Rules

555×	`associate-r_binary64`
483×	`fma-def_binary64`
432×	`associate-+r+_binary64`
126×	`associate-*r/_binary64`
122×	`associate-/l*_binary64`

Counts

294 → 337

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	1921	28420
1	5662	28420

prune1.6s (8.6%)

Pruning

11 alts after pruning (10 fresh and 1 done)

	Pruned	Kept	Total
New	596	9	605
Fresh	2	1	3
Picked	1	0	1
Done	0	1	1
Total	599	11	610

Error

0.0b

Counts

610 → 11

Alt Table

Status	Error	Program
	1.5b	(.f64 (.f64 (cbrt.f64 (.f64 (.f64 (cbrt.f64 (-.f64 (fma.f64 x (log.f64 y) (log.f64 t)) (+.f64 y z))) (cbrt.f64 (-.f64 (fma.f64 x (log.f64 y) (log.f64 t)) (+.f64 y z)))) (cbrt.f64 (-.f64 (fma.f64 x (log.f64 y) (log.f64 t)) (+.f64 y z))))) (cbrt.f64 (.f64 (.f64 (cbrt.f64 (-.f64 (fma.f64 x (log.f64 y) (log.f64 t)) (+.f64 y z))) (cbrt.f64 (-.f64 (fma.f64 x (log.f64 y) (log.f64 t)) (+.f64 y z)))) (cbrt.f64 (-.f64 (fma.f64 x (log.f64 y) (log.f64 t)) (+.f64 y z)))))) (cbrt.f64 (.f64 (.f64 (cbrt.f64 (-.f64 (fma.f64 x (log.f64 y) (log.f64 t)) (+.f64 y z))) (cbrt.f64 (-.f64 (fma.f64 x (log.f64 y) (log.f64 t)) (+.f64 y z)))) (cbrt.f64 (-.f64 (fma.f64 x (log.f64 y) (log.f64 t)) (+.f64 y z))))))
	1.6b	(.f64 (.f64 (.f64 (cbrt.f64 (.f64 (cbrt.f64 (-.f64 (fma.f64 x (log.f64 y) (log.f64 t)) (+.f64 y z))) (cbrt.f64 (-.f64 (fma.f64 x (log.f64 y) (log.f64 t)) (+.f64 y z))))) (cbrt.f64 (.f64 (cbrt.f64 (-.f64 (fma.f64 x (log.f64 y) (log.f64 t)) (+.f64 y z))) (cbrt.f64 (-.f64 (fma.f64 x (log.f64 y) (log.f64 t)) (+.f64 y z)))))) (cbrt.f64 (.f64 (cbrt.f64 (-.f64 (fma.f64 x (log.f64 y) (log.f64 t)) (+.f64 y z))) (cbrt.f64 (-.f64 (fma.f64 x (log.f64 y) (log.f64 t)) (+.f64 y z)))))) (cbrt.f64 (-.f64 (fma.f64 x (log.f64 y) (log.f64 t)) (+.f64 y z))))
	1.3b	(pow.f64 (cbrt.f64 (-.f64 (fma.f64 x (log.f64 y) (log.f64 t)) (+.f64 y z))) 3)
	37.8b	(*.f64 (cbrt.f64 (pow.f64 (-.f64 (fma.f64 (log.f64 y) x (log.f64 t)) z) 2)) (cbrt.f64 (-.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))
	1.4b	(.f64 (.f64 (.f64 (cbrt.f64 (-.f64 (fma.f64 x (log.f64 y) (log.f64 t)) (+.f64 y z))) (cbrt.f64 (-.f64 (fma.f64 x (log.f64 y) (log.f64 t)) (+.f64 y z)))) (cbrt.f64 (.f64 (cbrt.f64 (-.f64 (fma.f64 x (log.f64 y) (log.f64 t)) (+.f64 y z))) (cbrt.f64 (-.f64 (fma.f64 x (log.f64 y) (log.f64 t)) (+.f64 y z)))))) (cbrt.f64 (cbrt.f64 (-.f64 (fma.f64 x (log.f64 y) (log.f64 t)) (+.f64 y z)))))
	45.4b	(/.f64 (.f64 (cbrt.f64 (-.f64 (pow.f64 (fma.f64 x (log.f64 y) (log.f64 t)) 3) (pow.f64 (+.f64 y z) 3))) (.f64 (cbrt.f64 (-.f64 (.f64 (fma.f64 x (log.f64 y) (log.f64 t)) (fma.f64 x (log.f64 y) (log.f64 t))) (.f64 (+.f64 y z) (+.f64 y z)))) (cbrt.f64 (-.f64 (.f64 (fma.f64 x (log.f64 y) (log.f64 t)) (fma.f64 x (log.f64 y) (log.f64 t))) (.f64 (+.f64 y z) (+.f64 y z)))))) (.f64 (cbrt.f64 (fma.f64 (fma.f64 x (log.f64 y) (log.f64 t)) (fma.f64 x (log.f64 y) (log.f64 t)) (.f64 (+.f64 y z) (+.f64 (+.f64 y z) (fma.f64 x (log.f64 y) (log.f64 t)))))) (*.f64 (cbrt.f64 (+.f64 (fma.f64 x (log.f64 y) (log.f64 t)) (+.f64 y z))) (cbrt.f64 (+.f64 (fma.f64 x (log.f64 y) (log.f64 t)) (+.f64 y z))))))
▶	1.3b	(.f64 (.f64 (cbrt.f64 (-.f64 (fma.f64 x (log.f64 y) (log.f64 t)) (+.f64 y z))) (cbrt.f64 (-.f64 (fma.f64 x (log.f64 y) (log.f64 t)) (+.f64 y z)))) (cbrt.f64 (.f64 (.f64 (cbrt.f64 (-.f64 (fma.f64 x (log.f64 y) (log.f64 t)) (+.f64 y z))) (cbrt.f64 (-.f64 (fma.f64 x (log.f64 y) (log.f64 t)) (+.f64 y z)))) (cbrt.f64 (-.f64 (fma.f64 x (log.f64 y) (log.f64 t)) (+.f64 y z))))))
	1.7b	(.f64 (.f64 (.f64 (cbrt.f64 (-.f64 (fma.f64 x (log.f64 y) (log.f64 t)) (+.f64 y z))) (.f64 (cbrt.f64 (cbrt.f64 (-.f64 (fma.f64 x (log.f64 y) (log.f64 t)) (+.f64 y z)))) (cbrt.f64 (cbrt.f64 (-.f64 (fma.f64 x (log.f64 y) (log.f64 t)) (+.f64 y z)))))) (cbrt.f64 (cbrt.f64 (-.f64 (fma.f64 x (log.f64 y) (log.f64 t)) (+.f64 y z))))) (cbrt.f64 (-.f64 (fma.f64 x (log.f64 y) (log.f64 t)) (+.f64 y z))))
	19.6b	(-.f64 (cbrt.f64 (pow.f64 (fma.f64 (log.f64 y) x (log.f64 t)) 3)) (+.f64 y z))
	39.9b	(.f64 (.f64 (cbrt.f64 (-.f64 (fma.f64 x (log.f64 y) (log.f64 t)) (+.f64 y z))) (cbrt.f64 (-.f64 (fma.f64 x (log.f64 y) (log.f64 t)) (+.f64 y z)))) (*.f64 (cbrt.f64 (sqrt.f64 (-.f64 (fma.f64 x (log.f64 y) (log.f64 t)) (+.f64 y z)))) (cbrt.f64 (sqrt.f64 (-.f64 (fma.f64 x (log.f64 y) (log.f64 t)) (+.f64 y z))))))

Compiler

Compiled 70869 to 31641 computations (55.4% saved)

localize14.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.3b	(.f64 (.f64 (cbrt.f64 (-.f64 (fma.f64 x (log.f64 y) (log.f64 t)) (+.f64 y z))) (cbrt.f64 (-.f64 (fma.f64 x (log.f64 y) (log.f64 t)) (+.f64 y z)))) (cbrt.f64 (.f64 (.f64 (cbrt.f64 (-.f64 (fma.f64 x (log.f64 y) (log.f64 t)) (+.f64 y z))) (cbrt.f64 (-.f64 (fma.f64 x (log.f64 y) (log.f64 t)) (+.f64 y z)))) (cbrt.f64 (-.f64 (fma.f64 x (log.f64 y) (log.f64 t)) (+.f64 y z))))))
	0.5b	(*.f64 (cbrt.f64 (-.f64 (fma.f64 x (log.f64 y) (log.f64 t)) (+.f64 y z))) (cbrt.f64 (-.f64 (fma.f64 x (log.f64 y) (log.f64 t)) (+.f64 y z))))
✓	0.7b	(cbrt.f64 (.f64 (.f64 (cbrt.f64 (-.f64 (fma.f64 x (log.f64 y) (log.f64 t)) (+.f64 y z))) (cbrt.f64 (-.f64 (fma.f64 x (log.f64 y) (log.f64 t)) (+.f64 y z)))) (cbrt.f64 (-.f64 (fma.f64 x (log.f64 y) (log.f64 t)) (+.f64 y z)))))
	0.7b	(cbrt.f64 (-.f64 (fma.f64 x (log.f64 y) (log.f64 t)) (+.f64 y z)))

series1.5s (8%)

Counts

2 → 96

Calls

2 calls:

1.1s

(cbrt.f64 (*.f64 (*.f64 (cbrt.f64 (-.f64 (fma.f64 x (log.f64 y) (log.f64 t)) (+.f64 y z))) (cbrt.f64 (-.f64 (fma.f64 x (log.f64 y) (log.f64 t)) (+.f64 y z)))) (cbrt.f64 (-.f64 (fma.f64 x (log.f64 y) (log.f64 t)) (+.f64 y z)))))

411.0ms

(*.f64 (*.f64 (cbrt.f64 (-.f64 (fma.f64 x (log.f64 y) (log.f64 t)) (+.f64 y z))) (cbrt.f64 (-.f64 (fma.f64 x (log.f64 y) (log.f64 t)) (+.f64 y z)))) (cbrt.f64 (*.f64 (*.f64 (cbrt.f64 (-.f64 (fma.f64 x (log.f64 y) (log.f64 t)) (+.f64 y z))) (cbrt.f64 (-.f64 (fma.f64 x (log.f64 y) (log.f64 t)) (+.f64 y z)))) (cbrt.f64 (-.f64 (fma.f64 x (log.f64 y) (log.f64 t)) (+.f64 y z))))))

rewrite434.0ms (2.3%)

Algorithm

1×	rewrite-expression-head

Rules

1124×	`cbrt-div_binary64`
596×	`frac-times_binary64`
432×	`flip--_binary64`
432×	`flip3--_binary64`
202×	`associate-*l/_binary64`

Counts

2 → 303

Calls

2 calls:

27.0ms

(*.f64 (*.f64 (cbrt.f64 (-.f64 (fma.f64 x (log.f64 y) (log.f64 t)) (+.f64 y z))) (cbrt.f64 (-.f64 (fma.f64 x (log.f64 y) (log.f64 t)) (+.f64 y z)))) (cbrt.f64 (*.f64 (*.f64 (cbrt.f64 (-.f64 (fma.f64 x (log.f64 y) (log.f64 t)) (+.f64 y z))) (cbrt.f64 (-.f64 (fma.f64 x (log.f64 y) (log.f64 t)) (+.f64 y z)))) (cbrt.f64 (-.f64 (fma.f64 x (log.f64 y) (log.f64 t)) (+.f64 y z))))))

20.0ms

(cbrt.f64 (*.f64 (*.f64 (cbrt.f64 (-.f64 (fma.f64 x (log.f64 y) (log.f64 t)) (+.f64 y z))) (cbrt.f64 (-.f64 (fma.f64 x (log.f64 y) (log.f64 t)) (+.f64 y z)))) (cbrt.f64 (-.f64 (fma.f64 x (log.f64 y) (log.f64 t)) (+.f64 y z)))))

simplify989.0ms (5.3%)

Algorithm

1×	egg-herbie

Rules

756×	`*-commutative_binary64`
584×	`associate-/l*_binary64`
345×	`associate-l_binary64`
230×	`associate-r_binary64`
223×	`+-commutative_binary64`

Counts

399 → 490

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	1330	67039
1	3529	64407
2	5523	64407

prune2.4s (12.7%)

Pruning

11 alts after pruning (9 fresh and 2 done)

	Pruned	Kept	Total
New	1214	1	1215
Fresh	1	8	9
Picked	0	1	1
Done	0	1	1
Total	1215	11	1226

Error

0.0b

Counts

1226 → 11

Alt Table

Status	Error	Program
	1.5b	(.f64 (.f64 (cbrt.f64 (.f64 (.f64 (cbrt.f64 (-.f64 (fma.f64 x (log.f64 y) (log.f64 t)) (+.f64 y z))) (cbrt.f64 (-.f64 (fma.f64 x (log.f64 y) (log.f64 t)) (+.f64 y z)))) (cbrt.f64 (-.f64 (fma.f64 x (log.f64 y) (log.f64 t)) (+.f64 y z))))) (cbrt.f64 (.f64 (.f64 (cbrt.f64 (-.f64 (fma.f64 x (log.f64 y) (log.f64 t)) (+.f64 y z))) (cbrt.f64 (-.f64 (fma.f64 x (log.f64 y) (log.f64 t)) (+.f64 y z)))) (cbrt.f64 (-.f64 (fma.f64 x (log.f64 y) (log.f64 t)) (+.f64 y z)))))) (cbrt.f64 (.f64 (.f64 (cbrt.f64 (-.f64 (fma.f64 x (log.f64 y) (log.f64 t)) (+.f64 y z))) (cbrt.f64 (-.f64 (fma.f64 x (log.f64 y) (log.f64 t)) (+.f64 y z)))) (cbrt.f64 (-.f64 (fma.f64 x (log.f64 y) (log.f64 t)) (+.f64 y z))))))
	1.6b	(.f64 (.f64 (.f64 (cbrt.f64 (.f64 (cbrt.f64 (-.f64 (fma.f64 x (log.f64 y) (log.f64 t)) (+.f64 y z))) (cbrt.f64 (-.f64 (fma.f64 x (log.f64 y) (log.f64 t)) (+.f64 y z))))) (cbrt.f64 (.f64 (cbrt.f64 (-.f64 (fma.f64 x (log.f64 y) (log.f64 t)) (+.f64 y z))) (cbrt.f64 (-.f64 (fma.f64 x (log.f64 y) (log.f64 t)) (+.f64 y z)))))) (cbrt.f64 (.f64 (cbrt.f64 (-.f64 (fma.f64 x (log.f64 y) (log.f64 t)) (+.f64 y z))) (cbrt.f64 (-.f64 (fma.f64 x (log.f64 y) (log.f64 t)) (+.f64 y z)))))) (cbrt.f64 (-.f64 (fma.f64 x (log.f64 y) (log.f64 t)) (+.f64 y z))))
▶	1.3b	(pow.f64 (cbrt.f64 (-.f64 (fma.f64 x (log.f64 y) (log.f64 t)) (+.f64 y z))) 3)
	37.8b	(*.f64 (cbrt.f64 (pow.f64 (-.f64 (fma.f64 (log.f64 y) x (log.f64 t)) z) 2)) (cbrt.f64 (-.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))
	1.4b	(.f64 (.f64 (.f64 (cbrt.f64 (-.f64 (fma.f64 x (log.f64 y) (log.f64 t)) (+.f64 y z))) (cbrt.f64 (-.f64 (fma.f64 x (log.f64 y) (log.f64 t)) (+.f64 y z)))) (cbrt.f64 (.f64 (cbrt.f64 (-.f64 (fma.f64 x (log.f64 y) (log.f64 t)) (+.f64 y z))) (cbrt.f64 (-.f64 (fma.f64 x (log.f64 y) (log.f64 t)) (+.f64 y z)))))) (cbrt.f64 (cbrt.f64 (-.f64 (fma.f64 x (log.f64 y) (log.f64 t)) (+.f64 y z)))))
	1.7b	(.f64 (.f64 (.f64 (cbrt.f64 (-.f64 (fma.f64 x (log.f64 y) (log.f64 t)) (+.f64 y z))) (.f64 (cbrt.f64 (cbrt.f64 (-.f64 (fma.f64 x (log.f64 y) (log.f64 t)) (+.f64 y z)))) (cbrt.f64 (cbrt.f64 (-.f64 (fma.f64 x (log.f64 y) (log.f64 t)) (+.f64 y z)))))) (cbrt.f64 (cbrt.f64 (-.f64 (fma.f64 x (log.f64 y) (log.f64 t)) (+.f64 y z))))) (cbrt.f64 (-.f64 (fma.f64 x (log.f64 y) (log.f64 t)) (+.f64 y z))))
	34.2b	(/.f64 (.f64 (.f64 (cbrt.f64 (-.f64 (.f64 (fma.f64 x (log.f64 y) (log.f64 t)) (fma.f64 x (log.f64 y) (log.f64 t))) (.f64 (+.f64 y z) (+.f64 y z)))) (cbrt.f64 (-.f64 (fma.f64 x (log.f64 y) (log.f64 t)) (+.f64 y z)))) (cbrt.f64 (.f64 (.f64 (cbrt.f64 (-.f64 (.f64 (fma.f64 x (log.f64 y) (log.f64 t)) (fma.f64 x (log.f64 y) (log.f64 t))) (.f64 (+.f64 y z) (+.f64 y z)))) (cbrt.f64 (-.f64 (fma.f64 x (log.f64 y) (log.f64 t)) (+.f64 y z)))) (cbrt.f64 (-.f64 (fma.f64 x (log.f64 y) (log.f64 t)) (+.f64 y z)))))) (*.f64 (cbrt.f64 (+.f64 (fma.f64 x (log.f64 y) (log.f64 t)) (+.f64 y z))) (cbrt.f64 (cbrt.f64 (+.f64 (fma.f64 x (log.f64 y) (log.f64 t)) (+.f64 y z))))))
	19.6b	(-.f64 (cbrt.f64 (pow.f64 (fma.f64 (log.f64 y) x (log.f64 t)) 3)) (+.f64 y z))
	39.9b	(.f64 (.f64 (cbrt.f64 (-.f64 (fma.f64 x (log.f64 y) (log.f64 t)) (+.f64 y z))) (cbrt.f64 (-.f64 (fma.f64 x (log.f64 y) (log.f64 t)) (+.f64 y z)))) (*.f64 (cbrt.f64 (sqrt.f64 (-.f64 (fma.f64 x (log.f64 y) (log.f64 t)) (+.f64 y z)))) (cbrt.f64 (sqrt.f64 (-.f64 (fma.f64 x (log.f64 y) (log.f64 t)) (+.f64 y z))))))
✓	1.3b	(.f64 (.f64 (cbrt.f64 (-.f64 (fma.f64 x (log.f64 y) (log.f64 t)) (+.f64 y z))) (cbrt.f64 (-.f64 (fma.f64 x (log.f64 y) (log.f64 t)) (+.f64 y z)))) (cbrt.f64 (.f64 (.f64 (cbrt.f64 (-.f64 (fma.f64 x (log.f64 y) (log.f64 t)) (+.f64 y z))) (cbrt.f64 (-.f64 (fma.f64 x (log.f64 y) (log.f64 t)) (+.f64 y z)))) (cbrt.f64 (-.f64 (fma.f64 x (log.f64 y) (log.f64 t)) (+.f64 y z))))))

Compiler

Compiled 192943 to 66444 computations (65.6% saved)

localize13.0ms (0.1%)

Local error

Found 4 expressions with local error:

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

series2.5s (13.2%)

Counts

1 → 48

Calls

1 calls:

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

rewrite8.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

16×	`*-un-lft-identity_binary64`
12×	`cbrt-prod_binary64`
10×	`add-sqr-sqrt_binary64`
9×	`cube-prod_binary64`
9×	`unpow-prod-down_binary64`

Counts

1 → 40

Calls

1 calls:

5.0ms

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

simplify156.0ms (0.8%)

Algorithm

1×	egg-herbie

Rules

254×	`associate-r_binary64`
222×	`fma-def_binary64`
215×	`associate-/l*_binary64`
206×	`associate-+r+_binary64`
199×	`+-commutative_binary64`

Counts

88 → 95

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	371	4269
1	1024	3839
2	4286	3777
3	4944	3777
4	4978	3777
5	4998	3777

prune317.0ms (1.7%)

Pruning

11 alts after pruning (8 fresh and 3 done)

	Pruned	Kept	Total
New	281	0	281
Fresh	0	8	8
Picked	0	1	1
Done	0	2	2
Total	281	11	292

Error

0.0b

Counts

292 → 11

Alt Table

Status	Error	Program
	1.5b	(.f64 (.f64 (cbrt.f64 (.f64 (.f64 (cbrt.f64 (-.f64 (fma.f64 x (log.f64 y) (log.f64 t)) (+.f64 y z))) (cbrt.f64 (-.f64 (fma.f64 x (log.f64 y) (log.f64 t)) (+.f64 y z)))) (cbrt.f64 (-.f64 (fma.f64 x (log.f64 y) (log.f64 t)) (+.f64 y z))))) (cbrt.f64 (.f64 (.f64 (cbrt.f64 (-.f64 (fma.f64 x (log.f64 y) (log.f64 t)) (+.f64 y z))) (cbrt.f64 (-.f64 (fma.f64 x (log.f64 y) (log.f64 t)) (+.f64 y z)))) (cbrt.f64 (-.f64 (fma.f64 x (log.f64 y) (log.f64 t)) (+.f64 y z)))))) (cbrt.f64 (.f64 (.f64 (cbrt.f64 (-.f64 (fma.f64 x (log.f64 y) (log.f64 t)) (+.f64 y z))) (cbrt.f64 (-.f64 (fma.f64 x (log.f64 y) (log.f64 t)) (+.f64 y z)))) (cbrt.f64 (-.f64 (fma.f64 x (log.f64 y) (log.f64 t)) (+.f64 y z))))))
	1.6b	(.f64 (.f64 (.f64 (cbrt.f64 (.f64 (cbrt.f64 (-.f64 (fma.f64 x (log.f64 y) (log.f64 t)) (+.f64 y z))) (cbrt.f64 (-.f64 (fma.f64 x (log.f64 y) (log.f64 t)) (+.f64 y z))))) (cbrt.f64 (.f64 (cbrt.f64 (-.f64 (fma.f64 x (log.f64 y) (log.f64 t)) (+.f64 y z))) (cbrt.f64 (-.f64 (fma.f64 x (log.f64 y) (log.f64 t)) (+.f64 y z)))))) (cbrt.f64 (.f64 (cbrt.f64 (-.f64 (fma.f64 x (log.f64 y) (log.f64 t)) (+.f64 y z))) (cbrt.f64 (-.f64 (fma.f64 x (log.f64 y) (log.f64 t)) (+.f64 y z)))))) (cbrt.f64 (-.f64 (fma.f64 x (log.f64 y) (log.f64 t)) (+.f64 y z))))
✓	1.3b	(pow.f64 (cbrt.f64 (-.f64 (fma.f64 x (log.f64 y) (log.f64 t)) (+.f64 y z))) 3)
	37.8b	(*.f64 (cbrt.f64 (pow.f64 (-.f64 (fma.f64 (log.f64 y) x (log.f64 t)) z) 2)) (cbrt.f64 (-.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))
	1.4b	(.f64 (.f64 (.f64 (cbrt.f64 (-.f64 (fma.f64 x (log.f64 y) (log.f64 t)) (+.f64 y z))) (cbrt.f64 (-.f64 (fma.f64 x (log.f64 y) (log.f64 t)) (+.f64 y z)))) (cbrt.f64 (.f64 (cbrt.f64 (-.f64 (fma.f64 x (log.f64 y) (log.f64 t)) (+.f64 y z))) (cbrt.f64 (-.f64 (fma.f64 x (log.f64 y) (log.f64 t)) (+.f64 y z)))))) (cbrt.f64 (cbrt.f64 (-.f64 (fma.f64 x (log.f64 y) (log.f64 t)) (+.f64 y z)))))
	1.7b	(.f64 (.f64 (.f64 (cbrt.f64 (-.f64 (fma.f64 x (log.f64 y) (log.f64 t)) (+.f64 y z))) (.f64 (cbrt.f64 (cbrt.f64 (-.f64 (fma.f64 x (log.f64 y) (log.f64 t)) (+.f64 y z)))) (cbrt.f64 (cbrt.f64 (-.f64 (fma.f64 x (log.f64 y) (log.f64 t)) (+.f64 y z)))))) (cbrt.f64 (cbrt.f64 (-.f64 (fma.f64 x (log.f64 y) (log.f64 t)) (+.f64 y z))))) (cbrt.f64 (-.f64 (fma.f64 x (log.f64 y) (log.f64 t)) (+.f64 y z))))
	34.2b	(/.f64 (.f64 (.f64 (cbrt.f64 (-.f64 (.f64 (fma.f64 x (log.f64 y) (log.f64 t)) (fma.f64 x (log.f64 y) (log.f64 t))) (.f64 (+.f64 y z) (+.f64 y z)))) (cbrt.f64 (-.f64 (fma.f64 x (log.f64 y) (log.f64 t)) (+.f64 y z)))) (cbrt.f64 (.f64 (.f64 (cbrt.f64 (-.f64 (.f64 (fma.f64 x (log.f64 y) (log.f64 t)) (fma.f64 x (log.f64 y) (log.f64 t))) (.f64 (+.f64 y z) (+.f64 y z)))) (cbrt.f64 (-.f64 (fma.f64 x (log.f64 y) (log.f64 t)) (+.f64 y z)))) (cbrt.f64 (-.f64 (fma.f64 x (log.f64 y) (log.f64 t)) (+.f64 y z)))))) (*.f64 (cbrt.f64 (+.f64 (fma.f64 x (log.f64 y) (log.f64 t)) (+.f64 y z))) (cbrt.f64 (cbrt.f64 (+.f64 (fma.f64 x (log.f64 y) (log.f64 t)) (+.f64 y z))))))
	19.6b	(-.f64 (cbrt.f64 (pow.f64 (fma.f64 (log.f64 y) x (log.f64 t)) 3)) (+.f64 y z))
	39.9b	(.f64 (.f64 (cbrt.f64 (-.f64 (fma.f64 x (log.f64 y) (log.f64 t)) (+.f64 y z))) (cbrt.f64 (-.f64 (fma.f64 x (log.f64 y) (log.f64 t)) (+.f64 y z)))) (*.f64 (cbrt.f64 (sqrt.f64 (-.f64 (fma.f64 x (log.f64 y) (log.f64 t)) (+.f64 y z)))) (cbrt.f64 (sqrt.f64 (-.f64 (fma.f64 x (log.f64 y) (log.f64 t)) (+.f64 y z))))))
✓	1.3b	(.f64 (.f64 (cbrt.f64 (-.f64 (fma.f64 x (log.f64 y) (log.f64 t)) (+.f64 y z))) (cbrt.f64 (-.f64 (fma.f64 x (log.f64 y) (log.f64 t)) (+.f64 y z)))) (cbrt.f64 (.f64 (.f64 (cbrt.f64 (-.f64 (fma.f64 x (log.f64 y) (log.f64 t)) (+.f64 y z))) (cbrt.f64 (-.f64 (fma.f64 x (log.f64 y) (log.f64 t)) (+.f64 y z)))) (cbrt.f64 (-.f64 (fma.f64 x (log.f64 y) (log.f64 t)) (+.f64 y z))))))

Compiler

Compiled 18024 to 9782 computations (45.7% saved)

regimes1.3s (6.9%)

Accuracy

Total 0.0b remaining (51.9%)

Threshold costs 0.0b (51.9%)

Counts

147 → 1

Compiler

Compiled 51097 to 18184 computations (64.4% saved)

simplify3.0ms (0%)

Algorithm

1×	egg-herbie

Rules

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

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	11	17
1	18	17
2	23	17
3	26	17
4	27	17
5	27	17

end153.0ms (0.8%)

Compiler: Compiled 668 to 181 computations (72.9% saved)

Details

analyze292.0ms (1.6%)

sample1.7s (9.2%)

simplify184.0ms (1%)

prune3.0ms (0%)

localize10.0ms (0.1%)

series872.0ms (4.7%)

rewrite8.0ms (0%)

simplify118.0ms (0.6%)

prune54.0ms (0.3%)

localize15.0ms (0.1%)

series3.4s (18.1%)

rewrite126.0ms (0.7%)

simplify551.0ms (3%)

prune1.6s (8.6%)

localize14.0ms (0.1%)

series1.5s (8%)

rewrite434.0ms (2.3%)

simplify989.0ms (5.3%)

prune2.4s (12.7%)

localize13.0ms (0.1%)

series2.5s (13.2%)

rewrite8.0ms (0%)

simplify156.0ms (0.8%)

prune317.0ms (1.7%)

regimes1.3s (6.9%)

simplify3.0ms (0%)

end153.0ms (0.8%)

Profiling