Details

analyze2.6s (16.1%)

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)

sample4.0s (25%)

Results

2.3s	11443×	body	128	invalid
1.7s	8256×	body	128	valid

Compiler

Compiled 116 to 71 computations (38.8% saved)

simplify328.0ms (2%)

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

prune5.0ms (0%)

Pruning

3 alts after pruning (3 fresh and 0 done)

	Kept	Total
New	2	2
Fresh	1	1
Picked	0	0
Done	0	0
Total	3	3

Error

14.0b

Counts

3 → 2

Alt Table

Status	Error	Program
▶	14.0b	(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)))))
	14.1b	(+.f64 (-.f64 (.f64 x (-.f64 (.f64 y z) (.f64 t a))) (.f64 b (-.f64 (.f64 c z) (.f64 i a)))) (.f64 j (-.f64 (.f64 c t) (*.f64 i y))))

Status

Error

Program

▶

14.0b

(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)))))

14.1b

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

Compiler

Compiled 213 to 120 computations (43.7% saved)

localize19.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.0b	(-.f64 (.f64 a i) (.f64 z c))
✓	4.9b	(fma.f64 x (-.f64 (.f64 y z) (.f64 t a)) (.f64 j (-.f64 (.f64 t c) (*.f64 y i))))
✓	5.6b	(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)))))
✓	6.7b	(.f64 j (-.f64 (.f64 t c) (*.f64 y i)))

series176.0ms (1.1%)

Counts

4 → 312

Calls

4 calls:

93.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)))))
55.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)))
8.0ms	(-.f64 (.f64 a i) (.f64 z c))

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-log-exp_binary64`

Counts

4 → 64

Calls

4 calls:

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

simplify227.0ms (1.4%)

Algorithm

1×	egg-herbie

Rules

417×	`sub-neg_binary64`
382×	`exp-prod_binary64`
378×	`cancel-sign-sub-inv_binary64`
343×	`*-commutative_binary64`
340×	`fma-neg_binary64`

Counts

376 → 195

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	260	9329
1	638	8941
2	1935	8618
3	3865	8372
4	4976	8372
5	5139	8372

prune215.0ms (1.3%)

Pruning

10 alts after pruning (10 fresh and 0 done)

	Pruned	Kept	Total
New	185	10	195
Fresh	1	0	1
Picked	1	0	1
Done	0	0	0
Total	187	10	197

Error

0.0b

Counts

197 → 10

Alt Table

Status	Error	Program
	14.0b	(fma.f64 b (-.f64 (.f64 a i) (.f64 z c)) (fma.f64 x (-.f64 (.f64 y z) (.f64 t a)) (+.f64 (.f64 (fma.f64 t c (neg.f64 (.f64 i y))) j) (.f64 (fma.f64 (neg.f64 i) y (.f64 i y)) j))))
	13.3b	(fma.f64 b (-.f64 (.f64 a i) (.f64 z c)) (fma.f64 x (-.f64 (.f64 y z) (.f64 t a)) (-.f64 (.f64 c (.f64 t j)) (.f64 i (.f64 y j)))))
	50.1b	(fma.f64 b (-.f64 (.f64 a i) (.f64 z c)) (fma.f64 x (-.f64 (.f64 y z) (.f64 t a)) (.f64 (.f64 (sqrt.f64 j) (sqrt.f64 (-.f64 (.f64 t c) (.f64 y i)))) (.f64 (sqrt.f64 j) (sqrt.f64 (-.f64 (.f64 t c) (*.f64 y i)))))))
	27.5b	(+.f64 (.f64 c (-.f64 (.f64 j t) (.f64 z b))) (.f64 a (-.f64 (.f64 i b) (.f64 t x))))
	41.6b	(.f64 t (-.f64 (.f64 c j) (*.f64 a x)))
	45.1b	(cbrt.f64 (pow.f64 (fma.f64 b (-.f64 (.f64 i a) (.f64 c z)) (fma.f64 x (-.f64 (.f64 y z) (.f64 t a)) (.f64 j (-.f64 (.f64 c t) (*.f64 i y))))) 3))
	38.7b	(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))))))
	24.8b	(+.f64 (.f64 z (-.f64 (.f64 y x) (.f64 c b))) (.f64 t (-.f64 (.f64 j c) (.f64 x a))))
	26.7b	(fma.f64 b (-.f64 (.f64 a i) (.f64 z c)) (fma.f64 x (-.f64 (.f64 y z) (.f64 t a)) (/.f64 (.f64 j (.f64 (-.f64 (.f64 c t) (.f64 i y)) (fma.f64 c t (.f64 i y)))) (+.f64 (.f64 t c) (*.f64 y i)))))
▶	10.5b	(-.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 6523 to 1109 computations (83% saved)

localize23.0ms (0.1%)

Local error

Found 4 expressions with local error:

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

series34.0ms (0.2%)

Counts

4 → 48

Calls

4 calls:

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

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:

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

simplify95.0ms (0.6%)

Algorithm

1×	egg-herbie

Rules

638×	`*-commutative_binary64`
551×	`associate-/l/_binary64`
513×	`sqr-pow_binary64`
486×	`unswap-sqr_binary64`
285×	`pow-sqr_binary64`

Counts

128 → 108

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	143	1212
1	340	1032
2	1147	1032
3	1606	1032
4	2034	1032
5	2798	1032
6	3697	1032
7	4835	1032
8	4987	1032

prune123.0ms (0.8%)

Pruning

10 alts after pruning (10 fresh and 0 done)

	Pruned	Kept	Total
New	106	2	108
Fresh	1	8	9
Picked	1	0	1
Done	0	0	0
Total	108	10	118

Error

0.0b

Counts

118 → 10

Alt Table

Status	Error	Program
	50.1b	(fma.f64 b (-.f64 (.f64 a i) (.f64 z c)) (fma.f64 x (-.f64 (.f64 y z) (.f64 t a)) (.f64 (.f64 (sqrt.f64 j) (sqrt.f64 (-.f64 (.f64 t c) (.f64 y i)))) (.f64 (sqrt.f64 j) (sqrt.f64 (-.f64 (.f64 t c) (*.f64 y i)))))))
	27.5b	(+.f64 (.f64 c (-.f64 (.f64 j t) (.f64 z b))) (.f64 a (-.f64 (.f64 i b) (.f64 t x))))
	24.8b	(+.f64 (.f64 z (-.f64 (.f64 y x) (.f64 c b))) (.f64 t (-.f64 (.f64 j c) (.f64 x a))))
▶	10.5b	(-.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 (.f64 (cbrt.f64 c) (cbrt.f64 c)) (.f64 (cbrt.f64 c) (.f64 z b))) (.f64 a (.f64 t x)))))
	41.6b	(.f64 t (-.f64 (.f64 c j) (*.f64 a x)))
	45.1b	(cbrt.f64 (pow.f64 (fma.f64 b (-.f64 (.f64 i a) (.f64 c z)) (fma.f64 x (-.f64 (.f64 y z) (.f64 t a)) (.f64 j (-.f64 (.f64 c t) (*.f64 i y))))) 3))
	13.3b	(fma.f64 b (-.f64 (.f64 a i) (.f64 z c)) (fma.f64 x (-.f64 (.f64 y z) (.f64 t a)) (-.f64 (.f64 c (.f64 t j)) (.f64 i (.f64 y j)))))
	38.7b	(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.2b	(-.f64 (+.f64 (.f64 i (.f64 a b)) (+.f64 (.f64 c (.f64 t j)) (.f64 y (.f64 z x)))) (+.f64 (.f64 (.f64 y i) j) (+.f64 (.f64 c (.f64 z b)) (.f64 a (.f64 t x)))))
	26.7b	(fma.f64 b (-.f64 (.f64 a i) (.f64 z c)) (fma.f64 x (-.f64 (.f64 y z) (.f64 t a)) (/.f64 (.f64 j (.f64 (-.f64 (.f64 c t) (.f64 i y)) (fma.f64 c t (.f64 i y)))) (+.f64 (.f64 t c) (*.f64 y i)))))

Compiler

Compiled 5104 to 1025 computations (79.9% saved)

localize28.0ms (0.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	4.5b	(.f64 y (.f64 z x))
	5.0b	(.f64 i (.f64 a b))
	5.1b	(.f64 a (.f64 t x))
	5.4b	(.f64 y (.f64 i j))

series10.0ms (0.1%)

Counts

1 → 0

Calls

1 calls:

9.0ms

(*.f64 y (*.f64 z x))

rewrite4.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

6×	`add-cbrt-cube_binary64`
6×	`add-exp-log_binary64`
6×	`pow1_binary64`
3×	`associate-l_binary64`
3×	`cbrt-unprod_binary64`

Counts

1 → 20

Calls

1 calls:

3.0ms

(*.f64 y (*.f64 z x))

simplify66.0ms (0.4%)

Algorithm

1×	egg-herbie

Rules

580×	`log-div_binary64`
514×	`associate-/l*_binary64`
411×	`*-commutative_binary64`
409×	`associate-l_binary64`
339×	`cube-div_binary64`

Counts

20 → 20

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	38	219
1	87	174
2	275	174
3	770	174
4	976	174
5	1185	174
6	1422	174
7	1902	174
8	3020	174
9	4714	174
10	4982	174

prune134.0ms (0.8%)

Pruning

11 alts after pruning (11 fresh and 0 done)

	Pruned	Kept	Total
New	96	3	99
Fresh	1	8	9
Picked	1	0	1
Done	0	0	0
Total	98	11	109

Error

0.0b

Counts

109 → 11

Alt Table

Status	Error	Program
	50.1b	(fma.f64 b (-.f64 (.f64 a i) (.f64 z c)) (fma.f64 x (-.f64 (.f64 y z) (.f64 t a)) (.f64 (.f64 (sqrt.f64 j) (sqrt.f64 (-.f64 (.f64 t c) (.f64 y i)))) (.f64 (sqrt.f64 j) (sqrt.f64 (-.f64 (.f64 t c) (*.f64 y i)))))))
	27.5b	(+.f64 (.f64 c (-.f64 (.f64 j t) (.f64 z b))) (.f64 a (-.f64 (.f64 i b) (.f64 t x))))
	13.3b	(fma.f64 b (-.f64 (.f64 a i) (.f64 z c)) (fma.f64 x (-.f64 (.f64 y z) (.f64 t a)) (-.f64 (.f64 c (.f64 t j)) (.f64 i (.f64 y j)))))
	38.7b	(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))))))
	24.8b	(+.f64 (.f64 z (-.f64 (.f64 y x) (.f64 c b))) (.f64 t (-.f64 (.f64 j c) (.f64 x a))))
	11.2b	(-.f64 (+.f64 (.f64 i (.f64 a b)) (+.f64 (.f64 c (.f64 t j)) (.f64 y (.f64 z x)))) (+.f64 (.f64 (.f64 y i) j) (+.f64 (.f64 c (.f64 z b)) (.f64 a (.f64 t x)))))
	18.0b	(-.f64 (+.f64 (cbrt.f64 (pow.f64 (.f64 a (.f64 i b)) 3)) (+.f64 (.f64 c (.f64 t j)) (.f64 y (.f64 z x)))) (+.f64 (.f64 y (.f64 i j)) (+.f64 (.f64 (.f64 (cbrt.f64 c) (cbrt.f64 c)) (.f64 (cbrt.f64 c) (.f64 z b))) (.f64 a (.f64 t x)))))
	26.7b	(fma.f64 b (-.f64 (.f64 a i) (.f64 z c)) (fma.f64 x (-.f64 (.f64 y z) (.f64 t a)) (/.f64 (.f64 j (.f64 (-.f64 (.f64 c t) (.f64 i y)) (fma.f64 c t (.f64 i y)))) (+.f64 (.f64 t c) (*.f64 y i)))))
	10.7b	(-.f64 (+.f64 (.f64 i (.f64 a b)) (+.f64 (.f64 c (.f64 t j)) (.f64 (.f64 (cbrt.f64 y) (cbrt.f64 y)) (.f64 (cbrt.f64 y) (.f64 z x))))) (+.f64 (.f64 y (.f64 i j)) (+.f64 (.f64 (.f64 (cbrt.f64 c) (cbrt.f64 c)) (.f64 (cbrt.f64 c) (.f64 z b))) (.f64 a (.f64 t x)))))
	41.6b	(.f64 t (-.f64 (.f64 c j) (*.f64 a x)))
▶	10.7b	(-.f64 (+.f64 (.f64 i (.f64 a b)) (+.f64 (.f64 c (.f64 t j)) (.f64 (.f64 (cbrt.f64 (.f64 y (.f64 z x))) (cbrt.f64 (.f64 y (.f64 z x)))) (cbrt.f64 (.f64 y (.f64 z x)))))) (+.f64 (.f64 y (.f64 i j)) (+.f64 (.f64 (.f64 (cbrt.f64 c) (cbrt.f64 c)) (.f64 (cbrt.f64 c) (.f64 z b))) (.f64 a (.f64 t x)))))

Compiler

Compiled 5623 to 1062 computations (81.1% saved)

localize30.0ms (0.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
	5.0b	(.f64 i (.f64 a b))
	5.1b	(.f64 a (.f64 t x))
	5.4b	(.f64 y (.f64 i j))
✓	12.2b	(cbrt.f64 (.f64 y (.f64 z x)))

series636.0ms (4%)

Counts

1 → 36

Calls

1 calls:

636.0ms

(cbrt.f64 (*.f64 y (*.f64 z x)))

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 z x)))

simplify70.0ms (0.4%)

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 → 22

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

prune160.0ms (1%)

Pruning

11 alts after pruning (10 fresh and 1 done)

	Pruned	Kept	Total
New	145	0	145
Fresh	0	10	10
Picked	0	1	1
Done	0	0	0
Total	145	11	156

Error

0.0b

Counts

156 → 11

Alt Table

Status	Error	Program
	50.1b	(fma.f64 b (-.f64 (.f64 a i) (.f64 z c)) (fma.f64 x (-.f64 (.f64 y z) (.f64 t a)) (.f64 (.f64 (sqrt.f64 j) (sqrt.f64 (-.f64 (.f64 t c) (.f64 y i)))) (.f64 (sqrt.f64 j) (sqrt.f64 (-.f64 (.f64 t c) (*.f64 y i)))))))
	27.5b	(+.f64 (.f64 c (-.f64 (.f64 j t) (.f64 z b))) (.f64 a (-.f64 (.f64 i b) (.f64 t x))))
	13.3b	(fma.f64 b (-.f64 (.f64 a i) (.f64 z c)) (fma.f64 x (-.f64 (.f64 y z) (.f64 t a)) (-.f64 (.f64 c (.f64 t j)) (.f64 i (.f64 y j)))))
	38.7b	(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))))))
	24.8b	(+.f64 (.f64 z (-.f64 (.f64 y x) (.f64 c b))) (.f64 t (-.f64 (.f64 j c) (.f64 x a))))
	11.2b	(-.f64 (+.f64 (.f64 i (.f64 a b)) (+.f64 (.f64 c (.f64 t j)) (.f64 y (.f64 z x)))) (+.f64 (.f64 (.f64 y i) j) (+.f64 (.f64 c (.f64 z b)) (.f64 a (.f64 t x)))))
	18.0b	(-.f64 (+.f64 (cbrt.f64 (pow.f64 (.f64 a (.f64 i b)) 3)) (+.f64 (.f64 c (.f64 t j)) (.f64 y (.f64 z x)))) (+.f64 (.f64 y (.f64 i j)) (+.f64 (.f64 (.f64 (cbrt.f64 c) (cbrt.f64 c)) (.f64 (cbrt.f64 c) (.f64 z b))) (.f64 a (.f64 t x)))))
	26.7b	(fma.f64 b (-.f64 (.f64 a i) (.f64 z c)) (fma.f64 x (-.f64 (.f64 y z) (.f64 t a)) (/.f64 (.f64 j (.f64 (-.f64 (.f64 c t) (.f64 i y)) (fma.f64 c t (.f64 i y)))) (+.f64 (.f64 t c) (*.f64 y i)))))
	10.7b	(-.f64 (+.f64 (.f64 i (.f64 a b)) (+.f64 (.f64 c (.f64 t j)) (.f64 (.f64 (cbrt.f64 y) (cbrt.f64 y)) (.f64 (cbrt.f64 y) (.f64 z x))))) (+.f64 (.f64 y (.f64 i j)) (+.f64 (.f64 (.f64 (cbrt.f64 c) (cbrt.f64 c)) (.f64 (cbrt.f64 c) (.f64 z b))) (.f64 a (.f64 t x)))))
	41.6b	(.f64 t (-.f64 (.f64 c j) (*.f64 a x)))
✓	10.7b	(-.f64 (+.f64 (.f64 i (.f64 a b)) (+.f64 (.f64 c (.f64 t j)) (.f64 (.f64 (cbrt.f64 (.f64 y (.f64 z x))) (cbrt.f64 (.f64 y (.f64 z x)))) (cbrt.f64 (.f64 y (.f64 z x)))))) (+.f64 (.f64 y (.f64 i j)) (+.f64 (.f64 (.f64 (cbrt.f64 c) (cbrt.f64 c)) (.f64 (cbrt.f64 c) (.f64 z b))) (.f64 a (.f64 t x)))))

Compiler

Compiled 9494 to 1224 computations (87.1% saved)

regimes6.8s (42.1%)

Accuracy

Total 2.7b remaining (87.7%)

Threshold costs 0b (0%)

Counts

221 → 3

Compiler

Compiled 93416 to 54868 computations (41.3% saved)

bsearch26.0ms (0.2%)

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

simplify47.0ms (0.3%)

Algorithm

1×	egg-herbie

Rules

243×	`distribute-rgt-neg-in_binary64`
197×	`cancel-sign-sub-inv_binary64`
164×	`distribute-lft-neg-in_binary64`
153×	`neg-sub0_binary64`
153×	`neg-mul-1_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	71	266
1	136	266
2	188	266
3	241	266
4	310	266
5	363	266
6	414	266
7	487	266
8	532	266
9	591	266
10	668	266
11	802	266
12	931	266
13	1053	266
14	1119	266
15	1155	266
16	1173	266
17	1178	266
18	1178	266
19	1174	266

end213.0ms (1.3%)

Compiler: Compiled 855 to 393 computations (54% saved)

Details

analyze2.6s (16.1%)

sample4.0s (25%)

simplify328.0ms (2%)

prune5.0ms (0%)

localize19.0ms (0.1%)

series176.0ms (1.1%)

rewrite11.0ms (0.1%)

simplify227.0ms (1.4%)

prune215.0ms (1.3%)

localize23.0ms (0.1%)

series34.0ms (0.2%)

rewrite17.0ms (0.1%)

simplify95.0ms (0.6%)

prune123.0ms (0.8%)

localize28.0ms (0.2%)

series10.0ms (0.1%)

rewrite4.0ms (0%)

simplify66.0ms (0.4%)

prune134.0ms (0.8%)

localize30.0ms (0.2%)

series636.0ms (4%)

rewrite3.0ms (0%)

simplify70.0ms (0.4%)

prune160.0ms (1%)

regimes6.8s (42.1%)

bsearch26.0ms (0.2%)

simplify47.0ms (0.3%)

end213.0ms (1.3%)

Profiling