Details

analyze2.7s (16.2%)

Algorithm

1×

Search

True	Other	False	Iter
0%	99.7%	0.3%	0
0%	99.7%	0.3%	1
0%	99.7%	0.3%	2
0%	99.7%	0.3%	3
0%	99.7%	0.3%	4
0%	99.7%	0.3%	5
0%	99.7%	0.3%	6
0%	99.7%	0.3%	7
0%	99.7%	0.3%	8
0%	99.7%	0.3%	9
0%	99.7%	0.3%	10
0%	99.7%	0.3%	11
0%	99.7%	0.3%	12
0.8%	98.9%	0.3%	13
1.2%	98.5%	0.3%	14

Compiler

Compiled 44 to 31 computations (29.5% saved)

sample47.0ms (0.3%)

Algorithm

1×

intervals

Results

29.0ms	256×	body	128	valid
3.0ms	25×	body	128	invalid

Compiler

Compiled 93 to 67 computations (28% saved)

simplify93.0ms (0.5%)

Algorithm

1×	egg-herbie

Rules

918×	`distribute-rgt-in_binary64`
850×	`distribute-lft-in_binary64`
677×	`associate-/l*_binary64`
676×	`fma-def_binary64`
633×	`associate-+l+_binary64`

Counts

1 → 2

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	31	41
1	63	41
2	131	39
3	274	39
4	720	39
5	1843	39
6	2430	39
7	2851	39
8	3466	39
9	4132	39
10	4596	39
11	5138	39

prune6.0ms (0%)

Pruning

3 alts after pruning (3 fresh and 0 done)

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

Error

29.2b

Counts

3 → 2

Alt Table

Status	Error	Program
	30.5b	(+.f64 x (/.f64 (.f64 y (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 z 7049496828096731/2251799813685248) 3143161857605767/281474976710656) z) t) z) a) z) b)) (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 z 4288183283079449/281474976710656) z) 4428869650076171/140737488355328) z) 3360836715704971/281474976710656) z) 2737158995491925/4503599627370496)))
▶	29.2b	(fma.f64 y (/.f64 (fma.f64 z (fma.f64 z (fma.f64 z (fma.f64 z 7049496828096731/2251799813685248 3143161857605767/281474976710656) t) a) b) (fma.f64 z (fma.f64 z (fma.f64 z (+.f64 z 4288183283079449/281474976710656) 4428869650076171/140737488355328) 3360836715704971/281474976710656) 2737158995491925/4503599627370496)) x)

Status

Error

Program

30.5b

(+.f64 x (/.f64 (*.f64 y (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 z 7049496828096731/2251799813685248) 3143161857605767/281474976710656) z) t) z) a) z) b)) (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 z 4288183283079449/281474976710656) z) 4428869650076171/140737488355328) z) 3360836715704971/281474976710656) z) 2737158995491925/4503599627370496)))

▶

29.2b

(fma.f64 y (/.f64 (fma.f64 z (fma.f64 z (fma.f64 z (fma.f64 z 7049496828096731/2251799813685248 3143161857605767/281474976710656) t) a) b) (fma.f64 z (fma.f64 z (fma.f64 z (+.f64 z 4288183283079449/281474976710656) 4428869650076171/140737488355328) 3360836715704971/281474976710656) 2737158995491925/4503599627370496)) x)

Compiler

Compiled 228 to 150 computations (34.2% saved)

localize22.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.0b	(fma.f64 z (fma.f64 z 7049496828096731/2251799813685248 3143161857605767/281474976710656) t)
✓	0.0b	(fma.f64 z (fma.f64 z (+.f64 z 4288183283079449/281474976710656) 4428869650076171/140737488355328) 3360836715704971/281474976710656)
✓	0.1b	(fma.f64 y (/.f64 (fma.f64 z (fma.f64 z (fma.f64 z (fma.f64 z 7049496828096731/2251799813685248 3143161857605767/281474976710656) t) a) b) (fma.f64 z (fma.f64 z (fma.f64 z (+.f64 z 4288183283079449/281474976710656) 4428869650076171/140737488355328) 3360836715704971/281474976710656) 2737158995491925/4503599627370496)) x)
✓	28.3b	(/.f64 (fma.f64 z (fma.f64 z (fma.f64 z (fma.f64 z 7049496828096731/2251799813685248 3143161857605767/281474976710656) t) a) b) (fma.f64 z (fma.f64 z (fma.f64 z (+.f64 z 4288183283079449/281474976710656) 4428869650076171/140737488355328) 3360836715704971/281474976710656) 2737158995491925/4503599627370496))

rewrite7.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

12×	`*-un-lft-identity_binary64`
12×	`add-sqr-sqrt_binary64`
12×	`add-cube-cbrt_binary64`
9×	`times-frac_binary64`
6×	`add-cbrt-cube_binary64`

Counts

4 → 59

Calls

4 calls:

2.0ms	(/.f64 (fma.f64 z (fma.f64 z (fma.f64 z (fma.f64 z 7049496828096731/2251799813685248 3143161857605767/281474976710656) t) a) b) (fma.f64 z (fma.f64 z (fma.f64 z (+.f64 z 4288183283079449/281474976710656) 4428869650076171/140737488355328) 3360836715704971/281474976710656) 2737158995491925/4503599627370496))
0.0ms	(fma.f64 y (/.f64 (fma.f64 z (fma.f64 z (fma.f64 z (fma.f64 z 7049496828096731/2251799813685248 3143161857605767/281474976710656) t) a) b) (fma.f64 z (fma.f64 z (fma.f64 z (+.f64 z 4288183283079449/281474976710656) 4428869650076171/140737488355328) 3360836715704971/281474976710656) 2737158995491925/4503599627370496)) x)
0.0ms	(fma.f64 z (fma.f64 z (+.f64 z 4288183283079449/281474976710656) 4428869650076171/140737488355328) 3360836715704971/281474976710656)
0.0ms	(fma.f64 z (fma.f64 z 7049496828096731/2251799813685248 3143161857605767/281474976710656) t)

series1.8s (10.5%)

Counts

4 → 156

Calls

4 calls:

1.2s	(fma.f64 y (/.f64 (fma.f64 z (fma.f64 z (fma.f64 z (fma.f64 z 7049496828096731/2251799813685248 3143161857605767/281474976710656) t) a) b) (fma.f64 z (fma.f64 z (fma.f64 z (+.f64 z 4288183283079449/281474976710656) 4428869650076171/140737488355328) 3360836715704971/281474976710656) 2737158995491925/4503599627370496)) x)
537.0ms	(/.f64 (fma.f64 z (fma.f64 z (fma.f64 z (fma.f64 z 7049496828096731/2251799813685248 3143161857605767/281474976710656) t) a) b) (fma.f64 z (fma.f64 z (fma.f64 z (+.f64 z 4288183283079449/281474976710656) 4428869650076171/140737488355328) 3360836715704971/281474976710656) 2737158995491925/4503599627370496))
29.0ms	(fma.f64 z (fma.f64 z 7049496828096731/2251799813685248 3143161857605767/281474976710656) t)
6.0ms	(fma.f64 z (fma.f64 z (+.f64 z 4288183283079449/281474976710656) 4428869650076171/140737488355328) 3360836715704971/281474976710656)

simplify853.0ms (5%)

Algorithm

1×	egg-herbie

Rules

476×	`cancel-sign-sub-inv_binary64`
311×	`fma-def_binary64`
309×	`fma-neg_binary64`
241×	`associate-+r+_binary64`
232×	`distribute-rgt-in_binary64`

Counts

215 → 371

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	328	18661
1	863	18267
2	2828	15179
3	4722	15177
4	5054	15177

prune488.0ms (2.9%)

Pruning

7 alts after pruning (7 fresh and 0 done)

	Pruned	Kept	Total
New	364	7	371
Fresh	1	0	1
Picked	1	0	1
Done	0	0	0
Total	366	7	373

Error

Counts

373 → 7

Alt Table

Status	Error	Program
	26.0b	(+.f64 (fma.f64 7049496828096731/2251799813685248 y (fma.f64 81702972970233816761127909406680643088908197035/178405961588244985132285746181186892047843328 (/.f64 y (.f64 z z)) x)) (.f64 (/.f64 y z) (-.f64 (/.f64 t z) 23151763167026757919721122556003/633825300114114700748351602688)))
	29.3b	(fma.f64 y (.f64 (/.f64 1 (.f64 (cbrt.f64 (fma.f64 z (fma.f64 z (fma.f64 z (+.f64 z 4288183283079449/281474976710656) 4428869650076171/140737488355328) 3360836715704971/281474976710656) 2737158995491925/4503599627370496)) (cbrt.f64 (fma.f64 z (fma.f64 z (fma.f64 z (+.f64 z 4288183283079449/281474976710656) 4428869650076171/140737488355328) 3360836715704971/281474976710656) 2737158995491925/4503599627370496)))) (/.f64 (fma.f64 z (fma.f64 z (fma.f64 z (fma.f64 z 7049496828096731/2251799813685248 3143161857605767/281474976710656) t) a) b) (cbrt.f64 (fma.f64 z (fma.f64 z (fma.f64 z (+.f64 z 4288183283079449/281474976710656) 4428869650076171/140737488355328) 3360836715704971/281474976710656) 2737158995491925/4503599627370496)))) x)
	29.9b	(+.f64 (/.f64 (.f64 b y) (+.f64 2737158995491925/4503599627370496 (+.f64 (.f64 (pow.f64 z 3) (+.f64 z 4288183283079449/281474976710656)) (.f64 z (fma.f64 z 4428869650076171/140737488355328 3360836715704971/281474976710656))))) (+.f64 (+.f64 (fma.f64 7049496828096731/2251799813685248 (/.f64 (.f64 (pow.f64 z 4) y) (+.f64 2737158995491925/4503599627370496 (+.f64 (.f64 (pow.f64 z 3) (+.f64 z 4288183283079449/281474976710656)) (.f64 z (fma.f64 z 4428869650076171/140737488355328 3360836715704971/281474976710656))))) (.f64 3143161857605767/281474976710656 (/.f64 (.f64 (pow.f64 z 3) y) (+.f64 2737158995491925/4503599627370496 (+.f64 (.f64 (pow.f64 z 3) (+.f64 z 4288183283079449/281474976710656)) (.f64 z (fma.f64 z 4428869650076171/140737488355328 3360836715704971/281474976710656))))))) (.f64 (/.f64 y (+.f64 2737158995491925/4503599627370496 (+.f64 (.f64 (pow.f64 z 3) (+.f64 z 4288183283079449/281474976710656)) (.f64 z (fma.f64 z 4428869650076171/140737488355328 3360836715704971/281474976710656))))) (.f64 z (+.f64 a (*.f64 t z))))) x))
	29.7b	(-.f64 (+.f64 (/.f64 (.f64 y t) (pow.f64 z 2)) (+.f64 (.f64 7049496828096731/2251799813685248 y) (+.f64 (.f64 81702972970233816761127909406680643088908197035/178405961588244985132285746181186892047843328 (/.f64 y (pow.f64 z 2))) x))) (.f64 23151763167026757919721122556003/633825300114114700748351602688 (/.f64 y z)))
▶	25.8b	(fma.f64 y (+.f64 (+.f64 (/.f64 81702972970233816761127909406680643088908197035/178405961588244985132285746181186892047843328 (.f64 z z)) (/.f64 t (.f64 z z))) (-.f64 7049496828096731/2251799813685248 (/.f64 23151763167026757919721122556003/633825300114114700748351602688 z))) x)
	30.0b	(+.f64 (fma.f64 4503599627370496/2737158995491925 (.f64 a (.f64 z y)) x) (.f64 (.f64 b y) (+.f64 4503599627370496/2737158995491925 (*.f64 z -242173807688031823959482334969856/7492039366602363902472740205625))))
	34.0b	(+.f64 (fma.f64 7049496828096731/2251799813685248 (/.f64 (.f64 (pow.f64 z 4) y) (+.f64 2737158995491925/4503599627370496 (+.f64 (.f64 (pow.f64 z 3) (+.f64 z 4288183283079449/281474976710656)) (.f64 z (fma.f64 z 4428869650076171/140737488355328 3360836715704971/281474976710656))))) (fma.f64 3143161857605767/281474976710656 (/.f64 (.f64 (pow.f64 z 3) y) (+.f64 2737158995491925/4503599627370496 (+.f64 (.f64 (pow.f64 z 3) (+.f64 z 4288183283079449/281474976710656)) (.f64 z (fma.f64 z 4428869650076171/140737488355328 3360836715704971/281474976710656))))) x)) (.f64 (/.f64 y (+.f64 2737158995491925/4503599627370496 (+.f64 (.f64 (pow.f64 z 3) (+.f64 z 4288183283079449/281474976710656)) (.f64 z (fma.f64 z 4428869650076171/140737488355328 3360836715704971/281474976710656))))) (+.f64 (.f64 t (*.f64 z z)) b)))

Compiler

Compiled 7697 to 4972 computations (35.4% saved)

localize23.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	1.0b	(/.f64 81702972970233816761127909406680643088908197035/178405961588244985132285746181186892047843328 (*.f64 z z))
✓	3.6b	(fma.f64 y (+.f64 (+.f64 (/.f64 81702972970233816761127909406680643088908197035/178405961588244985132285746181186892047843328 (.f64 z z)) (/.f64 t (.f64 z z))) (-.f64 7049496828096731/2251799813685248 (/.f64 23151763167026757919721122556003/633825300114114700748351602688 z))) x)
✓	4.5b	(+.f64 (/.f64 81702972970233816761127909406680643088908197035/178405961588244985132285746181186892047843328 (.f64 z z)) (/.f64 t (.f64 z z)))
✓	7.8b	(/.f64 t (*.f64 z z))

rewrite36.0ms (0.2%)

Algorithm

1×	rewrite-expression-head

Rules

14×	`*-un-lft-identity_binary64`
14×	`add-cbrt-cube_binary64`
14×	`add-exp-log_binary64`
11×	`times-frac_binary64`
10×	`add-sqr-sqrt_binary64`

Counts

4 → 80

Calls

4 calls:

15.0ms	(+.f64 (/.f64 81702972970233816761127909406680643088908197035/178405961588244985132285746181186892047843328 (.f64 z z)) (/.f64 t (.f64 z z)))
7.0ms	(/.f64 t (*.f64 z z))
6.0ms	(/.f64 81702972970233816761127909406680643088908197035/178405961588244985132285746181186892047843328 (*.f64 z z))
1.0ms	(fma.f64 y (+.f64 (+.f64 (/.f64 81702972970233816761127909406680643088908197035/178405961588244985132285746181186892047843328 (.f64 z z)) (/.f64 t (.f64 z z))) (-.f64 7049496828096731/2251799813685248 (/.f64 23151763167026757919721122556003/633825300114114700748351602688 z))) x)

series482.0ms (2.9%)

Counts

4 → 108

Calls

4 calls:

306.0ms	(fma.f64 y (+.f64 (+.f64 (/.f64 81702972970233816761127909406680643088908197035/178405961588244985132285746181186892047843328 (.f64 z z)) (/.f64 t (.f64 z z))) (-.f64 7049496828096731/2251799813685248 (/.f64 23151763167026757919721122556003/633825300114114700748351602688 z))) x)
93.0ms	(+.f64 (/.f64 81702972970233816761127909406680643088908197035/178405961588244985132285746181186892047843328 (.f64 z z)) (/.f64 t (.f64 z z)))
65.0ms	(/.f64 t (*.f64 z z))
18.0ms	(/.f64 81702972970233816761127909406680643088908197035/178405961588244985132285746181186892047843328 (*.f64 z z))

simplify344.0ms (2%)

Algorithm

1×	egg-herbie

Rules

461×	`fma-neg_binary64`
395×	`exp-sum_binary64`
334×	`fma-def_binary64`
283×	`cancel-sign-sub-inv_binary64`
240×	`associate-*l/_binary64`

Counts

188 → 334

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	167	3178
1	386	3061
2	1018	2634
3	3334	2634
4	4473	2634
5	5136	2634

prune276.0ms (1.6%)

Pruning

6 alts after pruning (5 fresh and 1 done)

	Pruned	Kept	Total
New	333	1	334
Fresh	2	4	6
Picked	0	1	1
Done	0	0	0
Total	335	6	341

Error

Counts

341 → 6

Alt Table

Status	Error	Program
	29.9b	(+.f64 (/.f64 (.f64 b y) (+.f64 2737158995491925/4503599627370496 (+.f64 (.f64 (pow.f64 z 3) (+.f64 z 4288183283079449/281474976710656)) (.f64 z (fma.f64 z 4428869650076171/140737488355328 3360836715704971/281474976710656))))) (+.f64 (+.f64 (fma.f64 7049496828096731/2251799813685248 (/.f64 (.f64 (pow.f64 z 4) y) (+.f64 2737158995491925/4503599627370496 (+.f64 (.f64 (pow.f64 z 3) (+.f64 z 4288183283079449/281474976710656)) (.f64 z (fma.f64 z 4428869650076171/140737488355328 3360836715704971/281474976710656))))) (.f64 3143161857605767/281474976710656 (/.f64 (.f64 (pow.f64 z 3) y) (+.f64 2737158995491925/4503599627370496 (+.f64 (.f64 (pow.f64 z 3) (+.f64 z 4288183283079449/281474976710656)) (.f64 z (fma.f64 z 4428869650076171/140737488355328 3360836715704971/281474976710656))))))) (.f64 (/.f64 y (+.f64 2737158995491925/4503599627370496 (+.f64 (.f64 (pow.f64 z 3) (+.f64 z 4288183283079449/281474976710656)) (.f64 z (fma.f64 z 4428869650076171/140737488355328 3360836715704971/281474976710656))))) (.f64 z (+.f64 a (*.f64 t z))))) x))
	29.3b	(fma.f64 y (.f64 (/.f64 1 (.f64 (cbrt.f64 (fma.f64 z (fma.f64 z (fma.f64 z (+.f64 z 4288183283079449/281474976710656) 4428869650076171/140737488355328) 3360836715704971/281474976710656) 2737158995491925/4503599627370496)) (cbrt.f64 (fma.f64 z (fma.f64 z (fma.f64 z (+.f64 z 4288183283079449/281474976710656) 4428869650076171/140737488355328) 3360836715704971/281474976710656) 2737158995491925/4503599627370496)))) (/.f64 (fma.f64 z (fma.f64 z (fma.f64 z (fma.f64 z 7049496828096731/2251799813685248 3143161857605767/281474976710656) t) a) b) (cbrt.f64 (fma.f64 z (fma.f64 z (fma.f64 z (+.f64 z 4288183283079449/281474976710656) 4428869650076171/140737488355328) 3360836715704971/281474976710656) 2737158995491925/4503599627370496)))) x)
✓	25.8b	(fma.f64 y (+.f64 (+.f64 (/.f64 81702972970233816761127909406680643088908197035/178405961588244985132285746181186892047843328 (.f64 z z)) (/.f64 t (.f64 z z))) (-.f64 7049496828096731/2251799813685248 (/.f64 23151763167026757919721122556003/633825300114114700748351602688 z))) x)
▶	25.9b	(+.f64 x (fma.f64 y (-.f64 7049496828096731/2251799813685248 (/.f64 23151763167026757919721122556003/633825300114114700748351602688 z)) (.f64 (/.f64 y (.f64 z z)) (+.f64 t 81702972970233816761127909406680643088908197035/178405961588244985132285746181186892047843328))))
	30.0b	(+.f64 (fma.f64 4503599627370496/2737158995491925 (.f64 a (.f64 z y)) x) (.f64 (.f64 b y) (+.f64 4503599627370496/2737158995491925 (*.f64 z -242173807688031823959482334969856/7492039366602363902472740205625))))
	34.0b	(+.f64 (fma.f64 7049496828096731/2251799813685248 (/.f64 (.f64 (pow.f64 z 4) y) (+.f64 2737158995491925/4503599627370496 (+.f64 (.f64 (pow.f64 z 3) (+.f64 z 4288183283079449/281474976710656)) (.f64 z (fma.f64 z 4428869650076171/140737488355328 3360836715704971/281474976710656))))) (fma.f64 3143161857605767/281474976710656 (/.f64 (.f64 (pow.f64 z 3) y) (+.f64 2737158995491925/4503599627370496 (+.f64 (.f64 (pow.f64 z 3) (+.f64 z 4288183283079449/281474976710656)) (.f64 z (fma.f64 z 4428869650076171/140737488355328 3360836715704971/281474976710656))))) x)) (.f64 (/.f64 y (+.f64 2737158995491925/4503599627370496 (+.f64 (.f64 (pow.f64 z 3) (+.f64 z 4288183283079449/281474976710656)) (.f64 z (fma.f64 z 4428869650076171/140737488355328 3360836715704971/281474976710656))))) (+.f64 (.f64 t (*.f64 z z)) b)))

Compiler

Compiled 4016 to 2188 computations (45.5% saved)

localize26.0ms (0.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.0b	(+.f64 t 81702972970233816761127909406680643088908197035/178405961588244985132285746181186892047843328)
✓	0.1b	(/.f64 23151763167026757919721122556003/633825300114114700748351602688 z)
✓	4.3b	(.f64 (/.f64 y (.f64 z z)) (+.f64 t 81702972970233816761127909406680643088908197035/178405961588244985132285746181186892047843328))
✓	7.4b	(/.f64 y (*.f64 z z))

rewrite42.0ms (0.2%)

Algorithm

1×	rewrite-expression-head

Rules

22×	`*-un-lft-identity_binary64`
22×	`add-sqr-sqrt_binary64`
20×	`add-cbrt-cube_binary64`
20×	`add-exp-log_binary64`
18×	`add-cube-cbrt_binary64`

Counts

4 → 106

Calls

4 calls:

16.0ms	(.f64 (/.f64 y (.f64 z z)) (+.f64 t 81702972970233816761127909406680643088908197035/178405961588244985132285746181186892047843328))
6.0ms	(/.f64 y (*.f64 z z))
5.0ms	(+.f64 t 81702972970233816761127909406680643088908197035/178405961588244985132285746181186892047843328)
4.0ms	(/.f64 23151763167026757919721122556003/633825300114114700748351602688 z)

series227.0ms (1.3%)

Counts

4 → 72

Calls

4 calls:

141.0ms	(.f64 (/.f64 y (.f64 z z)) (+.f64 t 81702972970233816761127909406680643088908197035/178405961588244985132285746181186892047843328))
70.0ms	(/.f64 y (*.f64 z z))
11.0ms	(/.f64 23151763167026757919721122556003/633825300114114700748351602688 z)
5.0ms	(+.f64 t 81702972970233816761127909406680643088908197035/178405961588244985132285746181186892047843328)

simplify171.0ms (1%)

Algorithm

1×	egg-herbie

Rules

715×	`fma-def_binary64`
540×	`associate-*l/_binary64`
428×	`associate-*r/_binary64`
427×	`times-frac_binary64`
346×	`distribute-rgt-in_binary64`

Counts

178 → 299

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	167	2014
1	407	1831
2	1163	1827
3	4479	1827
4	4973	1827

prune179.0ms (1.1%)

Pruning

6 alts after pruning (4 fresh and 2 done)

	Pruned	Kept	Total
New	299	0	299
Fresh	0	4	4
Picked	0	1	1
Done	0	1	1
Total	299	6	305

Error

Counts

305 → 6

Alt Table

Status	Error	Program
	29.9b	(+.f64 (/.f64 (.f64 b y) (+.f64 2737158995491925/4503599627370496 (+.f64 (.f64 (pow.f64 z 3) (+.f64 z 4288183283079449/281474976710656)) (.f64 z (fma.f64 z 4428869650076171/140737488355328 3360836715704971/281474976710656))))) (+.f64 (+.f64 (fma.f64 7049496828096731/2251799813685248 (/.f64 (.f64 (pow.f64 z 4) y) (+.f64 2737158995491925/4503599627370496 (+.f64 (.f64 (pow.f64 z 3) (+.f64 z 4288183283079449/281474976710656)) (.f64 z (fma.f64 z 4428869650076171/140737488355328 3360836715704971/281474976710656))))) (.f64 3143161857605767/281474976710656 (/.f64 (.f64 (pow.f64 z 3) y) (+.f64 2737158995491925/4503599627370496 (+.f64 (.f64 (pow.f64 z 3) (+.f64 z 4288183283079449/281474976710656)) (.f64 z (fma.f64 z 4428869650076171/140737488355328 3360836715704971/281474976710656))))))) (.f64 (/.f64 y (+.f64 2737158995491925/4503599627370496 (+.f64 (.f64 (pow.f64 z 3) (+.f64 z 4288183283079449/281474976710656)) (.f64 z (fma.f64 z 4428869650076171/140737488355328 3360836715704971/281474976710656))))) (.f64 z (+.f64 a (*.f64 t z))))) x))
▶	29.3b	(fma.f64 y (.f64 (/.f64 1 (.f64 (cbrt.f64 (fma.f64 z (fma.f64 z (fma.f64 z (+.f64 z 4288183283079449/281474976710656) 4428869650076171/140737488355328) 3360836715704971/281474976710656) 2737158995491925/4503599627370496)) (cbrt.f64 (fma.f64 z (fma.f64 z (fma.f64 z (+.f64 z 4288183283079449/281474976710656) 4428869650076171/140737488355328) 3360836715704971/281474976710656) 2737158995491925/4503599627370496)))) (/.f64 (fma.f64 z (fma.f64 z (fma.f64 z (fma.f64 z 7049496828096731/2251799813685248 3143161857605767/281474976710656) t) a) b) (cbrt.f64 (fma.f64 z (fma.f64 z (fma.f64 z (+.f64 z 4288183283079449/281474976710656) 4428869650076171/140737488355328) 3360836715704971/281474976710656) 2737158995491925/4503599627370496)))) x)
✓	25.8b	(fma.f64 y (+.f64 (+.f64 (/.f64 81702972970233816761127909406680643088908197035/178405961588244985132285746181186892047843328 (.f64 z z)) (/.f64 t (.f64 z z))) (-.f64 7049496828096731/2251799813685248 (/.f64 23151763167026757919721122556003/633825300114114700748351602688 z))) x)
✓	25.9b	(+.f64 x (fma.f64 y (-.f64 7049496828096731/2251799813685248 (/.f64 23151763167026757919721122556003/633825300114114700748351602688 z)) (.f64 (/.f64 y (.f64 z z)) (+.f64 t 81702972970233816761127909406680643088908197035/178405961588244985132285746181186892047843328))))
	30.0b	(+.f64 (fma.f64 4503599627370496/2737158995491925 (.f64 a (.f64 z y)) x) (.f64 (.f64 b y) (+.f64 4503599627370496/2737158995491925 (*.f64 z -242173807688031823959482334969856/7492039366602363902472740205625))))
	34.0b	(+.f64 (fma.f64 7049496828096731/2251799813685248 (/.f64 (.f64 (pow.f64 z 4) y) (+.f64 2737158995491925/4503599627370496 (+.f64 (.f64 (pow.f64 z 3) (+.f64 z 4288183283079449/281474976710656)) (.f64 z (fma.f64 z 4428869650076171/140737488355328 3360836715704971/281474976710656))))) (fma.f64 3143161857605767/281474976710656 (/.f64 (.f64 (pow.f64 z 3) y) (+.f64 2737158995491925/4503599627370496 (+.f64 (.f64 (pow.f64 z 3) (+.f64 z 4288183283079449/281474976710656)) (.f64 z (fma.f64 z 4428869650076171/140737488355328 3360836715704971/281474976710656))))) x)) (.f64 (/.f64 y (+.f64 2737158995491925/4503599627370496 (+.f64 (.f64 (pow.f64 z 3) (+.f64 z 4288183283079449/281474976710656)) (.f64 z (fma.f64 z 4428869650076171/140737488355328 3360836715704971/281474976710656))))) (+.f64 (.f64 t (*.f64 z z)) b)))

Compiler

Compiled 4171 to 2333 computations (44.1% saved)

localize28.0ms (0.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
	17.0b	(cbrt.f64 (fma.f64 z (fma.f64 z (fma.f64 z (+.f64 z 4288183283079449/281474976710656) 4428869650076171/140737488355328) 3360836715704971/281474976710656) 2737158995491925/4503599627370496))
	17.0b	(cbrt.f64 (fma.f64 z (fma.f64 z (fma.f64 z (+.f64 z 4288183283079449/281474976710656) 4428869650076171/140737488355328) 3360836715704971/281474976710656) 2737158995491925/4503599627370496))
✓	17.0b	(cbrt.f64 (fma.f64 z (fma.f64 z (fma.f64 z (+.f64 z 4288183283079449/281474976710656) 4428869650076171/140737488355328) 3360836715704971/281474976710656) 2737158995491925/4503599627370496))
✓	23.6b	(.f64 (/.f64 1 (.f64 (cbrt.f64 (fma.f64 z (fma.f64 z (fma.f64 z (+.f64 z 4288183283079449/281474976710656) 4428869650076171/140737488355328) 3360836715704971/281474976710656) 2737158995491925/4503599627370496)) (cbrt.f64 (fma.f64 z (fma.f64 z (fma.f64 z (+.f64 z 4288183283079449/281474976710656) 4428869650076171/140737488355328) 3360836715704971/281474976710656) 2737158995491925/4503599627370496)))) (/.f64 (fma.f64 z (fma.f64 z (fma.f64 z (fma.f64 z 7049496828096731/2251799813685248 3143161857605767/281474976710656) t) a) b) (cbrt.f64 (fma.f64 z (fma.f64 z (fma.f64 z (+.f64 z 4288183283079449/281474976710656) 4428869650076171/140737488355328) 3360836715704971/281474976710656) 2737158995491925/4503599627370496))))

rewrite27.0ms (0.2%)

Algorithm

1×	rewrite-expression-head

Rules

47×	`add-exp-log_binary64`
39×	`add-sqr-sqrt_binary64`
33×	`times-frac_binary64`
22×	`associate-r_binary64`
21×	`*-un-lft-identity_binary64`

Counts

2 → 85

Calls

2 calls:

15.0ms

(*.f64 (/.f64 1 (*.f64 (cbrt.f64 (fma.f64 z (fma.f64 z (fma.f64 z (+.f64 z 4288183283079449/281474976710656) 4428869650076171/140737488355328) 3360836715704971/281474976710656) 2737158995491925/4503599627370496)) (cbrt.f64 (fma.f64 z (fma.f64 z (fma.f64 z (+.f64 z 4288183283079449/281474976710656) 4428869650076171/140737488355328) 3360836715704971/281474976710656) 2737158995491925/4503599627370496)))) (/.f64 (fma.f64 z (fma.f64 z (fma.f64 z (fma.f64 z 7049496828096731/2251799813685248 3143161857605767/281474976710656) t) a) b) (cbrt.f64 (fma.f64 z (fma.f64 z (fma.f64 z (+.f64 z 4288183283079449/281474976710656) 4428869650076171/140737488355328) 3360836715704971/281474976710656) 2737158995491925/4503599627370496))))

1.0ms

(cbrt.f64 (fma.f64 z (fma.f64 z (fma.f64 z (+.f64 z 4288183283079449/281474976710656) 4428869650076171/140737488355328) 3360836715704971/281474976710656) 2737158995491925/4503599627370496))

series595.0ms (3.5%)

Counts

2 → 60

Calls

2 calls:

587.0ms

(*.f64 (/.f64 1 (*.f64 (cbrt.f64 (fma.f64 z (fma.f64 z (fma.f64 z (+.f64 z 4288183283079449/281474976710656) 4428869650076171/140737488355328) 3360836715704971/281474976710656) 2737158995491925/4503599627370496)) (cbrt.f64 (fma.f64 z (fma.f64 z (fma.f64 z (+.f64 z 4288183283079449/281474976710656) 4428869650076171/140737488355328) 3360836715704971/281474976710656) 2737158995491925/4503599627370496)))) (/.f64 (fma.f64 z (fma.f64 z (fma.f64 z (fma.f64 z 7049496828096731/2251799813685248 3143161857605767/281474976710656) t) a) b) (cbrt.f64 (fma.f64 z (fma.f64 z (fma.f64 z (+.f64 z 4288183283079449/281474976710656) 4428869650076171/140737488355328) 3360836715704971/281474976710656) 2737158995491925/4503599627370496))))

7.0ms

(cbrt.f64 (fma.f64 z (fma.f64 z (fma.f64 z (+.f64 z 4288183283079449/281474976710656) 4428869650076171/140737488355328) 3360836715704971/281474976710656) 2737158995491925/4503599627370496))

simplify376.0ms (2.2%)

Algorithm

1×	egg-herbie

Rules

566×	`times-frac_binary64`
250×	`cancel-sign-sub-inv_binary64`
202×	`distribute-rgt-in_binary64`
191×	`distribute-lft-in_binary64`
189×	`fma-neg_binary64`

Counts

145 → 270

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	275	13020
1	758	10639
2	2578	10333
3	4775	10331
4	4992	10331
5	4940	10331

prune461.0ms (2.7%)

Pruning

6 alts after pruning (3 fresh and 3 done)

	Pruned	Kept	Total
New	387	0	387
Fresh	0	3	3
Picked	0	1	1
Done	0	2	2
Total	387	6	393

Error

Counts

393 → 6

Alt Table

Status	Error	Program
	29.9b	(+.f64 (/.f64 (.f64 b y) (+.f64 2737158995491925/4503599627370496 (+.f64 (.f64 (pow.f64 z 3) (+.f64 z 4288183283079449/281474976710656)) (.f64 z (fma.f64 z 4428869650076171/140737488355328 3360836715704971/281474976710656))))) (+.f64 (+.f64 (fma.f64 7049496828096731/2251799813685248 (/.f64 (.f64 (pow.f64 z 4) y) (+.f64 2737158995491925/4503599627370496 (+.f64 (.f64 (pow.f64 z 3) (+.f64 z 4288183283079449/281474976710656)) (.f64 z (fma.f64 z 4428869650076171/140737488355328 3360836715704971/281474976710656))))) (.f64 3143161857605767/281474976710656 (/.f64 (.f64 (pow.f64 z 3) y) (+.f64 2737158995491925/4503599627370496 (+.f64 (.f64 (pow.f64 z 3) (+.f64 z 4288183283079449/281474976710656)) (.f64 z (fma.f64 z 4428869650076171/140737488355328 3360836715704971/281474976710656))))))) (.f64 (/.f64 y (+.f64 2737158995491925/4503599627370496 (+.f64 (.f64 (pow.f64 z 3) (+.f64 z 4288183283079449/281474976710656)) (.f64 z (fma.f64 z 4428869650076171/140737488355328 3360836715704971/281474976710656))))) (.f64 z (+.f64 a (*.f64 t z))))) x))
✓	29.3b	(fma.f64 y (.f64 (/.f64 1 (.f64 (cbrt.f64 (fma.f64 z (fma.f64 z (fma.f64 z (+.f64 z 4288183283079449/281474976710656) 4428869650076171/140737488355328) 3360836715704971/281474976710656) 2737158995491925/4503599627370496)) (cbrt.f64 (fma.f64 z (fma.f64 z (fma.f64 z (+.f64 z 4288183283079449/281474976710656) 4428869650076171/140737488355328) 3360836715704971/281474976710656) 2737158995491925/4503599627370496)))) (/.f64 (fma.f64 z (fma.f64 z (fma.f64 z (fma.f64 z 7049496828096731/2251799813685248 3143161857605767/281474976710656) t) a) b) (cbrt.f64 (fma.f64 z (fma.f64 z (fma.f64 z (+.f64 z 4288183283079449/281474976710656) 4428869650076171/140737488355328) 3360836715704971/281474976710656) 2737158995491925/4503599627370496)))) x)
✓	25.8b	(fma.f64 y (+.f64 (+.f64 (/.f64 81702972970233816761127909406680643088908197035/178405961588244985132285746181186892047843328 (.f64 z z)) (/.f64 t (.f64 z z))) (-.f64 7049496828096731/2251799813685248 (/.f64 23151763167026757919721122556003/633825300114114700748351602688 z))) x)
✓	25.9b	(+.f64 x (fma.f64 y (-.f64 7049496828096731/2251799813685248 (/.f64 23151763167026757919721122556003/633825300114114700748351602688 z)) (.f64 (/.f64 y (.f64 z z)) (+.f64 t 81702972970233816761127909406680643088908197035/178405961588244985132285746181186892047843328))))
	30.0b	(+.f64 (fma.f64 4503599627370496/2737158995491925 (.f64 a (.f64 z y)) x) (.f64 (.f64 b y) (+.f64 4503599627370496/2737158995491925 (*.f64 z -242173807688031823959482334969856/7492039366602363902472740205625))))
	34.0b	(+.f64 (fma.f64 7049496828096731/2251799813685248 (/.f64 (.f64 (pow.f64 z 4) y) (+.f64 2737158995491925/4503599627370496 (+.f64 (.f64 (pow.f64 z 3) (+.f64 z 4288183283079449/281474976710656)) (.f64 z (fma.f64 z 4428869650076171/140737488355328 3360836715704971/281474976710656))))) (fma.f64 3143161857605767/281474976710656 (/.f64 (.f64 (pow.f64 z 3) y) (+.f64 2737158995491925/4503599627370496 (+.f64 (.f64 (pow.f64 z 3) (+.f64 z 4288183283079449/281474976710656)) (.f64 z (fma.f64 z 4428869650076171/140737488355328 3360836715704971/281474976710656))))) x)) (.f64 (/.f64 y (+.f64 2737158995491925/4503599627370496 (+.f64 (.f64 (pow.f64 z 3) (+.f64 z 4288183283079449/281474976710656)) (.f64 z (fma.f64 z 4428869650076171/140737488355328 3360836715704971/281474976710656))))) (+.f64 (.f64 t (*.f64 z z)) b)))

Compiler

Compiled 16232 to 10817 computations (33.4% saved)

regimes5.7s (33.8%)

Accuracy

Total 0.9b remaining (73.9%)

Threshold costs 0.9b (73.9%)

Compiler

Compiled 65640 to 44820 computations (31.7% saved)

bsearch95.0ms (0.6%)

Steps

Iters	Range		Point
9	4.602012839822351e+62	6.796770490045532e+67	4.670877542172956e+62
10	-503555671530007.06	-3.161139692106345e-5	-494793505743926.2

Compiler

Compiled 7 to 6 computations (14.3% saved)

simplify9.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

7×	`+-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	49	131
1	60	131
2	67	131
3	69	131
4	70	131
5	68	131

end2.0ms (0%)

Compiler: Compiled 98 to 63 computations (35.7% saved)

sample1.8s (10.4%)

Algorithm

1×

intervals

Results

1.0s	8000×	body	128	valid
90.0ms	815×	body	128	invalid

Compiler

Compiled 474 to 332 computations (30% saved)

Details

analyze2.7s (16.2%)

sample47.0ms (0.3%)

simplify93.0ms (0.5%)

prune6.0ms (0%)

localize22.0ms (0.1%)

rewrite7.0ms (0%)

series1.8s (10.5%)

simplify853.0ms (5%)

prune488.0ms (2.9%)

localize23.0ms (0.1%)

rewrite36.0ms (0.2%)

series482.0ms (2.9%)

simplify344.0ms (2%)

prune276.0ms (1.6%)

localize26.0ms (0.2%)

rewrite42.0ms (0.2%)

series227.0ms (1.3%)

simplify171.0ms (1%)

prune179.0ms (1.1%)

localize28.0ms (0.2%)

rewrite27.0ms (0.2%)

series595.0ms (3.5%)

simplify376.0ms (2.2%)

prune461.0ms (2.7%)

regimes5.7s (33.8%)

bsearch95.0ms (0.6%)

simplify9.0ms (0.1%)

end2.0ms (0%)

sample1.8s (10.4%)

Profiling