Details

analyze2.8s (18.3%)

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)

sample2.0s (13.5%)

Results

1.7s	8256×	body	128	valid
175.0ms	880×	body	128	invalid

Compiler

Compiled 131 to 92 computations (29.8% saved)

simplify84.0ms (0.6%)

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

prune5.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.8b

Counts

3 → 2

Alt Table

Status	Error	Program
	30.9b	(+.f64 x (/.f64 (.f64 y (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 z 313060547623/100000000000) 55833770631/5000000000) z) t) z) a) z) b)) (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 z 15234687407/1000000000) z) 314690115749/10000000000) z) 119400905721/10000000000) z) 607771387771/1000000000000)))
▶	29.9b	(fma.f64 y (/.f64 (fma.f64 z (fma.f64 z (fma.f64 z (fma.f64 z 313060547623/100000000000 55833770631/5000000000) t) a) b) (fma.f64 z (fma.f64 z (fma.f64 z (+.f64 z 15234687407/1000000000) 314690115749/10000000000) 119400905721/10000000000) 607771387771/1000000000000)) x)

Status

Error

Program

30.9b

(+.f64 x (/.f64 (*.f64 y (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 z 313060547623/100000000000) 55833770631/5000000000) z) t) z) a) z) b)) (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 z 15234687407/1000000000) z) 314690115749/10000000000) z) 119400905721/10000000000) z) 607771387771/1000000000000)))

▶

29.9b

(fma.f64 y (/.f64 (fma.f64 z (fma.f64 z (fma.f64 z (fma.f64 z 313060547623/100000000000 55833770631/5000000000) t) a) b) (fma.f64 z (fma.f64 z (fma.f64 z (+.f64 z 15234687407/1000000000) 314690115749/10000000000) 119400905721/10000000000) 607771387771/1000000000000)) x)

Compiler

Compiled 228 to 150 computations (34.2% saved)

localize21.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.0b	(fma.f64 z 313060547623/100000000000 55833770631/5000000000)
✓	0.1b	(fma.f64 z (fma.f64 z 313060547623/100000000000 55833770631/5000000000) t)
✓	0.1b	(fma.f64 y (/.f64 (fma.f64 z (fma.f64 z (fma.f64 z (fma.f64 z 313060547623/100000000000 55833770631/5000000000) t) a) b) (fma.f64 z (fma.f64 z (fma.f64 z (+.f64 z 15234687407/1000000000) 314690115749/10000000000) 119400905721/10000000000) 607771387771/1000000000000)) x)
✓	29.0b	(/.f64 (fma.f64 z (fma.f64 z (fma.f64 z (fma.f64 z 313060547623/100000000000 55833770631/5000000000) t) a) b) (fma.f64 z (fma.f64 z (fma.f64 z (+.f64 z 15234687407/1000000000) 314690115749/10000000000) 119400905721/10000000000) 607771387771/1000000000000))

series2.0s (13%)

Counts

4 → 156

Calls

4 calls:

1.5s	(fma.f64 y (/.f64 (fma.f64 z (fma.f64 z (fma.f64 z (fma.f64 z 313060547623/100000000000 55833770631/5000000000) t) a) b) (fma.f64 z (fma.f64 z (fma.f64 z (+.f64 z 15234687407/1000000000) 314690115749/10000000000) 119400905721/10000000000) 607771387771/1000000000000)) x)
509.0ms	(/.f64 (fma.f64 z (fma.f64 z (fma.f64 z (fma.f64 z 313060547623/100000000000 55833770631/5000000000) t) a) b) (fma.f64 z (fma.f64 z (fma.f64 z (+.f64 z 15234687407/1000000000) 314690115749/10000000000) 119400905721/10000000000) 607771387771/1000000000000))
6.0ms	(fma.f64 z (fma.f64 z 313060547623/100000000000 55833770631/5000000000) t)
2.0ms	(fma.f64 z 313060547623/100000000000 55833770631/5000000000)

rewrite8.0ms (0.1%)

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 313060547623/100000000000 55833770631/5000000000) t) a) b) (fma.f64 z (fma.f64 z (fma.f64 z (+.f64 z 15234687407/1000000000) 314690115749/10000000000) 119400905721/10000000000) 607771387771/1000000000000))
1.0ms	(fma.f64 z 313060547623/100000000000 55833770631/5000000000)
0.0ms	(fma.f64 y (/.f64 (fma.f64 z (fma.f64 z (fma.f64 z (fma.f64 z 313060547623/100000000000 55833770631/5000000000) t) a) b) (fma.f64 z (fma.f64 z (fma.f64 z (+.f64 z 15234687407/1000000000) 314690115749/10000000000) 119400905721/10000000000) 607771387771/1000000000000)) x)
0.0ms	(fma.f64 z (fma.f64 z 313060547623/100000000000 55833770631/5000000000) t)

simplify403.0ms (2.7%)

Algorithm

1×	egg-herbie

Rules

467×	`cancel-sign-sub-inv_binary64`
302×	`fma-neg_binary64`
298×	`fma-def_binary64`
250×	`associate-+r+_binary64`
234×	`distribute-rgt-in_binary64`

Counts

215 → 148

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	327	18542
1	845	18113
2	2804	15739
3	4707	15739
4	4981	15739

prune271.0ms (1.8%)

Pruning

6 alts after pruning (5 fresh and 1 done)

	Pruned	Kept	Total
New	143	5	148
Fresh	1	0	1
Picked	0	1	1
Done	0	0	0
Total	144	6	150

Error

0.0b

Counts

150 → 6

Alt Table

Status	Error	Program
✓	29.9b	(fma.f64 y (/.f64 (fma.f64 z (fma.f64 z (fma.f64 z (fma.f64 z 313060547623/100000000000 55833770631/5000000000) t) a) b) (fma.f64 z (fma.f64 z (fma.f64 z (+.f64 z 15234687407/1000000000) 314690115749/10000000000) 119400905721/10000000000) 607771387771/1000000000000)) x)
	34.0b	(+.f64 (+.f64 (.f64 (.f64 1000000000000/607771387771 y) (+.f64 b (.f64 z (+.f64 a (.f64 t z))))) (fma.f64 123439798033292669987862100000000000000/224502278183706222041215714334315011 (.f64 (.f64 z z) (.f64 b y)) x)) (.f64 -11940090572100000000000000/369386059793087248348441 (.f64 y (.f64 z (fma.f64 a z b)))))
▶	26.5b	(fma.f64 y (+.f64 (+.f64 (/.f64 45796100221584283915100827016327/100000000000000000000000000000 (.f64 z z)) (/.f64 t (.f64 z z))) (-.f64 313060547623/100000000000 (/.f64 3652704169880641883561/100000000000000000000 z))) x)
	46.4b	(*.f64 (sqrt.f64 (fma.f64 y (/.f64 (fma.f64 z (fma.f64 z (fma.f64 z (fma.f64 z 313060547623/100000000000 55833770631/5000000000) t) a) b) (fma.f64 z (fma.f64 z (fma.f64 z (+.f64 z 15234687407/1000000000) 314690115749/10000000000) 119400905721/10000000000) 607771387771/1000000000000)) x)) (sqrt.f64 (fma.f64 y (/.f64 (fma.f64 z (fma.f64 z (fma.f64 z (fma.f64 z 313060547623/100000000000 55833770631/5000000000) t) a) b) (fma.f64 z (fma.f64 z (fma.f64 z (+.f64 z 15234687407/1000000000) 314690115749/10000000000) 119400905721/10000000000) 607771387771/1000000000000)) x)))
	51.4b	(cbrt.f64 (.f64 (.f64 (fma.f64 y (/.f64 (fma.f64 z (fma.f64 z (fma.f64 z (fma.f64 z 313060547623/100000000000 55833770631/5000000000) t) a) b) (fma.f64 z (fma.f64 z (fma.f64 z (+.f64 z 15234687407/1000000000) 314690115749/10000000000) 119400905721/10000000000) 607771387771/1000000000000)) x) (fma.f64 y (/.f64 (fma.f64 z (fma.f64 z (fma.f64 z (fma.f64 z 313060547623/100000000000 55833770631/5000000000) t) a) b) (fma.f64 z (fma.f64 z (fma.f64 z (+.f64 z 15234687407/1000000000) 314690115749/10000000000) 119400905721/10000000000) 607771387771/1000000000000)) x)) (fma.f64 y (/.f64 (fma.f64 z (fma.f64 z (fma.f64 z (fma.f64 z 313060547623/100000000000 55833770631/5000000000) t) a) b) (fma.f64 z (fma.f64 z (fma.f64 z (+.f64 z 15234687407/1000000000) 314690115749/10000000000) 119400905721/10000000000) 607771387771/1000000000000)) x)))
	29.8b	(fma.f64 y (*.f64 (fma.f64 z (fma.f64 z (fma.f64 z (fma.f64 z 313060547623/100000000000 55833770631/5000000000) t) a) b) (/.f64 1 (fma.f64 z (fma.f64 z (fma.f64 z (+.f64 z 15234687407/1000000000) 314690115749/10000000000) 119400905721/10000000000) 607771387771/1000000000000))) x)

Compiler

Compiled 7550 to 4847 computations (35.8% saved)

localize12.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.7b	(/.f64 45796100221584283915100827016327/100000000000000000000000000000 (*.f64 z z))
✓	3.3b	(fma.f64 y (+.f64 (+.f64 (/.f64 45796100221584283915100827016327/100000000000000000000000000000 (.f64 z z)) (/.f64 t (.f64 z z))) (-.f64 313060547623/100000000000 (/.f64 3652704169880641883561/100000000000000000000 z))) x)
✓	5.7b	(+.f64 (/.f64 45796100221584283915100827016327/100000000000000000000000000000 (.f64 z z)) (/.f64 t (.f64 z z)))
✓	7.0b	(/.f64 t (*.f64 z z))

series198.0ms (1.3%)

Counts

4 → 108

Calls

4 calls:

134.0ms	(fma.f64 y (+.f64 (+.f64 (/.f64 45796100221584283915100827016327/100000000000000000000000000000 (.f64 z z)) (/.f64 t (.f64 z z))) (-.f64 313060547623/100000000000 (/.f64 3652704169880641883561/100000000000000000000 z))) x)
32.0ms	(+.f64 (/.f64 45796100221584283915100827016327/100000000000000000000000000000 (.f64 z z)) (/.f64 t (.f64 z z)))
27.0ms	(/.f64 t (*.f64 z z))
4.0ms	(/.f64 45796100221584283915100827016327/100000000000000000000000000000 (*.f64 z z))

rewrite18.0ms (0.1%)

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:

7.0ms	(+.f64 (/.f64 45796100221584283915100827016327/100000000000000000000000000000 (.f64 z z)) (/.f64 t (.f64 z z)))
4.0ms	(/.f64 45796100221584283915100827016327/100000000000000000000000000000 (*.f64 z z))
3.0ms	(/.f64 t (*.f64 z z))
0.0ms	(fma.f64 y (+.f64 (+.f64 (/.f64 45796100221584283915100827016327/100000000000000000000000000000 (.f64 z z)) (/.f64 t (.f64 z z))) (-.f64 313060547623/100000000000 (/.f64 3652704169880641883561/100000000000000000000 z))) x)

simplify141.0ms (0.9%)

Algorithm

1×	egg-herbie

Rules

461×	`fma-neg_binary64`
391×	`exp-sum_binary64`
330×	`fma-def_binary64`
281×	`cancel-sign-sub-inv_binary64`
239×	`associate-*l/_binary64`

Counts

188 → 137

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	167	3178
1	386	3061
2	1019	2634
3	3329	2634
4	4480	2634
5	5142	2634

prune118.0ms (0.8%)

Pruning

7 alts after pruning (5 fresh and 2 done)

	Pruned	Kept	Total
New	136	1	137
Fresh	0	4	4
Picked	0	1	1
Done	0	1	1
Total	136	7	143

Error

0.0b

Counts

143 → 7

Alt Table

Status	Error	Program
	47.5b	(.f64 (sqrt.f64 (fma.f64 y (+.f64 (+.f64 (/.f64 45796100221584283915100827016327/100000000000000000000000000000 (.f64 z z)) (/.f64 t (.f64 z z))) (-.f64 313060547623/100000000000 (/.f64 3652704169880641883561/100000000000000000000 z))) x)) (sqrt.f64 (fma.f64 y (+.f64 (+.f64 (/.f64 45796100221584283915100827016327/100000000000000000000000000000 (.f64 z z)) (/.f64 t (*.f64 z z))) (-.f64 313060547623/100000000000 (/.f64 3652704169880641883561/100000000000000000000 z))) x)))
✓	29.9b	(fma.f64 y (/.f64 (fma.f64 z (fma.f64 z (fma.f64 z (fma.f64 z 313060547623/100000000000 55833770631/5000000000) t) a) b) (fma.f64 z (fma.f64 z (fma.f64 z (+.f64 z 15234687407/1000000000) 314690115749/10000000000) 119400905721/10000000000) 607771387771/1000000000000)) x)
	34.0b	(+.f64 (+.f64 (.f64 (.f64 1000000000000/607771387771 y) (+.f64 b (.f64 z (+.f64 a (.f64 t z))))) (fma.f64 123439798033292669987862100000000000000/224502278183706222041215714334315011 (.f64 (.f64 z z) (.f64 b y)) x)) (.f64 -11940090572100000000000000/369386059793087248348441 (.f64 y (.f64 z (fma.f64 a z b)))))
✓	26.5b	(fma.f64 y (+.f64 (+.f64 (/.f64 45796100221584283915100827016327/100000000000000000000000000000 (.f64 z z)) (/.f64 t (.f64 z z))) (-.f64 313060547623/100000000000 (/.f64 3652704169880641883561/100000000000000000000 z))) x)
	46.4b	(*.f64 (sqrt.f64 (fma.f64 y (/.f64 (fma.f64 z (fma.f64 z (fma.f64 z (fma.f64 z 313060547623/100000000000 55833770631/5000000000) t) a) b) (fma.f64 z (fma.f64 z (fma.f64 z (+.f64 z 15234687407/1000000000) 314690115749/10000000000) 119400905721/10000000000) 607771387771/1000000000000)) x)) (sqrt.f64 (fma.f64 y (/.f64 (fma.f64 z (fma.f64 z (fma.f64 z (fma.f64 z 313060547623/100000000000 55833770631/5000000000) t) a) b) (fma.f64 z (fma.f64 z (fma.f64 z (+.f64 z 15234687407/1000000000) 314690115749/10000000000) 119400905721/10000000000) 607771387771/1000000000000)) x)))
	51.4b	(cbrt.f64 (.f64 (.f64 (fma.f64 y (/.f64 (fma.f64 z (fma.f64 z (fma.f64 z (fma.f64 z 313060547623/100000000000 55833770631/5000000000) t) a) b) (fma.f64 z (fma.f64 z (fma.f64 z (+.f64 z 15234687407/1000000000) 314690115749/10000000000) 119400905721/10000000000) 607771387771/1000000000000)) x) (fma.f64 y (/.f64 (fma.f64 z (fma.f64 z (fma.f64 z (fma.f64 z 313060547623/100000000000 55833770631/5000000000) t) a) b) (fma.f64 z (fma.f64 z (fma.f64 z (+.f64 z 15234687407/1000000000) 314690115749/10000000000) 119400905721/10000000000) 607771387771/1000000000000)) x)) (fma.f64 y (/.f64 (fma.f64 z (fma.f64 z (fma.f64 z (fma.f64 z 313060547623/100000000000 55833770631/5000000000) t) a) b) (fma.f64 z (fma.f64 z (fma.f64 z (+.f64 z 15234687407/1000000000) 314690115749/10000000000) 119400905721/10000000000) 607771387771/1000000000000)) x)))
▶	29.8b	(fma.f64 y (*.f64 (fma.f64 z (fma.f64 z (fma.f64 z (fma.f64 z 313060547623/100000000000 55833770631/5000000000) t) a) b) (/.f64 1 (fma.f64 z (fma.f64 z (fma.f64 z (+.f64 z 15234687407/1000000000) 314690115749/10000000000) 119400905721/10000000000) 607771387771/1000000000000))) x)

Compiler

Compiled 3983 to 2106 computations (47.1% saved)

localize22.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
	0.1b	(fma.f64 z (fma.f64 z 313060547623/100000000000 55833770631/5000000000) t)
✓	0.1b	(fma.f64 y (*.f64 (fma.f64 z (fma.f64 z (fma.f64 z (fma.f64 z 313060547623/100000000000 55833770631/5000000000) t) a) b) (/.f64 1 (fma.f64 z (fma.f64 z (fma.f64 z (+.f64 z 15234687407/1000000000) 314690115749/10000000000) 119400905721/10000000000) 607771387771/1000000000000))) x)
✓	0.4b	(/.f64 1 (fma.f64 z (fma.f64 z (fma.f64 z (+.f64 z 15234687407/1000000000) 314690115749/10000000000) 119400905721/10000000000) 607771387771/1000000000000))
✓	28.8b	(*.f64 (fma.f64 z (fma.f64 z (fma.f64 z (fma.f64 z 313060547623/100000000000 55833770631/5000000000) t) a) b) (/.f64 1 (fma.f64 z (fma.f64 z (fma.f64 z (+.f64 z 15234687407/1000000000) 314690115749/10000000000) 119400905721/10000000000) 607771387771/1000000000000)))

series1.7s (11.1%)

Counts

3 → 132

Calls

3 calls:

1.1s

(fma.f64 y (*.f64 (fma.f64 z (fma.f64 z (fma.f64 z (fma.f64 z 313060547623/100000000000 55833770631/5000000000) t) a) b) (/.f64 1 (fma.f64 z (fma.f64 z (fma.f64 z (+.f64 z 15234687407/1000000000) 314690115749/10000000000) 119400905721/10000000000) 607771387771/1000000000000))) x)

582.0ms

(*.f64 (fma.f64 z (fma.f64 z (fma.f64 z (fma.f64 z 313060547623/100000000000 55833770631/5000000000) t) a) b) (/.f64 1 (fma.f64 z (fma.f64 z (fma.f64 z (+.f64 z 15234687407/1000000000) 314690115749/10000000000) 119400905721/10000000000) 607771387771/1000000000000)))

4.0ms

(/.f64 1 (fma.f64 z (fma.f64 z (fma.f64 z (+.f64 z 15234687407/1000000000) 314690115749/10000000000) 119400905721/10000000000) 607771387771/1000000000000))

rewrite16.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

26×	`add-sqr-sqrt_binary64`
20×	`times-frac_binary64`
20×	`*-un-lft-identity_binary64`
19×	`add-cube-cbrt_binary64`
16×	`add-exp-log_binary64`

Counts

3 → 81

Calls

3 calls:

5.0ms

(*.f64 (fma.f64 z (fma.f64 z (fma.f64 z (fma.f64 z 313060547623/100000000000 55833770631/5000000000) t) a) b) (/.f64 1 (fma.f64 z (fma.f64 z (fma.f64 z (+.f64 z 15234687407/1000000000) 314690115749/10000000000) 119400905721/10000000000) 607771387771/1000000000000)))

2.0ms

(/.f64 1 (fma.f64 z (fma.f64 z (fma.f64 z (+.f64 z 15234687407/1000000000) 314690115749/10000000000) 119400905721/10000000000) 607771387771/1000000000000))

0.0ms

(fma.f64 y (*.f64 (fma.f64 z (fma.f64 z (fma.f64 z (fma.f64 z 313060547623/100000000000 55833770631/5000000000) t) a) b) (/.f64 1 (fma.f64 z (fma.f64 z (fma.f64 z (+.f64 z 15234687407/1000000000) 314690115749/10000000000) 119400905721/10000000000) 607771387771/1000000000000))) x)

simplify444.0ms (2.9%)

Algorithm

1×	egg-herbie

Rules

539×	`cancel-sign-sub-inv_binary64`
360×	`fma-neg_binary64`
300×	`fma-def_binary64`
266×	`distribute-rgt-in_binary64`
248×	`associate-+r+_binary64`

Counts

213 → 192

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	341	19210
1	925	18726
2	3070	16353
3	4885	16348
4	5041	16348

prune300.0ms (2%)

Pruning

7 alts after pruning (4 fresh and 3 done)

	Pruned	Kept	Total
New	213	0	213
Fresh	0	4	4
Picked	0	1	1
Done	0	2	2
Total	213	7	220

Error

0.0b

Counts

220 → 7

Alt Table

Status	Error	Program
	47.5b	(.f64 (sqrt.f64 (fma.f64 y (+.f64 (+.f64 (/.f64 45796100221584283915100827016327/100000000000000000000000000000 (.f64 z z)) (/.f64 t (.f64 z z))) (-.f64 313060547623/100000000000 (/.f64 3652704169880641883561/100000000000000000000 z))) x)) (sqrt.f64 (fma.f64 y (+.f64 (+.f64 (/.f64 45796100221584283915100827016327/100000000000000000000000000000 (.f64 z z)) (/.f64 t (*.f64 z z))) (-.f64 313060547623/100000000000 (/.f64 3652704169880641883561/100000000000000000000 z))) x)))
✓	29.9b	(fma.f64 y (/.f64 (fma.f64 z (fma.f64 z (fma.f64 z (fma.f64 z 313060547623/100000000000 55833770631/5000000000) t) a) b) (fma.f64 z (fma.f64 z (fma.f64 z (+.f64 z 15234687407/1000000000) 314690115749/10000000000) 119400905721/10000000000) 607771387771/1000000000000)) x)
▶	34.0b	(+.f64 (+.f64 (.f64 (.f64 1000000000000/607771387771 y) (+.f64 b (.f64 z (+.f64 a (.f64 t z))))) (fma.f64 123439798033292669987862100000000000000/224502278183706222041215714334315011 (.f64 (.f64 z z) (.f64 b y)) x)) (.f64 -11940090572100000000000000/369386059793087248348441 (.f64 y (.f64 z (fma.f64 a z b)))))
✓	26.5b	(fma.f64 y (+.f64 (+.f64 (/.f64 45796100221584283915100827016327/100000000000000000000000000000 (.f64 z z)) (/.f64 t (.f64 z z))) (-.f64 313060547623/100000000000 (/.f64 3652704169880641883561/100000000000000000000 z))) x)
	46.4b	(*.f64 (sqrt.f64 (fma.f64 y (/.f64 (fma.f64 z (fma.f64 z (fma.f64 z (fma.f64 z 313060547623/100000000000 55833770631/5000000000) t) a) b) (fma.f64 z (fma.f64 z (fma.f64 z (+.f64 z 15234687407/1000000000) 314690115749/10000000000) 119400905721/10000000000) 607771387771/1000000000000)) x)) (sqrt.f64 (fma.f64 y (/.f64 (fma.f64 z (fma.f64 z (fma.f64 z (fma.f64 z 313060547623/100000000000 55833770631/5000000000) t) a) b) (fma.f64 z (fma.f64 z (fma.f64 z (+.f64 z 15234687407/1000000000) 314690115749/10000000000) 119400905721/10000000000) 607771387771/1000000000000)) x)))
	51.4b	(cbrt.f64 (.f64 (.f64 (fma.f64 y (/.f64 (fma.f64 z (fma.f64 z (fma.f64 z (fma.f64 z 313060547623/100000000000 55833770631/5000000000) t) a) b) (fma.f64 z (fma.f64 z (fma.f64 z (+.f64 z 15234687407/1000000000) 314690115749/10000000000) 119400905721/10000000000) 607771387771/1000000000000)) x) (fma.f64 y (/.f64 (fma.f64 z (fma.f64 z (fma.f64 z (fma.f64 z 313060547623/100000000000 55833770631/5000000000) t) a) b) (fma.f64 z (fma.f64 z (fma.f64 z (+.f64 z 15234687407/1000000000) 314690115749/10000000000) 119400905721/10000000000) 607771387771/1000000000000)) x)) (fma.f64 y (/.f64 (fma.f64 z (fma.f64 z (fma.f64 z (fma.f64 z 313060547623/100000000000 55833770631/5000000000) t) a) b) (fma.f64 z (fma.f64 z (fma.f64 z (+.f64 z 15234687407/1000000000) 314690115749/10000000000) 119400905721/10000000000) 607771387771/1000000000000)) x)))
✓	29.8b	(fma.f64 y (*.f64 (fma.f64 z (fma.f64 z (fma.f64 z (fma.f64 z 313060547623/100000000000 55833770631/5000000000) t) a) b) (/.f64 1 (fma.f64 z (fma.f64 z (fma.f64 z (+.f64 z 15234687407/1000000000) 314690115749/10000000000) 119400905721/10000000000) 607771387771/1000000000000))) x)

Compiler

Compiled 10492 to 6771 computations (35.5% saved)

localize24.0ms (0.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	7.1b	(.f64 y (.f64 z (fma.f64 a z b)))
✓	7.2b	(+.f64 (.f64 (.f64 1000000000000/607771387771 y) (+.f64 b (.f64 z (+.f64 a (.f64 t z))))) (fma.f64 123439798033292669987862100000000000000/224502278183706222041215714334315011 (.f64 (.f64 z z) (*.f64 b y)) x))
✓	7.9b	(+.f64 (+.f64 (.f64 (.f64 1000000000000/607771387771 y) (+.f64 b (.f64 z (+.f64 a (.f64 t z))))) (fma.f64 123439798033292669987862100000000000000/224502278183706222041215714334315011 (.f64 (.f64 z z) (.f64 b y)) x)) (.f64 -11940090572100000000000000/369386059793087248348441 (.f64 y (.f64 z (fma.f64 a z b)))))
✓	9.7b	(.f64 (.f64 z z) (*.f64 b y))

series379.0ms (2.5%)

Counts

4 → 228

Calls

4 calls:

191.0ms	(+.f64 (+.f64 (.f64 (.f64 1000000000000/607771387771 y) (+.f64 b (.f64 z (+.f64 a (.f64 t z))))) (fma.f64 123439798033292669987862100000000000000/224502278183706222041215714334315011 (.f64 (.f64 z z) (.f64 b y)) x)) (.f64 -11940090572100000000000000/369386059793087248348441 (.f64 y (.f64 z (fma.f64 a z b)))))
142.0ms	(+.f64 (.f64 (.f64 1000000000000/607771387771 y) (+.f64 b (.f64 z (+.f64 a (.f64 t z))))) (fma.f64 123439798033292669987862100000000000000/224502278183706222041215714334315011 (.f64 (.f64 z z) (*.f64 b y)) x))
23.0ms	(.f64 y (.f64 z (fma.f64 a z b)))
22.0ms	(.f64 (.f64 z z) (*.f64 b y))

rewrite33.0ms (0.2%)

Algorithm

1×	rewrite-expression-head

Rules

21×	`add-cbrt-cube_binary64`
21×	`add-exp-log_binary64`
21×	`pow1_binary64`
17×	`distribute-lft-in_binary64`
17×	`distribute-rgt-in_binary64`

Counts

4 → 91

Calls

4 calls:

11.0ms	(+.f64 (+.f64 (.f64 (.f64 1000000000000/607771387771 y) (+.f64 b (.f64 z (+.f64 a (.f64 t z))))) (fma.f64 123439798033292669987862100000000000000/224502278183706222041215714334315011 (.f64 (.f64 z z) (.f64 b y)) x)) (.f64 -11940090572100000000000000/369386059793087248348441 (.f64 y (.f64 z (fma.f64 a z b)))))
6.0ms	(+.f64 (.f64 (.f64 1000000000000/607771387771 y) (+.f64 b (.f64 z (+.f64 a (.f64 t z))))) (fma.f64 123439798033292669987862100000000000000/224502278183706222041215714334315011 (.f64 (.f64 z z) (*.f64 b y)) x))
5.0ms	(.f64 (.f64 z z) (*.f64 b y))
4.0ms	(.f64 y (.f64 z (fma.f64 a z b)))

simplify252.0ms (1.7%)

Algorithm

1×	egg-herbie

Rules

911×	`fma-neg_binary64`
394×	`associate-r_binary64`
371×	`associate-l_binary64`
321×	`fma-def_binary64`
295×	`distribute-rgt-neg-in_binary64`

Counts

319 → 235

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	350	10464
1	775	7885
2	3033	7771
3	4967	7757
4	5368	7757

prune244.0ms (1.6%)

Pruning

7 alts after pruning (3 fresh and 4 done)

	Pruned	Kept	Total
New	234	1	235
Fresh	1	2	3
Picked	0	1	1
Done	0	3	3
Total	235	7	242

Error

0.0b

Counts

242 → 7

Alt Table

Status	Error	Program
	47.5b	(.f64 (sqrt.f64 (fma.f64 y (+.f64 (+.f64 (/.f64 45796100221584283915100827016327/100000000000000000000000000000 (.f64 z z)) (/.f64 t (.f64 z z))) (-.f64 313060547623/100000000000 (/.f64 3652704169880641883561/100000000000000000000 z))) x)) (sqrt.f64 (fma.f64 y (+.f64 (+.f64 (/.f64 45796100221584283915100827016327/100000000000000000000000000000 (.f64 z z)) (/.f64 t (*.f64 z z))) (-.f64 313060547623/100000000000 (/.f64 3652704169880641883561/100000000000000000000 z))) x)))
✓	29.9b	(fma.f64 y (/.f64 (fma.f64 z (fma.f64 z (fma.f64 z (fma.f64 z 313060547623/100000000000 55833770631/5000000000) t) a) b) (fma.f64 z (fma.f64 z (fma.f64 z (+.f64 z 15234687407/1000000000) 314690115749/10000000000) 119400905721/10000000000) 607771387771/1000000000000)) x)
	35.6b	(+.f64 (+.f64 (.f64 b (.f64 1000000000000/607771387771 y)) (fma.f64 z (.f64 (.f64 y 1000000000000/607771387771) (fma.f64 z t a)) (fma.f64 (.f64 y (.f64 (.f64 z z) b)) 123439798033292669987862100000000000000/224502278183706222041215714334315011 x))) (.f64 -11940090572100000000000000/369386059793087248348441 (.f64 y (.f64 z (fma.f64 a z b)))))
✓	34.0b	(+.f64 (+.f64 (.f64 (.f64 1000000000000/607771387771 y) (+.f64 b (.f64 z (+.f64 a (.f64 t z))))) (fma.f64 123439798033292669987862100000000000000/224502278183706222041215714334315011 (.f64 (.f64 z z) (.f64 b y)) x)) (.f64 -11940090572100000000000000/369386059793087248348441 (.f64 y (.f64 z (fma.f64 a z b)))))
✓	26.5b	(fma.f64 y (+.f64 (+.f64 (/.f64 45796100221584283915100827016327/100000000000000000000000000000 (.f64 z z)) (/.f64 t (.f64 z z))) (-.f64 313060547623/100000000000 (/.f64 3652704169880641883561/100000000000000000000 z))) x)
	51.4b	(cbrt.f64 (.f64 (.f64 (fma.f64 y (/.f64 (fma.f64 z (fma.f64 z (fma.f64 z (fma.f64 z 313060547623/100000000000 55833770631/5000000000) t) a) b) (fma.f64 z (fma.f64 z (fma.f64 z (+.f64 z 15234687407/1000000000) 314690115749/10000000000) 119400905721/10000000000) 607771387771/1000000000000)) x) (fma.f64 y (/.f64 (fma.f64 z (fma.f64 z (fma.f64 z (fma.f64 z 313060547623/100000000000 55833770631/5000000000) t) a) b) (fma.f64 z (fma.f64 z (fma.f64 z (+.f64 z 15234687407/1000000000) 314690115749/10000000000) 119400905721/10000000000) 607771387771/1000000000000)) x)) (fma.f64 y (/.f64 (fma.f64 z (fma.f64 z (fma.f64 z (fma.f64 z 313060547623/100000000000 55833770631/5000000000) t) a) b) (fma.f64 z (fma.f64 z (fma.f64 z (+.f64 z 15234687407/1000000000) 314690115749/10000000000) 119400905721/10000000000) 607771387771/1000000000000)) x)))
✓	29.8b	(fma.f64 y (*.f64 (fma.f64 z (fma.f64 z (fma.f64 z (fma.f64 z 313060547623/100000000000 55833770631/5000000000) t) a) b) (/.f64 1 (fma.f64 z (fma.f64 z (fma.f64 z (+.f64 z 15234687407/1000000000) 314690115749/10000000000) 119400905721/10000000000) 607771387771/1000000000000))) x)

Compiler

Compiled 10079 to 3657 computations (63.7% saved)

regimes3.4s (22.7%)

Accuracy

Total 0.4b remaining (50.7%)

Threshold costs 0.4b (50.7%)

Counts

134 → 3

Compiler

Compiled 34792 to 23532 computations (32.4% saved)

bsearch8.0ms (0.1%)

Compiler: Compiled 41 to 29 computations (29.3% saved)

simplify9.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

14×	`+-commutative_binary64`
11×	`*-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	63	211
1	89	211
2	96	211
3	98	211
4	99	211
5	97	211

end221.0ms (1.5%)

Compiler: Compiled 629 to 396 computations (37% saved)

Details

analyze2.8s (18.3%)

sample2.0s (13.5%)

simplify84.0ms (0.6%)

prune5.0ms (0%)

localize21.0ms (0.1%)

series2.0s (13%)

rewrite8.0ms (0.1%)

simplify403.0ms (2.7%)

prune271.0ms (1.8%)

localize12.0ms (0.1%)

series198.0ms (1.3%)

rewrite18.0ms (0.1%)

simplify141.0ms (0.9%)

prune118.0ms (0.8%)

localize22.0ms (0.1%)

series1.7s (11.1%)

rewrite16.0ms (0.1%)

simplify444.0ms (2.9%)

prune300.0ms (2%)

localize24.0ms (0.2%)

series379.0ms (2.5%)

rewrite33.0ms (0.2%)

simplify252.0ms (1.7%)

prune244.0ms (1.6%)

regimes3.4s (22.7%)

bsearch8.0ms (0.1%)

simplify9.0ms (0.1%)

end221.0ms (1.5%)

Profiling