Details

analyze10.0ms (0.2%)

Algorithm

1×

Search

True	Other	False	Iter
0%	100%	0%	0
0%	100%	0%	1
0%	100%	0%	2
50%	50%	0%	3
50%	50%	0%	4
50%	50%	0%	5
81.2%	18.7%	0%	6
100%	0%	0%	7

Compiler

Compiled 175 to 47 computations (73.1% saved)

sample2.0s (38.1%)

Results

1.9s

8256×

body

128

valid

Compiler

Compiled 524 to 140 computations (73.3% saved)

simplify65.0ms (1.2%)

Algorithm

1×	egg-herbie

Rules

755×	`unswap-sqr_binary64`
705×	`fma-def_binary64`
691×	`distribute-rgt-out_binary64`
576×	`+-commutative_binary64`
488×	`*-commutative_binary64`

Counts

1 → 2

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	46	256
1	133	150
2	549	101
3	2427	90
4	3705	84
5	4529	84
6	4874	84
7	5887	84

prune8.0ms (0.2%)

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

26.5b

Counts

3 → 2

Alt Table

Status	Error	Program
▶	26.5b	(.f64 x (/.f64 (fma.f64 1789971/10000000000 (pow.f64 x 10) (fma.f64 2532017/5000000000 (pow.f64 x 8) (fma.f64 36322091/5000000000 (pow.f64 x 6) (fma.f64 106015151/2500000000 (pow.f64 x 4) (fma.f64 1049934947/10000000000 (.f64 x x) 1))))) (fma.f64 1789971/5000000000 (pow.f64 x 12) (fma.f64 (pow.f64 x 10) 1665589/2000000000 (fma.f64 (pow.f64 x 8) 70002721/5000000000 (fma.f64 (pow.f64 x 6) 694555761/10000000000 (fma.f64 (pow.f64 x 4) 2909738639/10000000000 (fma.f64 (*.f64 x x) 7715471019/10000000000 1))))))))
	26.5b	(.f64 (/.f64 (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 1 (.f64 1049934947/10000000000 (.f64 x x))) (.f64 106015151/2500000000 (.f64 (.f64 x x) (.f64 x x)))) (.f64 36322091/5000000000 (.f64 (.f64 (.f64 x x) (.f64 x x)) (.f64 x x)))) (.f64 2532017/5000000000 (.f64 (.f64 (.f64 (.f64 x x) (.f64 x x)) (.f64 x x)) (.f64 x x)))) (.f64 1789971/10000000000 (.f64 (.f64 (.f64 (.f64 (.f64 x x) (.f64 x x)) (.f64 x x)) (.f64 x x)) (.f64 x x)))) (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 1 (.f64 7715471019/10000000000 (.f64 x x))) (.f64 2909738639/10000000000 (.f64 (.f64 x x) (.f64 x x)))) (.f64 694555761/10000000000 (.f64 (.f64 (.f64 x x) (.f64 x x)) (.f64 x x)))) (.f64 70002721/5000000000 (.f64 (.f64 (.f64 (.f64 x x) (.f64 x x)) (.f64 x x)) (.f64 x x)))) (.f64 1665589/2000000000 (.f64 (.f64 (.f64 (.f64 (.f64 x x) (.f64 x x)) (.f64 x x)) (.f64 x x)) (.f64 x x)))) (.f64 (.f64 2 1789971/10000000000) (.f64 (.f64 (.f64 (.f64 (.f64 (.f64 x x) (.f64 x x)) (.f64 x x)) (.f64 x x)) (.f64 x x)) (.f64 x x))))) x)

Status

Error

Program

▶

26.5b

(*.f64 x (/.f64 (fma.f64 1789971/10000000000 (pow.f64 x 10) (fma.f64 2532017/5000000000 (pow.f64 x 8) (fma.f64 36322091/5000000000 (pow.f64 x 6) (fma.f64 106015151/2500000000 (pow.f64 x 4) (fma.f64 1049934947/10000000000 (*.f64 x x) 1))))) (fma.f64 1789971/5000000000 (pow.f64 x 12) (fma.f64 (pow.f64 x 10) 1665589/2000000000 (fma.f64 (pow.f64 x 8) 70002721/5000000000 (fma.f64 (pow.f64 x 6) 694555761/10000000000 (fma.f64 (pow.f64 x 4) 2909738639/10000000000 (fma.f64 (*.f64 x x) 7715471019/10000000000 1))))))))

26.5b

(*.f64 (/.f64 (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 1 (*.f64 1049934947/10000000000 (*.f64 x x))) (*.f64 106015151/2500000000 (*.f64 (*.f64 x x) (*.f64 x x)))) (*.f64 36322091/5000000000 (*.f64 (*.f64 (*.f64 x x) (*.f64 x x)) (*.f64 x x)))) (*.f64 2532017/5000000000 (*.f64 (*.f64 (*.f64 (*.f64 x x) (*.f64 x x)) (*.f64 x x)) (*.f64 x x)))) (*.f64 1789971/10000000000 (*.f64 (*.f64 (*.f64 (*.f64 (*.f64 x x) (*.f64 x x)) (*.f64 x x)) (*.f64 x x)) (*.f64 x x)))) (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 1 (*.f64 7715471019/10000000000 (*.f64 x x))) (*.f64 2909738639/10000000000 (*.f64 (*.f64 x x) (*.f64 x x)))) (*.f64 694555761/10000000000 (*.f64 (*.f64 (*.f64 x x) (*.f64 x x)) (*.f64 x x)))) (*.f64 70002721/5000000000 (*.f64 (*.f64 (*.f64 (*.f64 x x) (*.f64 x x)) (*.f64 x x)) (*.f64 x x)))) (*.f64 1665589/2000000000 (*.f64 (*.f64 (*.f64 (*.f64 (*.f64 x x) (*.f64 x x)) (*.f64 x x)) (*.f64 x x)) (*.f64 x x)))) (*.f64 (*.f64 2 1789971/10000000000) (*.f64 (*.f64 (*.f64 (*.f64 (*.f64 (*.f64 x x) (*.f64 x x)) (*.f64 x x)) (*.f64 x x)) (*.f64 x x)) (*.f64 x x))))) x)

Compiler

Compiled 704 to 274 computations (61.1% saved)

localize32.0ms (0.6%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.1b	(fma.f64 (pow.f64 x 4) 2909738639/10000000000 (fma.f64 (*.f64 x x) 7715471019/10000000000 1))
✓	0.1b	(fma.f64 1049934947/10000000000 (*.f64 x x) 1)
✓	13.1b	(.f64 x (/.f64 (fma.f64 1789971/10000000000 (pow.f64 x 10) (fma.f64 2532017/5000000000 (pow.f64 x 8) (fma.f64 36322091/5000000000 (pow.f64 x 6) (fma.f64 106015151/2500000000 (pow.f64 x 4) (fma.f64 1049934947/10000000000 (.f64 x x) 1))))) (fma.f64 1789971/5000000000 (pow.f64 x 12) (fma.f64 (pow.f64 x 10) 1665589/2000000000 (fma.f64 (pow.f64 x 8) 70002721/5000000000 (fma.f64 (pow.f64 x 6) 694555761/10000000000 (fma.f64 (pow.f64 x 4) 2909738639/10000000000 (fma.f64 (*.f64 x x) 7715471019/10000000000 1))))))))
✓	26.0b	(/.f64 (fma.f64 1789971/10000000000 (pow.f64 x 10) (fma.f64 2532017/5000000000 (pow.f64 x 8) (fma.f64 36322091/5000000000 (pow.f64 x 6) (fma.f64 106015151/2500000000 (pow.f64 x 4) (fma.f64 1049934947/10000000000 (.f64 x x) 1))))) (fma.f64 1789971/5000000000 (pow.f64 x 12) (fma.f64 (pow.f64 x 10) 1665589/2000000000 (fma.f64 (pow.f64 x 8) 70002721/5000000000 (fma.f64 (pow.f64 x 6) 694555761/10000000000 (fma.f64 (pow.f64 x 4) 2909738639/10000000000 (fma.f64 (.f64 x x) 7715471019/10000000000 1)))))))

series18.0ms (0.3%)

Counts

4 → 48

Calls

4 calls:

5.0ms	(/.f64 (fma.f64 1789971/10000000000 (pow.f64 x 10) (fma.f64 2532017/5000000000 (pow.f64 x 8) (fma.f64 36322091/5000000000 (pow.f64 x 6) (fma.f64 106015151/2500000000 (pow.f64 x 4) (fma.f64 1049934947/10000000000 (.f64 x x) 1))))) (fma.f64 1789971/5000000000 (pow.f64 x 12) (fma.f64 (pow.f64 x 10) 1665589/2000000000 (fma.f64 (pow.f64 x 8) 70002721/5000000000 (fma.f64 (pow.f64 x 6) 694555761/10000000000 (fma.f64 (pow.f64 x 4) 2909738639/10000000000 (fma.f64 (.f64 x x) 7715471019/10000000000 1)))))))
5.0ms	(.f64 x (/.f64 (fma.f64 1789971/10000000000 (pow.f64 x 10) (fma.f64 2532017/5000000000 (pow.f64 x 8) (fma.f64 36322091/5000000000 (pow.f64 x 6) (fma.f64 106015151/2500000000 (pow.f64 x 4) (fma.f64 1049934947/10000000000 (.f64 x x) 1))))) (fma.f64 1789971/5000000000 (pow.f64 x 12) (fma.f64 (pow.f64 x 10) 1665589/2000000000 (fma.f64 (pow.f64 x 8) 70002721/5000000000 (fma.f64 (pow.f64 x 6) 694555761/10000000000 (fma.f64 (pow.f64 x 4) 2909738639/10000000000 (fma.f64 (*.f64 x x) 7715471019/10000000000 1))))))))
4.0ms	(fma.f64 (pow.f64 x 4) 2909738639/10000000000 (fma.f64 (*.f64 x x) 7715471019/10000000000 1))
2.0ms	(fma.f64 1049934947/10000000000 (*.f64 x x) 1)

rewrite17.0ms (0.3%)

Algorithm

1×	rewrite-expression-head

Rules

25×	`add-sqr-sqrt_binary64`
20×	`*-un-lft-identity_binary64`
20×	`add-cube-cbrt_binary64`
19×	`times-frac_binary64`
13×	`associate-r_binary64`

Counts

4 → 83

Calls

4 calls:

5.0ms	(.f64 x (/.f64 (fma.f64 1789971/10000000000 (pow.f64 x 10) (fma.f64 2532017/5000000000 (pow.f64 x 8) (fma.f64 36322091/5000000000 (pow.f64 x 6) (fma.f64 106015151/2500000000 (pow.f64 x 4) (fma.f64 1049934947/10000000000 (.f64 x x) 1))))) (fma.f64 1789971/5000000000 (pow.f64 x 12) (fma.f64 (pow.f64 x 10) 1665589/2000000000 (fma.f64 (pow.f64 x 8) 70002721/5000000000 (fma.f64 (pow.f64 x 6) 694555761/10000000000 (fma.f64 (pow.f64 x 4) 2909738639/10000000000 (fma.f64 (*.f64 x x) 7715471019/10000000000 1))))))))
2.0ms	(/.f64 (fma.f64 1789971/10000000000 (pow.f64 x 10) (fma.f64 2532017/5000000000 (pow.f64 x 8) (fma.f64 36322091/5000000000 (pow.f64 x 6) (fma.f64 106015151/2500000000 (pow.f64 x 4) (fma.f64 1049934947/10000000000 (.f64 x x) 1))))) (fma.f64 1789971/5000000000 (pow.f64 x 12) (fma.f64 (pow.f64 x 10) 1665589/2000000000 (fma.f64 (pow.f64 x 8) 70002721/5000000000 (fma.f64 (pow.f64 x 6) 694555761/10000000000 (fma.f64 (pow.f64 x 4) 2909738639/10000000000 (fma.f64 (.f64 x x) 7715471019/10000000000 1)))))))
0.0ms	(fma.f64 (pow.f64 x 4) 2909738639/10000000000 (fma.f64 (*.f64 x x) 7715471019/10000000000 1))
0.0ms	(fma.f64 1049934947/10000000000 (*.f64 x x) 1)

simplify185.0ms (3.6%)

Algorithm

1×	egg-herbie

Rules

542×	`associate-l_binary64`
498×	`associate-r_binary64`
321×	`fma-def_binary64`
247×	`distribute-rgt-in_binary64`
243×	`distribute-lft-in_binary64`

Counts

131 → 180

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	204	8073
1	443	7191
2	1315	7182
3	4848	7182
4	4920	7182

prune422.0ms (8.2%)

Pruning

4 alts after pruning (4 fresh and 0 done)

	Pruned	Kept	Total
New	176	4	180
Fresh	1	0	1
Picked	1	0	1
Done	0	0	0
Total	178	4	182

Error

Counts

182 → 4

Alt Table

Status	Error	Program
	28.0b	(-.f64 (fma.f64 3321371254951887171/12500000000000000000 (pow.f64 x 5) x) (fma.f64 833192009/1250000000 (pow.f64 x 3) (*.f64 9156128575487588197208397249/125000000000000000000000000000 (pow.f64 x 7))))
	26.5b	(.f64 x (/.f64 (fma.f64 1789971/10000000000 (pow.f64 x 10) (fma.f64 2532017/5000000000 (pow.f64 x 8) (fma.f64 36322091/5000000000 (pow.f64 x 6) (fma.f64 106015151/2500000000 (pow.f64 x 4) (.f64 (sqrt.f64 (fma.f64 1049934947/10000000000 (.f64 x x) 1)) (sqrt.f64 (fma.f64 1049934947/10000000000 (.f64 x x) 1))))))) (fma.f64 1789971/5000000000 (pow.f64 x 12) (fma.f64 (pow.f64 x 10) 1665589/2000000000 (fma.f64 (pow.f64 x 8) 70002721/5000000000 (fma.f64 (pow.f64 x 6) 694555761/10000000000 (fma.f64 (pow.f64 x 4) 2909738639/10000000000 (fma.f64 (*.f64 x x) 7715471019/10000000000 1))))))))
▶	26.5b	(.f64 (/.f64 (fma.f64 1789971/10000000000 (pow.f64 x 10) (fma.f64 2532017/5000000000 (pow.f64 x 8) (fma.f64 36322091/5000000000 (pow.f64 x 6) (fma.f64 106015151/2500000000 (pow.f64 x 4) (fma.f64 1049934947/10000000000 (.f64 x x) 1))))) (fma.f64 1789971/5000000000 (pow.f64 x 12) (fma.f64 (pow.f64 x 10) 1665589/2000000000 (fma.f64 (pow.f64 x 8) 70002721/5000000000 (fma.f64 (pow.f64 x 6) 694555761/10000000000 (fma.f64 (pow.f64 x 4) 2909738639/10000000000 (fma.f64 (*.f64 x x) 7715471019/10000000000 1))))))) x)
	34.8b	(/.f64 1/2 x)

Compiler

Compiled 14662 to 10893 computations (25.7% saved)

localize30.0ms (0.6%)

Local error

Found 4 expressions with local error:

New	Error	Program
	0.1b	(fma.f64 (pow.f64 x 4) 2909738639/10000000000 (fma.f64 (*.f64 x x) 7715471019/10000000000 1))
	0.1b	(fma.f64 1049934947/10000000000 (*.f64 x x) 1)
✓	13.1b	(.f64 (/.f64 (fma.f64 1789971/10000000000 (pow.f64 x 10) (fma.f64 2532017/5000000000 (pow.f64 x 8) (fma.f64 36322091/5000000000 (pow.f64 x 6) (fma.f64 106015151/2500000000 (pow.f64 x 4) (fma.f64 1049934947/10000000000 (.f64 x x) 1))))) (fma.f64 1789971/5000000000 (pow.f64 x 12) (fma.f64 (pow.f64 x 10) 1665589/2000000000 (fma.f64 (pow.f64 x 8) 70002721/5000000000 (fma.f64 (pow.f64 x 6) 694555761/10000000000 (fma.f64 (pow.f64 x 4) 2909738639/10000000000 (fma.f64 (*.f64 x x) 7715471019/10000000000 1))))))) x)
	26.0b	(/.f64 (fma.f64 1789971/10000000000 (pow.f64 x 10) (fma.f64 2532017/5000000000 (pow.f64 x 8) (fma.f64 36322091/5000000000 (pow.f64 x 6) (fma.f64 106015151/2500000000 (pow.f64 x 4) (fma.f64 1049934947/10000000000 (.f64 x x) 1))))) (fma.f64 1789971/5000000000 (pow.f64 x 12) (fma.f64 (pow.f64 x 10) 1665589/2000000000 (fma.f64 (pow.f64 x 8) 70002721/5000000000 (fma.f64 (pow.f64 x 6) 694555761/10000000000 (fma.f64 (pow.f64 x 4) 2909738639/10000000000 (fma.f64 (.f64 x x) 7715471019/10000000000 1)))))))

series7.0ms (0.1%)

Counts

1 → 12

Calls

1 calls:

7.0ms

(*.f64 (/.f64 (fma.f64 1789971/10000000000 (pow.f64 x 10) (fma.f64 2532017/5000000000 (pow.f64 x 8) (fma.f64 36322091/5000000000 (pow.f64 x 6) (fma.f64 106015151/2500000000 (pow.f64 x 4) (fma.f64 1049934947/10000000000 (*.f64 x x) 1))))) (fma.f64 1789971/5000000000 (pow.f64 x 12) (fma.f64 (pow.f64 x 10) 1665589/2000000000 (fma.f64 (pow.f64 x 8) 70002721/5000000000 (fma.f64 (pow.f64 x 6) 694555761/10000000000 (fma.f64 (pow.f64 x 4) 2909738639/10000000000 (fma.f64 (*.f64 x x) 7715471019/10000000000 1))))))) x)

rewrite10.0ms (0.2%)

Algorithm

1×	rewrite-expression-head

Rules

14×	`add-sqr-sqrt_binary64`
13×	`associate-l_binary64`
10×	`times-frac_binary64`
9×	`*-un-lft-identity_binary64`
9×	`add-cube-cbrt_binary64`

Counts

1 → 34

Calls

1 calls:

5.0ms

(*.f64 (/.f64 (fma.f64 1789971/10000000000 (pow.f64 x 10) (fma.f64 2532017/5000000000 (pow.f64 x 8) (fma.f64 36322091/5000000000 (pow.f64 x 6) (fma.f64 106015151/2500000000 (pow.f64 x 4) (fma.f64 1049934947/10000000000 (*.f64 x x) 1))))) (fma.f64 1789971/5000000000 (pow.f64 x 12) (fma.f64 (pow.f64 x 10) 1665589/2000000000 (fma.f64 (pow.f64 x 8) 70002721/5000000000 (fma.f64 (pow.f64 x 6) 694555761/10000000000 (fma.f64 (pow.f64 x 4) 2909738639/10000000000 (fma.f64 (*.f64 x x) 7715471019/10000000000 1))))))) x)

simplify119.0ms (2.3%)

Algorithm

1×	egg-herbie

Rules

741×	`times-frac_binary64`
378×	`associate-l_binary64`
339×	`associate-r_binary64`
198×	`associate-*l/_binary64`
186×	`associate-/l/_binary64`

Counts

46 → 70

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	133	3730
1	309	3220
2	822	3216
3	2918	3216
4	4652	3216
5	4910	3216

prune406.0ms (7.8%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	178	0	178
Fresh	0	3	3
Picked	0	1	1
Done	0	0	0
Total	178	4	182

Error

Counts

182 → 4

Alt Table

Status	Error	Program
	28.0b	(-.f64 (fma.f64 3321371254951887171/12500000000000000000 (pow.f64 x 5) x) (fma.f64 833192009/1250000000 (pow.f64 x 3) (*.f64 9156128575487588197208397249/125000000000000000000000000000 (pow.f64 x 7))))
▶	26.5b	(.f64 x (/.f64 (fma.f64 1789971/10000000000 (pow.f64 x 10) (fma.f64 2532017/5000000000 (pow.f64 x 8) (fma.f64 36322091/5000000000 (pow.f64 x 6) (fma.f64 106015151/2500000000 (pow.f64 x 4) (.f64 (sqrt.f64 (fma.f64 1049934947/10000000000 (.f64 x x) 1)) (sqrt.f64 (fma.f64 1049934947/10000000000 (.f64 x x) 1))))))) (fma.f64 1789971/5000000000 (pow.f64 x 12) (fma.f64 (pow.f64 x 10) 1665589/2000000000 (fma.f64 (pow.f64 x 8) 70002721/5000000000 (fma.f64 (pow.f64 x 6) 694555761/10000000000 (fma.f64 (pow.f64 x 4) 2909738639/10000000000 (fma.f64 (*.f64 x x) 7715471019/10000000000 1))))))))
✓	26.5b	(.f64 (/.f64 (fma.f64 1789971/10000000000 (pow.f64 x 10) (fma.f64 2532017/5000000000 (pow.f64 x 8) (fma.f64 36322091/5000000000 (pow.f64 x 6) (fma.f64 106015151/2500000000 (pow.f64 x 4) (fma.f64 1049934947/10000000000 (.f64 x x) 1))))) (fma.f64 1789971/5000000000 (pow.f64 x 12) (fma.f64 (pow.f64 x 10) 1665589/2000000000 (fma.f64 (pow.f64 x 8) 70002721/5000000000 (fma.f64 (pow.f64 x 6) 694555761/10000000000 (fma.f64 (pow.f64 x 4) 2909738639/10000000000 (fma.f64 (*.f64 x x) 7715471019/10000000000 1))))))) x)
	34.8b	(/.f64 1/2 x)

Compiler

Compiled 14415 to 10720 computations (25.6% saved)

localize35.0ms (0.7%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.1b	(.f64 (sqrt.f64 (fma.f64 1049934947/10000000000 (.f64 x x) 1)) (sqrt.f64 (fma.f64 1049934947/10000000000 (*.f64 x x) 1)))
✓	13.1b	(.f64 x (/.f64 (fma.f64 1789971/10000000000 (pow.f64 x 10) (fma.f64 2532017/5000000000 (pow.f64 x 8) (fma.f64 36322091/5000000000 (pow.f64 x 6) (fma.f64 106015151/2500000000 (pow.f64 x 4) (.f64 (sqrt.f64 (fma.f64 1049934947/10000000000 (.f64 x x) 1)) (sqrt.f64 (fma.f64 1049934947/10000000000 (.f64 x x) 1))))))) (fma.f64 1789971/5000000000 (pow.f64 x 12) (fma.f64 (pow.f64 x 10) 1665589/2000000000 (fma.f64 (pow.f64 x 8) 70002721/5000000000 (fma.f64 (pow.f64 x 6) 694555761/10000000000 (fma.f64 (pow.f64 x 4) 2909738639/10000000000 (fma.f64 (*.f64 x x) 7715471019/10000000000 1))))))))
✓	13.3b	(sqrt.f64 (fma.f64 1049934947/10000000000 (*.f64 x x) 1))
✓	26.0b	(/.f64 (fma.f64 1789971/10000000000 (pow.f64 x 10) (fma.f64 2532017/5000000000 (pow.f64 x 8) (fma.f64 36322091/5000000000 (pow.f64 x 6) (fma.f64 106015151/2500000000 (pow.f64 x 4) (.f64 (sqrt.f64 (fma.f64 1049934947/10000000000 (.f64 x x) 1)) (sqrt.f64 (fma.f64 1049934947/10000000000 (.f64 x x) 1))))))) (fma.f64 1789971/5000000000 (pow.f64 x 12) (fma.f64 (pow.f64 x 10) 1665589/2000000000 (fma.f64 (pow.f64 x 8) 70002721/5000000000 (fma.f64 (pow.f64 x 6) 694555761/10000000000 (fma.f64 (pow.f64 x 4) 2909738639/10000000000 (fma.f64 (.f64 x x) 7715471019/10000000000 1)))))))

series22.0ms (0.4%)

Counts

4 → 48

Calls

4 calls:

6.0ms	(/.f64 (fma.f64 1789971/10000000000 (pow.f64 x 10) (fma.f64 2532017/5000000000 (pow.f64 x 8) (fma.f64 36322091/5000000000 (pow.f64 x 6) (fma.f64 106015151/2500000000 (pow.f64 x 4) (.f64 (sqrt.f64 (fma.f64 1049934947/10000000000 (.f64 x x) 1)) (sqrt.f64 (fma.f64 1049934947/10000000000 (.f64 x x) 1))))))) (fma.f64 1789971/5000000000 (pow.f64 x 12) (fma.f64 (pow.f64 x 10) 1665589/2000000000 (fma.f64 (pow.f64 x 8) 70002721/5000000000 (fma.f64 (pow.f64 x 6) 694555761/10000000000 (fma.f64 (pow.f64 x 4) 2909738639/10000000000 (fma.f64 (.f64 x x) 7715471019/10000000000 1)))))))
6.0ms	(.f64 x (/.f64 (fma.f64 1789971/10000000000 (pow.f64 x 10) (fma.f64 2532017/5000000000 (pow.f64 x 8) (fma.f64 36322091/5000000000 (pow.f64 x 6) (fma.f64 106015151/2500000000 (pow.f64 x 4) (.f64 (sqrt.f64 (fma.f64 1049934947/10000000000 (.f64 x x) 1)) (sqrt.f64 (fma.f64 1049934947/10000000000 (.f64 x x) 1))))))) (fma.f64 1789971/5000000000 (pow.f64 x 12) (fma.f64 (pow.f64 x 10) 1665589/2000000000 (fma.f64 (pow.f64 x 8) 70002721/5000000000 (fma.f64 (pow.f64 x 6) 694555761/10000000000 (fma.f64 (pow.f64 x 4) 2909738639/10000000000 (fma.f64 (*.f64 x x) 7715471019/10000000000 1))))))))
5.0ms	(sqrt.f64 (fma.f64 1049934947/10000000000 (*.f64 x x) 1))
2.0ms	(.f64 (sqrt.f64 (fma.f64 1049934947/10000000000 (.f64 x x) 1)) (sqrt.f64 (fma.f64 1049934947/10000000000 (*.f64 x x) 1)))

rewrite30.0ms (0.6%)

Algorithm

1×	rewrite-expression-head

Rules

51×	`add-sqr-sqrt_binary64`
29×	`*-un-lft-identity_binary64`
29×	`add-cube-cbrt_binary64`
22×	`pow1_binary64`
21×	`sqrt-prod_binary64`

Counts

4 → 131

Calls

4 calls:

5.0ms	(.f64 (sqrt.f64 (fma.f64 1049934947/10000000000 (.f64 x x) 1)) (sqrt.f64 (fma.f64 1049934947/10000000000 (*.f64 x x) 1)))
5.0ms	(.f64 x (/.f64 (fma.f64 1789971/10000000000 (pow.f64 x 10) (fma.f64 2532017/5000000000 (pow.f64 x 8) (fma.f64 36322091/5000000000 (pow.f64 x 6) (fma.f64 106015151/2500000000 (pow.f64 x 4) (.f64 (sqrt.f64 (fma.f64 1049934947/10000000000 (.f64 x x) 1)) (sqrt.f64 (fma.f64 1049934947/10000000000 (.f64 x x) 1))))))) (fma.f64 1789971/5000000000 (pow.f64 x 12) (fma.f64 (pow.f64 x 10) 1665589/2000000000 (fma.f64 (pow.f64 x 8) 70002721/5000000000 (fma.f64 (pow.f64 x 6) 694555761/10000000000 (fma.f64 (pow.f64 x 4) 2909738639/10000000000 (fma.f64 (*.f64 x x) 7715471019/10000000000 1))))))))
2.0ms	(/.f64 (fma.f64 1789971/10000000000 (pow.f64 x 10) (fma.f64 2532017/5000000000 (pow.f64 x 8) (fma.f64 36322091/5000000000 (pow.f64 x 6) (fma.f64 106015151/2500000000 (pow.f64 x 4) (.f64 (sqrt.f64 (fma.f64 1049934947/10000000000 (.f64 x x) 1)) (sqrt.f64 (fma.f64 1049934947/10000000000 (.f64 x x) 1))))))) (fma.f64 1789971/5000000000 (pow.f64 x 12) (fma.f64 (pow.f64 x 10) 1665589/2000000000 (fma.f64 (pow.f64 x 8) 70002721/5000000000 (fma.f64 (pow.f64 x 6) 694555761/10000000000 (fma.f64 (pow.f64 x 4) 2909738639/10000000000 (fma.f64 (.f64 x x) 7715471019/10000000000 1)))))))
1.0ms	(sqrt.f64 (fma.f64 1049934947/10000000000 (*.f64 x x) 1))

simplify207.0ms (4%)

Algorithm

1×	egg-herbie

Rules

491×	`fma-def_binary64`
299×	`associate-/r*_binary64`
238×	`associate-*l/_binary64`
219×	`distribute-rgt-in_binary64`
213×	`associate-/l*_binary64`

Counts

179 → 250

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	258	8851
1	587	7867
2	1757	7799
3	4642	7785
4	4912	7785

prune747.0ms (14.4%)

Pruning

4 alts after pruning (2 fresh and 2 done)

	Pruned	Kept	Total
New	295	0	295
Fresh	0	2	2
Picked	0	1	1
Done	0	1	1
Total	295	4	299

Error

Counts

299 → 4

Alt Table

Status	Error	Program
▶	28.0b	(-.f64 (fma.f64 3321371254951887171/12500000000000000000 (pow.f64 x 5) x) (fma.f64 833192009/1250000000 (pow.f64 x 3) (*.f64 9156128575487588197208397249/125000000000000000000000000000 (pow.f64 x 7))))
✓	26.5b	(.f64 x (/.f64 (fma.f64 1789971/10000000000 (pow.f64 x 10) (fma.f64 2532017/5000000000 (pow.f64 x 8) (fma.f64 36322091/5000000000 (pow.f64 x 6) (fma.f64 106015151/2500000000 (pow.f64 x 4) (.f64 (sqrt.f64 (fma.f64 1049934947/10000000000 (.f64 x x) 1)) (sqrt.f64 (fma.f64 1049934947/10000000000 (.f64 x x) 1))))))) (fma.f64 1789971/5000000000 (pow.f64 x 12) (fma.f64 (pow.f64 x 10) 1665589/2000000000 (fma.f64 (pow.f64 x 8) 70002721/5000000000 (fma.f64 (pow.f64 x 6) 694555761/10000000000 (fma.f64 (pow.f64 x 4) 2909738639/10000000000 (fma.f64 (*.f64 x x) 7715471019/10000000000 1))))))))
✓	26.5b	(.f64 (/.f64 (fma.f64 1789971/10000000000 (pow.f64 x 10) (fma.f64 2532017/5000000000 (pow.f64 x 8) (fma.f64 36322091/5000000000 (pow.f64 x 6) (fma.f64 106015151/2500000000 (pow.f64 x 4) (fma.f64 1049934947/10000000000 (.f64 x x) 1))))) (fma.f64 1789971/5000000000 (pow.f64 x 12) (fma.f64 (pow.f64 x 10) 1665589/2000000000 (fma.f64 (pow.f64 x 8) 70002721/5000000000 (fma.f64 (pow.f64 x 6) 694555761/10000000000 (fma.f64 (pow.f64 x 4) 2909738639/10000000000 (fma.f64 (*.f64 x x) 7715471019/10000000000 1))))))) x)
	34.8b	(/.f64 1/2 x)

Compiler

Compiled 24685 to 18231 computations (26.1% saved)

localize11.0ms (0.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.0b	(fma.f64 3321371254951887171/12500000000000000000 (pow.f64 x 5) x)
✓	0.1b	(fma.f64 833192009/1250000000 (pow.f64 x 3) (*.f64 9156128575487588197208397249/125000000000000000000000000000 (pow.f64 x 7)))
✓	0.1b	(*.f64 9156128575487588197208397249/125000000000000000000000000000 (pow.f64 x 7))
✓	20.5b	(-.f64 (fma.f64 3321371254951887171/12500000000000000000 (pow.f64 x 5) x) (fma.f64 833192009/1250000000 (pow.f64 x 3) (*.f64 9156128575487588197208397249/125000000000000000000000000000 (pow.f64 x 7))))

series23.0ms (0.4%)

Counts

4 → 36

Calls

4 calls:

11.0ms	(fma.f64 3321371254951887171/12500000000000000000 (pow.f64 x 5) x)
5.0ms	(fma.f64 833192009/1250000000 (pow.f64 x 3) (*.f64 9156128575487588197208397249/125000000000000000000000000000 (pow.f64 x 7)))
4.0ms	(-.f64 (fma.f64 3321371254951887171/12500000000000000000 (pow.f64 x 5) x) (fma.f64 833192009/1250000000 (pow.f64 x 3) (*.f64 9156128575487588197208397249/125000000000000000000000000000 (pow.f64 x 7))))
4.0ms	(*.f64 9156128575487588197208397249/125000000000000000000000000000 (pow.f64 x 7))

rewrite12.0ms (0.2%)

Algorithm

1×	rewrite-expression-head

Rules

22×	`add-sqr-sqrt_binary64`
17×	`*-un-lft-identity_binary64`
15×	`add-cube-cbrt_binary64`
9×	`add-exp-log_binary64`
9×	`prod-diff_binary64`

Counts

4 → 79

Calls

4 calls:

4.0ms	(*.f64 9156128575487588197208397249/125000000000000000000000000000 (pow.f64 x 7))
4.0ms	(-.f64 (fma.f64 3321371254951887171/12500000000000000000 (pow.f64 x 5) x) (fma.f64 833192009/1250000000 (pow.f64 x 3) (*.f64 9156128575487588197208397249/125000000000000000000000000000 (pow.f64 x 7))))
0.0ms	(fma.f64 833192009/1250000000 (pow.f64 x 3) (*.f64 9156128575487588197208397249/125000000000000000000000000000 (pow.f64 x 7)))
0.0ms	(fma.f64 3321371254951887171/12500000000000000000 (pow.f64 x 5) x)

simplify115.0ms (2.2%)

Algorithm

1×	egg-herbie

Rules

874×	`fma-neg_binary64`
633×	`times-frac_binary64`
600×	`associate-r_binary64`
389×	`fma-def_binary64`
339×	`distribute-lft-in_binary64`

Counts

115 → 122

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	142	2229
1	264	2018
2	793	1831
3	3426	1774
4	4426	1759
5	5632	1759

prune145.0ms (2.8%)

Pruning

4 alts after pruning (1 fresh and 3 done)

	Pruned	Kept	Total
New	122	0	122
Fresh	0	1	1
Picked	0	1	1
Done	0	2	2
Total	122	4	126

Error

Counts

126 → 4

Alt Table

Status	Error	Program
✓	28.0b	(-.f64 (fma.f64 3321371254951887171/12500000000000000000 (pow.f64 x 5) x) (fma.f64 833192009/1250000000 (pow.f64 x 3) (*.f64 9156128575487588197208397249/125000000000000000000000000000 (pow.f64 x 7))))
✓	26.5b	(.f64 x (/.f64 (fma.f64 1789971/10000000000 (pow.f64 x 10) (fma.f64 2532017/5000000000 (pow.f64 x 8) (fma.f64 36322091/5000000000 (pow.f64 x 6) (fma.f64 106015151/2500000000 (pow.f64 x 4) (.f64 (sqrt.f64 (fma.f64 1049934947/10000000000 (.f64 x x) 1)) (sqrt.f64 (fma.f64 1049934947/10000000000 (.f64 x x) 1))))))) (fma.f64 1789971/5000000000 (pow.f64 x 12) (fma.f64 (pow.f64 x 10) 1665589/2000000000 (fma.f64 (pow.f64 x 8) 70002721/5000000000 (fma.f64 (pow.f64 x 6) 694555761/10000000000 (fma.f64 (pow.f64 x 4) 2909738639/10000000000 (fma.f64 (*.f64 x x) 7715471019/10000000000 1))))))))
✓	26.5b	(.f64 (/.f64 (fma.f64 1789971/10000000000 (pow.f64 x 10) (fma.f64 2532017/5000000000 (pow.f64 x 8) (fma.f64 36322091/5000000000 (pow.f64 x 6) (fma.f64 106015151/2500000000 (pow.f64 x 4) (fma.f64 1049934947/10000000000 (.f64 x x) 1))))) (fma.f64 1789971/5000000000 (pow.f64 x 12) (fma.f64 (pow.f64 x 10) 1665589/2000000000 (fma.f64 (pow.f64 x 8) 70002721/5000000000 (fma.f64 (pow.f64 x 6) 694555761/10000000000 (fma.f64 (pow.f64 x 4) 2909738639/10000000000 (fma.f64 (*.f64 x x) 7715471019/10000000000 1))))))) x)
	34.8b	(/.f64 1/2 x)

Compiler

Compiled 3587 to 2840 computations (20.8% saved)

regimes308.0ms (6%)

Accuracy

Total 0.0b remaining (64.4%)

Threshold costs 0.0b (64.4%)

Counts

68 → 3

Compiler

Compiled 5504 to 3872 computations (29.7% saved)

bsearch16.0ms (0.3%)

Steps

Iters	Range		Point
1	233407369.19909966	61082025473.52696	3776072249.640515
2	-3.931391780349245e+28	-1.5265471017446776e+24	-1.879404812079822e+25

Compiler

Compiled 2 to 1 computations (50% saved)

simplify3.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

1×	`*-commutative_binary64`
1×	`1-exp_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	49	108
1	52	108
2	51	108

end201.0ms (3.9%)

Compiler: Compiled 307 to 231 computations (24.8% saved)

Details

analyze10.0ms (0.2%)

sample2.0s (38.1%)

simplify65.0ms (1.2%)

prune8.0ms (0.2%)

localize32.0ms (0.6%)

series18.0ms (0.3%)

rewrite17.0ms (0.3%)

simplify185.0ms (3.6%)

prune422.0ms (8.2%)

localize30.0ms (0.6%)

series7.0ms (0.1%)

rewrite10.0ms (0.2%)

simplify119.0ms (2.3%)

prune406.0ms (7.8%)

localize35.0ms (0.7%)

series22.0ms (0.4%)

rewrite30.0ms (0.6%)

simplify207.0ms (4%)

prune747.0ms (14.4%)

localize11.0ms (0.2%)

series23.0ms (0.4%)

rewrite12.0ms (0.2%)

simplify115.0ms (2.2%)

prune145.0ms (2.8%)

regimes308.0ms (6%)

bsearch16.0ms (0.3%)

simplify3.0ms (0.1%)

end201.0ms (3.9%)

Profiling