Details

analyze10.0ms (0.1%)

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

Results

2.0s

8256×

body

128

valid

Compiler

Compiled 524 to 140 computations (73.3% saved)

simplify77.0ms (0.9%)

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

prune10.0ms (0.1%)

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.2b

Counts

3 → 2

Alt Table

Status	Error	Program
▶	31.2b	(.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.3b	(.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.2b

(*.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.3b

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

localize44.0ms (0.5%)

Local error

Found 4 expressions with local error:

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

series26.0ms (0.3%)

Counts

4 → 48

Calls

4 calls:

10.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)
9.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)))))
4.0ms	(.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)))
2.0ms	(.f64 7715471019/10000000000 (.f64 x x))

rewrite2.6s (30.1%)

Algorithm

1×	rewrite-expression-head

Rules

1809×	`add-cbrt-cube_binary64`
1809×	`add-exp-log_binary64`
1804×	`pow1_binary64`
1608×	`cbrt-unprod_binary64`
1608×	`prod-exp_binary64`

Counts

4 → 672

Calls

4 calls:

2.0s	(.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)))
75.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)))))
64.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 7715471019/10000000000 (.f64 x x))

simplify494.0ms (5.6%)

Algorithm

1×	egg-herbie

Rules

665×	`associate-l_binary64`
564×	`associate-r_binary64`
500×	`cancel-sign-sub-inv_binary64`
386×	`associate-+l+_binary64`
364×	`fma-neg_binary64`

Counts

720 → 571

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	898	17295
1	850	13839
2	3427	13344
3	5455	13344

prune977.0ms (11.2%)

Pruning

3 alts after pruning (3 fresh and 0 done)

	Pruned	Kept	Total
New	568	3	571
Fresh	1	0	1
Picked	1	0	1
Done	0	0	0
Total	570	3	573

Error

Counts

573 → 3

Alt Table

Status	Error	Program
	31.3b	(.f64 (cbrt.f64 (pow.f64 (/.f64 (fma.f64 1789971/10000000000 (pow.f64 x 10) (fma.f64 (pow.f64 x 8) 2532017/5000000000 (fma.f64 (pow.f64 x 6) 36322091/5000000000 (fma.f64 (pow.f64 x 4) 106015151/2500000000 (fma.f64 (.f64 x x) 1049934947/10000000000 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))))))) 3)) x)
▶	31.1b	(+.f64 (+.f64 (/.f64 1/2 x) (/.f64 600041/2386628 (pow.f64 x 3))) (/.f64 1307076337763/8543989815576 (pow.f64 x 5)))
	51.4b	(cbrt.f64 (pow.f64 (.f64 x (/.f64 (fma.f64 1789971/10000000000 (pow.f64 x 10) (fma.f64 (pow.f64 x 8) 2532017/5000000000 (fma.f64 (pow.f64 x 6) 36322091/5000000000 (fma.f64 (pow.f64 x 4) 106015151/2500000000 (fma.f64 (.f64 x x) 1049934947/10000000000 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)))))))) 3))

Compiler

Compiled 114055 to 28523 computations (75% saved)

localize9.0ms (0.1%)

Local error

Found 2 expressions with local error:

New	Error	Program
✓	0.2b	(/.f64 1307076337763/8543989815576 (pow.f64 x 5))
✓	0.3b	(/.f64 600041/2386628 (pow.f64 x 3))

series6.0ms (0.1%)

Counts

2 → 0

Calls

2 calls:

3.0ms	(/.f64 1307076337763/8543989815576 (pow.f64 x 5))
3.0ms	(/.f64 600041/2386628 (pow.f64 x 3))

rewrite14.0ms (0.2%)

Algorithm

1×	rewrite-expression-head

Rules

57×	`times-frac_binary64`
43×	`*-un-lft-identity_binary64`
43×	`add-sqr-sqrt_binary64`
43×	`add-cube-cbrt_binary64`
24×	`unpow-prod-down_binary64`

Counts

2 → 114

Calls

2 calls:

4.0ms	(/.f64 1307076337763/8543989815576 (pow.f64 x 5))
4.0ms	(/.f64 600041/2386628 (pow.f64 x 3))

simplify99.0ms (1.1%)

Algorithm

1×	egg-herbie

Rules

767×	`associate-/r*_binary64`
450×	`times-frac_binary64`
425×	`associate-l_binary64`
377×	`log-prod_binary64`
318×	`associate-r_binary64`

Counts

114 → 127

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	178	1600
1	274	1540
2	828	1540
3	4006	1484
4	4459	1428
5	4929	1428

prune96.0ms (1.1%)

Pruning

3 alts after pruning (2 fresh and 1 done)

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

Error

Counts

130 → 3

Alt Table

Status	Error	Program
▶	31.3b	(.f64 (cbrt.f64 (pow.f64 (/.f64 (fma.f64 1789971/10000000000 (pow.f64 x 10) (fma.f64 (pow.f64 x 8) 2532017/5000000000 (fma.f64 (pow.f64 x 6) 36322091/5000000000 (fma.f64 (pow.f64 x 4) 106015151/2500000000 (fma.f64 (.f64 x x) 1049934947/10000000000 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))))))) 3)) x)
✓	31.1b	(+.f64 (+.f64 (/.f64 1/2 x) (/.f64 600041/2386628 (pow.f64 x 3))) (/.f64 1307076337763/8543989815576 (pow.f64 x 5)))
	51.4b	(cbrt.f64 (pow.f64 (.f64 x (/.f64 (fma.f64 1789971/10000000000 (pow.f64 x 10) (fma.f64 (pow.f64 x 8) 2532017/5000000000 (fma.f64 (pow.f64 x 6) 36322091/5000000000 (fma.f64 (pow.f64 x 4) 106015151/2500000000 (fma.f64 (.f64 x x) 1049934947/10000000000 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)))))))) 3))

Compiler

Compiled 3112 to 2493 computations (19.9% saved)

localize34.0ms (0.4%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.2b	(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))))))
✓	10.7b	(cbrt.f64 (pow.f64 (/.f64 (fma.f64 1789971/10000000000 (pow.f64 x 10) (fma.f64 (pow.f64 x 8) 2532017/5000000000 (fma.f64 (pow.f64 x 6) 36322091/5000000000 (fma.f64 (pow.f64 x 4) 106015151/2500000000 (fma.f64 (.f64 x x) 1049934947/10000000000 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))))))) 3))
✓	15.6b	(.f64 (cbrt.f64 (pow.f64 (/.f64 (fma.f64 1789971/10000000000 (pow.f64 x 10) (fma.f64 (pow.f64 x 8) 2532017/5000000000 (fma.f64 (pow.f64 x 6) 36322091/5000000000 (fma.f64 (pow.f64 x 4) 106015151/2500000000 (fma.f64 (.f64 x x) 1049934947/10000000000 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))))))) 3)) x)
✓	30.5b	(/.f64 (fma.f64 1789971/10000000000 (pow.f64 x 10) (fma.f64 (pow.f64 x 8) 2532017/5000000000 (fma.f64 (pow.f64 x 6) 36322091/5000000000 (fma.f64 (pow.f64 x 4) 106015151/2500000000 (fma.f64 (.f64 x x) 1049934947/10000000000 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)))))))

series24.0ms (0.3%)

Counts

4 → 48

Calls

4 calls:

7.0ms	(/.f64 (fma.f64 1789971/10000000000 (pow.f64 x 10) (fma.f64 (pow.f64 x 8) 2532017/5000000000 (fma.f64 (pow.f64 x 6) 36322091/5000000000 (fma.f64 (pow.f64 x 4) 106015151/2500000000 (fma.f64 (.f64 x x) 1049934947/10000000000 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 (cbrt.f64 (pow.f64 (/.f64 (fma.f64 1789971/10000000000 (pow.f64 x 10) (fma.f64 (pow.f64 x 8) 2532017/5000000000 (fma.f64 (pow.f64 x 6) 36322091/5000000000 (fma.f64 (pow.f64 x 4) 106015151/2500000000 (fma.f64 (.f64 x x) 1049934947/10000000000 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))))))) 3)) x)
6.0ms	(cbrt.f64 (pow.f64 (/.f64 (fma.f64 1789971/10000000000 (pow.f64 x 10) (fma.f64 (pow.f64 x 8) 2532017/5000000000 (fma.f64 (pow.f64 x 6) 36322091/5000000000 (fma.f64 (pow.f64 x 4) 106015151/2500000000 (fma.f64 (.f64 x x) 1049934947/10000000000 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))))))) 3))
5.0ms	(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))))))

rewrite54.0ms (0.6%)

Algorithm

1×	rewrite-expression-head

Rules

70×	`cbrt-prod_binary64`
59×	`add-sqr-sqrt_binary64`
47×	`times-frac_binary64`
44×	`*-un-lft-identity_binary64`
44×	`add-cube-cbrt_binary64`

Counts

4 → 142

Calls

4 calls:

13.0ms	(.f64 (cbrt.f64 (pow.f64 (/.f64 (fma.f64 1789971/10000000000 (pow.f64 x 10) (fma.f64 (pow.f64 x 8) 2532017/5000000000 (fma.f64 (pow.f64 x 6) 36322091/5000000000 (fma.f64 (pow.f64 x 4) 106015151/2500000000 (fma.f64 (.f64 x x) 1049934947/10000000000 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))))))) 3)) x)
4.0ms	(cbrt.f64 (pow.f64 (/.f64 (fma.f64 1789971/10000000000 (pow.f64 x 10) (fma.f64 (pow.f64 x 8) 2532017/5000000000 (fma.f64 (pow.f64 x 6) 36322091/5000000000 (fma.f64 (pow.f64 x 4) 106015151/2500000000 (fma.f64 (.f64 x x) 1049934947/10000000000 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))))))) 3))
2.0ms	(/.f64 (fma.f64 1789971/10000000000 (pow.f64 x 10) (fma.f64 (pow.f64 x 8) 2532017/5000000000 (fma.f64 (pow.f64 x 6) 36322091/5000000000 (fma.f64 (pow.f64 x 4) 106015151/2500000000 (fma.f64 (.f64 x x) 1049934947/10000000000 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 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))))))

simplify365.0ms (4.2%)

Algorithm

1×	egg-herbie

Rules

906×	`times-frac_binary64`
740×	`fma-def_binary64`
212×	`unswap-sqr_binary64`
148×	`distribute-rgt-in_binary64`
142×	`distribute-lft-in_binary64`

Counts

190 → 224

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	268	16826
1	613	15610
2	1838	15135
3	4799	15135
4	5142	15135

prune551.0ms (6.3%)

Pruning

3 alts after pruning (1 fresh and 2 done)

	Pruned	Kept	Total
New	224	0	224
Fresh	0	1	1
Picked	0	1	1
Done	0	1	1
Total	224	3	227

Error

Counts

227 → 3

Alt Table

Status	Error	Program
✓	31.3b	(.f64 (cbrt.f64 (pow.f64 (/.f64 (fma.f64 1789971/10000000000 (pow.f64 x 10) (fma.f64 (pow.f64 x 8) 2532017/5000000000 (fma.f64 (pow.f64 x 6) 36322091/5000000000 (fma.f64 (pow.f64 x 4) 106015151/2500000000 (fma.f64 (.f64 x x) 1049934947/10000000000 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))))))) 3)) x)
✓	31.1b	(+.f64 (+.f64 (/.f64 1/2 x) (/.f64 600041/2386628 (pow.f64 x 3))) (/.f64 1307076337763/8543989815576 (pow.f64 x 5)))
▶	51.4b	(cbrt.f64 (pow.f64 (.f64 x (/.f64 (fma.f64 1789971/10000000000 (pow.f64 x 10) (fma.f64 (pow.f64 x 8) 2532017/5000000000 (fma.f64 (pow.f64 x 6) 36322091/5000000000 (fma.f64 (pow.f64 x 4) 106015151/2500000000 (fma.f64 (.f64 x x) 1049934947/10000000000 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)))))))) 3))

Compiler

Compiled 20549 to 15482 computations (24.7% saved)

localize36.0ms (0.4%)

Local error

Found 4 expressions with local error:

New	Error	Program
	0.2b	(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))))))
✓	15.6b	(.f64 x (/.f64 (fma.f64 1789971/10000000000 (pow.f64 x 10) (fma.f64 (pow.f64 x 8) 2532017/5000000000 (fma.f64 (pow.f64 x 6) 36322091/5000000000 (fma.f64 (pow.f64 x 4) 106015151/2500000000 (fma.f64 (.f64 x x) 1049934947/10000000000 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))))))))
	30.5b	(/.f64 (fma.f64 1789971/10000000000 (pow.f64 x 10) (fma.f64 (pow.f64 x 8) 2532017/5000000000 (fma.f64 (pow.f64 x 6) 36322091/5000000000 (fma.f64 (pow.f64 x 4) 106015151/2500000000 (fma.f64 (.f64 x x) 1049934947/10000000000 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)))))))
✓	40.9b	(cbrt.f64 (pow.f64 (.f64 x (/.f64 (fma.f64 1789971/10000000000 (pow.f64 x 10) (fma.f64 (pow.f64 x 8) 2532017/5000000000 (fma.f64 (pow.f64 x 6) 36322091/5000000000 (fma.f64 (pow.f64 x 4) 106015151/2500000000 (fma.f64 (.f64 x x) 1049934947/10000000000 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)))))))) 3))

series23.0ms (0.3%)

Counts

2 → 24

Calls

2 calls:

16.0ms

(cbrt.f64 (pow.f64 (*.f64 x (/.f64 (fma.f64 1789971/10000000000 (pow.f64 x 10) (fma.f64 (pow.f64 x 8) 2532017/5000000000 (fma.f64 (pow.f64 x 6) 36322091/5000000000 (fma.f64 (pow.f64 x 4) 106015151/2500000000 (fma.f64 (*.f64 x x) 1049934947/10000000000 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)))))))) 3))

6.0ms

(*.f64 x (/.f64 (fma.f64 1789971/10000000000 (pow.f64 x 10) (fma.f64 (pow.f64 x 8) 2532017/5000000000 (fma.f64 (pow.f64 x 6) 36322091/5000000000 (fma.f64 (pow.f64 x 4) 106015151/2500000000 (fma.f64 (*.f64 x x) 1049934947/10000000000 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))))))))

rewrite17.0ms (0.2%)

Algorithm

1×	rewrite-expression-head

Rules

16×	`add-sqr-sqrt_binary64`
13×	`associate-r_binary64`
11×	`*-un-lft-identity_binary64`
11×	`add-cube-cbrt_binary64`
10×	`times-frac_binary64`

Counts

2 → 54

Calls

2 calls:

5.0ms

(*.f64 x (/.f64 (fma.f64 1789971/10000000000 (pow.f64 x 10) (fma.f64 (pow.f64 x 8) 2532017/5000000000 (fma.f64 (pow.f64 x 6) 36322091/5000000000 (fma.f64 (pow.f64 x 4) 106015151/2500000000 (fma.f64 (*.f64 x x) 1049934947/10000000000 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

(cbrt.f64 (pow.f64 (*.f64 x (/.f64 (fma.f64 1789971/10000000000 (pow.f64 x 10) (fma.f64 (pow.f64 x 8) 2532017/5000000000 (fma.f64 (pow.f64 x 6) 36322091/5000000000 (fma.f64 (pow.f64 x 4) 106015151/2500000000 (fma.f64 (*.f64 x x) 1049934947/10000000000 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)))))))) 3))

simplify174.0ms (2%)

Algorithm

1×	egg-herbie

Rules

508×	`associate-l_binary64`
426×	`associate-r_binary64`
283×	`fma-def_binary64`
261×	`associate-/l*_binary64`
250×	`unswap-sqr_binary64`

Counts

78 → 80

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	182	5793
1	411	5793
2	1284	5764
3	4546	5762
4	5015	5762

prune356.0ms (4.1%)

Pruning

3 alts after pruning (0 fresh and 3 done)

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

Error

Counts

179 → 3

Alt Table

Status	Error	Program
✓	31.3b	(.f64 (cbrt.f64 (pow.f64 (/.f64 (fma.f64 1789971/10000000000 (pow.f64 x 10) (fma.f64 (pow.f64 x 8) 2532017/5000000000 (fma.f64 (pow.f64 x 6) 36322091/5000000000 (fma.f64 (pow.f64 x 4) 106015151/2500000000 (fma.f64 (.f64 x x) 1049934947/10000000000 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))))))) 3)) x)
✓	31.1b	(+.f64 (+.f64 (/.f64 1/2 x) (/.f64 600041/2386628 (pow.f64 x 3))) (/.f64 1307076337763/8543989815576 (pow.f64 x 5)))
✓	51.4b	(cbrt.f64 (pow.f64 (.f64 x (/.f64 (fma.f64 1789971/10000000000 (pow.f64 x 10) (fma.f64 (pow.f64 x 8) 2532017/5000000000 (fma.f64 (pow.f64 x 6) 36322091/5000000000 (fma.f64 (pow.f64 x 4) 106015151/2500000000 (fma.f64 (.f64 x x) 1049934947/10000000000 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)))))))) 3))

Compiler

Compiled 14063 to 10588 computations (24.7% saved)

regimes348.0ms (4%)

Accuracy

Total 0.0b remaining (37.3%)

Threshold costs 0.0b (37.3%)

Counts

75 → 3

Compiler

Compiled 6552 to 4208 computations (35.8% saved)

bsearch27.0ms (0.3%)

Steps

Iters	Range		Point
4	0.0750735635583399	1923.3944842642325	1004.028829040729
1	-5.958560943724892e+25	-1.6816192031996678e-15	-318975.0900691836

Compiler

Compiled 2 to 1 computations (50% saved)

simplify9.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

4×	`+-commutative_binary64`
3×	`*-commutative_binary64`
2×	`sub-neg_binary64`
1×	`distribute-neg-frac_binary64`
1×	`neg-sub0_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	66	141
1	74	141
2	80	141
3	82	141
4	83	141
5	81	141

end179.0ms (2%)

Compiler: Compiled 342 to 261 computations (23.7% saved)

Details

analyze10.0ms (0.1%)

sample2.1s (23.6%)

simplify77.0ms (0.9%)

prune10.0ms (0.1%)

localize44.0ms (0.5%)

series26.0ms (0.3%)

rewrite2.6s (30.1%)

simplify494.0ms (5.6%)

prune977.0ms (11.2%)

localize9.0ms (0.1%)

series6.0ms (0.1%)

rewrite14.0ms (0.2%)

simplify99.0ms (1.1%)

prune96.0ms (1.1%)

localize34.0ms (0.4%)

series24.0ms (0.3%)

rewrite54.0ms (0.6%)

simplify365.0ms (4.2%)

prune551.0ms (6.3%)

localize36.0ms (0.4%)

series23.0ms (0.3%)

rewrite17.0ms (0.2%)

simplify174.0ms (2%)

prune356.0ms (4.1%)

regimes348.0ms (4%)

bsearch27.0ms (0.3%)

simplify9.0ms (0.1%)

end179.0ms (2%)

Profiling