Details

analyze10.0ms (0.3%)

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)

sample1.9s (62.2%)

Results

1.8s

8256×

body

128

valid

Compiler

Compiled 524 to 140 computations (73.3% saved)

simplify70.0ms (2.3%)

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

prune12.0ms (0.4%)

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

31.7b

Counts

3 → 2

Alt Table

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

Status

Error

Program

31.8b

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

▶

31.8b

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

Compiler

Compiled 704 to 274 computations (61.1% saved)

localize29.0ms (0.9%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.1b	(fma.f64 (*.f64 x x) 7715471019/10000000000 1)
✓	0.2b	(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)))))
✓	14.4b	(.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))))))))
✓	31.2b	(/.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.6%)

Counts

4 → 48

Calls

4 calls:

7.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 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)))))
2.0ms	(fma.f64 (*.f64 x x) 7715471019/10000000000 1)

rewrite57.0ms (1.9%)

Algorithm

2×	batch-egg-rewrite

Rules

357×	`log1p-expm1-u_binary64`
357×	`expm1-log1p-u_binary64`
351×	`add-cbrt-cube_binary64`
349×	`add-log-exp_binary64`
348×	`add-exp-log_binary64`

Counts

4 → 62

Calls

4 calls:

55.0ms	(fma.f64 (*.f64 x x) 7715471019/10000000000 1)
55.0ms	(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)))))
55.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))))))))
55.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)))))))

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	38	209
1	802	209
2	4756	209
0	0	0
1	0	0

simplify109.0ms (3.6%)

Algorithm

1×	egg-herbie

Rules

466×	`times-frac_binary64`
447×	`unswap-sqr_binary64`
441×	`associate-/r*_binary64`
428×	`cancel-sign-sub-inv_binary64`
323×	`*-commutative_binary64`

Counts

110 → 108

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	91	705
1	240	683
2	595	673
3	1599	673
4	3464	673
5	4747	673
6	4942	673
7	4997	673
8	4913	673

prune175.0ms (5.7%)

Pruning

2 alts after pruning (1 fresh and 1 done)

	Pruned	Kept	Total
New	107	1	108
Fresh	1	0	1
Picked	0	1	1
Done	0	0	0
Total	108	2	110

Error

Counts

110 → 2

Alt Table

Status	Error	Program
▶	29.8b	(+.f64 (/.f64 1307076337763/8543989815576 (pow.f64 x 5)) (+.f64 (+.f64 (/.f64 1/2 x) (/.f64 600041/2386628 (pow.f64 x 3))) (/.f64 344398180852034095277/30586987988352776592 (pow.f64 x 7))))
✓	31.8b	(.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))))))))

Status

Error

Program

▶

29.8b

(+.f64 (/.f64 1307076337763/8543989815576 (pow.f64 x 5)) (+.f64 (+.f64 (/.f64 1/2 x) (/.f64 600041/2386628 (pow.f64 x 3))) (/.f64 344398180852034095277/30586987988352776592 (pow.f64 x 7))))

✓

31.8b

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

Compiler

Compiled 5455 to 4078 computations (25.2% saved)

localize12.0ms (0.4%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.0b	(+.f64 (/.f64 1307076337763/8543989815576 (pow.f64 x 5)) (+.f64 (+.f64 (/.f64 1/2 x) (/.f64 600041/2386628 (pow.f64 x 3))) (/.f64 344398180852034095277/30586987988352776592 (pow.f64 x 7))))
✓	0.1b	(/.f64 344398180852034095277/30586987988352776592 (pow.f64 x 7))
✓	0.3b	(/.f64 1307076337763/8543989815576 (pow.f64 x 5))
✓	0.4b	(/.f64 600041/2386628 (pow.f64 x 3))

series15.0ms (0.5%)

Counts

4 → 12

Calls

4 calls:

6.0ms	(/.f64 1307076337763/8543989815576 (pow.f64 x 5))
3.0ms	(+.f64 (/.f64 1307076337763/8543989815576 (pow.f64 x 5)) (+.f64 (+.f64 (/.f64 1/2 x) (/.f64 600041/2386628 (pow.f64 x 3))) (/.f64 344398180852034095277/30586987988352776592 (pow.f64 x 7))))
3.0ms	(/.f64 344398180852034095277/30586987988352776592 (pow.f64 x 7))
3.0ms	(/.f64 600041/2386628 (pow.f64 x 3))

rewrite76.0ms (2.5%)

Algorithm

2×	batch-egg-rewrite

Rules

227×	`add-sqr-sqrt_binary64`
225×	`log1p-expm1-u_binary64`
225×	`expm1-log1p-u_binary64`
216×	`add-cbrt-cube_binary64`
216×	`add-log-exp_binary64`

Counts

4 → 81

Calls

4 calls:

74.0ms	(+.f64 (/.f64 1307076337763/8543989815576 (pow.f64 x 5)) (+.f64 (+.f64 (/.f64 1/2 x) (/.f64 600041/2386628 (pow.f64 x 3))) (/.f64 344398180852034095277/30586987988352776592 (pow.f64 x 7))))
74.0ms	(/.f64 344398180852034095277/30586987988352776592 (pow.f64 x 7))
74.0ms	(/.f64 1307076337763/8543989815576 (pow.f64 x 5))
74.0ms	(/.f64 600041/2386628 (pow.f64 x 3))

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	19	52
1	467	46
2	4927	46
3	4705	46
0	0	0
1	0	0

simplify102.0ms (3.4%)

Algorithm

1×	egg-herbie

Rules

1497×	`fma-def_binary64`
533×	`times-frac_binary64`
493×	`associate-l_binary64`
447×	`sqr-pow_binary64`
354×	`associate-/l*_binary64`

Counts

93 → 93

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	30	219
1	78	219
2	156	219
3	260	219
4	436	219
5	1092	219
6	3391	219
7	3408	219
8	3626	219
9	3902	219
10	4277	219
11	4718	219
12	5822	219

prune78.0ms (2.6%)

Pruning

2 alts after pruning (0 fresh and 2 done)

	Pruned	Kept	Total
New	93	0	93
Fresh	0	0	0
Picked	0	1	1
Done	0	1	1
Total	93	2	95

Error

Counts

95 → 2

Alt Table

Status	Error	Program
✓	29.8b	(+.f64 (/.f64 1307076337763/8543989815576 (pow.f64 x 5)) (+.f64 (+.f64 (/.f64 1/2 x) (/.f64 600041/2386628 (pow.f64 x 3))) (/.f64 344398180852034095277/30586987988352776592 (pow.f64 x 7))))
✓	31.8b	(.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))))))))

Status

Error

Program

✓

29.8b

(+.f64 (/.f64 1307076337763/8543989815576 (pow.f64 x 5)) (+.f64 (+.f64 (/.f64 1/2 x) (/.f64 600041/2386628 (pow.f64 x 3))) (/.f64 344398180852034095277/30586987988352776592 (pow.f64 x 7))))

✓

31.8b

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

Compiler

Compiled 2332 to 1913 computations (18% saved)

regimes184.0ms (6%)

Accuracy

Total 0.0b remaining (15.3%)

Threshold costs 0.0b (15.3%)

Counts

44 → 3

Compiler

Compiled 2898 to 1910 computations (34.1% saved)

bsearch50.0ms (1.6%)

Steps

Iters	Range		Point
9	1.6751921735749783e-9	511.24426063025953	453.9467746406364
1	-5542571827.112085	-851.2718684324406	-2072573.8682640875

Compiler

Compiled 2 to 1 computations (50% saved)

simplify4.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	61	154
1	64	154
2	63	154

end152.0ms (5%)

Compiler: Compiled 301 to 232 computations (22.9% saved)

Details

analyze10.0ms (0.3%)

sample1.9s (62.2%)

simplify70.0ms (2.3%)

prune12.0ms (0.4%)

localize29.0ms (0.9%)

series18.0ms (0.6%)

rewrite57.0ms (1.9%)

simplify109.0ms (3.6%)

prune175.0ms (5.7%)

localize12.0ms (0.4%)

series15.0ms (0.5%)

rewrite76.0ms (2.5%)

simplify102.0ms (3.4%)

prune78.0ms (2.6%)

regimes184.0ms (6%)

bsearch50.0ms (1.6%)

simplify4.0ms (0.1%)

end152.0ms (5%)

Profiling