Details

analyze2.5s (11.9%)

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)

sample3.7s (17.6%)

Results

2.1s	11256×	body	128	invalid
1.5s	8256×	body	128	valid

Compiler

Compiled 116 to 71 computations (38.8% saved)

simplify316.0ms (1.5%)

Algorithm

1×	egg-herbie

Rules

802×	`unsub-neg_binary64`
656×	`sub-neg_binary64`
486×	`fma-neg_binary64`
419×	`distribute-neg-in_binary64`
395×	`+-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	2982	39
6	3420	39
7	3898	39
8	4056	39
9	3986	39
10	4031	39
11	4027	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

10.9b

Counts

3 → 1

Alt Table

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

Compiler

Compiled 137 to 74 computations (46% saved)

localize17.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.5b	(-.f64 (.f64 y z) (.f64 t a))
✓	3.8b	(.f64 j (-.f64 (.f64 t c) (*.f64 y i)))
✓	4.3b	(fma.f64 b (-.f64 (.f64 a i) (.f64 z c)) (fma.f64 x (-.f64 (.f64 y z) (.f64 t a)) (.f64 j (-.f64 (.f64 t c) (*.f64 y i)))))
✓	4.9b	(fma.f64 x (-.f64 (.f64 y z) (.f64 t a)) (.f64 j (-.f64 (.f64 t c) (*.f64 y i))))

series182.0ms (0.9%)

Counts

4 → 312

Calls

4 calls:

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

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

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

simplify241.0ms (1.1%)

Algorithm

1×	egg-herbie

Rules

416×	`sub-neg_binary64`
370×	`cancel-sign-sub-inv_binary64`
343×	`*-commutative_binary64`
340×	`fma-neg_binary64`
327×	`distribute-rgt-in_binary64`

Counts

376 → 185

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	259	9515
1	632	8941
2	1937	8618
3	3872	8372
4	4999	8372
5	4937	8372

prune185.0ms (0.9%)

Pruning

12 alts after pruning (11 fresh and 1 done)

	Pruned	Kept	Total
New	174	11	185
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	174	12	186

Error

0.0b

Counts

186 → 12

Alt Table

Status	Error	Program
	31.8b	(fma.f64 b (-.f64 (.f64 a i) (.f64 z c)) (fma.f64 x (-.f64 (.f64 y z) (.f64 t a)) (.f64 (.f64 j (sqrt.f64 (-.f64 (.f64 t c) (.f64 y i)))) (sqrt.f64 (-.f64 (.f64 t c) (.f64 y i))))))
	11.8b	(.f64 (.f64 (cbrt.f64 (fma.f64 b (-.f64 (.f64 a i) (.f64 z c)) (fma.f64 x (-.f64 (.f64 y z) (.f64 t a)) (.f64 j (-.f64 (.f64 t c) (.f64 y i)))))) (cbrt.f64 (fma.f64 b (-.f64 (.f64 a i) (.f64 z c)) (fma.f64 x (-.f64 (.f64 y z) (.f64 t a)) (.f64 j (-.f64 (.f64 t c) (.f64 y i))))))) (cbrt.f64 (fma.f64 b (-.f64 (.f64 a i) (.f64 z c)) (fma.f64 x (-.f64 (.f64 y z) (.f64 t a)) (.f64 j (-.f64 (.f64 t c) (*.f64 y i)))))))
	45.2b	(.f64 (-.f64 (.f64 y x) (*.f64 c b)) z)
✓	10.9b	(fma.f64 b (-.f64 (.f64 a i) (.f64 z c)) (fma.f64 x (-.f64 (.f64 y z) (.f64 t a)) (.f64 j (-.f64 (.f64 t c) (*.f64 y i)))))
	29.3b	(fma.f64 b (-.f64 (.f64 a i) (.f64 z c)) (.f64 y (-.f64 (.f64 z x) (*.f64 i j))))
	28.0b	(fma.f64 b (-.f64 (.f64 a i) (.f64 z c)) (.f64 t (-.f64 (.f64 c j) (*.f64 x a))))
	27.7b	(fma.f64 b (-.f64 (.f64 a i) (.f64 z c)) (fma.f64 x (cbrt.f64 (pow.f64 (-.f64 (.f64 y z) (.f64 t a)) 3)) (.f64 j (-.f64 (.f64 t c) (*.f64 y i)))))
	28.0b	(+.f64 (.f64 c (-.f64 (.f64 t j) (.f64 z b))) (.f64 a (-.f64 (.f64 i b) (.f64 t x))))
	11.4b	(-.f64 (+.f64 (.f64 a (.f64 i b)) (+.f64 (.f64 c (.f64 t j)) (.f64 y (.f64 z x)))) (+.f64 (.f64 i (.f64 y j)) (+.f64 (.f64 a (.f64 t x)) (.f64 c (.f64 z b)))))
	40.0b	(fma.f64 b (-.f64 (.f64 a i) (.f64 z c)) (fma.f64 x (-.f64 (.f64 y z) (.f64 t a)) (.f64 (sqrt.f64 j) (.f64 (sqrt.f64 j) (-.f64 (.f64 t c) (.f64 y i))))))
	21.7b	(fma.f64 b (-.f64 (.f64 a i) (.f64 z c)) (fma.f64 c (.f64 t j) (.f64 y (-.f64 (.f64 z x) (.f64 j i)))))
▶	10.9b	(-.f64 (+.f64 (.f64 i (.f64 a b)) (+.f64 (.f64 c (.f64 t 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 6410 to 1152 computations (82% saved)

localize24.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	4.4b	(.f64 y (.f64 i j))
✓	5.1b	(.f64 c (.f64 z b))
✓	5.4b	(.f64 y (.f64 z x))
✓	5.8b	(.f64 c (.f64 t j))

series39.0ms (0.2%)

Counts

4 → 32

Calls

4 calls:

11.0ms	(.f64 y (.f64 z x))
10.0ms	(.f64 y (.f64 i j))
9.0ms	(.f64 c (.f64 t j))
8.0ms	(.f64 c (.f64 z b))

rewrite17.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

24×	`add-cbrt-cube_binary64`
24×	`add-exp-log_binary64`
24×	`pow1_binary64`
12×	`associate-l_binary64`
12×	`cbrt-unprod_binary64`

Counts

4 → 80

Calls

4 calls:

4.0ms	(.f64 c (.f64 t j))
3.0ms	(.f64 c (.f64 z b))
3.0ms	(.f64 y (.f64 i j))
3.0ms	(.f64 y (.f64 z x))

simplify78.0ms (0.4%)

Algorithm

1×	egg-herbie

Rules

623×	`*-commutative_binary64`
519×	`associate-/l/_binary64`
493×	`sqr-pow_binary64`
482×	`unswap-sqr_binary64`
279×	`associate-l_binary64`

Counts

112 → 106

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	133	1100
1	325	920
2	1107	920
3	1560	920
4	1975	920
5	2716	920
6	3585	920
7	4991	920

prune154.0ms (0.7%)

Pruning

12 alts after pruning (11 fresh and 1 done)

	Pruned	Kept	Total
New	104	2	106
Fresh	1	9	10
Picked	1	0	1
Done	0	1	1
Total	106	12	118

Error

0.0b

Counts

118 → 12

Alt Table

Status	Error	Program
	31.8b	(fma.f64 b (-.f64 (.f64 a i) (.f64 z c)) (fma.f64 x (-.f64 (.f64 y z) (.f64 t a)) (.f64 (.f64 j (sqrt.f64 (-.f64 (.f64 t c) (.f64 y i)))) (sqrt.f64 (-.f64 (.f64 t c) (.f64 y i))))))
	11.8b	(.f64 (.f64 (cbrt.f64 (fma.f64 b (-.f64 (.f64 a i) (.f64 z c)) (fma.f64 x (-.f64 (.f64 y z) (.f64 t a)) (.f64 j (-.f64 (.f64 t c) (.f64 y i)))))) (cbrt.f64 (fma.f64 b (-.f64 (.f64 a i) (.f64 z c)) (fma.f64 x (-.f64 (.f64 y z) (.f64 t a)) (.f64 j (-.f64 (.f64 t c) (.f64 y i))))))) (cbrt.f64 (fma.f64 b (-.f64 (.f64 a i) (.f64 z c)) (fma.f64 x (-.f64 (.f64 y z) (.f64 t a)) (.f64 j (-.f64 (.f64 t c) (*.f64 y i)))))))
	45.2b	(.f64 (-.f64 (.f64 y x) (*.f64 c b)) z)
✓	10.9b	(fma.f64 b (-.f64 (.f64 a i) (.f64 z c)) (fma.f64 x (-.f64 (.f64 y z) (.f64 t a)) (.f64 j (-.f64 (.f64 t c) (*.f64 y i)))))
	29.3b	(fma.f64 b (-.f64 (.f64 a i) (.f64 z c)) (.f64 y (-.f64 (.f64 z x) (*.f64 i j))))
	28.0b	(fma.f64 b (-.f64 (.f64 a i) (.f64 z c)) (.f64 t (-.f64 (.f64 c j) (*.f64 x a))))
	27.7b	(fma.f64 b (-.f64 (.f64 a i) (.f64 z c)) (fma.f64 x (cbrt.f64 (pow.f64 (-.f64 (.f64 y z) (.f64 t a)) 3)) (.f64 j (-.f64 (.f64 t c) (*.f64 y i)))))
	28.0b	(+.f64 (.f64 c (-.f64 (.f64 t j) (.f64 z b))) (.f64 a (-.f64 (.f64 i b) (.f64 t x))))
	11.4b	(-.f64 (+.f64 (.f64 a (.f64 i b)) (+.f64 (.f64 c (.f64 t j)) (.f64 y (.f64 z x)))) (+.f64 (.f64 i (.f64 y j)) (+.f64 (.f64 a (.f64 t x)) (.f64 c (.f64 z b)))))
	40.0b	(fma.f64 b (-.f64 (.f64 a i) (.f64 z c)) (fma.f64 x (-.f64 (.f64 y z) (.f64 t a)) (.f64 (sqrt.f64 j) (.f64 (sqrt.f64 j) (-.f64 (.f64 t c) (.f64 y i))))))
	11.1b	(-.f64 (+.f64 (.f64 i (.f64 a b)) (+.f64 (.f64 (.f64 (cbrt.f64 (.f64 c (.f64 t j))) (cbrt.f64 (.f64 c (.f64 t j)))) (cbrt.f64 (.f64 c (.f64 t j)))) (.f64 y (.f64 z x)))) (+.f64 (.f64 y (.f64 i j)) (+.f64 (.f64 c (.f64 z b)) (.f64 a (.f64 t x)))))
▶	11.1b	(-.f64 (+.f64 (.f64 i (.f64 a b)) (+.f64 (.f64 c (.f64 t j)) (.f64 y (.f64 z x)))) (+.f64 (.f64 (.f64 (cbrt.f64 (.f64 y (.f64 i j))) (cbrt.f64 (.f64 y (.f64 i j)))) (cbrt.f64 (.f64 y (.f64 i j)))) (+.f64 (.f64 c (.f64 z b)) (.f64 a (.f64 t x)))))

Compiler

Compiled 5237 to 1097 computations (79.1% saved)

localize24.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
	5.1b	(.f64 c (.f64 z b))
	5.4b	(.f64 y (.f64 z x))
	5.8b	(.f64 c (.f64 t j))
✓	15.3b	(cbrt.f64 (.f64 y (.f64 i j)))

series854.0ms (4%)

Counts

1 → 36

Calls

1 calls:

853.0ms

(cbrt.f64 (*.f64 y (*.f64 i j)))

rewrite3.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

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

Counts

1 → 11

Calls

1 calls:

2.0ms

(cbrt.f64 (*.f64 y (*.f64 i j)))

simplify70.0ms (0.3%)

Algorithm

1×	egg-herbie

Rules

746×	`fma-def_binary64`
443×	`exp-prod_binary64`
432×	`fma-neg_binary64`
344×	`exp-sum_binary64`
227×	`div-sub_binary64`

Counts

47 → 28

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	74	789
1	150	789
2	247	705
3	727	537
4	1688	537
5	4232	537
6	4993	537

prune181.0ms (0.9%)

Pruning

12 alts after pruning (10 fresh and 2 done)

	Pruned	Kept	Total
New	162	0	162
Fresh	0	10	10
Picked	0	1	1
Done	0	1	1
Total	162	12	174

Error

0.0b

Counts

174 → 12

Alt Table

Status	Error	Program
	31.8b	(fma.f64 b (-.f64 (.f64 a i) (.f64 z c)) (fma.f64 x (-.f64 (.f64 y z) (.f64 t a)) (.f64 (.f64 j (sqrt.f64 (-.f64 (.f64 t c) (.f64 y i)))) (sqrt.f64 (-.f64 (.f64 t c) (.f64 y i))))))
	11.8b	(.f64 (.f64 (cbrt.f64 (fma.f64 b (-.f64 (.f64 a i) (.f64 z c)) (fma.f64 x (-.f64 (.f64 y z) (.f64 t a)) (.f64 j (-.f64 (.f64 t c) (.f64 y i)))))) (cbrt.f64 (fma.f64 b (-.f64 (.f64 a i) (.f64 z c)) (fma.f64 x (-.f64 (.f64 y z) (.f64 t a)) (.f64 j (-.f64 (.f64 t c) (.f64 y i))))))) (cbrt.f64 (fma.f64 b (-.f64 (.f64 a i) (.f64 z c)) (fma.f64 x (-.f64 (.f64 y z) (.f64 t a)) (.f64 j (-.f64 (.f64 t c) (*.f64 y i)))))))
	45.2b	(.f64 (-.f64 (.f64 y x) (*.f64 c b)) z)
✓	10.9b	(fma.f64 b (-.f64 (.f64 a i) (.f64 z c)) (fma.f64 x (-.f64 (.f64 y z) (.f64 t a)) (.f64 j (-.f64 (.f64 t c) (*.f64 y i)))))
	29.3b	(fma.f64 b (-.f64 (.f64 a i) (.f64 z c)) (.f64 y (-.f64 (.f64 z x) (*.f64 i j))))
	28.0b	(fma.f64 b (-.f64 (.f64 a i) (.f64 z c)) (.f64 t (-.f64 (.f64 c j) (*.f64 x a))))
	27.7b	(fma.f64 b (-.f64 (.f64 a i) (.f64 z c)) (fma.f64 x (cbrt.f64 (pow.f64 (-.f64 (.f64 y z) (.f64 t a)) 3)) (.f64 j (-.f64 (.f64 t c) (*.f64 y i)))))
	28.0b	(+.f64 (.f64 c (-.f64 (.f64 t j) (.f64 z b))) (.f64 a (-.f64 (.f64 i b) (.f64 t x))))
	11.4b	(-.f64 (+.f64 (.f64 a (.f64 i b)) (+.f64 (.f64 c (.f64 t j)) (.f64 y (.f64 z x)))) (+.f64 (.f64 i (.f64 y j)) (+.f64 (.f64 a (.f64 t x)) (.f64 c (.f64 z b)))))
	40.0b	(fma.f64 b (-.f64 (.f64 a i) (.f64 z c)) (fma.f64 x (-.f64 (.f64 y z) (.f64 t a)) (.f64 (sqrt.f64 j) (.f64 (sqrt.f64 j) (-.f64 (.f64 t c) (.f64 y i))))))
▶	11.1b	(-.f64 (+.f64 (.f64 i (.f64 a b)) (+.f64 (.f64 (.f64 (cbrt.f64 (.f64 c (.f64 t j))) (cbrt.f64 (.f64 c (.f64 t j)))) (cbrt.f64 (.f64 c (.f64 t j)))) (.f64 y (.f64 z x)))) (+.f64 (.f64 y (.f64 i j)) (+.f64 (.f64 c (.f64 z b)) (.f64 a (.f64 t x)))))
✓	11.1b	(-.f64 (+.f64 (.f64 i (.f64 a b)) (+.f64 (.f64 c (.f64 t j)) (.f64 y (.f64 z x)))) (+.f64 (.f64 (.f64 (cbrt.f64 (.f64 y (.f64 i j))) (cbrt.f64 (.f64 y (.f64 i j)))) (cbrt.f64 (.f64 y (.f64 i j)))) (+.f64 (.f64 c (.f64 z b)) (.f64 a (.f64 t x)))))

Compiler

Compiled 9891 to 1515 computations (84.7% saved)

localize26.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
	5.1b	(.f64 c (.f64 z b))
	5.4b	(.f64 y (.f64 z x))
	5.8b	(.f64 c (.f64 t j))
✓	12.4b	(cbrt.f64 (.f64 c (.f64 t j)))

series720.0ms (3.4%)

Counts

1 → 36

Calls

1 calls:

720.0ms

(cbrt.f64 (*.f64 c (*.f64 t j)))

rewrite3.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

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

Counts

1 → 11

Calls

1 calls:

3.0ms

(cbrt.f64 (*.f64 c (*.f64 t j)))

simplify69.0ms (0.3%)

Algorithm

1×	egg-herbie

Rules

722×	`fma-def_binary64`
496×	`exp-sum_binary64`
426×	`fma-neg_binary64`
407×	`exp-prod_binary64`
272×	`exp-diff_binary64`

Counts

47 → 28

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	72	789
1	149	789
2	239	705
3	700	537
4	1671	537
5	4042	537
6	4953	537

prune295.0ms (1.4%)

Pruning

12 alts after pruning (10 fresh and 2 done)

	Pruned	Kept	Total
New	217	1	218
Fresh	0	9	9
Picked	1	0	1
Done	0	2	2
Total	218	12	230

Error

0.0b

Counts

230 → 12

Alt Table

Status	Error	Program
	31.8b	(fma.f64 b (-.f64 (.f64 a i) (.f64 z c)) (fma.f64 x (-.f64 (.f64 y z) (.f64 t a)) (.f64 (.f64 j (sqrt.f64 (-.f64 (.f64 t c) (.f64 y i)))) (sqrt.f64 (-.f64 (.f64 t c) (.f64 y i))))))
	11.8b	(.f64 (.f64 (cbrt.f64 (fma.f64 b (-.f64 (.f64 a i) (.f64 z c)) (fma.f64 x (-.f64 (.f64 y z) (.f64 t a)) (.f64 j (-.f64 (.f64 t c) (.f64 y i)))))) (cbrt.f64 (fma.f64 b (-.f64 (.f64 a i) (.f64 z c)) (fma.f64 x (-.f64 (.f64 y z) (.f64 t a)) (.f64 j (-.f64 (.f64 t c) (.f64 y i))))))) (cbrt.f64 (fma.f64 b (-.f64 (.f64 a i) (.f64 z c)) (fma.f64 x (-.f64 (.f64 y z) (.f64 t a)) (.f64 j (-.f64 (.f64 t c) (*.f64 y i)))))))
	45.2b	(.f64 (-.f64 (.f64 y x) (*.f64 c b)) z)
✓	10.9b	(fma.f64 b (-.f64 (.f64 a i) (.f64 z c)) (fma.f64 x (-.f64 (.f64 y z) (.f64 t a)) (.f64 j (-.f64 (.f64 t c) (*.f64 y i)))))
	29.3b	(fma.f64 b (-.f64 (.f64 a i) (.f64 z c)) (.f64 y (-.f64 (.f64 z x) (*.f64 i j))))
	28.0b	(fma.f64 b (-.f64 (.f64 a i) (.f64 z c)) (.f64 t (-.f64 (.f64 c j) (*.f64 x a))))
	27.7b	(fma.f64 b (-.f64 (.f64 a i) (.f64 z c)) (fma.f64 x (cbrt.f64 (pow.f64 (-.f64 (.f64 y z) (.f64 t a)) 3)) (.f64 j (-.f64 (.f64 t c) (*.f64 y i)))))
	28.0b	(+.f64 (.f64 c (-.f64 (.f64 t j) (.f64 z b))) (.f64 a (-.f64 (.f64 i b) (.f64 t x))))
	11.4b	(-.f64 (+.f64 (.f64 a (.f64 i b)) (+.f64 (.f64 c (.f64 t j)) (.f64 y (.f64 z x)))) (+.f64 (.f64 i (.f64 y j)) (+.f64 (.f64 a (.f64 t x)) (.f64 c (.f64 z b)))))
	40.0b	(fma.f64 b (-.f64 (.f64 a i) (.f64 z c)) (fma.f64 x (-.f64 (.f64 y z) (.f64 t a)) (.f64 (sqrt.f64 j) (.f64 (sqrt.f64 j) (-.f64 (.f64 t c) (.f64 y i))))))
	32.2b	(-.f64 (+.f64 (.f64 i (.f64 a b)) (+.f64 (.f64 (.f64 (cbrt.f64 (.f64 c (.f64 t j))) (cbrt.f64 (.f64 c (.f64 t j)))) (.f64 (sqrt.f64 (cbrt.f64 (.f64 c (.f64 t j)))) (sqrt.f64 (cbrt.f64 (.f64 c (.f64 t j)))))) (.f64 y (.f64 z x)))) (+.f64 (.f64 y (.f64 i j)) (+.f64 (.f64 c (.f64 z b)) (.f64 a (*.f64 t x)))))
✓	11.1b	(-.f64 (+.f64 (.f64 i (.f64 a b)) (+.f64 (.f64 c (.f64 t j)) (.f64 y (.f64 z x)))) (+.f64 (.f64 (.f64 (cbrt.f64 (.f64 y (.f64 i j))) (cbrt.f64 (.f64 y (.f64 i j)))) (cbrt.f64 (.f64 y (.f64 i j)))) (+.f64 (.f64 c (.f64 z b)) (.f64 a (.f64 t x)))))

Compiler

Compiled 12559 to 1732 computations (86.2% saved)

regimes11.1s (52.6%)

Accuracy

Total 3.4b remaining (95.1%)

Threshold costs 0b (0%)

Counts

239 → 3

Compiler

Compiled 118216 to 63988 computations (45.9% saved)

bsearch17.0ms (0.1%)

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

simplify41.0ms (0.2%)

Algorithm

1×	egg-herbie

Rules

214×	`distribute-rgt-neg-in_binary64`
177×	`cancel-sign-sub-inv_binary64`
144×	`distribute-lft-neg-in_binary64`
132×	`neg-sub0_binary64`
132×	`neg-mul-1_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	60	254
1	118	254
2	164	254
3	208	254
4	265	254
5	305	254
6	349	254
7	409	254
8	453	254
9	502	254
10	578	254
11	694	254
12	812	254
13	918	254
14	982	254
15	1009	254
16	1018	254
17	1020	254
18	1016	254

end215.0ms (1%)

Compiler: Compiled 887 to 378 computations (57.4% saved)

Details

analyze2.5s (11.9%)

sample3.7s (17.6%)

simplify316.0ms (1.5%)

prune4.0ms (0%)

localize17.0ms (0.1%)

series182.0ms (0.9%)

rewrite11.0ms (0.1%)

simplify241.0ms (1.1%)

prune185.0ms (0.9%)

localize24.0ms (0.1%)

series39.0ms (0.2%)

rewrite17.0ms (0.1%)

simplify78.0ms (0.4%)

prune154.0ms (0.7%)

localize24.0ms (0.1%)

series854.0ms (4%)

rewrite3.0ms (0%)

simplify70.0ms (0.3%)

prune181.0ms (0.9%)

localize26.0ms (0.1%)

series720.0ms (3.4%)

rewrite3.0ms (0%)

simplify69.0ms (0.3%)

prune295.0ms (1.4%)

regimes11.1s (52.6%)

bsearch17.0ms (0.1%)

simplify41.0ms (0.2%)

end215.0ms (1%)

Profiling