Details

analyze9.0ms (0%)

Algorithm

1×

Search

True	Other	False	Iter
0%	99.6%	0.4%	0
99.6%	0%	0.4%	1

Compiler

Compiled 39 to 24 computations (38.5% saved)

sample1.8s (8.9%)

Results

1.7s

8256×

body

128

valid

Compiler

Compiled 116 to 71 computations (38.8% saved)

simplify320.0ms (1.6%)

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

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

14.4b

Counts

3 → 1

Alt Table

Status	Error	Program
▶	14.4b	(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)

localize21.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.9b	(-.f64 (.f64 t i) (.f64 z c))
✓	4.3b	(.f64 j (-.f64 (.f64 a c) (*.f64 y i)))
✓	5.9b	(fma.f64 x (-.f64 (.f64 y z) (.f64 t a)) (.f64 j (-.f64 (.f64 a c) (*.f64 y i))))
✓	7.0b	(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)))))

series179.0ms (0.9%)

Counts

4 → 312

Calls

4 calls:

94.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)))))
55.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)))
10.0ms	(-.f64 (.f64 t i) (.f64 z c))

rewrite17.0ms (0.1%)

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:

11.0ms	(.f64 j (-.f64 (.f64 a c) (*.f64 y i)))
3.0ms	(-.f64 (.f64 t i) (.f64 z c))
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)))))
0.0ms	(fma.f64 x (-.f64 (.f64 y z) (.f64 t a)) (.f64 j (-.f64 (.f64 a c) (*.f64 y i))))

simplify254.0ms (1.2%)

Algorithm

1×	egg-herbie

Rules

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

Counts

376 → 186

Iterations

Useful iterations: 3 (0.0ms)

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

prune186.0ms (0.9%)

Pruning

7 alts after pruning (7 fresh and 0 done)

	Pruned	Kept	Total
New	179	7	186
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	180	7	187

Error

0.0b

Counts

187 → 7

Alt Table

Status	Error	Program
	26.2b	(+.f64 (.f64 z (-.f64 (.f64 y x) (.f64 c b))) (.f64 i (-.f64 (.f64 t b) (.f64 j y))))
	37.3b	(.f64 (-.f64 (.f64 y x) (*.f64 c b)) z)
▶	18.2b	(fma.f64 b (.f64 i t) (fma.f64 x (-.f64 (.f64 y z) (.f64 t a)) (.f64 j (-.f64 (.f64 a c) (.f64 y i)))))
	21.5b	(fma.f64 b (-.f64 (.f64 t i) (.f64 z c)) (-.f64 (.f64 a (-.f64 (.f64 c j) (.f64 x t))) (.f64 i (*.f64 j y))))
	35.8b	(.f64 t (-.f64 (.f64 i b) (*.f64 a x)))
	39.4b	(.f64 i (-.f64 (.f64 t b) (*.f64 y j)))
	20.3b	(-.f64 (+.f64 (.f64 i (.f64 t b)) (+.f64 (.f64 c (.f64 a j)) (.f64 y (.f64 z x)))) (+.f64 (.f64 y (.f64 i j)) (+.f64 (.f64 c (.f64 z b)) (.f64 a (.f64 t x)))))

Compiler

Compiled 5852 to 892 computations (84.8% saved)

localize33.0ms (0.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.8b	(-.f64 (.f64 a c) (.f64 y i))
✓	3.9b	(fma.f64 b (.f64 i t) (fma.f64 x (-.f64 (.f64 y z) (.f64 t a)) (.f64 j (-.f64 (.f64 a c) (.f64 y i)))))
	4.3b	(.f64 j (-.f64 (.f64 a c) (*.f64 y i)))
	5.9b	(fma.f64 x (-.f64 (.f64 y z) (.f64 t a)) (.f64 j (-.f64 (.f64 a c) (*.f64 y i))))

series155.0ms (0.8%)

Counts

2 → 156

Calls

2 calls:

138.0ms	(fma.f64 b (.f64 i t) (fma.f64 x (-.f64 (.f64 y z) (.f64 t a)) (.f64 j (-.f64 (.f64 a c) (.f64 y i)))))
16.0ms	(-.f64 (.f64 a c) (.f64 y i))

rewrite6.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

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

Counts

2 → 26

Calls

2 calls:

4.0ms	(-.f64 (.f64 a c) (.f64 y i))
1.0ms	(fma.f64 b (.f64 i t) (fma.f64 x (-.f64 (.f64 y z) (.f64 t a)) (.f64 j (-.f64 (.f64 a c) (.f64 y i)))))

simplify240.0ms (1.2%)

Algorithm

1×	egg-herbie

Rules

669×	`fma-def_binary64`
464×	`fma-neg_binary64`
402×	`cancel-sign-sub-inv_binary64`
379×	`exp-diff_binary64`
268×	`associate-l_binary64`

Counts

182 → 90

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	129	4532
1	371	4339
2	1008	4085
3	2589	4081
4	4356	4081
5	5006	4081

prune331.0ms (1.6%)

Pruning

8 alts after pruning (7 fresh and 1 done)

	Pruned	Kept	Total
New	173	3	176
Fresh	2	4	6
Picked	0	1	1
Done	0	0	0
Total	175	8	183

Error

0.0b

Counts

183 → 8

Alt Table

Status	Error	Program
▶	18.4b	(fma.f64 b (.f64 i t) (fma.f64 x (-.f64 (.f64 y z) (.f64 t a)) (.f64 j (.f64 (.f64 (cbrt.f64 (-.f64 (.f64 a c) (.f64 y i))) (cbrt.f64 (-.f64 (.f64 a c) (.f64 y i)))) (cbrt.f64 (-.f64 (.f64 a c) (.f64 y i)))))))
	26.1b	(fma.f64 a (-.f64 (.f64 c j) (.f64 x t)) (.f64 i (-.f64 (.f64 t b) (*.f64 j y))))
✓	18.2b	(fma.f64 b (.f64 i t) (fma.f64 x (-.f64 (.f64 y z) (.f64 t a)) (.f64 j (-.f64 (.f64 a c) (.f64 y i)))))
	21.5b	(fma.f64 b (-.f64 (.f64 t i) (.f64 z c)) (-.f64 (.f64 a (-.f64 (.f64 c j) (.f64 x t))) (.f64 i (*.f64 j y))))
	35.8b	(.f64 t (-.f64 (.f64 i b) (*.f64 a x)))
	22.4b	(fma.f64 y (-.f64 (.f64 z x) (.f64 j i)) (.f64 t (-.f64 (.f64 i b) (*.f64 a x))))
	37.3b	(.f64 (-.f64 (.f64 y x) (*.f64 c b)) z)
	20.3b	(-.f64 (+.f64 (.f64 i (.f64 t b)) (+.f64 (.f64 c (.f64 a j)) (.f64 y (.f64 z x)))) (+.f64 (.f64 y (.f64 i j)) (+.f64 (.f64 c (.f64 z b)) (.f64 a (.f64 t x)))))

Compiler

Compiled 5011 to 911 computations (81.8% saved)

localize38.0ms (0.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	3.9b	(fma.f64 b (.f64 i t) (fma.f64 x (-.f64 (.f64 y z) (.f64 t a)) (.f64 j (.f64 (.f64 (cbrt.f64 (-.f64 (.f64 a c) (.f64 y i))) (cbrt.f64 (-.f64 (.f64 a c) (.f64 y i)))) (cbrt.f64 (-.f64 (.f64 a c) (.f64 y i)))))))
✓	4.3b	(.f64 j (.f64 (.f64 (cbrt.f64 (-.f64 (.f64 a c) (.f64 y i))) (cbrt.f64 (-.f64 (.f64 a c) (.f64 y i)))) (cbrt.f64 (-.f64 (.f64 a c) (*.f64 y i)))))
✓	5.9b	(fma.f64 x (-.f64 (.f64 y z) (.f64 t a)) (.f64 j (.f64 (.f64 (cbrt.f64 (-.f64 (.f64 a c) (.f64 y i))) (cbrt.f64 (-.f64 (.f64 a c) (.f64 y i)))) (cbrt.f64 (-.f64 (.f64 a c) (*.f64 y i))))))
✓	13.5b	(cbrt.f64 (-.f64 (.f64 a c) (.f64 y i)))

series670.0ms (3.3%)

Counts

4 → 312

Calls

4 calls:

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

rewrite76.0ms (0.4%)

Algorithm

1×	rewrite-expression-head

Rules

56×	`cbrt-div_binary64`
34×	`associate-*r/_binary64`
28×	`frac-times_binary64`
28×	`flip--_binary64`
28×	`flip3--_binary64`

Counts

4 → 84

Calls

4 calls:

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

simplify483.0ms (2.4%)

Algorithm

1×	egg-herbie

Rules

620×	`fma-def_binary64`
488×	`associate-/l*_binary64`
458×	`associate-/r*_binary64`
251×	`*-commutative_binary64`
175×	`cancel-sign-sub-inv_binary64`

Counts

396 → 279

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	597	13237
1	1664	12590
2	4841	12585
3	5146	12585

prune1.1s (5.6%)

Pruning

9 alts after pruning (7 fresh and 2 done)

	Pruned	Kept	Total
New	494	1	495
Fresh	0	6	6
Picked	0	1	1
Done	0	1	1
Total	494	9	503

Error

0.0b

Counts

503 → 9

Alt Table

Status	Error	Program
✓	18.4b	(fma.f64 b (.f64 i t) (fma.f64 x (-.f64 (.f64 y z) (.f64 t a)) (.f64 j (.f64 (.f64 (cbrt.f64 (-.f64 (.f64 a c) (.f64 y i))) (cbrt.f64 (-.f64 (.f64 a c) (.f64 y i)))) (cbrt.f64 (-.f64 (.f64 a c) (.f64 y i)))))))
	26.1b	(fma.f64 a (-.f64 (.f64 c j) (.f64 x t)) (.f64 i (-.f64 (.f64 t b) (*.f64 j y))))
✓	18.2b	(fma.f64 b (.f64 i t) (fma.f64 x (-.f64 (.f64 y z) (.f64 t a)) (.f64 j (-.f64 (.f64 a c) (.f64 y i)))))
	21.5b	(fma.f64 b (-.f64 (.f64 t i) (.f64 z c)) (-.f64 (.f64 a (-.f64 (.f64 c j) (.f64 x t))) (.f64 i (*.f64 j y))))
	35.8b	(.f64 t (-.f64 (.f64 i b) (*.f64 a x)))
	22.4b	(fma.f64 y (-.f64 (.f64 z x) (.f64 j i)) (.f64 t (-.f64 (.f64 i b) (*.f64 a x))))
	30.1b	(fma.f64 b (.f64 i t) (fma.f64 x (-.f64 (.f64 y z) (.f64 t a)) (/.f64 (.f64 j (.f64 (cbrt.f64 (-.f64 (.f64 c a) (.f64 i y))) (.f64 (cbrt.f64 (-.f64 (.f64 c a) (.f64 i y))) (cbrt.f64 (.f64 (fma.f64 i y (.f64 c a)) (-.f64 (.f64 c a) (.f64 i y))))))) (cbrt.f64 (+.f64 (.f64 a c) (.f64 y i))))))
	37.3b	(.f64 (-.f64 (.f64 y x) (*.f64 c b)) z)
▶	20.3b	(-.f64 (+.f64 (.f64 i (.f64 t b)) (+.f64 (.f64 c (.f64 a j)) (.f64 y (.f64 z x)))) (+.f64 (.f64 y (.f64 i j)) (+.f64 (.f64 c (.f64 z b)) (.f64 a (.f64 t x)))))

Compiler

Compiled 33508 to 10643 computations (68.2% saved)

localize35.0ms (0.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	4.4b	(.f64 c (.f64 z b))
✓	4.5b	(.f64 a (.f64 t x))
✓	6.9b	(.f64 c (.f64 a j))
✓	8.5b	(-.f64 (+.f64 (.f64 i (.f64 t b)) (+.f64 (.f64 c (.f64 a j)) (.f64 y (.f64 z x)))) (+.f64 (.f64 y (.f64 i j)) (+.f64 (.f64 c (.f64 z b)) (.f64 a (.f64 t x)))))

series211.0ms (1%)

Counts

4 → 124

Calls

4 calls:

156.0ms	(-.f64 (+.f64 (.f64 i (.f64 t b)) (+.f64 (.f64 c (.f64 a j)) (.f64 y (.f64 z x)))) (+.f64 (.f64 y (.f64 i j)) (+.f64 (.f64 c (.f64 z b)) (.f64 a (.f64 t x)))))
20.0ms	(.f64 a (.f64 t x))
17.0ms	(.f64 c (.f64 z b))
16.0ms	(.f64 c (.f64 a j))

rewrite94.0ms (0.5%)

Algorithm

1×	rewrite-expression-head

Rules

40×	`add-log-exp_binary64`
19×	`add-cbrt-cube_binary64`
19×	`add-exp-log_binary64`
19×	`pow1_binary64`
18×	`sum-log_binary64`

Counts

4 → 104

Calls

4 calls:

38.0ms	(-.f64 (+.f64 (.f64 i (.f64 t b)) (+.f64 (.f64 c (.f64 a j)) (.f64 y (.f64 z x)))) (+.f64 (.f64 y (.f64 i j)) (+.f64 (.f64 c (.f64 z b)) (.f64 a (.f64 t x)))))
8.0ms	(.f64 c (.f64 z b))
8.0ms	(.f64 a (.f64 t x))
8.0ms	(.f64 c (.f64 a j))

simplify315.0ms (1.5%)

Algorithm

1×	egg-herbie

Rules

432×	`associate-l_binary64`
432×	`fma-neg_binary64`
403×	`associate-r_binary64`
230×	`fma-def_binary64`
225×	`*-commutative_binary64`

Counts

228 → 196

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	318	8250
1	962	7809
2	4120	7809
3	5000	7809

prune385.0ms (1.9%)

Pruning

11 alts after pruning (8 fresh and 3 done)

	Pruned	Kept	Total
New	193	3	196
Fresh	1	5	6
Picked	0	1	1
Done	0	2	2
Total	194	11	205

Error

0.0b

Counts

205 → 11

Alt Table

Status	Error	Program
	41.4b	(-.f64 (+.f64 (.f64 i (.f64 t b)) (+.f64 (.f64 c (.f64 a j)) (.f64 y (.f64 z x)))) (+.f64 (.f64 y (.f64 i j)) (+.f64 (.f64 (sqrt.f64 c) (.f64 (sqrt.f64 c) (.f64 z b))) (.f64 a (*.f64 t x)))))
	37.3b	(.f64 (-.f64 (.f64 y x) (*.f64 c b)) z)
✓	18.4b	(fma.f64 b (.f64 i t) (fma.f64 x (-.f64 (.f64 y z) (.f64 t a)) (.f64 j (.f64 (.f64 (cbrt.f64 (-.f64 (.f64 a c) (.f64 y i))) (cbrt.f64 (-.f64 (.f64 a c) (.f64 y i)))) (cbrt.f64 (-.f64 (.f64 a c) (.f64 y i)))))))
	26.1b	(fma.f64 a (-.f64 (.f64 c j) (.f64 x t)) (.f64 i (-.f64 (.f64 t b) (*.f64 j y))))
✓	18.2b	(fma.f64 b (.f64 i t) (fma.f64 x (-.f64 (.f64 y z) (.f64 t a)) (.f64 j (-.f64 (.f64 a c) (.f64 y i)))))
	21.5b	(fma.f64 b (-.f64 (.f64 t i) (.f64 z c)) (-.f64 (.f64 a (-.f64 (.f64 c j) (.f64 x t))) (.f64 i (*.f64 j y))))
	35.8b	(.f64 t (-.f64 (.f64 i b) (*.f64 a x)))
	30.1b	(fma.f64 b (.f64 i t) (fma.f64 x (-.f64 (.f64 y z) (.f64 t a)) (/.f64 (.f64 j (.f64 (cbrt.f64 (-.f64 (.f64 c a) (.f64 i y))) (.f64 (cbrt.f64 (-.f64 (.f64 c a) (.f64 i y))) (cbrt.f64 (.f64 (fma.f64 i y (.f64 c a)) (-.f64 (.f64 c a) (.f64 i y))))))) (cbrt.f64 (+.f64 (.f64 a c) (.f64 y i))))))
✓	20.3b	(-.f64 (+.f64 (.f64 i (.f64 t b)) (+.f64 (.f64 c (.f64 a j)) (.f64 y (.f64 z x)))) (+.f64 (.f64 y (.f64 i j)) (+.f64 (.f64 c (.f64 z b)) (.f64 a (.f64 t x)))))
	59.5b	(/.f64 (-.f64 (.f64 (+.f64 (pow.f64 (.f64 i (.f64 t b)) 3) (pow.f64 (+.f64 (.f64 c (.f64 a j)) (.f64 y (.f64 z x))) 3)) (+.f64 (.f64 (.f64 y (.f64 i j)) (.f64 y (.f64 i j))) (-.f64 (.f64 (+.f64 (.f64 c (.f64 z b)) (.f64 a (.f64 t x))) (+.f64 (.f64 c (.f64 z b)) (.f64 a (.f64 t x)))) (.f64 (.f64 y (.f64 i j)) (+.f64 (.f64 c (.f64 z b)) (.f64 a (.f64 t x))))))) (.f64 (+.f64 (.f64 (.f64 i (.f64 t b)) (.f64 i (.f64 t b))) (-.f64 (.f64 (+.f64 (.f64 c (.f64 a j)) (.f64 y (.f64 z x))) (+.f64 (.f64 c (.f64 a j)) (.f64 y (.f64 z x)))) (.f64 (.f64 i (.f64 t b)) (+.f64 (.f64 c (.f64 a j)) (.f64 y (.f64 z x)))))) (+.f64 (pow.f64 (.f64 y (.f64 i j)) 3) (pow.f64 (+.f64 (.f64 c (.f64 z b)) (.f64 a (.f64 t x))) 3)))) (.f64 (+.f64 (.f64 (.f64 i (.f64 t b)) (.f64 i (.f64 t b))) (-.f64 (.f64 (+.f64 (.f64 c (.f64 a j)) (.f64 y (.f64 z x))) (+.f64 (.f64 c (.f64 a j)) (.f64 y (.f64 z x)))) (.f64 (.f64 i (.f64 t b)) (+.f64 (.f64 c (.f64 a j)) (.f64 y (.f64 z x)))))) (+.f64 (.f64 (.f64 y (.f64 i j)) (.f64 y (.f64 i j))) (-.f64 (.f64 (+.f64 (.f64 c (.f64 z b)) (.f64 a (.f64 t x))) (+.f64 (.f64 c (.f64 z b)) (.f64 a (.f64 t x)))) (.f64 (.f64 y (.f64 i j)) (+.f64 (.f64 c (.f64 z b)) (.f64 a (*.f64 t x))))))))
	20.4b	(.f64 (.f64 (cbrt.f64 (-.f64 (fma.f64 i (.f64 b t) (fma.f64 c (.f64 a j) (.f64 y (.f64 z x)))) (fma.f64 y (.f64 j i) (fma.f64 c (.f64 z b) (.f64 a (.f64 x t)))))) (cbrt.f64 (-.f64 (fma.f64 i (.f64 b t) (fma.f64 c (.f64 a j) (.f64 y (.f64 z x)))) (fma.f64 y (.f64 j i) (fma.f64 c (.f64 z b) (.f64 a (.f64 x t))))))) (cbrt.f64 (-.f64 (fma.f64 i (.f64 b t) (fma.f64 c (.f64 a j) (.f64 y (.f64 z x)))) (fma.f64 y (.f64 j i) (fma.f64 c (.f64 z b) (.f64 a (.f64 x t)))))))

Compiler

Compiled 9949 to 1135 computations (88.6% saved)

regimes12.5s (61.6%)

Accuracy

Total 15.2b remaining (96.3%)

Threshold costs 0b (0%)

Counts

206 → 7

Compiler

Compiled 81516 to 40248 computations (50.6% saved)

bsearch320.0ms (1.6%)

Steps

Iters	Range		Point
11	1.1017689866120617e+103	5.314073778617226e+126	1.161862926415618e+120
8	5.893348866354757e-307	3.370531250563351e-303	5.98026801756778e-307
9	-5.773913144689236e-259	-3.8955462441569283e-265	-8.209427578978356e-263
10	-1.0591814921983676e-209	-7.747211999765466e-220	-7.863566089797894e-220
6	-8.842419827762949e+95	-6.2081905897012436e+94	-8.684066818048496e+95
7	-2.0731024351083602e+207	-1.7759596726166774e+205	-8.031545841799723e+206

Compiler

Compiled 10 to 9 computations (10% saved)

simplify67.0ms (0.3%)

Algorithm

1×	egg-herbie

Rules

164×	`distribute-rgt-neg-in_binary64`
128×	`cancel-sign-sub-inv_binary64`
109×	`distribute-lft-neg-in_binary64`
104×	`neg-sub0_binary64`
103×	`neg-mul-1_binary64`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	67	224
1	131	224
2	205	222
3	273	220
4	338	220
5	390	220
6	458	220
7	551	220
8	644	220
9	720	220
10	769	220
11	791	220
12	805	220
13	809	220
14	805	220

end398.0ms (2%)

Compiler: Compiled 1033 to 379 computations (63.3% saved)

Iter	Nodes	Cost
0	67	224
1	131	224
2	205	222
3	273	220
4	338	220
5	390	220
6	458	220
7	551	220
8	644	220
9	720	220
10	769	220
11	791	220
12	805	220
13	809	220
14	805	220

Iter	Nodes	Cost
0	67	224
1	131	224
2	205	222
3	273	220
4	338	220
5	390	220
6	458	220
7	551	220
8	644	220
9	720	220
10	769	220
11	791	220
12	805	220
13	809	220
14	805	220

Details

analyze9.0ms (0%)

sample1.8s (8.9%)

simplify320.0ms (1.6%)

prune4.0ms (0%)

localize21.0ms (0.1%)

series179.0ms (0.9%)

rewrite17.0ms (0.1%)

simplify254.0ms (1.2%)

prune186.0ms (0.9%)

localize33.0ms (0.2%)

series155.0ms (0.8%)

rewrite6.0ms (0%)

simplify240.0ms (1.2%)

prune331.0ms (1.6%)

localize38.0ms (0.2%)

series670.0ms (3.3%)

rewrite76.0ms (0.4%)

simplify483.0ms (2.4%)

prune1.1s (5.6%)

localize35.0ms (0.2%)

series211.0ms (1%)

rewrite94.0ms (0.5%)

simplify315.0ms (1.5%)

prune385.0ms (1.9%)

regimes12.5s (61.6%)

bsearch320.0ms (1.6%)

simplify67.0ms (0.3%)

end398.0ms (2%)

Profiling

Iter	Nodes	Cost
0	67	224
1	131	224
2	205	222
3	273	220
4	338	220
5	390	220
6	458	220
7	551	220
8	644	220
9	720	220
10	769	220
11	791	220
12	805	220
13	809	220
14	805	220