Details

analyze268.0ms (1.5%)

Algorithm

1×

Search

True	Other	False	Iter
0%	99.9%	0.1%	0
0%	99.9%	0.1%	1
49.9%	49.9%	0.1%	2
49.9%	49.9%	0.1%	3
49.9%	49.9%	0.1%	4
49.9%	49.9%	0.1%	5
49.9%	49.9%	0.1%	6
49.9%	49.9%	0.1%	7
74.9%	25%	0.1%	8
74.9%	25%	0.1%	9
74.9%	25%	0.1%	10
87.4%	12.5%	0.1%	11
87.4%	12.5%	0.1%	12
87.4%	12.5%	0.1%	13
93.6%	6.2%	0.1%	14

Compiler

Compiled 41 to 30 computations (26.8% saved)

sample1.3s (7.1%)

Infinites

0.1% of outputs are infinite.

Results

1.2s

8256×

body

128

valid

Compiler

Compiled 122 to 89 computations (27% saved)

simplify50.0ms (0.3%)

Algorithm

1×	egg-herbie

Rules

753×	`associate-+l+_binary64`
706×	`distribute-rgt-in_binary64`
700×	`distribute-lft-in_binary64`
667×	`associate-+r+_binary64`
226×	`fma-def_binary64`

Counts

1 → 2

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	30	41
1	64	41
2	154	41
3	357	41
4	1157	41
5	4876	41
6	4976	41
7	4992	41

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

23.6b

Counts

3 → 2

Alt Table

Status	Error	Program
▶	23.6b	(/.f64 (*.f64 (-.f64 x 2) (fma.f64 x (fma.f64 x (fma.f64 x (fma.f64 x 104109730557/25000000000 393497462077/5000000000) 4297481763/31250000) y) z)) (fma.f64 x (fma.f64 x (fma.f64 x (+.f64 x 216700011257/5000000000) 263505074721/1000000000) 156699607947/500000000) 23533438303/500000000))
	23.6b	(/.f64 (.f64 (-.f64 x 2) (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 x 104109730557/25000000000) 393497462077/5000000000) x) 4297481763/31250000) x) y) x) z)) (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 x 216700011257/5000000000) x) 263505074721/1000000000) x) 156699607947/500000000) x) 23533438303/500000000))

Status

Error

Program

▶

23.6b

(/.f64 (*.f64 (-.f64 x 2) (fma.f64 x (fma.f64 x (fma.f64 x (fma.f64 x 104109730557/25000000000 393497462077/5000000000) 4297481763/31250000) y) z)) (fma.f64 x (fma.f64 x (fma.f64 x (+.f64 x 216700011257/5000000000) 263505074721/1000000000) 156699607947/500000000) 23533438303/500000000))

23.6b

(/.f64 (*.f64 (-.f64 x 2) (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 x 104109730557/25000000000) 393497462077/5000000000) x) 4297481763/31250000) x) y) x) z)) (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 x 216700011257/5000000000) x) 263505074721/1000000000) x) 156699607947/500000000) x) 23533438303/500000000))

Compiler

Compiled 216 to 150 computations (30.6% saved)

localize18.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.1b	(fma.f64 x (fma.f64 x 104109730557/25000000000 393497462077/5000000000) 4297481763/31250000)
✓	0.1b	(fma.f64 x (fma.f64 x (fma.f64 x 104109730557/25000000000 393497462077/5000000000) 4297481763/31250000) y)
✓	0.3b	(fma.f64 x 104109730557/25000000000 393497462077/5000000000)
✓	22.9b	(/.f64 (*.f64 (-.f64 x 2) (fma.f64 x (fma.f64 x (fma.f64 x (fma.f64 x 104109730557/25000000000 393497462077/5000000000) 4297481763/31250000) y) z)) (fma.f64 x (fma.f64 x (fma.f64 x (+.f64 x 216700011257/5000000000) 263505074721/1000000000) 156699607947/500000000) 23533438303/500000000))

series639.0ms (3.6%)

Counts

4 → 84

Calls

4 calls:

623.0ms	(/.f64 (*.f64 (-.f64 x 2) (fma.f64 x (fma.f64 x (fma.f64 x (fma.f64 x 104109730557/25000000000 393497462077/5000000000) 4297481763/31250000) y) z)) (fma.f64 x (fma.f64 x (fma.f64 x (+.f64 x 216700011257/5000000000) 263505074721/1000000000) 156699607947/500000000) 23533438303/500000000))
12.0ms	(fma.f64 x (fma.f64 x (fma.f64 x 104109730557/25000000000 393497462077/5000000000) 4297481763/31250000) y)
2.0ms	(fma.f64 x (fma.f64 x 104109730557/25000000000 393497462077/5000000000) 4297481763/31250000)
2.0ms	(fma.f64 x 104109730557/25000000000 393497462077/5000000000)

rewrite9.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

9×	`add-cbrt-cube_binary64`
9×	`add-exp-log_binary64`
6×	`*-un-lft-identity_binary64`
6×	`add-sqr-sqrt_binary64`
6×	`add-cube-cbrt_binary64`

Counts

4 → 55

Calls

4 calls:

5.0ms	(/.f64 (*.f64 (-.f64 x 2) (fma.f64 x (fma.f64 x (fma.f64 x (fma.f64 x 104109730557/25000000000 393497462077/5000000000) 4297481763/31250000) y) z)) (fma.f64 x (fma.f64 x (fma.f64 x (+.f64 x 216700011257/5000000000) 263505074721/1000000000) 156699607947/500000000) 23533438303/500000000))
0.0ms	(fma.f64 x (fma.f64 x (fma.f64 x 104109730557/25000000000 393497462077/5000000000) 4297481763/31250000) y)
0.0ms	(fma.f64 x 104109730557/25000000000 393497462077/5000000000)
0.0ms	(fma.f64 x (fma.f64 x 104109730557/25000000000 393497462077/5000000000) 4297481763/31250000)

simplify328.0ms (1.9%)

Algorithm

1×	egg-herbie

Rules

899×	`fma-def_binary64`
565×	`distribute-rgt-in_binary64`
296×	`times-frac_binary64`
211×	`fma-neg_binary64`
146×	`cancel-sign-sub-inv_binary64`

Counts

139 → 125

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	236	8000
1	613	7637
2	2009	7248
3	4990	7248
4	5032	7248

prune237.0ms (1.3%)

Pruning

7 alts after pruning (7 fresh and 0 done)

	Pruned	Kept	Total
New	118	7	125
Fresh	1	0	1
Picked	1	0	1
Done	0	0	0
Total	120	7	127

Error

0.2b

Counts

127 → 7

Alt Table

Status	Error	Program
	23.5b	(.f64 (/.f64 (-.f64 x 2) (.f64 (cbrt.f64 (fma.f64 x (fma.f64 x (fma.f64 x (+.f64 x 216700011257/5000000000) 263505074721/1000000000) 156699607947/500000000) 23533438303/500000000)) (cbrt.f64 (fma.f64 x (fma.f64 x (fma.f64 x (+.f64 x 216700011257/5000000000) 263505074721/1000000000) 156699607947/500000000) 23533438303/500000000)))) (/.f64 (fma.f64 x (fma.f64 x (fma.f64 x (fma.f64 x 104109730557/25000000000 393497462077/5000000000) 4297481763/31250000) y) z) (cbrt.f64 (fma.f64 x (fma.f64 x (fma.f64 x (+.f64 x 216700011257/5000000000) 263505074721/1000000000) 156699607947/500000000) 23533438303/500000000))))
	23.6b	(-.f64 (+.f64 (.f64 1759267849271/25000000000 (/.f64 (pow.f64 x 4) (+.f64 (pow.f64 x 4) (+.f64 23533438303/500000000 (+.f64 (.f64 263505074721/1000000000 (pow.f64 x 2)) (+.f64 (.f64 216700011257/5000000000 (pow.f64 x 3)) (.f64 156699607947/500000000 x))))))) (+.f64 (/.f64 (.f64 y (pow.f64 x 2)) (+.f64 (pow.f64 x 4) (+.f64 23533438303/500000000 (+.f64 (.f64 263505074721/1000000000 (pow.f64 x 2)) (+.f64 (.f64 216700011257/5000000000 (pow.f64 x 3)) (.f64 156699607947/500000000 x)))))) (+.f64 (.f64 104109730557/25000000000 (/.f64 (pow.f64 x 5) (+.f64 (pow.f64 x 4) (+.f64 23533438303/500000000 (+.f64 (.f64 263505074721/1000000000 (pow.f64 x 2)) (+.f64 (.f64 216700011257/5000000000 (pow.f64 x 3)) (.f64 156699607947/500000000 x))))))) (/.f64 (.f64 z x) (+.f64 (pow.f64 x 4) (+.f64 23533438303/500000000 (+.f64 (.f64 263505074721/1000000000 (pow.f64 x 2)) (+.f64 (.f64 216700011257/5000000000 (pow.f64 x 3)) (.f64 156699607947/500000000 x))))))))) (+.f64 (.f64 2 (/.f64 (.f64 y x) (+.f64 (pow.f64 x 4) (+.f64 23533438303/500000000 (+.f64 (.f64 263505074721/1000000000 (pow.f64 x 2)) (+.f64 (.f64 216700011257/5000000000 (pow.f64 x 3)) (.f64 156699607947/500000000 x))))))) (+.f64 (.f64 2 (/.f64 z (+.f64 (pow.f64 x 4) (+.f64 23533438303/500000000 (+.f64 (.f64 263505074721/1000000000 (pow.f64 x 2)) (+.f64 (.f64 216700011257/5000000000 (pow.f64 x 3)) (.f64 156699607947/500000000 x))))))) (+.f64 (.f64 4297481763/15625000 (/.f64 (pow.f64 x 2) (+.f64 (pow.f64 x 4) (+.f64 23533438303/500000000 (+.f64 (.f64 263505074721/1000000000 (pow.f64 x 2)) (+.f64 (.f64 216700011257/5000000000 (pow.f64 x 3)) (.f64 156699607947/500000000 x))))))) (.f64 49698921037/2500000000 (/.f64 (pow.f64 x 3) (+.f64 (pow.f64 x 4) (+.f64 23533438303/500000000 (+.f64 (.f64 263505074721/1000000000 (pow.f64 x 2)) (+.f64 (.f64 216700011257/5000000000 (pow.f64 x 3)) (*.f64 156699607947/500000000 x)))))))))))
	23.7b	(.f64 (.f64 (-.f64 x 2) (fma.f64 x (fma.f64 x (fma.f64 x (fma.f64 x 104109730557/25000000000 393497462077/5000000000) 4297481763/31250000) y) z)) (/.f64 1 (fma.f64 x (fma.f64 x (fma.f64 x (+.f64 x 216700011257/5000000000) 263505074721/1000000000) 156699607947/500000000) 23533438303/500000000)))
▶	22.7b	(*.f64 (-.f64 x 2) (/.f64 (fma.f64 x (fma.f64 x (fma.f64 x (fma.f64 x 104109730557/25000000000 393497462077/5000000000) 4297481763/31250000) y) z) (fma.f64 x (fma.f64 x (fma.f64 x (+.f64 x 216700011257/5000000000) 263505074721/1000000000) 156699607947/500000000) 23533438303/500000000)))
	23.6b	(-.f64 (fma.f64 1759267849271/25000000000 (/.f64 (pow.f64 x 4) (+.f64 (pow.f64 x 4) (+.f64 23533438303/500000000 (fma.f64 x 156699607947/500000000 (.f64 (.f64 x x) (+.f64 263505074721/1000000000 (.f64 216700011257/5000000000 x))))))) (fma.f64 104109730557/25000000000 (/.f64 (pow.f64 x 5) (+.f64 (pow.f64 x 4) (+.f64 23533438303/500000000 (fma.f64 x 156699607947/500000000 (.f64 (.f64 x x) (+.f64 263505074721/1000000000 (.f64 216700011257/5000000000 x))))))) (fma.f64 (/.f64 z (+.f64 (pow.f64 x 4) (+.f64 23533438303/500000000 (fma.f64 x 156699607947/500000000 (.f64 (.f64 x x) (+.f64 263505074721/1000000000 (.f64 216700011257/5000000000 x))))))) x (/.f64 (.f64 x (.f64 x y)) (+.f64 (pow.f64 x 4) (+.f64 23533438303/500000000 (fma.f64 x 156699607947/500000000 (.f64 (.f64 x x) (+.f64 263505074721/1000000000 (.f64 216700011257/5000000000 x)))))))))) (fma.f64 2 (fma.f64 (/.f64 y (+.f64 (pow.f64 x 4) (+.f64 23533438303/500000000 (fma.f64 x 156699607947/500000000 (.f64 (.f64 x x) (+.f64 263505074721/1000000000 (.f64 216700011257/5000000000 x))))))) x (/.f64 z (+.f64 (pow.f64 x 4) (+.f64 23533438303/500000000 (fma.f64 x 156699607947/500000000 (.f64 (.f64 x x) (+.f64 263505074721/1000000000 (.f64 216700011257/5000000000 x)))))))) (fma.f64 4297481763/15625000 (/.f64 (.f64 x x) (+.f64 (pow.f64 x 4) (+.f64 23533438303/500000000 (fma.f64 x 156699607947/500000000 (.f64 (.f64 x x) (+.f64 263505074721/1000000000 (.f64 216700011257/5000000000 x))))))) (.f64 49698921037/2500000000 (/.f64 (pow.f64 x 3) (+.f64 (pow.f64 x 4) (+.f64 23533438303/500000000 (fma.f64 x 156699607947/500000000 (.f64 (.f64 x x) (+.f64 263505074721/1000000000 (.f64 216700011257/5000000000 x)))))))))))
	23.8b	(/.f64 (*.f64 (-.f64 x 2) (fma.f64 x (fma.f64 x (expm1.f64 (log1p.f64 (fma.f64 x (fma.f64 x 104109730557/25000000000 393497462077/5000000000) 4297481763/31250000))) y) z)) (fma.f64 x (fma.f64 x (fma.f64 x (+.f64 x 216700011257/5000000000) 263505074721/1000000000) 156699607947/500000000) 23533438303/500000000))
	35.4b	(-.f64 (+.f64 (fma.f64 x 104109730557/25000000000 (/.f64 2284450290879775841688574159837293/625000000000000000000000000000 x)) (/.f64 y (.f64 x x))) (+.f64 13764240537310136880149/125000000000000000000 (/.f64 409304707811198655637810418659684985388407301/3125000000000000000000000000000000000000 (.f64 x x))))

Compiler

Compiled 6109 to 4180 computations (31.6% saved)

localize20.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
	0.1b	(fma.f64 x (fma.f64 x (fma.f64 x 104109730557/25000000000 393497462077/5000000000) 4297481763/31250000) y)
	0.3b	(fma.f64 x 104109730557/25000000000 393497462077/5000000000)
✓	0.3b	(*.f64 (-.f64 x 2) (/.f64 (fma.f64 x (fma.f64 x (fma.f64 x (fma.f64 x 104109730557/25000000000 393497462077/5000000000) 4297481763/31250000) y) z) (fma.f64 x (fma.f64 x (fma.f64 x (+.f64 x 216700011257/5000000000) 263505074721/1000000000) 156699607947/500000000) 23533438303/500000000)))
✓	22.0b	(/.f64 (fma.f64 x (fma.f64 x (fma.f64 x (fma.f64 x 104109730557/25000000000 393497462077/5000000000) 4297481763/31250000) y) z) (fma.f64 x (fma.f64 x (fma.f64 x (+.f64 x 216700011257/5000000000) 263505074721/1000000000) 156699607947/500000000) 23533438303/500000000))

series725.0ms (4.1%)

Counts

2 → 72

Calls

2 calls:

403.0ms

(*.f64 (-.f64 x 2) (/.f64 (fma.f64 x (fma.f64 x (fma.f64 x (fma.f64 x 104109730557/25000000000 393497462077/5000000000) 4297481763/31250000) y) z) (fma.f64 x (fma.f64 x (fma.f64 x (+.f64 x 216700011257/5000000000) 263505074721/1000000000) 156699607947/500000000) 23533438303/500000000)))

322.0ms

(/.f64 (fma.f64 x (fma.f64 x (fma.f64 x (fma.f64 x 104109730557/25000000000 393497462077/5000000000) 4297481763/31250000) y) z) (fma.f64 x (fma.f64 x (fma.f64 x (+.f64 x 216700011257/5000000000) 263505074721/1000000000) 156699607947/500000000) 23533438303/500000000))

rewrite17.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

25×	`add-sqr-sqrt_binary64`
20×	`*-un-lft-identity_binary64`
19×	`times-frac_binary64`
18×	`add-cube-cbrt_binary64`
13×	`associate-r_binary64`

Counts

2 → 69

Calls

2 calls:

8.0ms

(*.f64 (-.f64 x 2) (/.f64 (fma.f64 x (fma.f64 x (fma.f64 x (fma.f64 x 104109730557/25000000000 393497462077/5000000000) 4297481763/31250000) y) z) (fma.f64 x (fma.f64 x (fma.f64 x (+.f64 x 216700011257/5000000000) 263505074721/1000000000) 156699607947/500000000) 23533438303/500000000)))

2.0ms

(/.f64 (fma.f64 x (fma.f64 x (fma.f64 x (fma.f64 x 104109730557/25000000000 393497462077/5000000000) 4297481763/31250000) y) z) (fma.f64 x (fma.f64 x (fma.f64 x (+.f64 x 216700011257/5000000000) 263505074721/1000000000) 156699607947/500000000) 23533438303/500000000))

simplify235.0ms (1.3%)

Algorithm

1×	egg-herbie

Rules

591×	`distribute-rgt-in_binary64`
307×	`cancel-sign-sub-inv_binary64`
233×	`fma-def_binary64`
175×	`sub-neg_binary64`
164×	`fma-neg_binary64`

Counts

141 → 136

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	293	12965
1	804	12552
2	2793	12512
3	5008	12512

prune340.0ms (1.9%)

Pruning

8 alts after pruning (7 fresh and 1 done)

	Pruned	Kept	Total
New	174	2	176
Fresh	1	5	6
Picked	0	1	1
Done	0	0	0
Total	175	8	183

Error

0.2b

Counts

183 → 8

Alt Table

Status	Error	Program
	35.4b	(-.f64 (+.f64 (fma.f64 x 104109730557/25000000000 (/.f64 2284450290879775841688574159837293/625000000000000000000000000000 x)) (/.f64 y (.f64 x x))) (+.f64 13764240537310136880149/125000000000000000000 (/.f64 409304707811198655637810418659684985388407301/3125000000000000000000000000000000000000 (.f64 x x))))
	43.2b	(*.f64 (-.f64 x 2) (cbrt.f64 (pow.f64 (/.f64 (fma.f64 x (fma.f64 x (fma.f64 x (fma.f64 x 104109730557/25000000000 393497462077/5000000000) 4297481763/31250000) y) z) (fma.f64 x (fma.f64 x (fma.f64 x (+.f64 x 216700011257/5000000000) 263505074721/1000000000) 156699607947/500000000) 23533438303/500000000)) 3)))
	23.7b	(.f64 (.f64 (-.f64 x 2) (fma.f64 x (fma.f64 x (fma.f64 x (fma.f64 x 104109730557/25000000000 393497462077/5000000000) 4297481763/31250000) y) z)) (/.f64 1 (fma.f64 x (fma.f64 x (fma.f64 x (+.f64 x 216700011257/5000000000) 263505074721/1000000000) 156699607947/500000000) 23533438303/500000000)))
	40.2b	(.f64 (.f64 (-.f64 x 2) (sqrt.f64 (/.f64 (fma.f64 x (fma.f64 x (fma.f64 x (fma.f64 x 104109730557/25000000000 393497462077/5000000000) 4297481763/31250000) y) z) (fma.f64 x (fma.f64 x (fma.f64 x (+.f64 x 216700011257/5000000000) 263505074721/1000000000) 156699607947/500000000) 23533438303/500000000)))) (sqrt.f64 (/.f64 (fma.f64 x (fma.f64 x (fma.f64 x (fma.f64 x 104109730557/25000000000 393497462077/5000000000) 4297481763/31250000) y) z) (fma.f64 x (fma.f64 x (fma.f64 x (+.f64 x 216700011257/5000000000) 263505074721/1000000000) 156699607947/500000000) 23533438303/500000000))))
✓	22.7b	(*.f64 (-.f64 x 2) (/.f64 (fma.f64 x (fma.f64 x (fma.f64 x (fma.f64 x 104109730557/25000000000 393497462077/5000000000) 4297481763/31250000) y) z) (fma.f64 x (fma.f64 x (fma.f64 x (+.f64 x 216700011257/5000000000) 263505074721/1000000000) 156699607947/500000000) 23533438303/500000000)))
	23.6b	(-.f64 (fma.f64 1759267849271/25000000000 (/.f64 (pow.f64 x 4) (+.f64 (pow.f64 x 4) (+.f64 23533438303/500000000 (fma.f64 x 156699607947/500000000 (.f64 (.f64 x x) (+.f64 263505074721/1000000000 (.f64 216700011257/5000000000 x))))))) (fma.f64 104109730557/25000000000 (/.f64 (pow.f64 x 5) (+.f64 (pow.f64 x 4) (+.f64 23533438303/500000000 (fma.f64 x 156699607947/500000000 (.f64 (.f64 x x) (+.f64 263505074721/1000000000 (.f64 216700011257/5000000000 x))))))) (fma.f64 (/.f64 z (+.f64 (pow.f64 x 4) (+.f64 23533438303/500000000 (fma.f64 x 156699607947/500000000 (.f64 (.f64 x x) (+.f64 263505074721/1000000000 (.f64 216700011257/5000000000 x))))))) x (/.f64 (.f64 x (.f64 x y)) (+.f64 (pow.f64 x 4) (+.f64 23533438303/500000000 (fma.f64 x 156699607947/500000000 (.f64 (.f64 x x) (+.f64 263505074721/1000000000 (.f64 216700011257/5000000000 x)))))))))) (fma.f64 2 (fma.f64 (/.f64 y (+.f64 (pow.f64 x 4) (+.f64 23533438303/500000000 (fma.f64 x 156699607947/500000000 (.f64 (.f64 x x) (+.f64 263505074721/1000000000 (.f64 216700011257/5000000000 x))))))) x (/.f64 z (+.f64 (pow.f64 x 4) (+.f64 23533438303/500000000 (fma.f64 x 156699607947/500000000 (.f64 (.f64 x x) (+.f64 263505074721/1000000000 (.f64 216700011257/5000000000 x)))))))) (fma.f64 4297481763/15625000 (/.f64 (.f64 x x) (+.f64 (pow.f64 x 4) (+.f64 23533438303/500000000 (fma.f64 x 156699607947/500000000 (.f64 (.f64 x x) (+.f64 263505074721/1000000000 (.f64 216700011257/5000000000 x))))))) (.f64 49698921037/2500000000 (/.f64 (pow.f64 x 3) (+.f64 (pow.f64 x 4) (+.f64 23533438303/500000000 (fma.f64 x 156699607947/500000000 (.f64 (.f64 x x) (+.f64 263505074721/1000000000 (.f64 216700011257/5000000000 x)))))))))))
▶	23.6b	(-.f64 (+.f64 (.f64 1759267849271/25000000000 (/.f64 (pow.f64 x 4) (+.f64 (pow.f64 x 4) (+.f64 23533438303/500000000 (+.f64 (.f64 263505074721/1000000000 (pow.f64 x 2)) (+.f64 (.f64 216700011257/5000000000 (pow.f64 x 3)) (.f64 156699607947/500000000 x))))))) (+.f64 (/.f64 (.f64 y (pow.f64 x 2)) (+.f64 (pow.f64 x 4) (+.f64 23533438303/500000000 (+.f64 (.f64 263505074721/1000000000 (pow.f64 x 2)) (+.f64 (.f64 216700011257/5000000000 (pow.f64 x 3)) (.f64 156699607947/500000000 x)))))) (+.f64 (.f64 104109730557/25000000000 (/.f64 (pow.f64 x 5) (+.f64 (pow.f64 x 4) (+.f64 23533438303/500000000 (+.f64 (.f64 263505074721/1000000000 (pow.f64 x 2)) (+.f64 (.f64 216700011257/5000000000 (pow.f64 x 3)) (.f64 156699607947/500000000 x))))))) (/.f64 (.f64 z x) (+.f64 (pow.f64 x 4) (+.f64 23533438303/500000000 (+.f64 (.f64 263505074721/1000000000 (pow.f64 x 2)) (+.f64 (.f64 216700011257/5000000000 (pow.f64 x 3)) (.f64 156699607947/500000000 x))))))))) (+.f64 (.f64 2 (/.f64 (.f64 y x) (+.f64 (pow.f64 x 4) (+.f64 23533438303/500000000 (+.f64 (.f64 263505074721/1000000000 (pow.f64 x 2)) (+.f64 (.f64 216700011257/5000000000 (pow.f64 x 3)) (.f64 156699607947/500000000 x))))))) (+.f64 (.f64 2 (/.f64 z (+.f64 (pow.f64 x 4) (+.f64 23533438303/500000000 (+.f64 (.f64 263505074721/1000000000 (pow.f64 x 2)) (+.f64 (.f64 216700011257/5000000000 (pow.f64 x 3)) (.f64 156699607947/500000000 x))))))) (+.f64 (.f64 4297481763/15625000 (/.f64 (pow.f64 x 2) (+.f64 (pow.f64 x 4) (+.f64 23533438303/500000000 (+.f64 (.f64 263505074721/1000000000 (pow.f64 x 2)) (+.f64 (.f64 216700011257/5000000000 (pow.f64 x 3)) (.f64 156699607947/500000000 x))))))) (.f64 49698921037/2500000000 (/.f64 (pow.f64 x 3) (+.f64 (pow.f64 x 4) (+.f64 23533438303/500000000 (+.f64 (.f64 263505074721/1000000000 (pow.f64 x 2)) (+.f64 (.f64 216700011257/5000000000 (pow.f64 x 3)) (*.f64 156699607947/500000000 x)))))))))))
	23.8b	(/.f64 (*.f64 (-.f64 x 2) (fma.f64 x (fma.f64 x (expm1.f64 (log1p.f64 (fma.f64 x (fma.f64 x 104109730557/25000000000 393497462077/5000000000) 4297481763/31250000))) y) z)) (fma.f64 x (fma.f64 x (fma.f64 x (+.f64 x 216700011257/5000000000) 263505074721/1000000000) 156699607947/500000000) 23533438303/500000000))

Compiler

Compiled 8887 to 6039 computations (32% saved)

localize44.0ms (0.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	21.4b	(/.f64 (pow.f64 x 4) (+.f64 (pow.f64 x 4) (+.f64 23533438303/500000000 (+.f64 (.f64 263505074721/1000000000 (pow.f64 x 2)) (+.f64 (.f64 216700011257/5000000000 (pow.f64 x 3)) (*.f64 156699607947/500000000 x))))))
✓	21.5b	(/.f64 (pow.f64 x 2) (+.f64 (pow.f64 x 4) (+.f64 23533438303/500000000 (+.f64 (.f64 263505074721/1000000000 (pow.f64 x 2)) (+.f64 (.f64 216700011257/5000000000 (pow.f64 x 3)) (*.f64 156699607947/500000000 x))))))
✓	21.7b	(/.f64 (pow.f64 x 3) (+.f64 (pow.f64 x 4) (+.f64 23533438303/500000000 (+.f64 (.f64 263505074721/1000000000 (pow.f64 x 2)) (+.f64 (.f64 216700011257/5000000000 (pow.f64 x 3)) (*.f64 156699607947/500000000 x))))))
✓	22.6b	(/.f64 (pow.f64 x 5) (+.f64 (pow.f64 x 4) (+.f64 23533438303/500000000 (+.f64 (.f64 263505074721/1000000000 (pow.f64 x 2)) (+.f64 (.f64 216700011257/5000000000 (pow.f64 x 3)) (*.f64 156699607947/500000000 x))))))

series18.0ms (0.1%)

Counts

4 → 48

Calls

4 calls:

5.0ms	(/.f64 (pow.f64 x 5) (+.f64 (pow.f64 x 4) (+.f64 23533438303/500000000 (+.f64 (.f64 263505074721/1000000000 (pow.f64 x 2)) (+.f64 (.f64 216700011257/5000000000 (pow.f64 x 3)) (*.f64 156699607947/500000000 x))))))
4.0ms	(/.f64 (pow.f64 x 2) (+.f64 (pow.f64 x 4) (+.f64 23533438303/500000000 (+.f64 (.f64 263505074721/1000000000 (pow.f64 x 2)) (+.f64 (.f64 216700011257/5000000000 (pow.f64 x 3)) (*.f64 156699607947/500000000 x))))))
4.0ms	(/.f64 (pow.f64 x 3) (+.f64 (pow.f64 x 4) (+.f64 23533438303/500000000 (+.f64 (.f64 263505074721/1000000000 (pow.f64 x 2)) (+.f64 (.f64 216700011257/5000000000 (pow.f64 x 3)) (*.f64 156699607947/500000000 x))))))
4.0ms	(/.f64 (pow.f64 x 4) (+.f64 (pow.f64 x 4) (+.f64 23533438303/500000000 (+.f64 (.f64 263505074721/1000000000 (pow.f64 x 2)) (+.f64 (.f64 216700011257/5000000000 (pow.f64 x 3)) (*.f64 156699607947/500000000 x))))))

rewrite90.0ms (0.5%)

Algorithm

1×	rewrite-expression-head

Rules

286×	`*-un-lft-identity_binary64`
170×	`times-frac_binary64`
114×	`distribute-lft-out_binary64`
96×	`add-sqr-sqrt_binary64`
96×	`add-cube-cbrt_binary64`

Counts

4 → 296

Calls

4 calls:

15.0ms	(/.f64 (pow.f64 x 3) (+.f64 (pow.f64 x 4) (+.f64 23533438303/500000000 (+.f64 (.f64 263505074721/1000000000 (pow.f64 x 2)) (+.f64 (.f64 216700011257/5000000000 (pow.f64 x 3)) (*.f64 156699607947/500000000 x))))))
14.0ms	(/.f64 (pow.f64 x 4) (+.f64 (pow.f64 x 4) (+.f64 23533438303/500000000 (+.f64 (.f64 263505074721/1000000000 (pow.f64 x 2)) (+.f64 (.f64 216700011257/5000000000 (pow.f64 x 3)) (*.f64 156699607947/500000000 x))))))
13.0ms	(/.f64 (pow.f64 x 5) (+.f64 (pow.f64 x 4) (+.f64 23533438303/500000000 (+.f64 (.f64 263505074721/1000000000 (pow.f64 x 2)) (+.f64 (.f64 216700011257/5000000000 (pow.f64 x 3)) (*.f64 156699607947/500000000 x))))))
13.0ms	(/.f64 (pow.f64 x 2) (+.f64 (pow.f64 x 4) (+.f64 23533438303/500000000 (+.f64 (.f64 263505074721/1000000000 (pow.f64 x 2)) (+.f64 (.f64 216700011257/5000000000 (pow.f64 x 3)) (*.f64 156699607947/500000000 x))))))

simplify424.0ms (2.4%)

Algorithm

1×	egg-herbie

Rules

745×	`fma-def_binary64`
552×	`fma-neg_binary64`
411×	`unswap-sqr_binary64`
218×	`associate-/l*_binary64`
218×	`log-prod_binary64`

Counts

344 → 389

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	398	15237
1	790	14655
2	2703	14495
3	3949	14495
4	4872	14495
5	4956	14495

prune2.6s (14.5%)

Pruning

7 alts after pruning (6 fresh and 1 done)

	Pruned	Kept	Total
New	388	1	389
Fresh	1	5	6
Picked	1	0	1
Done	0	1	1
Total	390	7	397

Error

0.2b

Counts

397 → 7

Alt Table

Status	Error	Program
	35.4b	(-.f64 (+.f64 (fma.f64 x 104109730557/25000000000 (/.f64 2284450290879775841688574159837293/625000000000000000000000000000 x)) (/.f64 y (.f64 x x))) (+.f64 13764240537310136880149/125000000000000000000 (/.f64 409304707811198655637810418659684985388407301/3125000000000000000000000000000000000000 (.f64 x x))))
▶	23.6b	(-.f64 (+.f64 (.f64 1759267849271/25000000000 (/.f64 (pow.f64 x 4) (+.f64 (pow.f64 x 4) (+.f64 23533438303/500000000 (+.f64 (.f64 263505074721/1000000000 (pow.f64 x 2)) (+.f64 (.f64 216700011257/5000000000 (pow.f64 x 3)) (.f64 156699607947/500000000 x))))))) (+.f64 (/.f64 (.f64 y (pow.f64 x 2)) (+.f64 (pow.f64 x 4) (+.f64 23533438303/500000000 (+.f64 (.f64 263505074721/1000000000 (pow.f64 x 2)) (+.f64 (.f64 216700011257/5000000000 (pow.f64 x 3)) (.f64 156699607947/500000000 x)))))) (+.f64 (.f64 104109730557/25000000000 (/.f64 (pow.f64 x 5) (+.f64 (pow.f64 x 4) (+.f64 23533438303/500000000 (+.f64 (.f64 263505074721/1000000000 (pow.f64 x 2)) (+.f64 (.f64 216700011257/5000000000 (pow.f64 x 3)) (.f64 156699607947/500000000 x))))))) (/.f64 (.f64 z x) (+.f64 (pow.f64 x 4) (+.f64 23533438303/500000000 (+.f64 (.f64 263505074721/1000000000 (pow.f64 x 2)) (+.f64 (.f64 216700011257/5000000000 (pow.f64 x 3)) (.f64 156699607947/500000000 x))))))))) (+.f64 (.f64 2 (/.f64 (.f64 y x) (+.f64 (pow.f64 x 4) (+.f64 23533438303/500000000 (+.f64 (.f64 263505074721/1000000000 (pow.f64 x 2)) (+.f64 (.f64 216700011257/5000000000 (pow.f64 x 3)) (.f64 156699607947/500000000 x))))))) (+.f64 (.f64 2 (/.f64 z (+.f64 (pow.f64 x 4) (+.f64 23533438303/500000000 (+.f64 (.f64 263505074721/1000000000 (pow.f64 x 2)) (+.f64 (.f64 216700011257/5000000000 (pow.f64 x 3)) (.f64 156699607947/500000000 x))))))) (+.f64 (.f64 4297481763/15625000 (.f64 x (/.f64 x (+.f64 (pow.f64 x 4) (+.f64 23533438303/500000000 (fma.f64 (.f64 x x) 263505074721/1000000000 (fma.f64 x 156699607947/500000000 (.f64 216700011257/5000000000 (pow.f64 x 3))))))))) (.f64 49698921037/2500000000 (/.f64 (pow.f64 x 3) (+.f64 (pow.f64 x 4) (+.f64 23533438303/500000000 (+.f64 (.f64 263505074721/1000000000 (pow.f64 x 2)) (+.f64 (.f64 216700011257/5000000000 (pow.f64 x 3)) (*.f64 156699607947/500000000 x)))))))))))
	43.2b	(*.f64 (-.f64 x 2) (cbrt.f64 (pow.f64 (/.f64 (fma.f64 x (fma.f64 x (fma.f64 x (fma.f64 x 104109730557/25000000000 393497462077/5000000000) 4297481763/31250000) y) z) (fma.f64 x (fma.f64 x (fma.f64 x (+.f64 x 216700011257/5000000000) 263505074721/1000000000) 156699607947/500000000) 23533438303/500000000)) 3)))
	23.7b	(.f64 (.f64 (-.f64 x 2) (fma.f64 x (fma.f64 x (fma.f64 x (fma.f64 x 104109730557/25000000000 393497462077/5000000000) 4297481763/31250000) y) z)) (/.f64 1 (fma.f64 x (fma.f64 x (fma.f64 x (+.f64 x 216700011257/5000000000) 263505074721/1000000000) 156699607947/500000000) 23533438303/500000000)))
	40.2b	(.f64 (.f64 (-.f64 x 2) (sqrt.f64 (/.f64 (fma.f64 x (fma.f64 x (fma.f64 x (fma.f64 x 104109730557/25000000000 393497462077/5000000000) 4297481763/31250000) y) z) (fma.f64 x (fma.f64 x (fma.f64 x (+.f64 x 216700011257/5000000000) 263505074721/1000000000) 156699607947/500000000) 23533438303/500000000)))) (sqrt.f64 (/.f64 (fma.f64 x (fma.f64 x (fma.f64 x (fma.f64 x 104109730557/25000000000 393497462077/5000000000) 4297481763/31250000) y) z) (fma.f64 x (fma.f64 x (fma.f64 x (+.f64 x 216700011257/5000000000) 263505074721/1000000000) 156699607947/500000000) 23533438303/500000000))))
✓	22.7b	(*.f64 (-.f64 x 2) (/.f64 (fma.f64 x (fma.f64 x (fma.f64 x (fma.f64 x 104109730557/25000000000 393497462077/5000000000) 4297481763/31250000) y) z) (fma.f64 x (fma.f64 x (fma.f64 x (+.f64 x 216700011257/5000000000) 263505074721/1000000000) 156699607947/500000000) 23533438303/500000000)))
	23.6b	(-.f64 (fma.f64 1759267849271/25000000000 (/.f64 (pow.f64 x 4) (+.f64 (pow.f64 x 4) (+.f64 23533438303/500000000 (fma.f64 x 156699607947/500000000 (.f64 (.f64 x x) (+.f64 263505074721/1000000000 (.f64 216700011257/5000000000 x))))))) (fma.f64 104109730557/25000000000 (/.f64 (pow.f64 x 5) (+.f64 (pow.f64 x 4) (+.f64 23533438303/500000000 (fma.f64 x 156699607947/500000000 (.f64 (.f64 x x) (+.f64 263505074721/1000000000 (.f64 216700011257/5000000000 x))))))) (fma.f64 (/.f64 z (+.f64 (pow.f64 x 4) (+.f64 23533438303/500000000 (fma.f64 x 156699607947/500000000 (.f64 (.f64 x x) (+.f64 263505074721/1000000000 (.f64 216700011257/5000000000 x))))))) x (/.f64 (.f64 x (.f64 x y)) (+.f64 (pow.f64 x 4) (+.f64 23533438303/500000000 (fma.f64 x 156699607947/500000000 (.f64 (.f64 x x) (+.f64 263505074721/1000000000 (.f64 216700011257/5000000000 x)))))))))) (fma.f64 2 (fma.f64 (/.f64 y (+.f64 (pow.f64 x 4) (+.f64 23533438303/500000000 (fma.f64 x 156699607947/500000000 (.f64 (.f64 x x) (+.f64 263505074721/1000000000 (.f64 216700011257/5000000000 x))))))) x (/.f64 z (+.f64 (pow.f64 x 4) (+.f64 23533438303/500000000 (fma.f64 x 156699607947/500000000 (.f64 (.f64 x x) (+.f64 263505074721/1000000000 (.f64 216700011257/5000000000 x)))))))) (fma.f64 4297481763/15625000 (/.f64 (.f64 x x) (+.f64 (pow.f64 x 4) (+.f64 23533438303/500000000 (fma.f64 x 156699607947/500000000 (.f64 (.f64 x x) (+.f64 263505074721/1000000000 (.f64 216700011257/5000000000 x))))))) (.f64 49698921037/2500000000 (/.f64 (pow.f64 x 3) (+.f64 (pow.f64 x 4) (+.f64 23533438303/500000000 (fma.f64 x 156699607947/500000000 (.f64 (.f64 x x) (+.f64 263505074721/1000000000 (.f64 216700011257/5000000000 x)))))))))))

Compiler

Compiled 92435 to 72912 computations (21.1% saved)

localize52.0ms (0.3%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	15.2b	(/.f64 (.f64 y (pow.f64 x 2)) (+.f64 (pow.f64 x 4) (+.f64 23533438303/500000000 (+.f64 (.f64 263505074721/1000000000 (pow.f64 x 2)) (+.f64 (.f64 216700011257/5000000000 (pow.f64 x 3)) (.f64 156699607947/500000000 x))))))
	21.4b	(/.f64 (pow.f64 x 4) (+.f64 (pow.f64 x 4) (+.f64 23533438303/500000000 (+.f64 (.f64 263505074721/1000000000 (pow.f64 x 2)) (+.f64 (.f64 216700011257/5000000000 (pow.f64 x 3)) (*.f64 156699607947/500000000 x))))))
	21.7b	(/.f64 (pow.f64 x 3) (+.f64 (pow.f64 x 4) (+.f64 23533438303/500000000 (+.f64 (.f64 263505074721/1000000000 (pow.f64 x 2)) (+.f64 (.f64 216700011257/5000000000 (pow.f64 x 3)) (*.f64 156699607947/500000000 x))))))
	22.6b	(/.f64 (pow.f64 x 5) (+.f64 (pow.f64 x 4) (+.f64 23533438303/500000000 (+.f64 (.f64 263505074721/1000000000 (pow.f64 x 2)) (+.f64 (.f64 216700011257/5000000000 (pow.f64 x 3)) (*.f64 156699607947/500000000 x))))))

series193.0ms (1.1%)

Counts

1 → 20

Calls

1 calls:

193.0ms

(/.f64 (*.f64 y (pow.f64 x 2)) (+.f64 (pow.f64 x 4) (+.f64 23533438303/500000000 (+.f64 (*.f64 263505074721/1000000000 (pow.f64 x 2)) (+.f64 (*.f64 216700011257/5000000000 (pow.f64 x 3)) (*.f64 156699607947/500000000 x))))))

rewrite17.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

13×	`*-un-lft-identity_binary64`
11×	`add-exp-log_binary64`
6×	`distribute-lft-out_binary64`
6×	`add-cbrt-cube_binary64`
5×	`associate-/r*_binary64`

Counts

1 → 31

Calls

1 calls:

15.0ms

(/.f64 (*.f64 y (pow.f64 x 2)) (+.f64 (pow.f64 x 4) (+.f64 23533438303/500000000 (+.f64 (*.f64 263505074721/1000000000 (pow.f64 x 2)) (+.f64 (*.f64 216700011257/5000000000 (pow.f64 x 3)) (*.f64 156699607947/500000000 x))))))

simplify96.0ms (0.5%)

Algorithm

1×	egg-herbie

Rules

683×	`distribute-rgt-in_binary64`
668×	`distribute-lft-in_binary64`
436×	`times-frac_binary64`
332×	`fma-def_binary64`
134×	`cancel-sign-sub-inv_binary64`

Counts

51 → 63

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	116	2055
1	317	1824
2	1214	1766
3	4996	1766

prune2.2s (12.6%)

Pruning

7 alts after pruning (5 fresh and 2 done)

	Pruned	Kept	Total
New	354	0	354
Fresh	0	5	5
Picked	0	1	1
Done	0	1	1
Total	354	7	361

Error

0.2b

Counts

361 → 7

Alt Table

Status	Error	Program
	35.4b	(-.f64 (+.f64 (fma.f64 x 104109730557/25000000000 (/.f64 2284450290879775841688574159837293/625000000000000000000000000000 x)) (/.f64 y (.f64 x x))) (+.f64 13764240537310136880149/125000000000000000000 (/.f64 409304707811198655637810418659684985388407301/3125000000000000000000000000000000000000 (.f64 x x))))
✓	23.6b	(-.f64 (+.f64 (.f64 1759267849271/25000000000 (/.f64 (pow.f64 x 4) (+.f64 (pow.f64 x 4) (+.f64 23533438303/500000000 (+.f64 (.f64 263505074721/1000000000 (pow.f64 x 2)) (+.f64 (.f64 216700011257/5000000000 (pow.f64 x 3)) (.f64 156699607947/500000000 x))))))) (+.f64 (/.f64 (.f64 y (pow.f64 x 2)) (+.f64 (pow.f64 x 4) (+.f64 23533438303/500000000 (+.f64 (.f64 263505074721/1000000000 (pow.f64 x 2)) (+.f64 (.f64 216700011257/5000000000 (pow.f64 x 3)) (.f64 156699607947/500000000 x)))))) (+.f64 (.f64 104109730557/25000000000 (/.f64 (pow.f64 x 5) (+.f64 (pow.f64 x 4) (+.f64 23533438303/500000000 (+.f64 (.f64 263505074721/1000000000 (pow.f64 x 2)) (+.f64 (.f64 216700011257/5000000000 (pow.f64 x 3)) (.f64 156699607947/500000000 x))))))) (/.f64 (.f64 z x) (+.f64 (pow.f64 x 4) (+.f64 23533438303/500000000 (+.f64 (.f64 263505074721/1000000000 (pow.f64 x 2)) (+.f64 (.f64 216700011257/5000000000 (pow.f64 x 3)) (.f64 156699607947/500000000 x))))))))) (+.f64 (.f64 2 (/.f64 (.f64 y x) (+.f64 (pow.f64 x 4) (+.f64 23533438303/500000000 (+.f64 (.f64 263505074721/1000000000 (pow.f64 x 2)) (+.f64 (.f64 216700011257/5000000000 (pow.f64 x 3)) (.f64 156699607947/500000000 x))))))) (+.f64 (.f64 2 (/.f64 z (+.f64 (pow.f64 x 4) (+.f64 23533438303/500000000 (+.f64 (.f64 263505074721/1000000000 (pow.f64 x 2)) (+.f64 (.f64 216700011257/5000000000 (pow.f64 x 3)) (.f64 156699607947/500000000 x))))))) (+.f64 (.f64 4297481763/15625000 (.f64 x (/.f64 x (+.f64 (pow.f64 x 4) (+.f64 23533438303/500000000 (fma.f64 (.f64 x x) 263505074721/1000000000 (fma.f64 x 156699607947/500000000 (.f64 216700011257/5000000000 (pow.f64 x 3))))))))) (.f64 49698921037/2500000000 (/.f64 (pow.f64 x 3) (+.f64 (pow.f64 x 4) (+.f64 23533438303/500000000 (+.f64 (.f64 263505074721/1000000000 (pow.f64 x 2)) (+.f64 (.f64 216700011257/5000000000 (pow.f64 x 3)) (*.f64 156699607947/500000000 x)))))))))))
	43.2b	(*.f64 (-.f64 x 2) (cbrt.f64 (pow.f64 (/.f64 (fma.f64 x (fma.f64 x (fma.f64 x (fma.f64 x 104109730557/25000000000 393497462077/5000000000) 4297481763/31250000) y) z) (fma.f64 x (fma.f64 x (fma.f64 x (+.f64 x 216700011257/5000000000) 263505074721/1000000000) 156699607947/500000000) 23533438303/500000000)) 3)))
	23.7b	(.f64 (.f64 (-.f64 x 2) (fma.f64 x (fma.f64 x (fma.f64 x (fma.f64 x 104109730557/25000000000 393497462077/5000000000) 4297481763/31250000) y) z)) (/.f64 1 (fma.f64 x (fma.f64 x (fma.f64 x (+.f64 x 216700011257/5000000000) 263505074721/1000000000) 156699607947/500000000) 23533438303/500000000)))
	40.2b	(.f64 (.f64 (-.f64 x 2) (sqrt.f64 (/.f64 (fma.f64 x (fma.f64 x (fma.f64 x (fma.f64 x 104109730557/25000000000 393497462077/5000000000) 4297481763/31250000) y) z) (fma.f64 x (fma.f64 x (fma.f64 x (+.f64 x 216700011257/5000000000) 263505074721/1000000000) 156699607947/500000000) 23533438303/500000000)))) (sqrt.f64 (/.f64 (fma.f64 x (fma.f64 x (fma.f64 x (fma.f64 x 104109730557/25000000000 393497462077/5000000000) 4297481763/31250000) y) z) (fma.f64 x (fma.f64 x (fma.f64 x (+.f64 x 216700011257/5000000000) 263505074721/1000000000) 156699607947/500000000) 23533438303/500000000))))
✓	22.7b	(*.f64 (-.f64 x 2) (/.f64 (fma.f64 x (fma.f64 x (fma.f64 x (fma.f64 x 104109730557/25000000000 393497462077/5000000000) 4297481763/31250000) y) z) (fma.f64 x (fma.f64 x (fma.f64 x (+.f64 x 216700011257/5000000000) 263505074721/1000000000) 156699607947/500000000) 23533438303/500000000)))
	23.6b	(-.f64 (fma.f64 1759267849271/25000000000 (/.f64 (pow.f64 x 4) (+.f64 (pow.f64 x 4) (+.f64 23533438303/500000000 (fma.f64 x 156699607947/500000000 (.f64 (.f64 x x) (+.f64 263505074721/1000000000 (.f64 216700011257/5000000000 x))))))) (fma.f64 104109730557/25000000000 (/.f64 (pow.f64 x 5) (+.f64 (pow.f64 x 4) (+.f64 23533438303/500000000 (fma.f64 x 156699607947/500000000 (.f64 (.f64 x x) (+.f64 263505074721/1000000000 (.f64 216700011257/5000000000 x))))))) (fma.f64 (/.f64 z (+.f64 (pow.f64 x 4) (+.f64 23533438303/500000000 (fma.f64 x 156699607947/500000000 (.f64 (.f64 x x) (+.f64 263505074721/1000000000 (.f64 216700011257/5000000000 x))))))) x (/.f64 (.f64 x (.f64 x y)) (+.f64 (pow.f64 x 4) (+.f64 23533438303/500000000 (fma.f64 x 156699607947/500000000 (.f64 (.f64 x x) (+.f64 263505074721/1000000000 (.f64 216700011257/5000000000 x)))))))))) (fma.f64 2 (fma.f64 (/.f64 y (+.f64 (pow.f64 x 4) (+.f64 23533438303/500000000 (fma.f64 x 156699607947/500000000 (.f64 (.f64 x x) (+.f64 263505074721/1000000000 (.f64 216700011257/5000000000 x))))))) x (/.f64 z (+.f64 (pow.f64 x 4) (+.f64 23533438303/500000000 (fma.f64 x 156699607947/500000000 (.f64 (.f64 x x) (+.f64 263505074721/1000000000 (.f64 216700011257/5000000000 x)))))))) (fma.f64 4297481763/15625000 (/.f64 (.f64 x x) (+.f64 (pow.f64 x 4) (+.f64 23533438303/500000000 (fma.f64 x 156699607947/500000000 (.f64 (.f64 x x) (+.f64 263505074721/1000000000 (.f64 216700011257/5000000000 x))))))) (.f64 49698921037/2500000000 (/.f64 (pow.f64 x 3) (+.f64 (pow.f64 x 4) (+.f64 23533438303/500000000 (fma.f64 x 156699607947/500000000 (.f64 (.f64 x x) (+.f64 263505074721/1000000000 (.f64 216700011257/5000000000 x)))))))))))

Compiler

Compiled 82705 to 64005 computations (22.6% saved)

regimes7.2s (40.7%)

Accuracy

Total 0.9b remaining (77.7%)

Threshold costs 0.9b (77.7%)

Counts

269 → 3

Compiler

Compiled 129480 to 100780 computations (22.2% saved)

bsearch117.0ms (0.7%)

Steps

Iters	Range		Point
8	4.5720809348080435e+32	2.5775490515013764e+36	1.5691069027695154e+36
9	-3.1866215089450995e+58	-1.082617130983715e+52	-1.3945332052864718e+52

Compiler

Compiled 4 to 3 computations (25% saved)

simplify24.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

52×	`+-commutative_binary64`
47×	`*-commutative_binary64`
35×	`sub-neg_binary64`
30×	`neg-sub0_binary64`
30×	`neg-mul-1_binary64`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	95	412
1	149	412
2	186	410
3	246	410
4	290	410
5	338	410
6	368	410
7	387	410
8	396	410
9	398	410
10	388	410

end467.0ms (2.6%)

Compiler: Compiled 1157 to 861 computations (25.6% saved)

Iter	Nodes	Cost
0	95	412
1	149	412
2	186	410
3	246	410
4	290	410
5	338	410
6	368	410
7	387	410
8	396	410
9	398	410
10	388	410

Iter	Nodes	Cost
0	95	412
1	149	412
2	186	410
3	246	410
4	290	410
5	338	410
6	368	410
7	387	410
8	396	410
9	398	410
10	388	410

Details

analyze268.0ms (1.5%)

sample1.3s (7.1%)

simplify50.0ms (0.3%)

prune5.0ms (0%)

localize18.0ms (0.1%)

series639.0ms (3.6%)

rewrite9.0ms (0%)

simplify328.0ms (1.9%)

prune237.0ms (1.3%)

localize20.0ms (0.1%)

series725.0ms (4.1%)

rewrite17.0ms (0.1%)

simplify235.0ms (1.3%)

prune340.0ms (1.9%)

localize44.0ms (0.2%)

series18.0ms (0.1%)

rewrite90.0ms (0.5%)

simplify424.0ms (2.4%)

prune2.6s (14.5%)

localize52.0ms (0.3%)

series193.0ms (1.1%)

rewrite17.0ms (0.1%)

simplify96.0ms (0.5%)

prune2.2s (12.6%)

regimes7.2s (40.7%)

bsearch117.0ms (0.7%)

simplify24.0ms (0.1%)

end467.0ms (2.6%)

Profiling

Iter	Nodes	Cost
0	95	412
1	149	412
2	186	410
3	246	410
4	290	410
5	338	410
6	368	410
7	387	410
8	396	410
9	398	410
10	388	410