Details

analyze2.9s (7.7%)

Algorithm

1×

Search

True	Other	False	Iter
0%	99.6%	0.4%	0
0%	99.6%	0.4%	1
0%	99.6%	0.4%	2
0%	99.6%	0.4%	3
0%	99.6%	0.4%	4
0%	99.6%	0.4%	5
0%	99.6%	0.4%	6
0%	99.6%	0.4%	7
0%	99.6%	0.4%	8
0%	99.6%	0.4%	9
0%	99.6%	0.4%	10
0%	99.6%	0.4%	11
0%	99.6%	0.4%	12
0%	99.6%	0.4%	13
0%	99.6%	0.4%	14

Compiler

Compiled 39 to 24 computations (38.5% saved)

sample116.0ms (0.3%)

Algorithm

1×

intervals

Results

35.0ms	371×	body	128	invalid
29.0ms	256×	body	128	valid

Compiler

Compiled 86 to 56 computations (34.9% saved)

simplify324.0ms (0.9%)

Algorithm

1×	egg-herbie

Rules

800×	`unsub-neg_binary64`
655×	`sub-neg_binary64`
486×	`fma-neg_binary64`
421×	`distribute-neg-in_binary64`
393×	`+-commutative_binary64`

Counts

1 → 2

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	24	43
1	59	41
2	139	41
3	438	39
4	1302	39
5	2978	39
6	3433	39
7	3900	39
8	4058	39
9	3988	39
10	4033	39
11	4029	39
12	4393	39
13	4600	39
14	4665	39
15	4670	39
16	4670	39
17	4672	39
18	4674	39
19	4674	39
20	4934	39
21	4931	39

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

9.5b

Counts

3 → 1

Alt Table

Status	Error	Program
▶	9.5b	(fma.f64 b (-.f64 (.f64 t i) (.f64 z c)) (fma.f64 x (-.f64 (.f64 y z) (.f64 t a)) (.f64 j (-.f64 (.f64 a c) (*.f64 y i)))))

Compiler

Compiled 137 to 72 computations (47.4% saved)

localize20.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.0b	(-.f64 (.f64 t i) (.f64 z c))
✓	3.3b	(fma.f64 b (-.f64 (.f64 t i) (.f64 z c)) (fma.f64 x (-.f64 (.f64 y z) (.f64 t a)) (.f64 j (-.f64 (.f64 a c) (*.f64 y i)))))
✓	3.6b	(.f64 j (-.f64 (.f64 a c) (*.f64 y i)))
✓	3.8b	(fma.f64 x (-.f64 (.f64 y z) (.f64 t a)) (.f64 j (-.f64 (.f64 a c) (*.f64 y i))))

series186.0ms (0.5%)

Counts

4 → 312

Calls

4 calls:

99.0ms	(fma.f64 b (-.f64 (.f64 t i) (.f64 z c)) (fma.f64 x (-.f64 (.f64 y z) (.f64 t a)) (.f64 j (-.f64 (.f64 a c) (*.f64 y i)))))
58.0ms	(fma.f64 x (-.f64 (.f64 y z) (.f64 t a)) (.f64 j (-.f64 (.f64 a c) (*.f64 y i))))
20.0ms	(.f64 j (-.f64 (.f64 a c) (*.f64 y i)))
9.0ms	(-.f64 (.f64 t i) (.f64 z c))

rewrite15.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

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

Counts

4 → 64

Calls

4 calls:

6.0ms	(.f64 j (-.f64 (.f64 a c) (*.f64 y i)))
5.0ms	(-.f64 (.f64 t i) (.f64 z c))
0.0ms	(fma.f64 x (-.f64 (.f64 y z) (.f64 t a)) (.f64 j (-.f64 (.f64 a c) (*.f64 y i))))
0.0ms	(fma.f64 b (-.f64 (.f64 t i) (.f64 z c)) (fma.f64 x (-.f64 (.f64 y z) (.f64 t a)) (.f64 j (-.f64 (.f64 a c) (*.f64 y i)))))

simplify258.0ms (0.7%)

Algorithm

1×	egg-herbie

Rules

410×	`sub-neg_binary64`
377×	`cancel-sign-sub-inv_binary64`
359×	`exp-prod_binary64`
342×	`exp-sum_binary64`
340×	`*-commutative_binary64`

Counts

376 → 187

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	253	9518
1	635	8944
2	1913	8621
3	3839	8366
4	4472	8366
5	5050	8366

prune217.0ms (0.6%)

Pruning

12 alts after pruning (12 fresh and 0 done)

	Pruned	Kept	Total
New	175	12	187
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	176	12	188

Error

0.0b

Counts

188 → 12

Alt Table

Status	Error	Program
	47.5b	(cbrt.f64 (.f64 (.f64 (fma.f64 b (-.f64 (.f64 t i) (.f64 z c)) (fma.f64 x (-.f64 (.f64 y z) (.f64 t a)) (.f64 j (-.f64 (.f64 a c) (.f64 y i))))) (fma.f64 b (-.f64 (.f64 t i) (.f64 z c)) (fma.f64 x (-.f64 (.f64 y z) (.f64 t a)) (.f64 j (-.f64 (.f64 a c) (.f64 y i)))))) (fma.f64 b (-.f64 (.f64 t i) (.f64 z c)) (fma.f64 x (-.f64 (.f64 y z) (.f64 t a)) (.f64 j (-.f64 (.f64 a c) (*.f64 y i)))))))
	15.5b	(-.f64 (+.f64 (.f64 i (.f64 t b)) (+.f64 (.f64 c (.f64 a j)) (.f64 y (.f64 z x)))) (+.f64 (.f64 i (.f64 y j)) (+.f64 (.f64 a (.f64 t x)) (.f64 c (.f64 z b)))))
	38.1b	(fma.f64 b (-.f64 (.f64 t i) (.f64 z c)) (fma.f64 x (-.f64 (.f64 y z) (.f64 t a)) (.f64 (sqrt.f64 j) (.f64 (sqrt.f64 j) (-.f64 (.f64 a c) (.f64 y i))))))
▶	9.8b	(fma.f64 b (-.f64 (.f64 t i) (.f64 z c)) (fma.f64 x (-.f64 (.f64 y z) (.f64 t a)) (.f64 (.f64 (cbrt.f64 j) (cbrt.f64 j)) (.f64 (cbrt.f64 j) (-.f64 (.f64 a c) (*.f64 y i))))))
	24.0b	(fma.f64 b (-.f64 (.f64 t i) (.f64 z c)) (fma.f64 x (-.f64 (.f64 y z) (.f64 t a)) (/.f64 (.f64 j (.f64 (-.f64 (.f64 c a) (.f64 y i)) (fma.f64 c a (.f64 y i)))) (+.f64 (.f64 a c) (*.f64 y i)))))
	21.3b	(fma.f64 b (-.f64 (.f64 t i) (.f64 z c)) (fma.f64 c (.f64 a j) (.f64 y (-.f64 (.f64 z x) (.f64 j i)))))
	20.2b	(fma.f64 b (/.f64 (.f64 (-.f64 (.f64 i t) (.f64 c z)) (fma.f64 c z (.f64 i t))) (fma.f64 c z (.f64 i t))) (fma.f64 x (-.f64 (.f64 y z) (.f64 t a)) (.f64 j (-.f64 (.f64 a c) (.f64 y i)))))
	10.1b	(fma.f64 b (-.f64 (.f64 t i) (.f64 z c)) (.f64 (.f64 (cbrt.f64 (fma.f64 x (-.f64 (.f64 y z) (.f64 t a)) (.f64 j (-.f64 (.f64 a c) (.f64 y i))))) (cbrt.f64 (fma.f64 x (-.f64 (.f64 y z) (.f64 t a)) (.f64 j (-.f64 (.f64 a c) (.f64 y i)))))) (cbrt.f64 (fma.f64 x (-.f64 (.f64 y z) (.f64 t a)) (.f64 j (-.f64 (.f64 a c) (*.f64 y i)))))))
	27.8b	(+.f64 (.f64 x (-.f64 (.f64 y z) (.f64 a t))) (.f64 i (-.f64 (.f64 t b) (.f64 j y))))
	26.5b	(fma.f64 b (-.f64 (.f64 t i) (.f64 z c)) (.f64 a (-.f64 (.f64 c j) (*.f64 x t))))
	47.6b	(.f64 (-.f64 (.f64 y x) (*.f64 c b)) z)
	25.0b	(+.f64 (.f64 j (-.f64 (.f64 c a) (.f64 y i))) (.f64 t (-.f64 (.f64 i b) (.f64 a x))))

Compiler

Compiled 6669 to 1176 computations (82.4% saved)

localize30.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	1.7b	(.f64 (.f64 (cbrt.f64 j) (cbrt.f64 j)) (.f64 (cbrt.f64 j) (-.f64 (.f64 a c) (*.f64 y i))))
✓	2.3b	(.f64 (cbrt.f64 j) (-.f64 (.f64 a c) (*.f64 y i)))
✓	3.3b	(fma.f64 b (-.f64 (.f64 t i) (.f64 z c)) (fma.f64 x (-.f64 (.f64 y z) (.f64 t a)) (.f64 (.f64 (cbrt.f64 j) (cbrt.f64 j)) (.f64 (cbrt.f64 j) (-.f64 (.f64 a c) (*.f64 y i))))))
✓	3.8b	(fma.f64 x (-.f64 (.f64 y z) (.f64 t a)) (.f64 (.f64 (cbrt.f64 j) (cbrt.f64 j)) (.f64 (cbrt.f64 j) (-.f64 (.f64 a c) (*.f64 y i)))))

series495.0ms (1.3%)

Counts

4 → 324

Calls

4 calls:

271.0ms	(.f64 (cbrt.f64 j) (-.f64 (.f64 a c) (*.f64 y i)))
114.0ms	(fma.f64 b (-.f64 (.f64 t i) (.f64 z c)) (fma.f64 x (-.f64 (.f64 y z) (.f64 t a)) (.f64 (.f64 (cbrt.f64 j) (cbrt.f64 j)) (.f64 (cbrt.f64 j) (-.f64 (.f64 a c) (*.f64 y i))))))
75.0ms	(fma.f64 x (-.f64 (.f64 y z) (.f64 t a)) (.f64 (.f64 (cbrt.f64 j) (cbrt.f64 j)) (.f64 (cbrt.f64 j) (-.f64 (.f64 a c) (*.f64 y i)))))
34.0ms	(.f64 (.f64 (cbrt.f64 j) (cbrt.f64 j)) (.f64 (cbrt.f64 j) (-.f64 (.f64 a c) (*.f64 y i))))

rewrite25.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

18×	`add-exp-log_binary64`
18×	`pow1_binary64`
15×	`distribute-lft-in_binary64`
15×	`distribute-rgt-in_binary64`
11×	`add-sqr-sqrt_binary64`

Counts

4 → 90

Calls

4 calls:

11.0ms	(.f64 (.f64 (cbrt.f64 j) (cbrt.f64 j)) (.f64 (cbrt.f64 j) (-.f64 (.f64 a c) (*.f64 y i))))
7.0ms	(.f64 (cbrt.f64 j) (-.f64 (.f64 a c) (*.f64 y i)))
0.0ms	(fma.f64 b (-.f64 (.f64 t i) (.f64 z c)) (fma.f64 x (-.f64 (.f64 y z) (.f64 t a)) (.f64 (.f64 (cbrt.f64 j) (cbrt.f64 j)) (.f64 (cbrt.f64 j) (-.f64 (.f64 a c) (*.f64 y i))))))
0.0ms	(fma.f64 x (-.f64 (.f64 y z) (.f64 t a)) (.f64 (.f64 (cbrt.f64 j) (cbrt.f64 j)) (.f64 (cbrt.f64 j) (-.f64 (.f64 a c) (*.f64 y i)))))

simplify245.0ms (0.7%)

Algorithm

1×	egg-herbie

Rules

567×	`distribute-rgt-in_binary64`
558×	`fma-neg_binary64`
395×	`cancel-sign-sub-inv_binary64`
347×	`exp-prod_binary64`
340×	`associate-l_binary64`

Counts

414 → 231

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	289	10653
1	706	9938
2	2351	9899
3	4675	9899
4	5058	9899

prune222.0ms (0.6%)

Pruning

11 alts after pruning (10 fresh and 1 done)

	Pruned	Kept	Total
New	230	1	231
Fresh	2	9	11
Picked	0	1	1
Done	0	0	0
Total	232	11	243

Error

0.0b

Counts

243 → 11

Alt Table

Status	Error	Program
	38.1b	(fma.f64 b (-.f64 (.f64 t i) (.f64 z c)) (fma.f64 x (-.f64 (.f64 y z) (.f64 t a)) (.f64 (sqrt.f64 j) (.f64 (sqrt.f64 j) (-.f64 (.f64 a c) (.f64 y i))))))
✓	9.8b	(fma.f64 b (-.f64 (.f64 t i) (.f64 z c)) (fma.f64 x (-.f64 (.f64 y z) (.f64 t a)) (.f64 (.f64 (cbrt.f64 j) (cbrt.f64 j)) (.f64 (cbrt.f64 j) (-.f64 (.f64 a c) (*.f64 y i))))))
	24.0b	(fma.f64 b (-.f64 (.f64 t i) (.f64 z c)) (fma.f64 x (-.f64 (.f64 y z) (.f64 t a)) (/.f64 (.f64 j (.f64 (-.f64 (.f64 c a) (.f64 y i)) (fma.f64 c a (.f64 y i)))) (+.f64 (.f64 a c) (*.f64 y i)))))
	47.5b	(cbrt.f64 (.f64 (.f64 (fma.f64 b (-.f64 (.f64 t i) (.f64 z c)) (fma.f64 x (-.f64 (.f64 y z) (.f64 t a)) (.f64 j (-.f64 (.f64 a c) (.f64 y i))))) (fma.f64 b (-.f64 (.f64 t i) (.f64 z c)) (fma.f64 x (-.f64 (.f64 y z) (.f64 t a)) (.f64 j (-.f64 (.f64 a c) (.f64 y i)))))) (fma.f64 b (-.f64 (.f64 t i) (.f64 z c)) (fma.f64 x (-.f64 (.f64 y z) (.f64 t a)) (.f64 j (-.f64 (.f64 a c) (*.f64 y i)))))))
	14.0b	(fma.f64 i (.f64 t b) (-.f64 (fma.f64 c (.f64 a j) (.f64 y (-.f64 (.f64 z x) (.f64 j i)))) (fma.f64 c (.f64 z b) (.f64 a (.f64 x t)))))
	20.2b	(fma.f64 b (/.f64 (.f64 (-.f64 (.f64 i t) (.f64 c z)) (fma.f64 c z (.f64 i t))) (fma.f64 c z (.f64 i t))) (fma.f64 x (-.f64 (.f64 y z) (.f64 t a)) (.f64 j (-.f64 (.f64 a c) (.f64 y i)))))
▶	10.1b	(fma.f64 b (-.f64 (.f64 t i) (.f64 z c)) (.f64 (.f64 (cbrt.f64 (fma.f64 x (-.f64 (.f64 y z) (.f64 t a)) (.f64 j (-.f64 (.f64 a c) (.f64 y i))))) (cbrt.f64 (fma.f64 x (-.f64 (.f64 y z) (.f64 t a)) (.f64 j (-.f64 (.f64 a c) (.f64 y i)))))) (cbrt.f64 (fma.f64 x (-.f64 (.f64 y z) (.f64 t a)) (.f64 j (-.f64 (.f64 a c) (*.f64 y i)))))))
	27.8b	(+.f64 (.f64 x (-.f64 (.f64 y z) (.f64 a t))) (.f64 i (-.f64 (.f64 t b) (.f64 j y))))
	26.5b	(fma.f64 b (-.f64 (.f64 t i) (.f64 z c)) (.f64 a (-.f64 (.f64 c j) (*.f64 x t))))
	47.6b	(.f64 (-.f64 (.f64 y x) (*.f64 c b)) z)
	25.0b	(+.f64 (.f64 j (-.f64 (.f64 c a) (.f64 y i))) (.f64 t (-.f64 (.f64 i b) (.f64 a x))))

Compiler

Compiled 8946 to 1416 computations (84.2% saved)

localize23.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	1.5b	(cbrt.f64 (fma.f64 x (-.f64 (.f64 y z) (.f64 t a)) (.f64 j (-.f64 (.f64 a c) (*.f64 y i)))))
✓	3.3b	(fma.f64 b (-.f64 (.f64 t i) (.f64 z c)) (.f64 (.f64 (cbrt.f64 (fma.f64 x (-.f64 (.f64 y z) (.f64 t a)) (.f64 j (-.f64 (.f64 a c) (.f64 y i))))) (cbrt.f64 (fma.f64 x (-.f64 (.f64 y z) (.f64 t a)) (.f64 j (-.f64 (.f64 a c) (.f64 y i)))))) (cbrt.f64 (fma.f64 x (-.f64 (.f64 y z) (.f64 t a)) (.f64 j (-.f64 (.f64 a c) (*.f64 y i)))))))
	3.6b	(.f64 j (-.f64 (.f64 a c) (*.f64 y i)))
	3.8b	(fma.f64 x (-.f64 (.f64 y z) (.f64 t a)) (.f64 j (-.f64 (.f64 a c) (*.f64 y i))))

series1.4s (3.8%)

Counts

2 → 204

Calls

2 calls:

1.3s

(cbrt.f64 (fma.f64 x (-.f64 (*.f64 y z) (*.f64 t a)) (*.f64 j (-.f64 (*.f64 a c) (*.f64 y i)))))

106.0ms

(fma.f64 b (-.f64 (*.f64 t i) (*.f64 z c)) (*.f64 (*.f64 (cbrt.f64 (fma.f64 x (-.f64 (*.f64 y z) (*.f64 t a)) (*.f64 j (-.f64 (*.f64 a c) (*.f64 y i))))) (cbrt.f64 (fma.f64 x (-.f64 (*.f64 y z) (*.f64 t a)) (*.f64 j (-.f64 (*.f64 a c) (*.f64 y i)))))) (cbrt.f64 (fma.f64 x (-.f64 (*.f64 y z) (*.f64 t a)) (*.f64 j (-.f64 (*.f64 a c) (*.f64 y i)))))))

rewrite3.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

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

Counts

2 → 23

Calls

2 calls:

1.0ms

(cbrt.f64 (fma.f64 x (-.f64 (*.f64 y z) (*.f64 t a)) (*.f64 j (-.f64 (*.f64 a c) (*.f64 y i)))))

0.0ms

(fma.f64 b (-.f64 (*.f64 t i) (*.f64 z c)) (*.f64 (*.f64 (cbrt.f64 (fma.f64 x (-.f64 (*.f64 y z) (*.f64 t a)) (*.f64 j (-.f64 (*.f64 a c) (*.f64 y i))))) (cbrt.f64 (fma.f64 x (-.f64 (*.f64 y z) (*.f64 t a)) (*.f64 j (-.f64 (*.f64 a c) (*.f64 y i)))))) (cbrt.f64 (fma.f64 x (-.f64 (*.f64 y z) (*.f64 t a)) (*.f64 j (-.f64 (*.f64 a c) (*.f64 y i)))))))

simplify367.0ms (1%)

Algorithm

1×	egg-herbie

Rules

439×	`fma-def_binary64`
320×	`associate-/l*_binary64`
320×	`times-frac_binary64`
134×	`sub-neg_binary64`
88×	`sqr-pow_binary64`

Counts

227 → 273

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	2731	35915
1	5327	35915

prune2.4s (6.4%)

Pruning

13 alts after pruning (11 fresh and 2 done)

	Pruned	Kept	Total
New	958	2	960
Fresh	0	9	9
Picked	0	1	1
Done	0	1	1
Total	958	13	971

Error

0.0b

Counts

971 → 13

Alt Table

Status	Error	Program
	38.1b	(fma.f64 b (-.f64 (.f64 t i) (.f64 z c)) (fma.f64 x (-.f64 (.f64 y z) (.f64 t a)) (.f64 (sqrt.f64 j) (.f64 (sqrt.f64 j) (-.f64 (.f64 a c) (.f64 y i))))))
✓	9.8b	(fma.f64 b (-.f64 (.f64 t i) (.f64 z c)) (fma.f64 x (-.f64 (.f64 y z) (.f64 t a)) (.f64 (.f64 (cbrt.f64 j) (cbrt.f64 j)) (.f64 (cbrt.f64 j) (-.f64 (.f64 a c) (*.f64 y i))))))
	24.0b	(fma.f64 b (-.f64 (.f64 t i) (.f64 z c)) (fma.f64 x (-.f64 (.f64 y z) (.f64 t a)) (/.f64 (.f64 j (.f64 (-.f64 (.f64 c a) (.f64 y i)) (fma.f64 c a (.f64 y i)))) (+.f64 (.f64 a c) (*.f64 y i)))))
▶	10.3b	(fma.f64 b (-.f64 (.f64 t i) (.f64 z c)) (.f64 (.f64 (cbrt.f64 (fma.f64 x (-.f64 (.f64 y z) (.f64 t a)) (.f64 j (-.f64 (.f64 a c) (.f64 y i))))) (cbrt.f64 (fma.f64 x (-.f64 (.f64 y z) (.f64 t a)) (.f64 j (-.f64 (.f64 a c) (.f64 y i)))))) (.f64 (.f64 (cbrt.f64 (cbrt.f64 (fma.f64 x (-.f64 (.f64 y z) (.f64 t a)) (.f64 j (-.f64 (.f64 a c) (.f64 y i)))))) (cbrt.f64 (cbrt.f64 (fma.f64 x (-.f64 (.f64 y z) (.f64 t a)) (.f64 j (-.f64 (.f64 a c) (.f64 y i))))))) (cbrt.f64 (cbrt.f64 (fma.f64 x (-.f64 (.f64 y z) (.f64 t a)) (.f64 j (-.f64 (.f64 a c) (*.f64 y i)))))))))
	47.5b	(cbrt.f64 (.f64 (.f64 (fma.f64 b (-.f64 (.f64 t i) (.f64 z c)) (fma.f64 x (-.f64 (.f64 y z) (.f64 t a)) (.f64 j (-.f64 (.f64 a c) (.f64 y i))))) (fma.f64 b (-.f64 (.f64 t i) (.f64 z c)) (fma.f64 x (-.f64 (.f64 y z) (.f64 t a)) (.f64 j (-.f64 (.f64 a c) (.f64 y i)))))) (fma.f64 b (-.f64 (.f64 t i) (.f64 z c)) (fma.f64 x (-.f64 (.f64 y z) (.f64 t a)) (.f64 j (-.f64 (.f64 a c) (*.f64 y i)))))))
	14.0b	(fma.f64 i (.f64 t b) (-.f64 (fma.f64 c (.f64 a j) (.f64 y (-.f64 (.f64 z x) (.f64 j i)))) (fma.f64 c (.f64 z b) (.f64 a (.f64 x t)))))
	56.1b	(fma.f64 b (-.f64 (.f64 t i) (.f64 z c)) (.f64 (.f64 (cbrt.f64 (fma.f64 x (-.f64 (.f64 y z) (.f64 t a)) (.f64 j (-.f64 (.f64 a c) (.f64 y i))))) (cbrt.f64 (fma.f64 x (-.f64 (.f64 y z) (.f64 t a)) (.f64 j (-.f64 (.f64 a c) (.f64 y i)))))) (exp.f64 (.f64 1/3 (-.f64 (log.f64 (-.f64 (.f64 i j) (*.f64 z x))) (log.f64 (/.f64 -1 y)))))))
	20.2b	(fma.f64 b (/.f64 (.f64 (-.f64 (.f64 i t) (.f64 c z)) (fma.f64 c z (.f64 i t))) (fma.f64 c z (.f64 i t))) (fma.f64 x (-.f64 (.f64 y z) (.f64 t a)) (.f64 j (-.f64 (.f64 a c) (.f64 y i)))))
✓	10.1b	(fma.f64 b (-.f64 (.f64 t i) (.f64 z c)) (.f64 (.f64 (cbrt.f64 (fma.f64 x (-.f64 (.f64 y z) (.f64 t a)) (.f64 j (-.f64 (.f64 a c) (.f64 y i))))) (cbrt.f64 (fma.f64 x (-.f64 (.f64 y z) (.f64 t a)) (.f64 j (-.f64 (.f64 a c) (.f64 y i)))))) (cbrt.f64 (fma.f64 x (-.f64 (.f64 y z) (.f64 t a)) (.f64 j (-.f64 (.f64 a c) (*.f64 y i)))))))
	27.8b	(+.f64 (.f64 x (-.f64 (.f64 y z) (.f64 a t))) (.f64 i (-.f64 (.f64 t b) (.f64 j y))))
	26.5b	(fma.f64 b (-.f64 (.f64 t i) (.f64 z c)) (.f64 a (-.f64 (.f64 c j) (*.f64 x t))))
	47.6b	(.f64 (-.f64 (.f64 y x) (*.f64 c b)) z)
	25.0b	(+.f64 (.f64 j (-.f64 (.f64 c a) (.f64 y i))) (.f64 t (-.f64 (.f64 i b) (.f64 a x))))

Compiler

Compiled 176991 to 60361 computations (65.9% saved)

localize30.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
	1.5b	(cbrt.f64 (fma.f64 x (-.f64 (.f64 y z) (.f64 t a)) (.f64 j (-.f64 (.f64 a c) (*.f64 y i)))))
✓	3.3b	(fma.f64 b (-.f64 (.f64 t i) (.f64 z c)) (.f64 (.f64 (cbrt.f64 (fma.f64 x (-.f64 (.f64 y z) (.f64 t a)) (.f64 j (-.f64 (.f64 a c) (.f64 y i))))) (cbrt.f64 (fma.f64 x (-.f64 (.f64 y z) (.f64 t a)) (.f64 j (-.f64 (.f64 a c) (.f64 y i)))))) (.f64 (.f64 (cbrt.f64 (cbrt.f64 (fma.f64 x (-.f64 (.f64 y z) (.f64 t a)) (.f64 j (-.f64 (.f64 a c) (.f64 y i)))))) (cbrt.f64 (cbrt.f64 (fma.f64 x (-.f64 (.f64 y z) (.f64 t a)) (.f64 j (-.f64 (.f64 a c) (.f64 y i))))))) (cbrt.f64 (cbrt.f64 (fma.f64 x (-.f64 (.f64 y z) (.f64 t a)) (.f64 j (-.f64 (.f64 a c) (*.f64 y i)))))))))
	3.6b	(.f64 j (-.f64 (.f64 a c) (*.f64 y i)))
	3.8b	(fma.f64 x (-.f64 (.f64 y z) (.f64 t a)) (.f64 j (-.f64 (.f64 a c) (*.f64 y i))))

series175.0ms (0.5%)

Counts

1 → 108

Calls

1 calls:

174.0ms

(fma.f64 b (-.f64 (*.f64 t i) (*.f64 z c)) (*.f64 (*.f64 (cbrt.f64 (fma.f64 x (-.f64 (*.f64 y z) (*.f64 t a)) (*.f64 j (-.f64 (*.f64 a c) (*.f64 y i))))) (cbrt.f64 (fma.f64 x (-.f64 (*.f64 y z) (*.f64 t a)) (*.f64 j (-.f64 (*.f64 a c) (*.f64 y i)))))) (*.f64 (*.f64 (cbrt.f64 (cbrt.f64 (fma.f64 x (-.f64 (*.f64 y z) (*.f64 t a)) (*.f64 j (-.f64 (*.f64 a c) (*.f64 y i)))))) (cbrt.f64 (cbrt.f64 (fma.f64 x (-.f64 (*.f64 y z) (*.f64 t a)) (*.f64 j (-.f64 (*.f64 a c) (*.f64 y i))))))) (cbrt.f64 (cbrt.f64 (fma.f64 x (-.f64 (*.f64 y z) (*.f64 t a)) (*.f64 j (-.f64 (*.f64 a c) (*.f64 y i)))))))))

rewrite2.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

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

Counts

1 → 10

Calls

1 calls:

0.0ms

(fma.f64 b (-.f64 (*.f64 t i) (*.f64 z c)) (*.f64 (*.f64 (cbrt.f64 (fma.f64 x (-.f64 (*.f64 y z) (*.f64 t a)) (*.f64 j (-.f64 (*.f64 a c) (*.f64 y i))))) (cbrt.f64 (fma.f64 x (-.f64 (*.f64 y z) (*.f64 t a)) (*.f64 j (-.f64 (*.f64 a c) (*.f64 y i)))))) (*.f64 (*.f64 (cbrt.f64 (cbrt.f64 (fma.f64 x (-.f64 (*.f64 y z) (*.f64 t a)) (*.f64 j (-.f64 (*.f64 a c) (*.f64 y i)))))) (cbrt.f64 (cbrt.f64 (fma.f64 x (-.f64 (*.f64 y z) (*.f64 t a)) (*.f64 j (-.f64 (*.f64 a c) (*.f64 y i))))))) (cbrt.f64 (cbrt.f64 (fma.f64 x (-.f64 (*.f64 y z) (*.f64 t a)) (*.f64 j (-.f64 (*.f64 a c) (*.f64 y i)))))))))

simplify165.0ms (0.4%)

Algorithm

1×	egg-herbie

Rules

792×	`fma-neg_binary64`
776×	`fma-def_binary64`
555×	`distribute-rgt-in_binary64`
499×	`distribute-lft-in_binary64`
421×	`cancel-sign-sub-inv_binary64`

Counts

118 → 68

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	146	5317
1	388	4494
2	1098	4320
3	2433	4053
4	5098	4053

prune4.8s (13%)

Pruning

13 alts after pruning (11 fresh and 2 done)

	Pruned	Kept	Total
New	1535	3	1538
Fresh	2	8	10
Picked	1	0	1
Done	0	2	2
Total	1538	13	1551

Error

0.0b

Counts

1551 → 13

Alt Table

Status	Error	Program
✓	10.1b	(fma.f64 b (-.f64 (.f64 t i) (.f64 z c)) (.f64 (.f64 (cbrt.f64 (fma.f64 x (-.f64 (.f64 y z) (.f64 t a)) (.f64 j (-.f64 (.f64 a c) (.f64 y i))))) (cbrt.f64 (fma.f64 x (-.f64 (.f64 y z) (.f64 t a)) (.f64 j (-.f64 (.f64 a c) (.f64 y i)))))) (cbrt.f64 (fma.f64 x (-.f64 (.f64 y z) (.f64 t a)) (.f64 j (-.f64 (.f64 a c) (*.f64 y i)))))))
	10.5b	(fma.f64 b (-.f64 (.f64 t i) (.f64 z c)) (.f64 (.f64 (cbrt.f64 (fma.f64 x (-.f64 (.f64 y z) (.f64 t a)) (.f64 j (-.f64 (.f64 a c) (.f64 y i))))) (.f64 (cbrt.f64 (.f64 (cbrt.f64 (fma.f64 x (-.f64 (.f64 y z) (.f64 t a)) (.f64 j (-.f64 (.f64 a c) (.f64 y i))))) (cbrt.f64 (fma.f64 x (-.f64 (.f64 y z) (.f64 t a)) (.f64 j (-.f64 (.f64 a c) (.f64 y i))))))) (cbrt.f64 (cbrt.f64 (fma.f64 x (-.f64 (.f64 y z) (.f64 t a)) (.f64 j (-.f64 (.f64 a c) (.f64 y i)))))))) (.f64 (.f64 (cbrt.f64 (cbrt.f64 (fma.f64 x (-.f64 (.f64 y z) (.f64 t a)) (.f64 j (-.f64 (.f64 a c) (.f64 y i)))))) (cbrt.f64 (cbrt.f64 (fma.f64 x (-.f64 (.f64 y z) (.f64 t a)) (.f64 j (-.f64 (.f64 a c) (.f64 y i))))))) (cbrt.f64 (cbrt.f64 (fma.f64 x (-.f64 (.f64 y z) (.f64 t a)) (.f64 j (-.f64 (.f64 a c) (*.f64 y i)))))))))
	27.2b	(fma.f64 y (-.f64 (.f64 z x) (.f64 j i)) (.f64 t (-.f64 (.f64 i b) (*.f64 a x))))
	26.5b	(fma.f64 b (-.f64 (.f64 t i) (.f64 z c)) (.f64 a (-.f64 (.f64 c j) (*.f64 x t))))
	38.1b	(fma.f64 b (-.f64 (.f64 t i) (.f64 z c)) (fma.f64 x (-.f64 (.f64 y z) (.f64 t a)) (.f64 (sqrt.f64 j) (.f64 (sqrt.f64 j) (-.f64 (.f64 a c) (.f64 y i))))))
✓	9.8b	(fma.f64 b (-.f64 (.f64 t i) (.f64 z c)) (fma.f64 x (-.f64 (.f64 y z) (.f64 t a)) (.f64 (.f64 (cbrt.f64 j) (cbrt.f64 j)) (.f64 (cbrt.f64 j) (-.f64 (.f64 a c) (*.f64 y i))))))
	24.0b	(fma.f64 b (-.f64 (.f64 t i) (.f64 z c)) (fma.f64 x (-.f64 (.f64 y z) (.f64 t a)) (/.f64 (.f64 j (.f64 (-.f64 (.f64 c a) (.f64 y i)) (fma.f64 c a (.f64 y i)))) (+.f64 (.f64 a c) (*.f64 y i)))))
	47.5b	(cbrt.f64 (.f64 (.f64 (fma.f64 b (-.f64 (.f64 t i) (.f64 z c)) (fma.f64 x (-.f64 (.f64 y z) (.f64 t a)) (.f64 j (-.f64 (.f64 a c) (.f64 y i))))) (fma.f64 b (-.f64 (.f64 t i) (.f64 z c)) (fma.f64 x (-.f64 (.f64 y z) (.f64 t a)) (.f64 j (-.f64 (.f64 a c) (.f64 y i)))))) (fma.f64 b (-.f64 (.f64 t i) (.f64 z c)) (fma.f64 x (-.f64 (.f64 y z) (.f64 t a)) (.f64 j (-.f64 (.f64 a c) (*.f64 y i)))))))
	14.0b	(fma.f64 i (.f64 t b) (-.f64 (fma.f64 c (.f64 a j) (.f64 y (-.f64 (.f64 z x) (.f64 j i)))) (fma.f64 c (.f64 z b) (.f64 a (.f64 x t)))))
	56.1b	(fma.f64 b (-.f64 (.f64 t i) (.f64 z c)) (.f64 (.f64 (cbrt.f64 (fma.f64 x (-.f64 (.f64 y z) (.f64 t a)) (.f64 j (-.f64 (.f64 a c) (.f64 y i))))) (cbrt.f64 (fma.f64 x (-.f64 (.f64 y z) (.f64 t a)) (.f64 j (-.f64 (.f64 a c) (.f64 y i)))))) (exp.f64 (.f64 1/3 (-.f64 (log.f64 (-.f64 (.f64 i j) (*.f64 z x))) (log.f64 (/.f64 -1 y)))))))
	27.8b	(+.f64 (.f64 x (-.f64 (.f64 y z) (.f64 a t))) (.f64 i (-.f64 (.f64 t b) (.f64 j y))))
	25.0b	(+.f64 (.f64 j (-.f64 (.f64 c a) (.f64 y i))) (.f64 t (-.f64 (.f64 i b) (.f64 a x))))
	28.0b	(fma.f64 z (-.f64 (.f64 y x) (.f64 c b)) (.f64 a (-.f64 (.f64 c j) (*.f64 x t))))

Compiler

Compiled 355501 to 101211 computations (71.5% saved)

regimes17.0s (45.8%)

Accuracy

Total 4.6b remaining (97.9%)

Threshold costs 0b (0%)

Counts

371 → 3

Compiler

Compiled 239396 to 96908 computations (59.5% saved)

bsearch34.0ms (0.1%)

Compiler: Compiled 38 to 23 computations (39.5% saved)

simplify38.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

179×	`distribute-rgt-neg-in_binary64`
138×	`cancel-sign-sub-inv_binary64`
110×	`distribute-lft-neg-in_binary64`
105×	`distribute-lft-neg-out_binary64`
104×	`neg-sub0_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	58	205
1	112	205
2	167	205
3	206	205
4	243	205
5	261	205
6	297	205
7	353	205
8	415	205
9	494	205
10	565	205
11	654	205
12	737	205
13	798	205
14	821	205
15	830	205
16	832	205
17	828	205

end2.0ms (0%)

Compiler: Compiled 149 to 51 computations (65.8% saved)

sample5.6s (15.2%)

Algorithm

1×

intervals

Results

1.8s	11047×	body	128	invalid
1.4s	8000×	body	128	valid

Compiler

Compiled 913 to 379 computations (58.5% saved)

Iter	Nodes	Cost
0	58	205
1	112	205
2	167	205
3	206	205
4	243	205
5	261	205
6	297	205
7	353	205
8	415	205
9	494	205
10	565	205
11	654	205
12	737	205
13	798	205
14	821	205
15	830	205
16	832	205
17	828	205

Iter	Nodes	Cost
0	58	205
1	112	205
2	167	205
3	206	205
4	243	205
5	261	205
6	297	205
7	353	205
8	415	205
9	494	205
10	565	205
11	654	205
12	737	205
13	798	205
14	821	205
15	830	205
16	832	205
17	828	205

Details

analyze2.9s (7.7%)

sample116.0ms (0.3%)

simplify324.0ms (0.9%)

prune5.0ms (0%)

localize20.0ms (0.1%)

series186.0ms (0.5%)

rewrite15.0ms (0%)

simplify258.0ms (0.7%)

prune217.0ms (0.6%)

localize30.0ms (0.1%)

series495.0ms (1.3%)

rewrite25.0ms (0.1%)

simplify245.0ms (0.7%)

prune222.0ms (0.6%)

localize23.0ms (0.1%)

series1.4s (3.8%)

rewrite3.0ms (0%)

simplify367.0ms (1%)

prune2.4s (6.4%)

localize30.0ms (0.1%)

series175.0ms (0.5%)

rewrite2.0ms (0%)

simplify165.0ms (0.4%)

prune4.8s (13%)

regimes17.0s (45.8%)

bsearch34.0ms (0.1%)

simplify38.0ms (0.1%)

end2.0ms (0%)

sample5.6s (15.2%)

Profiling

Iter	Nodes	Cost
0	58	205
1	112	205
2	167	205
3	206	205
4	243	205
5	261	205
6	297	205
7	353	205
8	415	205
9	494	205
10	565	205
11	654	205
12	737	205
13	798	205
14	821	205
15	830	205
16	832	205
17	828	205