Details

analyze9.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.1s (49.6%)

Results

2.1s

8256×

body

128

valid

Compiler

Compiled 524 to 140 computations (73.3% saved)

simplify28.0ms (0.6%)

Algorithm

1×	egg-herbie

Rules

705×	`fma-def_binary64`
691×	`distribute-rgt-out_binary64`
550×	`+-commutative_binary64`
437×	`*-commutative_binary64`
350×	`associate-l_binary64`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	46	256
1	133	150
2	590	101
3	3277	90

Stop Event

1×	node limit

Counts

1 → 2

prune10.0ms (0.2%)

Pruning

2 alts after pruning (2 fresh and 0 done)

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

Error

26.8b

Counts

3 → 1

Alt Table

Status	Error	Program
▶	26.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)

Status

Error

Program

▶

26.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)

Compiler

Compiled 586 to 183 computations (68.8% saved)

localize45.0ms (1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.2b	(.f64 7715471019/10000000000 (.f64 x x))
✓	0.2b	(.f64 1049934947/10000000000 (.f64 x x))
✓	13.4b	(.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)
✓	26.3b	(/.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)))))

series21.0ms (0.5%)

Counts

4 → 48

Calls

4 calls:

7.0ms	(.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)
6.0ms	(/.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)))))
5.0ms	(.f64 1049934947/10000000000 (.f64 x x))
2.0ms	(.f64 7715471019/10000000000 (.f64 x x))

rewrite64.0ms (1.5%)

Algorithm

1×	batch-egg-rewrite

Rules

506×	`log1p-expm1-u_binary64`
506×	`expm1-log1p-u_binary64`
192×	`prod-diff_binary64`
178×	`unpow-prod-down_binary64`
177×	`fma-def_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	46	367
1	1073	287

Stop Event

1×	node limit

Counts

4 → 53

Calls

4 calls:

62.0ms	(.f64 7715471019/10000000000 (.f64 x x))
62.0ms	(.f64 1049934947/10000000000 (.f64 x x))
62.0ms	(.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)
62.0ms	(/.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)))))

simplify41.0ms (0.9%)

Algorithm

1×	egg-herbie

Rules

634×	`fma-def_binary64`
627×	`associate-l_binary64`
426×	`associate-/r*_binary64`
426×	`cancel-sign-sub-inv_binary64`
244×	`fma-neg_binary64`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	72	576
1	192	576
2	486	568
3	1454	564

Stop Event

1×	node limit

Counts

101 → 86

prune198.0ms (4.6%)

Pruning

3 alts after pruning (2 fresh and 1 done)

	Pruned	Kept	Total
New	84	2	86
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	84	3	87

Error

0.0b

Counts

87 → 3

Alt Table

Status	Error	Program
✓	26.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)
	46.6b	(cbrt.f64 (pow.f64 (/.f64 (.f64 (fma.f64 1789971/10000000000 (.f64 (.f64 x x) (pow.f64 (.f64 (pow.f64 x 3) x) 2)) (fma.f64 2532017/5000000000 (pow.f64 (.f64 (pow.f64 x 3) x) 2) (fma.f64 36322091/5000000000 (pow.f64 (.f64 x x) 3) (fma.f64 106015151/2500000000 (.f64 (pow.f64 x 3) x) (fma.f64 1049934947/10000000000 (.f64 x x) 1))))) x) (fma.f64 1789971/5000000000 (pow.f64 (.f64 (pow.f64 x 3) x) 3) (fma.f64 (.f64 (.f64 x x) (pow.f64 (.f64 (pow.f64 x 3) x) 2)) 1665589/2000000000 (fma.f64 (pow.f64 (.f64 (pow.f64 x 3) x) 2) 70002721/5000000000 (fma.f64 (pow.f64 (.f64 x x) 3) 694555761/10000000000 (fma.f64 (.f64 (pow.f64 x 3) x) 2909738639/10000000000 (fma.f64 (.f64 x x) 7715471019/10000000000 1))))))) 3))
▶	34.2b	(+.f64 (/.f64 1/2 x) (+.f64 (/.f64 600041/2386628 (pow.f64 x 3)) (/.f64 1307076337763/8543989815576 (pow.f64 x 5))))

Compiler

Compiled 8830 to 3913 computations (55.7% saved)

localize8.0ms (0.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.0b	(+.f64 (/.f64 1/2 x) (+.f64 (/.f64 600041/2386628 (pow.f64 x 3)) (/.f64 1307076337763/8543989815576 (pow.f64 x 5))))
✓	0.0b	(+.f64 (/.f64 600041/2386628 (pow.f64 x 3)) (/.f64 1307076337763/8543989815576 (pow.f64 x 5)))
✓	0.3b	(/.f64 1307076337763/8543989815576 (pow.f64 x 5))
✓	0.5b	(/.f64 600041/2386628 (pow.f64 x 3))

series21.0ms (0.5%)

Counts

4 → 24

Calls

4 calls:

12.0ms	(+.f64 (/.f64 600041/2386628 (pow.f64 x 3)) (/.f64 1307076337763/8543989815576 (pow.f64 x 5)))
3.0ms	(+.f64 (/.f64 1/2 x) (+.f64 (/.f64 600041/2386628 (pow.f64 x 3)) (/.f64 1307076337763/8543989815576 (pow.f64 x 5))))
3.0ms	(/.f64 1307076337763/8543989815576 (pow.f64 x 5))
3.0ms	(/.f64 600041/2386628 (pow.f64 x 3))

rewrite84.0ms (1.9%)

Algorithm

1×	batch-egg-rewrite

Rules

290×	`log1p-udef_binary64`
166×	`add-sqr-sqrt_binary64`
164×	`log1p-expm1-u_binary64`
164×	`expm1-log1p-u_binary64`
162×	`add-cbrt-cube_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	14	52
1	341	48
2	4876	48

Stop Event

1×	node limit

Counts

4 → 158

Calls

4 calls:

81.0ms	(+.f64 (/.f64 1/2 x) (+.f64 (/.f64 600041/2386628 (pow.f64 x 3)) (/.f64 1307076337763/8543989815576 (pow.f64 x 5))))
81.0ms	(+.f64 (/.f64 600041/2386628 (pow.f64 x 3)) (/.f64 1307076337763/8543989815576 (pow.f64 x 5)))
81.0ms	(/.f64 1307076337763/8543989815576 (pow.f64 x 5))
81.0ms	(/.f64 600041/2386628 (pow.f64 x 3))

simplify41.0ms (1%)

Algorithm

1×	egg-herbie

Rules

724×	`unswap-sqr_binary64`
504×	`associate-/r*_binary64`
503×	`associate-/l/_binary64`
356×	`times-frac_binary64`
310×	`associate-l_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	22	354
1	50	354
2	92	354
3	151	354
4	299	354
5	880	354
6	3929	354

Stop Event

1×	node limit

Counts

182 → 167

prune136.0ms (3.2%)

Pruning

3 alts after pruning (1 fresh and 2 done)

	Pruned	Kept	Total
New	167	0	167
Fresh	0	1	1
Picked	0	1	1
Done	0	1	1
Total	167	3	170

Error

0.0b

Counts

170 → 3

Alt Table

Status	Error	Program
✓	26.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)
▶	46.6b	(cbrt.f64 (pow.f64 (/.f64 (.f64 (fma.f64 1789971/10000000000 (.f64 (.f64 x x) (pow.f64 (.f64 (pow.f64 x 3) x) 2)) (fma.f64 2532017/5000000000 (pow.f64 (.f64 (pow.f64 x 3) x) 2) (fma.f64 36322091/5000000000 (pow.f64 (.f64 x x) 3) (fma.f64 106015151/2500000000 (.f64 (pow.f64 x 3) x) (fma.f64 1049934947/10000000000 (.f64 x x) 1))))) x) (fma.f64 1789971/5000000000 (pow.f64 (.f64 (pow.f64 x 3) x) 3) (fma.f64 (.f64 (.f64 x x) (pow.f64 (.f64 (pow.f64 x 3) x) 2)) 1665589/2000000000 (fma.f64 (pow.f64 (.f64 (pow.f64 x 3) x) 2) 70002721/5000000000 (fma.f64 (pow.f64 (.f64 x x) 3) 694555761/10000000000 (fma.f64 (.f64 (pow.f64 x 3) x) 2909738639/10000000000 (fma.f64 (.f64 x x) 7715471019/10000000000 1))))))) 3))
✓	34.2b	(+.f64 (/.f64 1/2 x) (+.f64 (/.f64 600041/2386628 (pow.f64 x 3)) (/.f64 1307076337763/8543989815576 (pow.f64 x 5))))

Compiler

Compiled 4503 to 3529 computations (21.6% saved)

localize44.0ms (1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.1b	(pow.f64 (/.f64 (.f64 (fma.f64 1789971/10000000000 (.f64 (.f64 x x) (pow.f64 (.f64 (pow.f64 x 3) x) 2)) (fma.f64 2532017/5000000000 (pow.f64 (.f64 (pow.f64 x 3) x) 2) (fma.f64 36322091/5000000000 (pow.f64 (.f64 x x) 3) (fma.f64 106015151/2500000000 (.f64 (pow.f64 x 3) x) (fma.f64 1049934947/10000000000 (.f64 x x) 1))))) x) (fma.f64 1789971/5000000000 (pow.f64 (.f64 (pow.f64 x 3) x) 3) (fma.f64 (.f64 (.f64 x x) (pow.f64 (.f64 (pow.f64 x 3) x) 2)) 1665589/2000000000 (fma.f64 (pow.f64 (.f64 (pow.f64 x 3) x) 2) 70002721/5000000000 (fma.f64 (pow.f64 (.f64 x x) 3) 694555761/10000000000 (fma.f64 (.f64 (pow.f64 x 3) x) 2909738639/10000000000 (fma.f64 (.f64 x x) 7715471019/10000000000 1))))))) 3)
✓	0.1b	(pow.f64 (*.f64 x x) 3)
✓	26.4b	(/.f64 (.f64 (fma.f64 1789971/10000000000 (.f64 (.f64 x x) (pow.f64 (.f64 (pow.f64 x 3) x) 2)) (fma.f64 2532017/5000000000 (pow.f64 (.f64 (pow.f64 x 3) x) 2) (fma.f64 36322091/5000000000 (pow.f64 (.f64 x x) 3) (fma.f64 106015151/2500000000 (.f64 (pow.f64 x 3) x) (fma.f64 1049934947/10000000000 (.f64 x x) 1))))) x) (fma.f64 1789971/5000000000 (pow.f64 (.f64 (pow.f64 x 3) x) 3) (fma.f64 (.f64 (.f64 x x) (pow.f64 (.f64 (pow.f64 x 3) x) 2)) 1665589/2000000000 (fma.f64 (pow.f64 (.f64 (pow.f64 x 3) x) 2) 70002721/5000000000 (fma.f64 (pow.f64 (.f64 x x) 3) 694555761/10000000000 (fma.f64 (.f64 (pow.f64 x 3) x) 2909738639/10000000000 (fma.f64 (.f64 x x) 7715471019/10000000000 1)))))))
✓	37.8b	(cbrt.f64 (pow.f64 (/.f64 (.f64 (fma.f64 1789971/10000000000 (.f64 (.f64 x x) (pow.f64 (.f64 (pow.f64 x 3) x) 2)) (fma.f64 2532017/5000000000 (pow.f64 (.f64 (pow.f64 x 3) x) 2) (fma.f64 36322091/5000000000 (pow.f64 (.f64 x x) 3) (fma.f64 106015151/2500000000 (.f64 (pow.f64 x 3) x) (fma.f64 1049934947/10000000000 (.f64 x x) 1))))) x) (fma.f64 1789971/5000000000 (pow.f64 (.f64 (pow.f64 x 3) x) 3) (fma.f64 (.f64 (.f64 x x) (pow.f64 (.f64 (pow.f64 x 3) x) 2)) 1665589/2000000000 (fma.f64 (pow.f64 (.f64 (pow.f64 x 3) x) 2) 70002721/5000000000 (fma.f64 (pow.f64 (.f64 x x) 3) 694555761/10000000000 (fma.f64 (.f64 (pow.f64 x 3) x) 2909738639/10000000000 (fma.f64 (.f64 x x) 7715471019/10000000000 1))))))) 3))

series31.0ms (0.7%)

Counts

4 → 48

Calls

4 calls:

13.0ms	(cbrt.f64 (pow.f64 (/.f64 (.f64 (fma.f64 1789971/10000000000 (.f64 (.f64 x x) (pow.f64 (.f64 (pow.f64 x 3) x) 2)) (fma.f64 2532017/5000000000 (pow.f64 (.f64 (pow.f64 x 3) x) 2) (fma.f64 36322091/5000000000 (pow.f64 (.f64 x x) 3) (fma.f64 106015151/2500000000 (.f64 (pow.f64 x 3) x) (fma.f64 1049934947/10000000000 (.f64 x x) 1))))) x) (fma.f64 1789971/5000000000 (pow.f64 (.f64 (pow.f64 x 3) x) 3) (fma.f64 (.f64 (.f64 x x) (pow.f64 (.f64 (pow.f64 x 3) x) 2)) 1665589/2000000000 (fma.f64 (pow.f64 (.f64 (pow.f64 x 3) x) 2) 70002721/5000000000 (fma.f64 (pow.f64 (.f64 x x) 3) 694555761/10000000000 (fma.f64 (.f64 (pow.f64 x 3) x) 2909738639/10000000000 (fma.f64 (.f64 x x) 7715471019/10000000000 1))))))) 3))
6.0ms	(pow.f64 (/.f64 (.f64 (fma.f64 1789971/10000000000 (.f64 (.f64 x x) (pow.f64 (.f64 (pow.f64 x 3) x) 2)) (fma.f64 2532017/5000000000 (pow.f64 (.f64 (pow.f64 x 3) x) 2) (fma.f64 36322091/5000000000 (pow.f64 (.f64 x x) 3) (fma.f64 106015151/2500000000 (.f64 (pow.f64 x 3) x) (fma.f64 1049934947/10000000000 (.f64 x x) 1))))) x) (fma.f64 1789971/5000000000 (pow.f64 (.f64 (pow.f64 x 3) x) 3) (fma.f64 (.f64 (.f64 x x) (pow.f64 (.f64 (pow.f64 x 3) x) 2)) 1665589/2000000000 (fma.f64 (pow.f64 (.f64 (pow.f64 x 3) x) 2) 70002721/5000000000 (fma.f64 (pow.f64 (.f64 x x) 3) 694555761/10000000000 (fma.f64 (.f64 (pow.f64 x 3) x) 2909738639/10000000000 (fma.f64 (.f64 x x) 7715471019/10000000000 1))))))) 3)
6.0ms	(pow.f64 (*.f64 x x) 3)
6.0ms	(/.f64 (.f64 (fma.f64 1789971/10000000000 (.f64 (.f64 x x) (pow.f64 (.f64 (pow.f64 x 3) x) 2)) (fma.f64 2532017/5000000000 (pow.f64 (.f64 (pow.f64 x 3) x) 2) (fma.f64 36322091/5000000000 (pow.f64 (.f64 x x) 3) (fma.f64 106015151/2500000000 (.f64 (pow.f64 x 3) x) (fma.f64 1049934947/10000000000 (.f64 x x) 1))))) x) (fma.f64 1789971/5000000000 (pow.f64 (.f64 (pow.f64 x 3) x) 3) (fma.f64 (.f64 (.f64 x x) (pow.f64 (.f64 (pow.f64 x 3) x) 2)) 1665589/2000000000 (fma.f64 (pow.f64 (.f64 (pow.f64 x 3) x) 2) 70002721/5000000000 (fma.f64 (pow.f64 (.f64 x x) 3) 694555761/10000000000 (fma.f64 (.f64 (pow.f64 x 3) x) 2909738639/10000000000 (fma.f64 (.f64 x x) 7715471019/10000000000 1)))))))

rewrite106.0ms (2.5%)

Algorithm

1×	batch-egg-rewrite

Rules

346×	`log1p-expm1-u_binary64`
346×	`expm1-log1p-u_binary64`
338×	`add-cbrt-cube_binary64`
330×	`add-log-exp_binary64`
329×	`add-exp-log_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	38	361
1	802	295

Stop Event

1×	node limit

Counts

4 → 85

Calls

4 calls:

103.0ms	(pow.f64 (/.f64 (.f64 (fma.f64 1789971/10000000000 (.f64 (.f64 x x) (pow.f64 (.f64 (pow.f64 x 3) x) 2)) (fma.f64 2532017/5000000000 (pow.f64 (.f64 (pow.f64 x 3) x) 2) (fma.f64 36322091/5000000000 (pow.f64 (.f64 x x) 3) (fma.f64 106015151/2500000000 (.f64 (pow.f64 x 3) x) (fma.f64 1049934947/10000000000 (.f64 x x) 1))))) x) (fma.f64 1789971/5000000000 (pow.f64 (.f64 (pow.f64 x 3) x) 3) (fma.f64 (.f64 (.f64 x x) (pow.f64 (.f64 (pow.f64 x 3) x) 2)) 1665589/2000000000 (fma.f64 (pow.f64 (.f64 (pow.f64 x 3) x) 2) 70002721/5000000000 (fma.f64 (pow.f64 (.f64 x x) 3) 694555761/10000000000 (fma.f64 (.f64 (pow.f64 x 3) x) 2909738639/10000000000 (fma.f64 (.f64 x x) 7715471019/10000000000 1))))))) 3)
103.0ms	(pow.f64 (*.f64 x x) 3)
103.0ms	(/.f64 (.f64 (fma.f64 1789971/10000000000 (.f64 (.f64 x x) (pow.f64 (.f64 (pow.f64 x 3) x) 2)) (fma.f64 2532017/5000000000 (pow.f64 (.f64 (pow.f64 x 3) x) 2) (fma.f64 36322091/5000000000 (pow.f64 (.f64 x x) 3) (fma.f64 106015151/2500000000 (.f64 (pow.f64 x 3) x) (fma.f64 1049934947/10000000000 (.f64 x x) 1))))) x) (fma.f64 1789971/5000000000 (pow.f64 (.f64 (pow.f64 x 3) x) 3) (fma.f64 (.f64 (.f64 x x) (pow.f64 (.f64 (pow.f64 x 3) x) 2)) 1665589/2000000000 (fma.f64 (pow.f64 (.f64 (pow.f64 x 3) x) 2) 70002721/5000000000 (fma.f64 (pow.f64 (.f64 x x) 3) 694555761/10000000000 (fma.f64 (.f64 (pow.f64 x 3) x) 2909738639/10000000000 (fma.f64 (.f64 x x) 7715471019/10000000000 1)))))))
102.0ms	(cbrt.f64 (pow.f64 (/.f64 (.f64 (fma.f64 1789971/10000000000 (.f64 (.f64 x x) (pow.f64 (.f64 (pow.f64 x 3) x) 2)) (fma.f64 2532017/5000000000 (pow.f64 (.f64 (pow.f64 x 3) x) 2) (fma.f64 36322091/5000000000 (pow.f64 (.f64 x x) 3) (fma.f64 106015151/2500000000 (.f64 (pow.f64 x 3) x) (fma.f64 1049934947/10000000000 (.f64 x x) 1))))) x) (fma.f64 1789971/5000000000 (pow.f64 (.f64 (pow.f64 x 3) x) 3) (fma.f64 (.f64 (.f64 x x) (pow.f64 (.f64 (pow.f64 x 3) x) 2)) 1665589/2000000000 (fma.f64 (pow.f64 (.f64 (pow.f64 x 3) x) 2) 70002721/5000000000 (fma.f64 (pow.f64 (.f64 x x) 3) 694555761/10000000000 (fma.f64 (.f64 (pow.f64 x 3) x) 2909738639/10000000000 (fma.f64 (.f64 x x) 7715471019/10000000000 1))))))) 3))

simplify43.0ms (1%)

Algorithm

1×	egg-herbie

Rules

548×	`fma-neg_binary64`
434×	`cancel-sign-sub-inv_binary64`
286×	`associate-l_binary64`
285×	`fma-def_binary64`
232×	`associate-/r*_binary64`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	88	704
1	250	704
2	719	679
3	2138	676

Stop Event

1×	node limit

Counts

133 → 101

prune245.0ms (5.7%)

Pruning

3 alts after pruning (0 fresh and 3 done)

	Pruned	Kept	Total
New	124	0	124
Fresh	0	0	0
Picked	0	1	1
Done	0	2	2
Total	124	3	127

Error

0.0b

Counts

127 → 3

Alt Table

Status	Error	Program
✓	26.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)
✓	46.6b	(cbrt.f64 (pow.f64 (/.f64 (.f64 (fma.f64 1789971/10000000000 (.f64 (.f64 x x) (pow.f64 (.f64 (pow.f64 x 3) x) 2)) (fma.f64 2532017/5000000000 (pow.f64 (.f64 (pow.f64 x 3) x) 2) (fma.f64 36322091/5000000000 (pow.f64 (.f64 x x) 3) (fma.f64 106015151/2500000000 (.f64 (pow.f64 x 3) x) (fma.f64 1049934947/10000000000 (.f64 x x) 1))))) x) (fma.f64 1789971/5000000000 (pow.f64 (.f64 (pow.f64 x 3) x) 3) (fma.f64 (.f64 (.f64 x x) (pow.f64 (.f64 (pow.f64 x 3) x) 2)) 1665589/2000000000 (fma.f64 (pow.f64 (.f64 (pow.f64 x 3) x) 2) 70002721/5000000000 (fma.f64 (pow.f64 (.f64 x x) 3) 694555761/10000000000 (fma.f64 (.f64 (pow.f64 x 3) x) 2909738639/10000000000 (fma.f64 (.f64 x x) 7715471019/10000000000 1))))))) 3))
✓	34.2b	(+.f64 (/.f64 1/2 x) (+.f64 (/.f64 600041/2386628 (pow.f64 x 3)) (/.f64 1307076337763/8543989815576 (pow.f64 x 5))))

Compiler

Compiled 9243 to 6462 computations (30.1% saved)

regimes718.0ms (16.6%)

Accuracy

Total 0.0b remaining (26.1%)

Threshold costs 0.0b (26.1%)

Counts

92 → 3

Compiler

Compiled 12310 to 8488 computations (31% saved)

bsearch51.0ms (1.2%)

Steps

Iters	Range		Point
4	1.920898588611831e-11	5597.963196636449	698.2523187849781
5	-36089102.29672544	-3.6291437059654674	-926.9910173961953

Compiler

Compiled 2 to 1 computations (50% saved)

simplify3.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

4×	`*-commutative_binary64`
1×	`+-commutative_binary64`
1×	`1-exp_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	58	152
1	65	152

Stop Event

1×

saturated

end228.0ms (5.3%)

Compiler: Compiled 504 to 287 computations (43.1% saved)

Details

analyze9.0ms (0.2%)

sample2.1s (49.6%)

simplify28.0ms (0.6%)

prune10.0ms (0.2%)

localize45.0ms (1%)

series21.0ms (0.5%)

rewrite64.0ms (1.5%)

simplify41.0ms (0.9%)

prune198.0ms (4.6%)

localize8.0ms (0.2%)

series21.0ms (0.5%)

rewrite84.0ms (1.9%)

simplify41.0ms (1%)

prune136.0ms (3.2%)

localize44.0ms (1%)

series31.0ms (0.7%)

rewrite106.0ms (2.5%)

simplify43.0ms (1%)

prune245.0ms (5.7%)

regimes718.0ms (16.6%)

bsearch51.0ms (1.2%)

simplify3.0ms (0.1%)

end228.0ms (5.3%)

Profiling