Details

analyze1.6s (17.1%)

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
49.9%	49.9%	0.3%	8
49.9%	49.9%	0.3%	9
49.9%	49.9%	0.3%	10
49.9%	49.9%	0.3%	11
49.9%	49.9%	0.3%	12
49.9%	49.9%	0.3%	13
74.8%	24.9%	0.3%	14

Compiler

Compiled 34 to 27 computations (20.6% saved)

sample6.4s (66.7%)

Results

2.8s	2414×	body	2048	valid
1.7s	2006×	body	1024	valid
618.0ms	971×	body	512	valid
601.0ms	339×	body	4096	valid
492.0ms	2070×	body	128	valid
193.0ms	456×	body	256	valid

preprocess46.0ms (0.5%)

Algorithm

2×	egg-herbie

Rules

878×	`fma-def_binary64`
618×	`distribute-lft-in_binary64`
618×	`distribute-rgt-in_binary64`
399×	`associate-/l*_binary64`
392×	`associate-/r/_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	143	592
1	337	592
2	879	592
3	2116	592
4	3671	592
0	6	6

Stop Event

1×	saturated
1×	node limit

Calls

Call 1

Inputs
0
1
2
3
4
5

Outputs
0
1
2
3
4
5

Call 2

Inputs
(.f64 (.f64 x (cos.f64 (/.f64 (.f64 (.f64 (+.f64 (.f64 y 2) 1) z) t) 16))) (cos.f64 (/.f64 (.f64 (.f64 (+.f64 (.f64 a 2) 1) b) t) 16)))
(.f64 (.f64 y (cos.f64 (/.f64 (.f64 (.f64 (+.f64 (.f64 x 2) 1) z) t) 16))) (cos.f64 (/.f64 (.f64 (.f64 (+.f64 (.f64 a 2) 1) b) t) 16)))
(.f64 (.f64 z (cos.f64 (/.f64 (.f64 (.f64 (+.f64 (.f64 y 2) 1) x) t) 16))) (cos.f64 (/.f64 (.f64 (.f64 (+.f64 (.f64 a 2) 1) b) t) 16)))
(.f64 (.f64 t (cos.f64 (/.f64 (.f64 (.f64 (+.f64 (.f64 y 2) 1) z) x) 16))) (cos.f64 (/.f64 (.f64 (.f64 (+.f64 (.f64 a 2) 1) b) x) 16)))
(.f64 (.f64 a (cos.f64 (/.f64 (.f64 (.f64 (+.f64 (.f64 y 2) 1) z) t) 16))) (cos.f64 (/.f64 (.f64 (.f64 (+.f64 (.f64 x 2) 1) b) t) 16)))
(.f64 (.f64 b (cos.f64 (/.f64 (.f64 (.f64 (+.f64 (.f64 y 2) 1) z) t) 16))) (cos.f64 (/.f64 (.f64 (.f64 (+.f64 (.f64 a 2) 1) x) t) 16)))
(.f64 (.f64 x (cos.f64 (/.f64 (.f64 (.f64 (+.f64 (.f64 z 2) 1) y) t) 16))) (cos.f64 (/.f64 (.f64 (.f64 (+.f64 (.f64 a 2) 1) b) t) 16)))
(.f64 (.f64 x (cos.f64 (/.f64 (.f64 (.f64 (+.f64 (.f64 t 2) 1) z) y) 16))) (cos.f64 (/.f64 (.f64 (.f64 (+.f64 (.f64 a 2) 1) b) y) 16)))
(.f64 (.f64 x (cos.f64 (/.f64 (.f64 (.f64 (+.f64 (.f64 a 2) 1) z) t) 16))) (cos.f64 (/.f64 (.f64 (.f64 (+.f64 (.f64 y 2) 1) b) t) 16)))
(.f64 (.f64 x (cos.f64 (/.f64 (.f64 (.f64 (+.f64 (.f64 b 2) 1) z) t) 16))) (cos.f64 (/.f64 (.f64 (.f64 (+.f64 (.f64 a 2) 1) y) t) 16)))
(.f64 (.f64 x (cos.f64 (/.f64 (.f64 (.f64 (+.f64 (.f64 y 2) 1) t) z) 16))) (cos.f64 (/.f64 (.f64 (.f64 (+.f64 (.f64 a 2) 1) b) z) 16)))
(.f64 (.f64 x (cos.f64 (/.f64 (.f64 (.f64 (+.f64 (.f64 y 2) 1) a) t) 16))) (cos.f64 (/.f64 (.f64 (.f64 (+.f64 (.f64 z 2) 1) b) t) 16)))
(.f64 (.f64 x (cos.f64 (/.f64 (.f64 (.f64 (+.f64 (.f64 y 2) 1) b) t) 16))) (cos.f64 (/.f64 (.f64 (.f64 (+.f64 (.f64 a 2) 1) z) t) 16)))
(.f64 (.f64 x (cos.f64 (/.f64 (.f64 (.f64 (+.f64 (.f64 y 2) 1) z) a) 16))) (cos.f64 (/.f64 (.f64 (.f64 (+.f64 (.f64 t 2) 1) b) a) 16)))
(.f64 (.f64 x (cos.f64 (/.f64 (.f64 (.f64 (+.f64 (.f64 y 2) 1) z) b) 16))) (cos.f64 (/.f64 (.f64 (.f64 (+.f64 (.f64 a 2) 1) t) b) 16)))
(.f64 (.f64 x (cos.f64 (/.f64 (.f64 (.f64 (+.f64 (.f64 y 2) 1) z) t) 16))) (cos.f64 (/.f64 (.f64 (.f64 (+.f64 (.f64 b 2) 1) a) t) 16)))

Outputs
(.f64 (.f64 x (cos.f64 (/.f64 (.f64 (.f64 (+.f64 (.f64 y 2) 1) z) t) 16))) (cos.f64 (/.f64 (.f64 (.f64 (+.f64 (.f64 a 2) 1) b) t) 16)))
(.f64 x (.f64 (cos.f64 (/.f64 (.f64 (fma.f64 y 2 1) z) (/.f64 16 t))) (cos.f64 (/.f64 (.f64 (fma.f64 a 2 1) b) (/.f64 16 t)))))
(.f64 (cos.f64 (.f64 (/.f64 (.f64 (fma.f64 y 2 1) t) 16) z)) (.f64 x (cos.f64 (/.f64 b (/.f64 (/.f64 16 t) (fma.f64 2 a 1))))))
(.f64 x (.f64 (cos.f64 (.f64 t (/.f64 (fma.f64 y 2 1) (/.f64 16 z)))) (cos.f64 (.f64 b (/.f64 t (/.f64 16 (fma.f64 2 a 1)))))))
(.f64 x (.f64 (cos.f64 (.f64 (fma.f64 y 2 1) (.f64 (/.f64 z 16) t))) (cos.f64 (.f64 (fma.f64 2 a 1) (.f64 (/.f64 b 16) t)))))
(.f64 x (.f64 (cos.f64 (.f64 (fma.f64 y 2 1) (.f64 (.f64 1/16 z) t))) (cos.f64 (.f64 (fma.f64 2 a 1) (.f64 (.f64 1/16 b) t)))))
(.f64 (.f64 y (cos.f64 (/.f64 (.f64 (.f64 (+.f64 (.f64 x 2) 1) z) t) 16))) (cos.f64 (/.f64 (.f64 (.f64 (+.f64 (.f64 a 2) 1) b) t) 16)))
(.f64 y (.f64 (cos.f64 (/.f64 (.f64 z (fma.f64 x 2 1)) (/.f64 16 t))) (cos.f64 (/.f64 (.f64 (fma.f64 a 2 1) b) (/.f64 16 t)))))
(.f64 y (.f64 (cos.f64 (/.f64 b (/.f64 (/.f64 16 t) (fma.f64 2 a 1)))) (cos.f64 (.f64 (/.f64 (.f64 z (fma.f64 x 2 1)) 16) t))))
(.f64 y (.f64 (cos.f64 (.f64 b (/.f64 t (/.f64 16 (fma.f64 2 a 1))))) (cos.f64 (.f64 t (/.f64 (fma.f64 x 2 1) (/.f64 16 z))))))
(.f64 y (.f64 (cos.f64 (.f64 (fma.f64 2 a 1) (.f64 (/.f64 b 16) t))) (cos.f64 (.f64 t (.f64 (/.f64 z 16) (fma.f64 x 2 1))))))
(.f64 y (.f64 (cos.f64 (.f64 (fma.f64 2 a 1) (.f64 (.f64 1/16 b) t))) (cos.f64 (.f64 z (.f64 (.f64 1/16 t) (fma.f64 x 2 1))))))
(.f64 (.f64 z (cos.f64 (/.f64 (.f64 (.f64 (+.f64 (.f64 y 2) 1) x) t) 16))) (cos.f64 (/.f64 (.f64 (.f64 (+.f64 (.f64 a 2) 1) b) t) 16)))
(.f64 z (.f64 (cos.f64 (/.f64 (.f64 x (fma.f64 y 2 1)) (/.f64 16 t))) (cos.f64 (/.f64 (.f64 (fma.f64 a 2 1) b) (/.f64 16 t)))))
(.f64 z (.f64 (cos.f64 (/.f64 b (/.f64 (/.f64 16 t) (fma.f64 2 a 1)))) (cos.f64 (/.f64 (fma.f64 y 2 1) (/.f64 (/.f64 16 t) x)))))
(.f64 z (.f64 (cos.f64 (.f64 b (/.f64 t (/.f64 16 (fma.f64 2 a 1))))) (cos.f64 (.f64 (/.f64 t 16) (fma.f64 x (*.f64 y 2) x)))))
(.f64 z (.f64 (cos.f64 (.f64 (fma.f64 2 a 1) (.f64 (/.f64 b 16) t))) (cos.f64 (.f64 (fma.f64 x (.f64 y 2) x) (/.f64 t 16)))))
(.f64 z (.f64 (cos.f64 (.f64 (fma.f64 2 a 1) (.f64 (.f64 1/16 b) t))) (cos.f64 (.f64 (fma.f64 x (.f64 y 2) x) (.f64 1/16 t)))))
(.f64 (.f64 t (cos.f64 (/.f64 (.f64 (.f64 (+.f64 (.f64 y 2) 1) z) x) 16))) (cos.f64 (/.f64 (.f64 (.f64 (+.f64 (.f64 a 2) 1) b) x) 16)))
(.f64 t (.f64 (cos.f64 (/.f64 (.f64 (fma.f64 y 2 1) z) (/.f64 16 x))) (cos.f64 (/.f64 (.f64 (fma.f64 a 2 1) b) (/.f64 16 x)))))
(.f64 (cos.f64 (/.f64 (fma.f64 y 2 1) (/.f64 (/.f64 16 x) z))) (.f64 t (cos.f64 (/.f64 (fma.f64 2 a 1) (/.f64 (/.f64 16 x) b)))))
(.f64 t (.f64 (cos.f64 (.f64 (/.f64 (fma.f64 y 2 1) 16) (.f64 x z))) (cos.f64 (*.f64 x (/.f64 (fma.f64 2 a 1) (/.f64 16 b))))))
(.f64 t (.f64 (cos.f64 (.f64 (fma.f64 y 2 1) (.f64 (/.f64 z 16) x))) (cos.f64 (.f64 x (.f64 (/.f64 b 16) (fma.f64 2 a 1))))))
(.f64 t (.f64 (cos.f64 (.f64 (fma.f64 y 2 1) (.f64 (.f64 1/16 x) z))) (cos.f64 (.f64 x (.f64 (.f64 1/16 b) (fma.f64 2 a 1))))))
(.f64 (.f64 a (cos.f64 (/.f64 (.f64 (.f64 (+.f64 (.f64 y 2) 1) z) t) 16))) (cos.f64 (/.f64 (.f64 (.f64 (+.f64 (.f64 x 2) 1) b) t) 16)))
(.f64 (.f64 (cos.f64 (/.f64 (.f64 (fma.f64 y 2 1) z) (/.f64 16 t))) a) (cos.f64 (/.f64 (.f64 b (fma.f64 x 2 1)) (/.f64 16 t))))
(.f64 (cos.f64 (.f64 (/.f64 (.f64 (fma.f64 y 2 1) t) 16) z)) (.f64 a (cos.f64 (/.f64 b (/.f64 (/.f64 16 t) (fma.f64 x 2 1))))))
(.f64 (cos.f64 (.f64 t (/.f64 (fma.f64 y 2 1) (/.f64 16 z)))) (.f64 a (cos.f64 (.f64 t (/.f64 (fma.f64 x 2 1) (/.f64 16 b))))))
(.f64 (cos.f64 (.f64 (fma.f64 y 2 1) (.f64 (/.f64 z 16) t))) (.f64 a (cos.f64 (.f64 t (.f64 (/.f64 b 16) (fma.f64 x 2 1))))))
(.f64 (cos.f64 (.f64 (fma.f64 y 2 1) (.f64 (.f64 1/16 z) t))) (.f64 a (cos.f64 (.f64 t (.f64 (.f64 1/16 b) (fma.f64 x 2 1))))))
(.f64 (.f64 b (cos.f64 (/.f64 (.f64 (.f64 (+.f64 (.f64 y 2) 1) z) t) 16))) (cos.f64 (/.f64 (.f64 (.f64 (+.f64 (.f64 a 2) 1) x) t) 16)))
(.f64 (.f64 (cos.f64 (/.f64 (.f64 (fma.f64 y 2 1) z) (/.f64 16 t))) b) (cos.f64 (/.f64 (.f64 x (fma.f64 a 2 1)) (/.f64 16 t))))
(.f64 (cos.f64 (.f64 (/.f64 (.f64 (fma.f64 y 2 1) t) 16) z)) (.f64 b (cos.f64 (/.f64 x (/.f64 (/.f64 16 t) (fma.f64 2 a 1))))))
(.f64 (cos.f64 (.f64 t (/.f64 (fma.f64 y 2 1) (/.f64 16 z)))) (.f64 b (cos.f64 (.f64 (/.f64 t 16) (*.f64 x (fma.f64 2 a 1))))))
(.f64 (cos.f64 (.f64 (fma.f64 y 2 1) (.f64 (/.f64 z 16) t))) (.f64 b (cos.f64 (.f64 (.f64 x (fma.f64 2 a 1)) (/.f64 t 16)))))
(.f64 (cos.f64 (.f64 (fma.f64 y 2 1) (.f64 (.f64 1/16 z) t))) (.f64 b (cos.f64 (.f64 (.f64 x (fma.f64 2 a 1)) (.f64 1/16 t)))))
(.f64 (.f64 x (cos.f64 (/.f64 (.f64 (.f64 (+.f64 (.f64 z 2) 1) y) t) 16))) (cos.f64 (/.f64 (.f64 (.f64 (+.f64 (.f64 a 2) 1) b) t) 16)))
(.f64 x (.f64 (cos.f64 (/.f64 (.f64 y (fma.f64 z 2 1)) (/.f64 16 t))) (cos.f64 (/.f64 (.f64 (fma.f64 a 2 1) b) (/.f64 16 t)))))
(.f64 x (.f64 (cos.f64 (/.f64 b (/.f64 (/.f64 16 t) (fma.f64 2 a 1)))) (cos.f64 (.f64 (/.f64 (.f64 y (fma.f64 2 z 1)) 16) t))))
(.f64 x (.f64 (cos.f64 (.f64 b (/.f64 t (/.f64 16 (fma.f64 2 a 1))))) (cos.f64 (.f64 t (/.f64 y (/.f64 16 (fma.f64 2 z 1)))))))
(.f64 x (.f64 (cos.f64 (.f64 (fma.f64 2 a 1) (.f64 (/.f64 b 16) t))) (cos.f64 (.f64 t (.f64 (/.f64 y 16) (fma.f64 2 z 1))))))
(.f64 x (.f64 (cos.f64 (.f64 (fma.f64 2 a 1) (.f64 (.f64 1/16 b) t))) (cos.f64 (.f64 y (.f64 (.f64 1/16 t) (fma.f64 2 z 1))))))
(.f64 (.f64 x (cos.f64 (/.f64 (.f64 (.f64 (+.f64 (.f64 t 2) 1) z) y) 16))) (cos.f64 (/.f64 (.f64 (.f64 (+.f64 (.f64 a 2) 1) b) y) 16)))
(.f64 (.f64 x (cos.f64 (/.f64 (.f64 z (fma.f64 t 2 1)) (/.f64 16 y)))) (cos.f64 (/.f64 (.f64 (fma.f64 a 2 1) b) (/.f64 16 y))))
(.f64 (cos.f64 (/.f64 y (/.f64 16 (.f64 z (fma.f64 2 t 1))))) (*.f64 x (cos.f64 (/.f64 (fma.f64 2 a 1) (/.f64 (/.f64 16 y) b)))))
(.f64 (cos.f64 (.f64 y (/.f64 (fma.f64 2 t 1) (/.f64 16 z)))) (.f64 x (cos.f64 (.f64 y (/.f64 (fma.f64 2 a 1) (/.f64 16 b))))))
(.f64 (cos.f64 (.f64 y (.f64 (/.f64 z 16) (fma.f64 2 t 1)))) (.f64 x (cos.f64 (.f64 y (.f64 (/.f64 b 16) (fma.f64 2 a 1))))))
(.f64 (cos.f64 (.f64 y (.f64 (.f64 1/16 z) (fma.f64 2 t 1)))) (.f64 x (cos.f64 (.f64 y (.f64 (.f64 1/16 b) (fma.f64 2 a 1))))))
(.f64 (.f64 x (cos.f64 (/.f64 (.f64 (.f64 (+.f64 (.f64 a 2) 1) z) t) 16))) (cos.f64 (/.f64 (.f64 (.f64 (+.f64 (.f64 y 2) 1) b) t) 16)))
(.f64 (.f64 x (cos.f64 (/.f64 (.f64 z (fma.f64 a 2 1)) (/.f64 16 t)))) (cos.f64 (/.f64 (.f64 (fma.f64 y 2 1) b) (/.f64 16 t))))
(.f64 x (.f64 (cos.f64 (/.f64 z (/.f64 (/.f64 16 t) (fma.f64 2 a 1)))) (cos.f64 (/.f64 (fma.f64 y 2 1) (/.f64 (/.f64 16 t) b)))))
(.f64 x (.f64 (cos.f64 (.f64 t (/.f64 (fma.f64 2 a 1) (/.f64 16 z)))) (cos.f64 (.f64 (/.f64 t 16) (*.f64 (fma.f64 y 2 1) b)))))
(.f64 x (.f64 (cos.f64 (.f64 z (.f64 (/.f64 t 16) (fma.f64 2 a 1)))) (cos.f64 (.f64 (fma.f64 y 2 1) (.f64 (/.f64 b 16) t)))))
(.f64 x (.f64 (cos.f64 (.f64 z (.f64 (.f64 1/16 t) (fma.f64 2 a 1)))) (cos.f64 (.f64 (fma.f64 y 2 1) (.f64 (.f64 1/16 b) t)))))
(.f64 (.f64 x (cos.f64 (/.f64 (.f64 (.f64 (+.f64 (.f64 b 2) 1) z) t) 16))) (cos.f64 (/.f64 (.f64 (.f64 (+.f64 (.f64 a 2) 1) y) t) 16)))
(.f64 x (.f64 (cos.f64 (/.f64 (.f64 z (fma.f64 b 2 1)) (/.f64 16 t))) (cos.f64 (/.f64 (.f64 y (fma.f64 a 2 1)) (/.f64 16 t)))))
(.f64 (cos.f64 (.f64 (/.f64 (.f64 z (fma.f64 2 b 1)) 16) t)) (.f64 x (cos.f64 (/.f64 y (/.f64 (/.f64 16 t) (fma.f64 2 a 1))))))
(.f64 x (.f64 (cos.f64 (.f64 t (/.f64 (fma.f64 z (.f64 2 b) z) 16))) (cos.f64 (*.f64 t (/.f64 (fma.f64 2 a 1) (/.f64 16 y))))))
(.f64 x (.f64 (cos.f64 (.f64 t (/.f64 (fma.f64 2 (.f64 z b) z) 16))) (cos.f64 (.f64 y (.f64 (/.f64 t 16) (fma.f64 2 a 1))))))
(.f64 x (.f64 (cos.f64 (.f64 t (.f64 1/16 (fma.f64 2 (.f64 z b) z)))) (cos.f64 (.f64 y (.f64 (.f64 1/16 t) (fma.f64 2 a 1))))))
(.f64 (.f64 x (cos.f64 (/.f64 (.f64 (.f64 (+.f64 (.f64 y 2) 1) t) z) 16))) (cos.f64 (/.f64 (.f64 (.f64 (+.f64 (.f64 a 2) 1) b) z) 16)))
(.f64 x (.f64 (cos.f64 (/.f64 (.f64 (fma.f64 y 2 1) t) (/.f64 16 z))) (cos.f64 (/.f64 (.f64 (fma.f64 a 2 1) b) (/.f64 16 z)))))
(.f64 (cos.f64 (.f64 (/.f64 (.f64 (fma.f64 y 2 1) t) 16) z)) (.f64 x (cos.f64 (/.f64 (fma.f64 2 a 1) (/.f64 (/.f64 16 z) b)))))
(.f64 (cos.f64 (.f64 t (/.f64 (fma.f64 y 2 1) (/.f64 16 z)))) (.f64 x (cos.f64 (.f64 z (/.f64 (fma.f64 2 a 1) (/.f64 16 b))))))
(.f64 (cos.f64 (.f64 (fma.f64 y 2 1) (.f64 (/.f64 z 16) t))) (.f64 x (cos.f64 (.f64 z (.f64 (/.f64 b 16) (fma.f64 2 a 1))))))
(.f64 (cos.f64 (.f64 (fma.f64 y 2 1) (.f64 (.f64 1/16 z) t))) (.f64 x (cos.f64 (.f64 z (.f64 (.f64 1/16 b) (fma.f64 2 a 1))))))
(.f64 (.f64 x (cos.f64 (/.f64 (.f64 (.f64 (+.f64 (.f64 y 2) 1) a) t) 16))) (cos.f64 (/.f64 (.f64 (.f64 (+.f64 (.f64 z 2) 1) b) t) 16)))
(.f64 x (.f64 (cos.f64 (/.f64 (.f64 (fma.f64 y 2 1) a) (/.f64 16 t))) (cos.f64 (/.f64 (.f64 b (fma.f64 z 2 1)) (/.f64 16 t)))))
(.f64 x (.f64 (cos.f64 (/.f64 (fma.f64 y 2 1) (/.f64 (/.f64 16 t) a))) (cos.f64 (/.f64 b (/.f64 (/.f64 16 t) (fma.f64 2 z 1))))))
(.f64 (cos.f64 (.f64 (/.f64 t 16) (fma.f64 (.f64 y 2) a a))) (.f64 x (cos.f64 (/.f64 (fma.f64 2 z 1) (/.f64 (/.f64 16 b) t)))))
(.f64 (cos.f64 (.f64 (fma.f64 y (.f64 2 a) a) (/.f64 t 16))) (.f64 x (cos.f64 (.f64 (fma.f64 2 z 1) (.f64 (/.f64 b 16) t)))))
(.f64 (cos.f64 (.f64 (fma.f64 y (.f64 2 a) a) (.f64 1/16 t))) (.f64 x (cos.f64 (.f64 (fma.f64 2 z 1) (.f64 (.f64 1/16 b) t)))))
(.f64 (.f64 x (cos.f64 (/.f64 (.f64 (.f64 (+.f64 (.f64 y 2) 1) b) t) 16))) (cos.f64 (/.f64 (.f64 (.f64 (+.f64 (.f64 a 2) 1) z) t) 16)))
(.f64 (.f64 x (cos.f64 (/.f64 (.f64 z (fma.f64 a 2 1)) (/.f64 16 t)))) (cos.f64 (/.f64 (.f64 (fma.f64 y 2 1) b) (/.f64 16 t))))
(.f64 x (.f64 (cos.f64 (/.f64 z (/.f64 (/.f64 16 t) (fma.f64 2 a 1)))) (cos.f64 (/.f64 (fma.f64 y 2 1) (/.f64 (/.f64 16 t) b)))))
(.f64 x (.f64 (cos.f64 (.f64 t (/.f64 (fma.f64 2 a 1) (/.f64 16 z)))) (cos.f64 (.f64 (/.f64 t 16) (*.f64 (fma.f64 y 2 1) b)))))
(.f64 x (.f64 (cos.f64 (.f64 z (.f64 (/.f64 t 16) (fma.f64 2 a 1)))) (cos.f64 (.f64 (fma.f64 y 2 1) (.f64 (/.f64 b 16) t)))))
(.f64 x (.f64 (cos.f64 (.f64 z (.f64 (.f64 1/16 t) (fma.f64 2 a 1)))) (cos.f64 (.f64 (fma.f64 y 2 1) (.f64 (.f64 1/16 b) t)))))
(.f64 (.f64 x (cos.f64 (/.f64 (.f64 (.f64 (+.f64 (.f64 y 2) 1) z) a) 16))) (cos.f64 (/.f64 (.f64 (.f64 (+.f64 (.f64 t 2) 1) b) a) 16)))
(.f64 x (.f64 (cos.f64 (/.f64 (.f64 (fma.f64 y 2 1) z) (/.f64 16 a))) (cos.f64 (/.f64 (.f64 b (fma.f64 t 2 1)) (/.f64 16 a)))))
(.f64 x (.f64 (cos.f64 (/.f64 (fma.f64 y 2 1) (/.f64 (/.f64 16 a) z))) (cos.f64 (/.f64 (fma.f64 2 t 1) (/.f64 (/.f64 16 a) b)))))
(.f64 x (.f64 (cos.f64 (.f64 (/.f64 (fma.f64 y 2 1) (/.f64 16 a)) z)) (cos.f64 (/.f64 (fma.f64 2 t 1) (/.f64 16 (.f64 a b))))))
(.f64 x (.f64 (cos.f64 (.f64 (fma.f64 y 2 1) (.f64 (/.f64 z 16) a))) (cos.f64 (/.f64 (fma.f64 2 t 1) (/.f64 16 (*.f64 a b))))))
(.f64 x (.f64 (cos.f64 (.f64 (fma.f64 y 2 1) (.f64 (.f64 1/16 z) a))) (cos.f64 (/.f64 (fma.f64 2 t 1) (/.f64 16 (.f64 a b))))))
(.f64 (.f64 x (cos.f64 (/.f64 (.f64 (.f64 (+.f64 (.f64 y 2) 1) z) b) 16))) (cos.f64 (/.f64 (.f64 (.f64 (+.f64 (.f64 a 2) 1) t) b) 16)))
(.f64 x (.f64 (cos.f64 (/.f64 (.f64 (fma.f64 y 2 1) z) (/.f64 16 b))) (cos.f64 (/.f64 (.f64 t (fma.f64 a 2 1)) (/.f64 16 b)))))
(.f64 (.f64 (cos.f64 (/.f64 b (/.f64 (/.f64 16 t) (fma.f64 2 a 1)))) x) (cos.f64 (/.f64 (fma.f64 y 2 1) (/.f64 (/.f64 16 b) z))))
(.f64 (cos.f64 (.f64 (/.f64 z (/.f64 16 b)) (fma.f64 y 2 1))) (.f64 x (cos.f64 (.f64 b (/.f64 t (/.f64 16 (fma.f64 2 a 1)))))))
(.f64 (cos.f64 (.f64 (fma.f64 y 2 1) (.f64 (/.f64 z 16) b))) (.f64 x (cos.f64 (.f64 (fma.f64 2 a 1) (.f64 (/.f64 b 16) t)))))
(.f64 (cos.f64 (.f64 (fma.f64 y 2 1) (.f64 (.f64 1/16 z) b))) (.f64 x (cos.f64 (.f64 (fma.f64 2 a 1) (.f64 (.f64 1/16 b) t)))))
(.f64 (.f64 x (cos.f64 (/.f64 (.f64 (.f64 (+.f64 (.f64 y 2) 1) z) t) 16))) (cos.f64 (/.f64 (.f64 (.f64 (+.f64 (.f64 b 2) 1) a) t) 16)))
(.f64 x (.f64 (cos.f64 (/.f64 (.f64 (fma.f64 y 2 1) z) (/.f64 16 t))) (cos.f64 (/.f64 (.f64 a (fma.f64 b 2 1)) (/.f64 16 t)))))
(.f64 x (.f64 (cos.f64 (.f64 (/.f64 (.f64 (fma.f64 y 2 1) t) 16) z)) (cos.f64 (/.f64 (fma.f64 2 b 1) (/.f64 (/.f64 16 t) a)))))
(.f64 x (.f64 (cos.f64 (.f64 t (/.f64 (fma.f64 y 2 1) (/.f64 16 z)))) (cos.f64 (.f64 (/.f64 t 16) (*.f64 a (fma.f64 2 b 1))))))
(.f64 x (.f64 (cos.f64 (.f64 (fma.f64 y 2 1) (.f64 (/.f64 z 16) t))) (cos.f64 (.f64 (fma.f64 2 (.f64 a b) a) (/.f64 t 16)))))
(.f64 x (.f64 (cos.f64 (.f64 (fma.f64 y 2 1) (.f64 (.f64 1/16 z) t))) (cos.f64 (.f64 (fma.f64 2 (.f64 a b) a) (.f64 1/16 t)))))

Compiler

Compiled 33 to 26 computations (21.2% saved)

simplify32.0ms (0.3%)

Algorithm

1×	egg-herbie

Rules

442×	`fma-def_binary64`
259×	`associate-/l*_binary64`
216×	`distribute-lft-in_binary64`
212×	`associate-/r/_binary64`
212×	`distribute-rgt-in_binary64`

Iterations

Useful iterations: 8 (0.0ms)

Iter	Nodes	Cost
0	24	37
1	47	37
2	106	37
3	243	37
4	576	37
5	1062	37
6	1485	35
7	1973	35
8	2418	31
9	2505	31
10	2537	31
11	2537	31

Stop Event

1×

saturated

Counts

1 → 2

Calls

Call 1

Inputs
(.f64 (.f64 x (cos.f64 (/.f64 (.f64 (.f64 (+.f64 (.f64 y 2) 1) z) t) 16))) (cos.f64 (/.f64 (.f64 (.f64 (+.f64 (.f64 a 2) 1) b) t) 16)))

Outputs
(.f64 (.f64 x (cos.f64 (/.f64 (.f64 (.f64 (+.f64 (.f64 y 2) 1) z) t) 16))) (cos.f64 (/.f64 (.f64 (.f64 (+.f64 (.f64 a 2) 1) b) t) 16)))
(.f64 (.f64 x (cos.f64 (/.f64 (.f64 (fma.f64 y 2 1) z) (/.f64 16 t)))) (cos.f64 (/.f64 (.f64 (fma.f64 a 2 1) b) (/.f64 16 t))))
(.f64 (.f64 x (cos.f64 (/.f64 (fma.f64 y 2 1) (/.f64 (/.f64 16 t) z)))) (cos.f64 (/.f64 (fma.f64 2 a 1) (/.f64 (/.f64 16 t) b))))
(.f64 x (.f64 (cos.f64 (.f64 (/.f64 t 16) (.f64 (fma.f64 y 2 1) z))) (cos.f64 (.f64 (/.f64 t 16) (fma.f64 (.f64 2 a) b b)))))
(.f64 x (.f64 (cos.f64 (.f64 (fma.f64 y 2 1) (.f64 (/.f64 z 16) t))) (cos.f64 (.f64 (fma.f64 2 a 1) (.f64 (/.f64 b 16) t)))))
(.f64 x (.f64 (cos.f64 (.f64 (fma.f64 y 2 1) (.f64 z (/.f64 t 16)))) (cos.f64 (.f64 (fma.f64 2 a 1) (.f64 b (/.f64 t 16))))))
(.f64 x (.f64 (cos.f64 (.f64 (.f64 z t) (+.f64 (/.f64 y 8) 1/16))) (cos.f64 (.f64 (.f64 t b) (+.f64 1/16 (/.f64 a 8))))))
(.f64 (cos.f64 (.f64 z (.f64 t (+.f64 1/16 (.f64 1/8 y))))) (.f64 x (cos.f64 (.f64 (.f64 t b) (+.f64 1/16 (.f64 1/8 a))))))
(.f64 (cos.f64 (.f64 z (.f64 t (fma.f64 1/8 y 1/16)))) (.f64 x (cos.f64 (.f64 t (.f64 b (fma.f64 1/8 a 1/16))))))
(.f64 (cos.f64 (.f64 z (.f64 t (fma.f64 y 1/8 1/16)))) (.f64 x (cos.f64 (.f64 t (.f64 b (fma.f64 a 1/8 1/16))))))

prune4.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

47.9b

Counts

3 → 2

Alt Table

Status	Error	Program
▶	48.0b	(.f64 (cos.f64 (.f64 z (.f64 t (fma.f64 y 1/8 1/16)))) (.f64 x (cos.f64 (.f64 t (.f64 b (fma.f64 a 1/8 1/16))))))
	48.3b	(.f64 (.f64 x (cos.f64 (/.f64 (.f64 (.f64 (+.f64 (.f64 y 2) 1) z) t) 16))) (cos.f64 (/.f64 (.f64 (.f64 (+.f64 (.f64 a 2) 1) b) t) 16)))

Status

Error

Program

▶

48.0b

(*.f64 (cos.f64 (*.f64 z (*.f64 t (fma.f64 y 1/8 1/16)))) (*.f64 x (cos.f64 (*.f64 t (*.f64 b (fma.f64 a 1/8 1/16))))))

48.3b

(*.f64 (*.f64 x (cos.f64 (/.f64 (*.f64 (*.f64 (+.f64 (*.f64 y 2) 1) z) t) 16))) (cos.f64 (/.f64 (*.f64 (*.f64 (+.f64 (*.f64 a 2) 1) b) t) 16)))

Compiler

Compiled 174 to 132 computations (24.1% saved)

localize17.0ms (0.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	2.2b	(.f64 z (.f64 t (fma.f64 y 1/8 1/16)))
✓	3.4b	(.f64 t (.f64 b (fma.f64 a 1/8 1/16)))
✓	33.9b	(cos.f64 (.f64 z (.f64 t (fma.f64 y 1/8 1/16))))
✓	37.0b	(cos.f64 (.f64 t (.f64 b (fma.f64 a 1/8 1/16))))

series25.0ms (0.3%)

Counts

4 → 128

Calls

36 calls:

Time	Variable		Expression
1.0ms	a	@	(.f64 t (.f64 b (fma.f64 a 1/8 1/16)))
1.0ms	t	@	(cos.f64 (.f64 t (.f64 b (fma.f64 a 1/8 1/16))))
1.0ms	a	@	(cos.f64 (.f64 t (.f64 b (fma.f64 a 1/8 1/16))))
1.0ms	z	@	(cos.f64 (.f64 z (.f64 t (fma.f64 y 1/8 1/16))))
1.0ms	y	@	(cos.f64 (.f64 z (.f64 t (fma.f64 y 1/8 1/16))))

rewrite60.0ms (0.6%)

Algorithm

1×	batch-egg-rewrite

Rules

968×	`prod-diff_binary64`
159×	`add-sqr-sqrt_binary64`
157×	`*-un-lft-identity_binary64`
157×	`pow1_binary64`
149×	`add-exp-log_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	16	48
1	322	48
2	3813	48

Stop Event

1×	node limit

Counts

4 → 70

Calls

Call 1

Inputs
(cos.f64 (.f64 t (.f64 b (fma.f64 a 1/8 1/16))))
(cos.f64 (.f64 z (.f64 t (fma.f64 y 1/8 1/16))))
(.f64 t (.f64 b (fma.f64 a 1/8 1/16)))
(.f64 z (.f64 t (fma.f64 y 1/8 1/16)))

Outputs
((#(struct:change #<rule egg-rr> (2) ((x -.f64 (exp.f64 (log1p.f64 (cos.f64 (.f64 (fma.f64 a 1/8 1/16) (.f64 t b))))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (cos.f64 (.f64 (fma.f64 a 1/8 1/16) (.f64 t b))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 1 (cos.f64 (.f64 (fma.f64 a 1/8 1/16) (.f64 t b))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (cbrt.f64 (cos.f64 (.f64 (fma.f64 a 1/8 1/16) (.f64 t b)))) (pow.f64 (cbrt.f64 (cos.f64 (.f64 (fma.f64 a 1/8 1/16) (.f64 t b)))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (pow.f64 (cbrt.f64 (cos.f64 (.f64 (fma.f64 a 1/8 1/16) (.f64 t b)))) 2) (cbrt.f64 (cos.f64 (.f64 (fma.f64 a 1/8 1/16) (.f64 t b)))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (sqrt.f64 (cos.f64 (.f64 (fma.f64 a 1/8 1/16) (.f64 t b)))) (sqrt.f64 (cos.f64 (.f64 (fma.f64 a 1/8 1/16) (.f64 t b)))))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cos.f64 (.f64 (fma.f64 a 1/8 1/16) (.f64 t b))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (cos.f64 (.f64 (fma.f64 a 1/8 1/16) (.f64 t b))) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (cos.f64 (.f64 (fma.f64 a 1/8 1/16) (.f64 t b)))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (cos.f64 (.f64 (fma.f64 a 1/8 1/16) (.f64 t b)))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (cos.f64 (.f64 (fma.f64 a 1/8 1/16) (.f64 t b))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (exp.f64 (cos.f64 (.f64 (fma.f64 a 1/8 1/16) (.f64 t b)))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (+.f64 1 (expm1.f64 (cos.f64 (.f64 (fma.f64 a 1/8 1/16) (.f64 t b))))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (cos.f64 (.f64 (fma.f64 a 1/8 1/16) (.f64 t b))) 3))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (cos.f64 (.f64 (fma.f64 a 1/8 1/16) (.f64 t b)))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (cos.f64 (.f64 (fma.f64 a 1/8 1/16) (.f64 t b)))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (.f64 (log.f64 (cos.f64 (.f64 (fma.f64 a 1/8 1/16) (.f64 t b)))) 1))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (cos.f64 (.f64 (fma.f64 a 1/8 1/16) (.f64 t b)))))))))
((#(struct:change #<rule egg-rr> (2) ((x -.f64 (exp.f64 (log1p.f64 (cos.f64 (.f64 (fma.f64 y 1/8 1/16) (.f64 t z))))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (cos.f64 (.f64 (fma.f64 y 1/8 1/16) (.f64 t z))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 1 (cos.f64 (.f64 (fma.f64 y 1/8 1/16) (.f64 t z))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (cbrt.f64 (cos.f64 (.f64 (fma.f64 y 1/8 1/16) (.f64 t z)))) (cbrt.f64 (pow.f64 (cos.f64 (.f64 (fma.f64 y 1/8 1/16) (.f64 t z))) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (cbrt.f64 (pow.f64 (cos.f64 (.f64 (fma.f64 y 1/8 1/16) (.f64 t z))) 2)) (cbrt.f64 (cos.f64 (.f64 (fma.f64 y 1/8 1/16) (.f64 t z)))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (sqrt.f64 (cos.f64 (.f64 (fma.f64 y 1/8 1/16) (.f64 t z)))) (sqrt.f64 (cos.f64 (.f64 (fma.f64 y 1/8 1/16) (.f64 t z)))))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cos.f64 (.f64 (fma.f64 y 1/8 1/16) (.f64 t z))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (cos.f64 (.f64 (fma.f64 y 1/8 1/16) (.f64 t z))) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (cos.f64 (.f64 (fma.f64 y 1/8 1/16) (.f64 t z)))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (cos.f64 (.f64 (fma.f64 y 1/8 1/16) (.f64 t z)))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (cos.f64 (.f64 (fma.f64 y 1/8 1/16) (.f64 t z))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (exp.f64 (cos.f64 (.f64 (fma.f64 y 1/8 1/16) (.f64 t z)))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (+.f64 1 (expm1.f64 (cos.f64 (.f64 (fma.f64 y 1/8 1/16) (.f64 t z))))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (cos.f64 (.f64 (fma.f64 y 1/8 1/16) (.f64 t z))) 3))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (cos.f64 (.f64 (fma.f64 y 1/8 1/16) (.f64 t z)))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (cos.f64 (.f64 (fma.f64 y 1/8 1/16) (.f64 t z)))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (.f64 (log.f64 (cos.f64 (.f64 (fma.f64 y 1/8 1/16) (.f64 t z)))) 1))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (cos.f64 (.f64 (fma.f64 y 1/8 1/16) (.f64 t z)))))))))
((#(struct:change #<rule egg-rr> (2) ((x +.f64 (.f64 (.f64 a 1/8) (.f64 t b)) (.f64 1/16 (.f64 t b)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (.f64 (.f64 t b) (.f64 a 1/8)) (.f64 (.f64 t b) 1/16))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (exp.f64 (log1p.f64 (.f64 (fma.f64 a 1/8 1/16) (.f64 t b)))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (.f64 (fma.f64 a 1/8 1/16) (.f64 t b)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (.f64 (fma.f64 a 1/8 1/16) (.f64 t b)) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (.f64 (fma.f64 a 1/8 1/16) (.f64 t b))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (.f64 (fma.f64 a 1/8 1/16) (.f64 t b))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (.f64 (fma.f64 a 1/8 1/16) (.f64 t b)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (pow.f64 (exp.f64 (.f64 t b)) (fma.f64 a 1/8 1/16)))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (+.f64 1 (expm1.f64 (.f64 (fma.f64 a 1/8 1/16) (.f64 t b)))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (.f64 (fma.f64 a 1/8 1/16) (.f64 t b)) 3))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (.f64 (pow.f64 t 3) (pow.f64 (.f64 b (fma.f64 a 1/8 1/16)) 3)))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (.f64 (pow.f64 (.f64 b (fma.f64 a 1/8 1/16)) 3) (pow.f64 t 3)))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (.f64 (fma.f64 a 1/8 1/16) (.f64 t b))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (.f64 (fma.f64 a 1/8 1/16) (.f64 t b))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (.f64 (log.f64 (.f64 (fma.f64 a 1/8 1/16) (.f64 t b))) 1))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (.f64 (fma.f64 a 1/8 1/16) (.f64 t b))))))))
((#(struct:change #<rule egg-rr> (2) ((x +.f64 (.f64 (.f64 1/8 y) (.f64 t z)) (.f64 1/16 (.f64 t z)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (.f64 (.f64 t z) (.f64 1/8 y)) (.f64 (.f64 t z) 1/16))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (exp.f64 (log1p.f64 (.f64 (fma.f64 y 1/8 1/16) (.f64 t z)))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (.f64 (fma.f64 y 1/8 1/16) (.f64 t z)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (.f64 (fma.f64 y 1/8 1/16) (.f64 t z)) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (.f64 (fma.f64 y 1/8 1/16) (.f64 t z))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (.f64 (fma.f64 y 1/8 1/16) (.f64 t z))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (.f64 (fma.f64 y 1/8 1/16) (.f64 t z)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (pow.f64 (pow.f64 (exp.f64 (fma.f64 y 1/8 1/16)) t) z))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (+.f64 1 (expm1.f64 (.f64 (fma.f64 y 1/8 1/16) (.f64 t z)))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (.f64 (fma.f64 y 1/8 1/16) (.f64 t z)) 3))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (.f64 (pow.f64 z 3) (pow.f64 (.f64 t (fma.f64 y 1/8 1/16)) 3)))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (.f64 (pow.f64 (.f64 t (fma.f64 y 1/8 1/16)) 3) (pow.f64 z 3)))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (.f64 (fma.f64 y 1/8 1/16) (.f64 t z))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (.f64 (fma.f64 y 1/8 1/16) (.f64 t z))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (.f64 (log.f64 (.f64 (fma.f64 y 1/8 1/16) (.f64 t z))) 1))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (.f64 (fma.f64 y 1/8 1/16) (*.f64 t z))))))))

simplify78.0ms (0.8%)

Algorithm

1×	egg-herbie

Rules

804×	`fma-def_binary64`
658×	`associate-+l+_binary64`
626×	`*-commutative_binary64`
265×	`unswap-sqr_binary64`
246×	`associate-r_binary64`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	145	2170
1	423	2150
2	1483	2104
3	4142	2104
4	4680	2104

Stop Event

1×	node limit

Counts

198 → 121

Calls

Call 1

Inputs
1
(+.f64 1 (.f64 -1/2 (.f64 (pow.f64 t 2) (.f64 (pow.f64 b 2) (pow.f64 (+.f64 1/16 (.f64 1/8 a)) 2)))))
(+.f64 (.f64 1/24 (.f64 (pow.f64 t 4) (.f64 (pow.f64 b 4) (pow.f64 (+.f64 1/16 (.f64 1/8 a)) 4)))) (+.f64 1 (.f64 -1/2 (.f64 (pow.f64 t 2) (.f64 (pow.f64 b 2) (pow.f64 (+.f64 1/16 (.f64 1/8 a)) 2))))))
(+.f64 (.f64 -1/720 (.f64 (pow.f64 t 6) (.f64 (pow.f64 b 6) (pow.f64 (+.f64 1/16 (.f64 1/8 a)) 6)))) (+.f64 (.f64 1/24 (.f64 (pow.f64 t 4) (.f64 (pow.f64 b 4) (pow.f64 (+.f64 1/16 (.f64 1/8 a)) 4)))) (+.f64 1 (.f64 -1/2 (.f64 (pow.f64 t 2) (.f64 (pow.f64 b 2) (pow.f64 (+.f64 1/16 (.f64 1/8 a)) 2)))))))
(cos.f64 (.f64 t (.f64 (fma.f64 a 1/8 1/16) b)))
(cos.f64 (.f64 t (.f64 (fma.f64 a 1/8 1/16) b)))
(cos.f64 (.f64 t (.f64 (fma.f64 a 1/8 1/16) b)))
(cos.f64 (.f64 t (.f64 (fma.f64 a 1/8 1/16) b)))
1
(+.f64 1 (.f64 -1/2 (.f64 (pow.f64 t 2) (.f64 (pow.f64 (+.f64 1/16 (.f64 1/8 a)) 2) (pow.f64 b 2)))))
(+.f64 (.f64 1/24 (.f64 (pow.f64 t 4) (.f64 (pow.f64 (+.f64 1/16 (.f64 1/8 a)) 4) (pow.f64 b 4)))) (+.f64 1 (.f64 -1/2 (.f64 (pow.f64 t 2) (.f64 (pow.f64 (+.f64 1/16 (.f64 1/8 a)) 2) (pow.f64 b 2))))))
(+.f64 (.f64 1/24 (.f64 (pow.f64 t 4) (.f64 (pow.f64 (+.f64 1/16 (.f64 1/8 a)) 4) (pow.f64 b 4)))) (+.f64 1 (+.f64 (.f64 -1/2 (.f64 (pow.f64 t 2) (.f64 (pow.f64 (+.f64 1/16 (.f64 1/8 a)) 2) (pow.f64 b 2)))) (.f64 -1/720 (.f64 (pow.f64 t 6) (.f64 (pow.f64 (+.f64 1/16 (.f64 1/8 a)) 6) (pow.f64 b 6)))))))
(cos.f64 (.f64 t (.f64 (fma.f64 a 1/8 1/16) b)))
(cos.f64 (.f64 t (.f64 (fma.f64 a 1/8 1/16) b)))
(cos.f64 (.f64 t (.f64 (fma.f64 a 1/8 1/16) b)))
(cos.f64 (.f64 t (.f64 (fma.f64 a 1/8 1/16) b)))
(cos.f64 (.f64 1/16 (.f64 t b)))
(+.f64 (cos.f64 (.f64 1/16 (.f64 t b))) (.f64 -1/8 (.f64 (sin.f64 (.f64 1/16 (.f64 t b))) (.f64 a (.f64 t b)))))
(+.f64 (cos.f64 (.f64 1/16 (.f64 t b))) (+.f64 (.f64 -1/8 (.f64 (sin.f64 (.f64 1/16 (.f64 t b))) (.f64 a (.f64 t b)))) (.f64 -1/128 (.f64 (cos.f64 (.f64 1/16 (.f64 t b))) (.f64 (pow.f64 a 2) (.f64 (pow.f64 t 2) (pow.f64 b 2)))))))
(+.f64 (cos.f64 (.f64 1/16 (.f64 t b))) (+.f64 (.f64 -1/8 (.f64 (sin.f64 (.f64 1/16 (.f64 t b))) (.f64 a (.f64 t b)))) (+.f64 (.f64 -1/128 (.f64 (cos.f64 (.f64 1/16 (.f64 t b))) (.f64 (pow.f64 a 2) (.f64 (pow.f64 t 2) (pow.f64 b 2))))) (.f64 1/3072 (.f64 (sin.f64 (.f64 1/16 (.f64 t b))) (.f64 (pow.f64 a 3) (.f64 (pow.f64 t 3) (pow.f64 b 3))))))))
1
(+.f64 (.f64 -1/2 (.f64 (pow.f64 t 2) (.f64 (pow.f64 (+.f64 1/16 (.f64 1/8 y)) 2) (pow.f64 z 2)))) 1)
(+.f64 (.f64 1/24 (.f64 (pow.f64 t 4) (.f64 (pow.f64 (+.f64 1/16 (.f64 1/8 y)) 4) (pow.f64 z 4)))) (+.f64 (.f64 -1/2 (.f64 (pow.f64 t 2) (.f64 (pow.f64 (+.f64 1/16 (.f64 1/8 y)) 2) (pow.f64 z 2)))) 1))
(+.f64 (.f64 1/24 (.f64 (pow.f64 t 4) (.f64 (pow.f64 (+.f64 1/16 (.f64 1/8 y)) 4) (pow.f64 z 4)))) (+.f64 (.f64 -1/2 (.f64 (pow.f64 t 2) (.f64 (pow.f64 (+.f64 1/16 (.f64 1/8 y)) 2) (pow.f64 z 2)))) (+.f64 1 (.f64 -1/720 (.f64 (pow.f64 t 6) (.f64 (pow.f64 (+.f64 1/16 (.f64 1/8 y)) 6) (pow.f64 z 6)))))))
(cos.f64 (.f64 t (.f64 (fma.f64 y 1/8 1/16) z)))
(cos.f64 (.f64 t (.f64 (fma.f64 y 1/8 1/16) z)))
(cos.f64 (.f64 t (.f64 (fma.f64 y 1/8 1/16) z)))
(cos.f64 (.f64 t (.f64 (fma.f64 y 1/8 1/16) z)))
(cos.f64 (.f64 t (.f64 (fma.f64 y 1/8 1/16) z)))
(cos.f64 (.f64 t (.f64 (fma.f64 y 1/8 1/16) z)))
(cos.f64 (.f64 t (.f64 (fma.f64 y 1/8 1/16) z)))
(cos.f64 (.f64 t (.f64 (fma.f64 y 1/8 1/16) z)))
1
(+.f64 (.f64 -1/2 (.f64 (pow.f64 t 2) (.f64 (pow.f64 (+.f64 1/16 (.f64 1/8 y)) 2) (pow.f64 z 2)))) 1)
(+.f64 (.f64 1/24 (.f64 (pow.f64 t 4) (.f64 (pow.f64 (+.f64 1/16 (.f64 1/8 y)) 4) (pow.f64 z 4)))) (+.f64 (.f64 -1/2 (.f64 (pow.f64 t 2) (.f64 (pow.f64 (+.f64 1/16 (.f64 1/8 y)) 2) (pow.f64 z 2)))) 1))
(+.f64 (.f64 1/24 (.f64 (pow.f64 t 4) (.f64 (pow.f64 (+.f64 1/16 (.f64 1/8 y)) 4) (pow.f64 z 4)))) (+.f64 (.f64 -1/2 (.f64 (pow.f64 t 2) (.f64 (pow.f64 (+.f64 1/16 (.f64 1/8 y)) 2) (pow.f64 z 2)))) (+.f64 1 (.f64 -1/720 (.f64 (pow.f64 t 6) (.f64 (pow.f64 (+.f64 1/16 (.f64 1/8 y)) 6) (pow.f64 z 6)))))))
(cos.f64 (.f64 t (.f64 (fma.f64 y 1/8 1/16) z)))
(cos.f64 (.f64 t (.f64 (fma.f64 y 1/8 1/16) z)))
(cos.f64 (.f64 t (.f64 (fma.f64 y 1/8 1/16) z)))
(cos.f64 (.f64 t (.f64 (fma.f64 y 1/8 1/16) z)))
(cos.f64 (.f64 t (.f64 (fma.f64 y 1/8 1/16) z)))
(cos.f64 (.f64 t (.f64 (fma.f64 y 1/8 1/16) z)))
(cos.f64 (.f64 t (.f64 (fma.f64 y 1/8 1/16) z)))
(cos.f64 (.f64 t (.f64 (fma.f64 y 1/8 1/16) z)))
(cos.f64 (.f64 1/16 (.f64 t z)))
(+.f64 (cos.f64 (.f64 1/16 (.f64 t z))) (.f64 -1/8 (.f64 y (.f64 t (.f64 z (sin.f64 (.f64 1/16 (.f64 t z))))))))
(+.f64 (cos.f64 (.f64 1/16 (.f64 t z))) (+.f64 (.f64 -1/128 (.f64 (cos.f64 (.f64 1/16 (.f64 t z))) (.f64 (pow.f64 y 2) (.f64 (pow.f64 t 2) (pow.f64 z 2))))) (.f64 -1/8 (.f64 y (.f64 t (.f64 z (sin.f64 (.f64 1/16 (.f64 t z)))))))))
(+.f64 (cos.f64 (.f64 1/16 (.f64 t z))) (+.f64 (.f64 1/3072 (.f64 (pow.f64 y 3) (.f64 (pow.f64 t 3) (.f64 (pow.f64 z 3) (sin.f64 (.f64 1/16 (.f64 t z))))))) (+.f64 (.f64 -1/128 (.f64 (cos.f64 (.f64 1/16 (.f64 t z))) (.f64 (pow.f64 y 2) (.f64 (pow.f64 t 2) (pow.f64 z 2))))) (.f64 -1/8 (.f64 y (.f64 t (.f64 z (sin.f64 (.f64 1/16 (.f64 t z))))))))))
(cos.f64 (.f64 t (.f64 (fma.f64 y 1/8 1/16) z)))
(cos.f64 (.f64 t (.f64 (fma.f64 y 1/8 1/16) z)))
(cos.f64 (.f64 t (.f64 (fma.f64 y 1/8 1/16) z)))
(cos.f64 (.f64 t (.f64 (fma.f64 y 1/8 1/16) z)))
(cos.f64 (.f64 t (.f64 (fma.f64 y 1/8 1/16) z)))
(cos.f64 (.f64 t (.f64 (fma.f64 y 1/8 1/16) z)))
(cos.f64 (.f64 t (.f64 (fma.f64 y 1/8 1/16) z)))
(cos.f64 (.f64 t (.f64 (fma.f64 y 1/8 1/16) z)))
(.f64 t (.f64 b (+.f64 1/16 (*.f64 1/8 a))))
(.f64 t (.f64 b (+.f64 1/16 (*.f64 1/8 a))))
(.f64 t (.f64 b (+.f64 1/16 (*.f64 1/8 a))))
(.f64 t (.f64 b (+.f64 1/16 (*.f64 1/8 a))))
(.f64 t (.f64 b (+.f64 1/16 (*.f64 1/8 a))))
(.f64 t (.f64 b (+.f64 1/16 (*.f64 1/8 a))))
(.f64 t (.f64 b (+.f64 1/16 (*.f64 1/8 a))))
(.f64 t (.f64 b (+.f64 1/16 (*.f64 1/8 a))))
(.f64 t (.f64 b (+.f64 1/16 (*.f64 1/8 a))))
(.f64 t (.f64 b (+.f64 1/16 (*.f64 1/8 a))))
(.f64 t (.f64 b (+.f64 1/16 (*.f64 1/8 a))))
(.f64 t (.f64 b (+.f64 1/16 (*.f64 1/8 a))))
(.f64 t (.f64 b (+.f64 1/16 (*.f64 1/8 a))))
(.f64 t (.f64 b (+.f64 1/16 (*.f64 1/8 a))))
(.f64 t (.f64 b (+.f64 1/16 (*.f64 1/8 a))))
(.f64 t (.f64 b (+.f64 1/16 (*.f64 1/8 a))))
(.f64 t (.f64 b (+.f64 1/16 (*.f64 1/8 a))))
(.f64 t (.f64 b (+.f64 1/16 (*.f64 1/8 a))))
(.f64 t (.f64 b (+.f64 1/16 (*.f64 1/8 a))))
(.f64 t (.f64 b (+.f64 1/16 (*.f64 1/8 a))))
(.f64 t (.f64 b (+.f64 1/16 (*.f64 1/8 a))))
(.f64 t (.f64 b (+.f64 1/16 (*.f64 1/8 a))))
(.f64 t (.f64 b (+.f64 1/16 (*.f64 1/8 a))))
(.f64 t (.f64 b (+.f64 1/16 (*.f64 1/8 a))))
(.f64 1/16 (.f64 t b))
(+.f64 (.f64 1/8 (.f64 a (.f64 t b))) (.f64 1/16 (*.f64 t b)))
(+.f64 (.f64 1/8 (.f64 a (.f64 t b))) (.f64 1/16 (*.f64 t b)))
(+.f64 (.f64 1/8 (.f64 a (.f64 t b))) (.f64 1/16 (*.f64 t b)))
(.f64 1/8 (.f64 a (*.f64 t b)))
(+.f64 (.f64 1/16 (.f64 t b)) (.f64 1/8 (.f64 a (*.f64 t b))))
(+.f64 (.f64 1/16 (.f64 t b)) (.f64 1/8 (.f64 a (*.f64 t b))))
(+.f64 (.f64 1/16 (.f64 t b)) (.f64 1/8 (.f64 a (*.f64 t b))))
(.f64 1/8 (.f64 a (*.f64 t b)))
(+.f64 (.f64 1/16 (.f64 t b)) (.f64 1/8 (.f64 a (*.f64 t b))))
(+.f64 (.f64 1/16 (.f64 t b)) (.f64 1/8 (.f64 a (*.f64 t b))))
(+.f64 (.f64 1/16 (.f64 t b)) (.f64 1/8 (.f64 a (*.f64 t b))))
(.f64 t (.f64 (+.f64 1/16 (*.f64 1/8 y)) z))
(.f64 t (.f64 (+.f64 1/16 (*.f64 1/8 y)) z))
(.f64 t (.f64 (+.f64 1/16 (*.f64 1/8 y)) z))
(.f64 t (.f64 (+.f64 1/16 (*.f64 1/8 y)) z))
(.f64 t (.f64 (+.f64 1/16 (*.f64 1/8 y)) z))
(.f64 t (.f64 (+.f64 1/16 (*.f64 1/8 y)) z))
(.f64 t (.f64 (+.f64 1/16 (*.f64 1/8 y)) z))
(.f64 t (.f64 (+.f64 1/16 (*.f64 1/8 y)) z))
(.f64 t (.f64 (+.f64 1/16 (*.f64 1/8 y)) z))
(.f64 t (.f64 (+.f64 1/16 (*.f64 1/8 y)) z))
(.f64 t (.f64 (+.f64 1/16 (*.f64 1/8 y)) z))
(.f64 t (.f64 (+.f64 1/16 (*.f64 1/8 y)) z))
(.f64 t (.f64 (+.f64 1/16 (*.f64 1/8 y)) z))
(.f64 t (.f64 (+.f64 1/16 (*.f64 1/8 y)) z))
(.f64 t (.f64 (+.f64 1/16 (*.f64 1/8 y)) z))
(.f64 t (.f64 (+.f64 1/16 (*.f64 1/8 y)) z))
(.f64 t (.f64 (+.f64 1/16 (*.f64 1/8 y)) z))
(.f64 t (.f64 (+.f64 1/16 (*.f64 1/8 y)) z))
(.f64 t (.f64 (+.f64 1/16 (*.f64 1/8 y)) z))
(.f64 t (.f64 (+.f64 1/16 (*.f64 1/8 y)) z))
(.f64 t (.f64 (+.f64 1/16 (*.f64 1/8 y)) z))
(.f64 t (.f64 (+.f64 1/16 (*.f64 1/8 y)) z))
(.f64 t (.f64 (+.f64 1/16 (*.f64 1/8 y)) z))
(.f64 t (.f64 (+.f64 1/16 (*.f64 1/8 y)) z))
(.f64 1/16 (.f64 t z))
(+.f64 (.f64 1/16 (.f64 t z)) (.f64 1/8 (.f64 y (*.f64 t z))))
(+.f64 (.f64 1/16 (.f64 t z)) (.f64 1/8 (.f64 y (*.f64 t z))))
(+.f64 (.f64 1/16 (.f64 t z)) (.f64 1/8 (.f64 y (*.f64 t z))))
(.f64 1/8 (.f64 y (*.f64 t z)))
(+.f64 (.f64 1/16 (.f64 t z)) (.f64 1/8 (.f64 y (*.f64 t z))))
(+.f64 (.f64 1/16 (.f64 t z)) (.f64 1/8 (.f64 y (*.f64 t z))))
(+.f64 (.f64 1/16 (.f64 t z)) (.f64 1/8 (.f64 y (*.f64 t z))))
(.f64 1/8 (.f64 y (*.f64 t z)))
(+.f64 (.f64 1/16 (.f64 t z)) (.f64 1/8 (.f64 y (*.f64 t z))))
(+.f64 (.f64 1/16 (.f64 t z)) (.f64 1/8 (.f64 y (*.f64 t z))))
(+.f64 (.f64 1/16 (.f64 t z)) (.f64 1/8 (.f64 y (*.f64 t z))))

Outputs
1
(+.f64 1 (.f64 -1/2 (.f64 (pow.f64 t 2) (.f64 (pow.f64 b 2) (pow.f64 (+.f64 1/16 (.f64 1/8 a)) 2)))))
(+.f64 1 (.f64 -1/2 (.f64 (.f64 (.f64 t t) (*.f64 b b)) (pow.f64 (fma.f64 a 1/8 1/16) 2))))
(fma.f64 -1/2 (.f64 (.f64 b b) (.f64 (.f64 t t) (pow.f64 (fma.f64 1/8 a 1/16) 2))) 1)
(+.f64 (.f64 1/24 (.f64 (pow.f64 t 4) (.f64 (pow.f64 b 4) (pow.f64 (+.f64 1/16 (.f64 1/8 a)) 4)))) (+.f64 1 (.f64 -1/2 (.f64 (pow.f64 t 2) (.f64 (pow.f64 b 2) (pow.f64 (+.f64 1/16 (.f64 1/8 a)) 2))))))
(fma.f64 1/24 (.f64 (pow.f64 t 4) (.f64 (pow.f64 b 4) (pow.f64 (fma.f64 a 1/8 1/16) 4))) (+.f64 1 (.f64 -1/2 (.f64 (.f64 (.f64 t t) (*.f64 b b)) (pow.f64 (fma.f64 a 1/8 1/16) 2)))))
(fma.f64 1/24 (.f64 (pow.f64 t 4) (.f64 (pow.f64 b 4) (pow.f64 (fma.f64 1/8 a 1/16) 4))) (fma.f64 -1/2 (.f64 (.f64 b b) (.f64 (.f64 t t) (pow.f64 (fma.f64 1/8 a 1/16) 2))) 1))
(fma.f64 (.f64 (.f64 t t) (.f64 b b)) (.f64 -1/2 (pow.f64 (fma.f64 1/8 a 1/16) 2)) (fma.f64 (.f64 (pow.f64 t 4) (pow.f64 b 4)) (.f64 1/24 (pow.f64 (fma.f64 1/8 a 1/16) 4)) 1))
(+.f64 (.f64 -1/720 (.f64 (pow.f64 t 6) (.f64 (pow.f64 b 6) (pow.f64 (+.f64 1/16 (.f64 1/8 a)) 6)))) (+.f64 (.f64 1/24 (.f64 (pow.f64 t 4) (.f64 (pow.f64 b 4) (pow.f64 (+.f64 1/16 (.f64 1/8 a)) 4)))) (+.f64 1 (.f64 -1/2 (.f64 (pow.f64 t 2) (.f64 (pow.f64 b 2) (pow.f64 (+.f64 1/16 (.f64 1/8 a)) 2)))))))
(fma.f64 -1/720 (.f64 (pow.f64 t 6) (.f64 (pow.f64 b 6) (pow.f64 (fma.f64 a 1/8 1/16) 6))) (fma.f64 1/24 (.f64 (pow.f64 t 4) (.f64 (pow.f64 b 4) (pow.f64 (fma.f64 a 1/8 1/16) 4))) (+.f64 1 (.f64 -1/2 (.f64 (.f64 (.f64 t t) (*.f64 b b)) (pow.f64 (fma.f64 a 1/8 1/16) 2))))))
(fma.f64 -1/720 (.f64 (pow.f64 b 6) (.f64 (pow.f64 t 6) (pow.f64 (fma.f64 1/8 a 1/16) 6))) (fma.f64 1/24 (.f64 (pow.f64 t 4) (.f64 (pow.f64 b 4) (pow.f64 (fma.f64 1/8 a 1/16) 4))) (fma.f64 -1/2 (.f64 (.f64 b b) (.f64 (.f64 t t) (pow.f64 (fma.f64 1/8 a 1/16) 2))) 1)))
(fma.f64 1/24 (.f64 (pow.f64 t 4) (.f64 (pow.f64 b 4) (pow.f64 (fma.f64 1/8 a 1/16) 4))) (fma.f64 (.f64 (.f64 t t) (.f64 b b)) (.f64 -1/2 (pow.f64 (fma.f64 1/8 a 1/16) 2)) (fma.f64 (.f64 (pow.f64 t 6) (pow.f64 (fma.f64 1/8 a 1/16) 6)) (.f64 -1/720 (pow.f64 b 6)) 1)))
(cos.f64 (.f64 t (.f64 (fma.f64 a 1/8 1/16) b)))
(cos.f64 (.f64 (.f64 t b) (fma.f64 a 1/8 1/16)))
(cos.f64 (.f64 t (.f64 b (fma.f64 1/8 a 1/16))))
(cos.f64 (.f64 (fma.f64 1/8 a 1/16) (.f64 t b)))
(cos.f64 (.f64 t (.f64 (fma.f64 a 1/8 1/16) b)))
(cos.f64 (.f64 (.f64 t b) (fma.f64 a 1/8 1/16)))
(cos.f64 (.f64 t (.f64 b (fma.f64 1/8 a 1/16))))
(cos.f64 (.f64 (fma.f64 1/8 a 1/16) (.f64 t b)))
(cos.f64 (.f64 t (.f64 (fma.f64 a 1/8 1/16) b)))
(cos.f64 (.f64 (.f64 t b) (fma.f64 a 1/8 1/16)))
(cos.f64 (.f64 t (.f64 b (fma.f64 1/8 a 1/16))))
(cos.f64 (.f64 (fma.f64 1/8 a 1/16) (.f64 t b)))
(cos.f64 (.f64 t (.f64 (fma.f64 a 1/8 1/16) b)))
(cos.f64 (.f64 (.f64 t b) (fma.f64 a 1/8 1/16)))
(cos.f64 (.f64 t (.f64 b (fma.f64 1/8 a 1/16))))
(cos.f64 (.f64 (fma.f64 1/8 a 1/16) (.f64 t b)))
1
(+.f64 1 (.f64 -1/2 (.f64 (pow.f64 t 2) (.f64 (pow.f64 (+.f64 1/16 (.f64 1/8 a)) 2) (pow.f64 b 2)))))
(+.f64 1 (.f64 -1/2 (.f64 (.f64 (.f64 t t) (*.f64 b b)) (pow.f64 (fma.f64 a 1/8 1/16) 2))))
(fma.f64 -1/2 (.f64 (.f64 b b) (.f64 (.f64 t t) (pow.f64 (fma.f64 1/8 a 1/16) 2))) 1)
(+.f64 (.f64 1/24 (.f64 (pow.f64 t 4) (.f64 (pow.f64 (+.f64 1/16 (.f64 1/8 a)) 4) (pow.f64 b 4)))) (+.f64 1 (.f64 -1/2 (.f64 (pow.f64 t 2) (.f64 (pow.f64 (+.f64 1/16 (.f64 1/8 a)) 2) (pow.f64 b 2))))))
(fma.f64 1/24 (.f64 (pow.f64 t 4) (.f64 (pow.f64 b 4) (pow.f64 (fma.f64 a 1/8 1/16) 4))) (+.f64 1 (.f64 -1/2 (.f64 (.f64 (.f64 t t) (*.f64 b b)) (pow.f64 (fma.f64 a 1/8 1/16) 2)))))
(fma.f64 1/24 (.f64 (pow.f64 t 4) (.f64 (pow.f64 b 4) (pow.f64 (fma.f64 1/8 a 1/16) 4))) (fma.f64 -1/2 (.f64 (.f64 b b) (.f64 (.f64 t t) (pow.f64 (fma.f64 1/8 a 1/16) 2))) 1))
(fma.f64 (.f64 (.f64 t t) (.f64 b b)) (.f64 -1/2 (pow.f64 (fma.f64 1/8 a 1/16) 2)) (fma.f64 (.f64 (pow.f64 t 4) (pow.f64 b 4)) (.f64 1/24 (pow.f64 (fma.f64 1/8 a 1/16) 4)) 1))
(+.f64 (.f64 1/24 (.f64 (pow.f64 t 4) (.f64 (pow.f64 (+.f64 1/16 (.f64 1/8 a)) 4) (pow.f64 b 4)))) (+.f64 1 (+.f64 (.f64 -1/2 (.f64 (pow.f64 t 2) (.f64 (pow.f64 (+.f64 1/16 (.f64 1/8 a)) 2) (pow.f64 b 2)))) (.f64 -1/720 (.f64 (pow.f64 t 6) (.f64 (pow.f64 (+.f64 1/16 (.f64 1/8 a)) 6) (pow.f64 b 6)))))))
(fma.f64 -1/720 (.f64 (pow.f64 t 6) (.f64 (pow.f64 b 6) (pow.f64 (fma.f64 a 1/8 1/16) 6))) (fma.f64 1/24 (.f64 (pow.f64 t 4) (.f64 (pow.f64 b 4) (pow.f64 (fma.f64 a 1/8 1/16) 4))) (+.f64 1 (.f64 -1/2 (.f64 (.f64 (.f64 t t) (*.f64 b b)) (pow.f64 (fma.f64 a 1/8 1/16) 2))))))
(fma.f64 -1/720 (.f64 (pow.f64 b 6) (.f64 (pow.f64 t 6) (pow.f64 (fma.f64 1/8 a 1/16) 6))) (fma.f64 1/24 (.f64 (pow.f64 t 4) (.f64 (pow.f64 b 4) (pow.f64 (fma.f64 1/8 a 1/16) 4))) (fma.f64 -1/2 (.f64 (.f64 b b) (.f64 (.f64 t t) (pow.f64 (fma.f64 1/8 a 1/16) 2))) 1)))
(fma.f64 1/24 (.f64 (pow.f64 t 4) (.f64 (pow.f64 b 4) (pow.f64 (fma.f64 1/8 a 1/16) 4))) (fma.f64 (.f64 (.f64 t t) (.f64 b b)) (.f64 -1/2 (pow.f64 (fma.f64 1/8 a 1/16) 2)) (fma.f64 (.f64 (pow.f64 t 6) (pow.f64 (fma.f64 1/8 a 1/16) 6)) (.f64 -1/720 (pow.f64 b 6)) 1)))
(cos.f64 (.f64 t (.f64 (fma.f64 a 1/8 1/16) b)))
(cos.f64 (.f64 (.f64 t b) (fma.f64 a 1/8 1/16)))
(cos.f64 (.f64 t (.f64 b (fma.f64 1/8 a 1/16))))
(cos.f64 (.f64 (fma.f64 1/8 a 1/16) (.f64 t b)))
(cos.f64 (.f64 t (.f64 (fma.f64 a 1/8 1/16) b)))
(cos.f64 (.f64 (.f64 t b) (fma.f64 a 1/8 1/16)))
(cos.f64 (.f64 t (.f64 b (fma.f64 1/8 a 1/16))))
(cos.f64 (.f64 (fma.f64 1/8 a 1/16) (.f64 t b)))
(cos.f64 (.f64 t (.f64 (fma.f64 a 1/8 1/16) b)))
(cos.f64 (.f64 (.f64 t b) (fma.f64 a 1/8 1/16)))
(cos.f64 (.f64 t (.f64 b (fma.f64 1/8 a 1/16))))
(cos.f64 (.f64 (fma.f64 1/8 a 1/16) (.f64 t b)))
(cos.f64 (.f64 t (.f64 (fma.f64 a 1/8 1/16) b)))
(cos.f64 (.f64 (.f64 t b) (fma.f64 a 1/8 1/16)))
(cos.f64 (.f64 t (.f64 b (fma.f64 1/8 a 1/16))))
(cos.f64 (.f64 (fma.f64 1/8 a 1/16) (.f64 t b)))
(cos.f64 (.f64 1/16 (.f64 t b)))
(cos.f64 (.f64 b (.f64 t 1/16)))
(+.f64 (cos.f64 (.f64 1/16 (.f64 t b))) (.f64 -1/8 (.f64 (sin.f64 (.f64 1/16 (.f64 t b))) (.f64 a (.f64 t b)))))
(fma.f64 -1/8 (.f64 a (.f64 (.f64 t b) (sin.f64 (.f64 b (.f64 t 1/16))))) (cos.f64 (.f64 b (*.f64 t 1/16))))
(fma.f64 (sin.f64 (.f64 b (.f64 t 1/16))) (.f64 -1/8 (.f64 t (.f64 b a))) (cos.f64 (.f64 b (*.f64 t 1/16))))
(+.f64 (cos.f64 (.f64 1/16 (.f64 t b))) (+.f64 (.f64 -1/8 (.f64 (sin.f64 (.f64 1/16 (.f64 t b))) (.f64 a (.f64 t b)))) (.f64 -1/128 (.f64 (cos.f64 (.f64 1/16 (.f64 t b))) (.f64 (pow.f64 a 2) (.f64 (pow.f64 t 2) (pow.f64 b 2)))))))
(+.f64 (cos.f64 (.f64 1/16 (.f64 t b))) (fma.f64 -1/8 (.f64 (sin.f64 (.f64 1/16 (.f64 t b))) (.f64 a (.f64 t b))) (.f64 -1/128 (.f64 (cos.f64 (.f64 1/16 (.f64 t b))) (.f64 (.f64 (.f64 t t) (.f64 b b)) (.f64 a a))))))
(+.f64 (cos.f64 (.f64 b (.f64 t 1/16))) (fma.f64 -1/8 (.f64 a (.f64 (.f64 t b) (sin.f64 (.f64 b (.f64 t 1/16))))) (.f64 (cos.f64 (.f64 b (.f64 t 1/16))) (.f64 (.f64 (.f64 t t) (.f64 (.f64 b b) (.f64 a a))) -1/128))))
(fma.f64 -1/8 (.f64 b (.f64 t (.f64 a (sin.f64 (.f64 b (.f64 t 1/16)))))) (.f64 (+.f64 (.f64 -1/128 (.f64 (.f64 t t) (.f64 (.f64 b b) (.f64 a a)))) 1) (cos.f64 (.f64 b (.f64 t 1/16)))))
(fma.f64 -1/8 (.f64 b (.f64 t (.f64 a (sin.f64 (.f64 b (.f64 t 1/16)))))) (.f64 (+.f64 1 (.f64 -1/128 (.f64 (.f64 t t) (.f64 (.f64 b b) (.f64 a a))))) (cos.f64 (.f64 b (.f64 t 1/16)))))
(+.f64 (cos.f64 (.f64 1/16 (.f64 t b))) (+.f64 (.f64 -1/8 (.f64 (sin.f64 (.f64 1/16 (.f64 t b))) (.f64 a (.f64 t b)))) (+.f64 (.f64 -1/128 (.f64 (cos.f64 (.f64 1/16 (.f64 t b))) (.f64 (pow.f64 a 2) (.f64 (pow.f64 t 2) (pow.f64 b 2))))) (.f64 1/3072 (.f64 (sin.f64 (.f64 1/16 (.f64 t b))) (.f64 (pow.f64 a 3) (.f64 (pow.f64 t 3) (pow.f64 b 3))))))))
(+.f64 (cos.f64 (.f64 1/16 (.f64 t b))) (fma.f64 -1/8 (.f64 (sin.f64 (.f64 1/16 (.f64 t b))) (.f64 a (.f64 t b))) (fma.f64 -1/128 (.f64 (cos.f64 (.f64 1/16 (.f64 t b))) (.f64 (.f64 (.f64 t t) (.f64 b b)) (.f64 a a))) (.f64 1/3072 (.f64 (sin.f64 (.f64 1/16 (.f64 t b))) (.f64 (pow.f64 a 3) (*.f64 (pow.f64 t 3) (pow.f64 b 3))))))))
(+.f64 (cos.f64 (.f64 b (.f64 t 1/16))) (fma.f64 -1/8 (.f64 a (.f64 (.f64 t b) (sin.f64 (.f64 b (.f64 t 1/16))))) (fma.f64 -1/128 (.f64 (cos.f64 (.f64 b (.f64 t 1/16))) (.f64 (.f64 t t) (.f64 (.f64 b b) (.f64 a a)))) (.f64 (.f64 (pow.f64 a 3) (.f64 (pow.f64 t 3) (pow.f64 b 3))) (.f64 (sin.f64 (.f64 b (*.f64 t 1/16))) 1/3072)))))
(+.f64 (.f64 (sin.f64 (.f64 b (.f64 t 1/16))) (+.f64 (.f64 -1/8 (.f64 t (.f64 b a))) (.f64 1/3072 (.f64 (pow.f64 a 3) (.f64 (pow.f64 t 3) (pow.f64 b 3)))))) (.f64 (+.f64 (.f64 -1/128 (.f64 (.f64 t t) (.f64 (.f64 b b) (.f64 a a)))) 1) (cos.f64 (.f64 b (.f64 t 1/16)))))
(+.f64 (.f64 (sin.f64 (.f64 b (.f64 t 1/16))) (+.f64 (.f64 -1/8 (.f64 t (.f64 b a))) (.f64 1/3072 (.f64 (pow.f64 a 3) (.f64 (pow.f64 t 3) (pow.f64 b 3)))))) (.f64 (+.f64 1 (.f64 -1/128 (.f64 (.f64 t t) (.f64 (.f64 b b) (.f64 a a))))) (cos.f64 (.f64 b (.f64 t 1/16)))))
1
(+.f64 (.f64 -1/2 (.f64 (pow.f64 t 2) (.f64 (pow.f64 (+.f64 1/16 (.f64 1/8 y)) 2) (pow.f64 z 2)))) 1)
(fma.f64 -1/2 (.f64 (.f64 t t) (.f64 (pow.f64 (fma.f64 y 1/8 1/16) 2) (.f64 z z))) 1)
(fma.f64 -1/2 (.f64 (.f64 z z) (.f64 (.f64 t t) (pow.f64 (fma.f64 1/8 y 1/16) 2))) 1)
(fma.f64 (.f64 t (.f64 t (pow.f64 (fma.f64 1/8 y 1/16) 2))) (.f64 -1/2 (.f64 z z)) 1)
(+.f64 (.f64 1/24 (.f64 (pow.f64 t 4) (.f64 (pow.f64 (+.f64 1/16 (.f64 1/8 y)) 4) (pow.f64 z 4)))) (+.f64 (.f64 -1/2 (.f64 (pow.f64 t 2) (.f64 (pow.f64 (+.f64 1/16 (.f64 1/8 y)) 2) (pow.f64 z 2)))) 1))
(fma.f64 1/24 (.f64 (pow.f64 t 4) (.f64 (pow.f64 (fma.f64 y 1/8 1/16) 4) (pow.f64 z 4))) (fma.f64 -1/2 (.f64 (.f64 t t) (.f64 (pow.f64 (fma.f64 y 1/8 1/16) 2) (.f64 z z))) 1))
(fma.f64 1/24 (.f64 (pow.f64 t 4) (.f64 (pow.f64 (fma.f64 1/8 y 1/16) 4) (pow.f64 z 4))) (fma.f64 -1/2 (.f64 (.f64 z z) (.f64 (.f64 t t) (pow.f64 (fma.f64 1/8 y 1/16) 2))) 1))
(fma.f64 (.f64 t (.f64 t (pow.f64 (fma.f64 1/8 y 1/16) 2))) (.f64 -1/2 (.f64 z z)) (fma.f64 (.f64 (pow.f64 z 4) (.f64 1/24 (pow.f64 t 4))) (pow.f64 (fma.f64 1/8 y 1/16) 4) 1))
(+.f64 (.f64 1/24 (.f64 (pow.f64 t 4) (.f64 (pow.f64 (+.f64 1/16 (.f64 1/8 y)) 4) (pow.f64 z 4)))) (+.f64 (.f64 -1/2 (.f64 (pow.f64 t 2) (.f64 (pow.f64 (+.f64 1/16 (.f64 1/8 y)) 2) (pow.f64 z 2)))) (+.f64 1 (.f64 -1/720 (.f64 (pow.f64 t 6) (.f64 (pow.f64 (+.f64 1/16 (.f64 1/8 y)) 6) (pow.f64 z 6)))))))
(fma.f64 1/24 (.f64 (pow.f64 t 4) (.f64 (pow.f64 (fma.f64 y 1/8 1/16) 4) (pow.f64 z 4))) (fma.f64 -1/2 (.f64 (.f64 t t) (.f64 (pow.f64 (fma.f64 y 1/8 1/16) 2) (.f64 z z))) (+.f64 1 (.f64 -1/720 (.f64 (pow.f64 t 6) (*.f64 (pow.f64 (fma.f64 y 1/8 1/16) 6) (pow.f64 z 6)))))))
(fma.f64 1/24 (.f64 (pow.f64 t 4) (.f64 (pow.f64 (fma.f64 1/8 y 1/16) 4) (pow.f64 z 4))) (fma.f64 -1/2 (.f64 (.f64 z z) (.f64 (.f64 t t) (pow.f64 (fma.f64 1/8 y 1/16) 2))) (fma.f64 -1/720 (.f64 (pow.f64 t 6) (.f64 (pow.f64 (fma.f64 1/8 y 1/16) 6) (pow.f64 z 6))) 1)))
(fma.f64 (.f64 (pow.f64 (fma.f64 1/8 y 1/16) 4) (pow.f64 z 4)) (.f64 1/24 (pow.f64 t 4)) (fma.f64 (.f64 (pow.f64 (fma.f64 1/8 y 1/16) 2) (.f64 z z)) (.f64 -1/2 (.f64 t t)) (fma.f64 (.f64 (pow.f64 t 6) (pow.f64 (fma.f64 1/8 y 1/16) 6)) (.f64 -1/720 (pow.f64 z 6)) 1)))
(fma.f64 -1/2 (.f64 (.f64 t t) (.f64 (pow.f64 (fma.f64 1/8 y 1/16) 2) (.f64 z z))) (fma.f64 1/24 (.f64 (pow.f64 t 4) (.f64 (pow.f64 (fma.f64 1/8 y 1/16) 4) (pow.f64 z 4))) (fma.f64 (.f64 (pow.f64 t 6) (pow.f64 (fma.f64 1/8 y 1/16) 6)) (.f64 -1/720 (pow.f64 z 6)) 1)))
(cos.f64 (.f64 t (.f64 (fma.f64 y 1/8 1/16) z)))
(cos.f64 (.f64 t (.f64 (fma.f64 1/8 y 1/16) z)))
(cos.f64 (.f64 (fma.f64 1/8 y 1/16) (.f64 t z)))
(cos.f64 (.f64 t (.f64 (fma.f64 y 1/8 1/16) z)))
(cos.f64 (.f64 t (.f64 (fma.f64 1/8 y 1/16) z)))
(cos.f64 (.f64 (fma.f64 1/8 y 1/16) (.f64 t z)))
(cos.f64 (.f64 t (.f64 (fma.f64 y 1/8 1/16) z)))
(cos.f64 (.f64 t (.f64 (fma.f64 1/8 y 1/16) z)))
(cos.f64 (.f64 (fma.f64 1/8 y 1/16) (.f64 t z)))
(cos.f64 (.f64 t (.f64 (fma.f64 y 1/8 1/16) z)))
(cos.f64 (.f64 t (.f64 (fma.f64 1/8 y 1/16) z)))
(cos.f64 (.f64 (fma.f64 1/8 y 1/16) (.f64 t z)))
(cos.f64 (.f64 t (.f64 (fma.f64 y 1/8 1/16) z)))
(cos.f64 (.f64 t (.f64 (fma.f64 1/8 y 1/16) z)))
(cos.f64 (.f64 (fma.f64 1/8 y 1/16) (.f64 t z)))
(cos.f64 (.f64 t (.f64 (fma.f64 y 1/8 1/16) z)))
(cos.f64 (.f64 t (.f64 (fma.f64 1/8 y 1/16) z)))
(cos.f64 (.f64 (fma.f64 1/8 y 1/16) (.f64 t z)))
(cos.f64 (.f64 t (.f64 (fma.f64 y 1/8 1/16) z)))
(cos.f64 (.f64 t (.f64 (fma.f64 1/8 y 1/16) z)))
(cos.f64 (.f64 (fma.f64 1/8 y 1/16) (.f64 t z)))
(cos.f64 (.f64 t (.f64 (fma.f64 y 1/8 1/16) z)))
(cos.f64 (.f64 t (.f64 (fma.f64 1/8 y 1/16) z)))
(cos.f64 (.f64 (fma.f64 1/8 y 1/16) (.f64 t z)))
1
(+.f64 (.f64 -1/2 (.f64 (pow.f64 t 2) (.f64 (pow.f64 (+.f64 1/16 (.f64 1/8 y)) 2) (pow.f64 z 2)))) 1)
(fma.f64 -1/2 (.f64 (.f64 t t) (.f64 (pow.f64 (fma.f64 y 1/8 1/16) 2) (.f64 z z))) 1)
(fma.f64 -1/2 (.f64 (.f64 z z) (.f64 (.f64 t t) (pow.f64 (fma.f64 1/8 y 1/16) 2))) 1)
(fma.f64 (.f64 t (.f64 t (pow.f64 (fma.f64 1/8 y 1/16) 2))) (.f64 -1/2 (.f64 z z)) 1)
(+.f64 (.f64 1/24 (.f64 (pow.f64 t 4) (.f64 (pow.f64 (+.f64 1/16 (.f64 1/8 y)) 4) (pow.f64 z 4)))) (+.f64 (.f64 -1/2 (.f64 (pow.f64 t 2) (.f64 (pow.f64 (+.f64 1/16 (.f64 1/8 y)) 2) (pow.f64 z 2)))) 1))
(fma.f64 1/24 (.f64 (pow.f64 t 4) (.f64 (pow.f64 (fma.f64 y 1/8 1/16) 4) (pow.f64 z 4))) (fma.f64 -1/2 (.f64 (.f64 t t) (.f64 (pow.f64 (fma.f64 y 1/8 1/16) 2) (.f64 z z))) 1))
(fma.f64 1/24 (.f64 (pow.f64 t 4) (.f64 (pow.f64 (fma.f64 1/8 y 1/16) 4) (pow.f64 z 4))) (fma.f64 -1/2 (.f64 (.f64 z z) (.f64 (.f64 t t) (pow.f64 (fma.f64 1/8 y 1/16) 2))) 1))
(fma.f64 (.f64 t (.f64 t (pow.f64 (fma.f64 1/8 y 1/16) 2))) (.f64 -1/2 (.f64 z z)) (fma.f64 (.f64 (pow.f64 z 4) (.f64 1/24 (pow.f64 t 4))) (pow.f64 (fma.f64 1/8 y 1/16) 4) 1))
(+.f64 (.f64 1/24 (.f64 (pow.f64 t 4) (.f64 (pow.f64 (+.f64 1/16 (.f64 1/8 y)) 4) (pow.f64 z 4)))) (+.f64 (.f64 -1/2 (.f64 (pow.f64 t 2) (.f64 (pow.f64 (+.f64 1/16 (.f64 1/8 y)) 2) (pow.f64 z 2)))) (+.f64 1 (.f64 -1/720 (.f64 (pow.f64 t 6) (.f64 (pow.f64 (+.f64 1/16 (.f64 1/8 y)) 6) (pow.f64 z 6)))))))
(fma.f64 1/24 (.f64 (pow.f64 t 4) (.f64 (pow.f64 (fma.f64 y 1/8 1/16) 4) (pow.f64 z 4))) (fma.f64 -1/2 (.f64 (.f64 t t) (.f64 (pow.f64 (fma.f64 y 1/8 1/16) 2) (.f64 z z))) (+.f64 1 (.f64 -1/720 (.f64 (pow.f64 t 6) (*.f64 (pow.f64 (fma.f64 y 1/8 1/16) 6) (pow.f64 z 6)))))))
(fma.f64 1/24 (.f64 (pow.f64 t 4) (.f64 (pow.f64 (fma.f64 1/8 y 1/16) 4) (pow.f64 z 4))) (fma.f64 -1/2 (.f64 (.f64 z z) (.f64 (.f64 t t) (pow.f64 (fma.f64 1/8 y 1/16) 2))) (fma.f64 -1/720 (.f64 (pow.f64 t 6) (.f64 (pow.f64 (fma.f64 1/8 y 1/16) 6) (pow.f64 z 6))) 1)))
(fma.f64 (.f64 (pow.f64 (fma.f64 1/8 y 1/16) 4) (pow.f64 z 4)) (.f64 1/24 (pow.f64 t 4)) (fma.f64 (.f64 (pow.f64 (fma.f64 1/8 y 1/16) 2) (.f64 z z)) (.f64 -1/2 (.f64 t t)) (fma.f64 (.f64 (pow.f64 t 6) (pow.f64 (fma.f64 1/8 y 1/16) 6)) (.f64 -1/720 (pow.f64 z 6)) 1)))
(fma.f64 -1/2 (.f64 (.f64 t t) (.f64 (pow.f64 (fma.f64 1/8 y 1/16) 2) (.f64 z z))) (fma.f64 1/24 (.f64 (pow.f64 t 4) (.f64 (pow.f64 (fma.f64 1/8 y 1/16) 4) (pow.f64 z 4))) (fma.f64 (.f64 (pow.f64 t 6) (pow.f64 (fma.f64 1/8 y 1/16) 6)) (.f64 -1/720 (pow.f64 z 6)) 1)))
(cos.f64 (.f64 t (.f64 (fma.f64 y 1/8 1/16) z)))
(cos.f64 (.f64 t (.f64 (fma.f64 1/8 y 1/16) z)))
(cos.f64 (.f64 (fma.f64 1/8 y 1/16) (.f64 t z)))
(cos.f64 (.f64 t (.f64 (fma.f64 y 1/8 1/16) z)))
(cos.f64 (.f64 t (.f64 (fma.f64 1/8 y 1/16) z)))
(cos.f64 (.f64 (fma.f64 1/8 y 1/16) (.f64 t z)))
(cos.f64 (.f64 t (.f64 (fma.f64 y 1/8 1/16) z)))
(cos.f64 (.f64 t (.f64 (fma.f64 1/8 y 1/16) z)))
(cos.f64 (.f64 (fma.f64 1/8 y 1/16) (.f64 t z)))
(cos.f64 (.f64 t (.f64 (fma.f64 y 1/8 1/16) z)))
(cos.f64 (.f64 t (.f64 (fma.f64 1/8 y 1/16) z)))
(cos.f64 (.f64 (fma.f64 1/8 y 1/16) (.f64 t z)))
(cos.f64 (.f64 t (.f64 (fma.f64 y 1/8 1/16) z)))
(cos.f64 (.f64 t (.f64 (fma.f64 1/8 y 1/16) z)))
(cos.f64 (.f64 (fma.f64 1/8 y 1/16) (.f64 t z)))
(cos.f64 (.f64 t (.f64 (fma.f64 y 1/8 1/16) z)))
(cos.f64 (.f64 t (.f64 (fma.f64 1/8 y 1/16) z)))
(cos.f64 (.f64 (fma.f64 1/8 y 1/16) (.f64 t z)))
(cos.f64 (.f64 t (.f64 (fma.f64 y 1/8 1/16) z)))
(cos.f64 (.f64 t (.f64 (fma.f64 1/8 y 1/16) z)))
(cos.f64 (.f64 (fma.f64 1/8 y 1/16) (.f64 t z)))
(cos.f64 (.f64 t (.f64 (fma.f64 y 1/8 1/16) z)))
(cos.f64 (.f64 t (.f64 (fma.f64 1/8 y 1/16) z)))
(cos.f64 (.f64 (fma.f64 1/8 y 1/16) (.f64 t z)))
(cos.f64 (.f64 1/16 (.f64 t z)))
(cos.f64 (.f64 (.f64 1/16 z) t))
(cos.f64 (.f64 t (.f64 1/16 z)))
(+.f64 (cos.f64 (.f64 1/16 (.f64 t z))) (.f64 -1/8 (.f64 y (.f64 t (.f64 z (sin.f64 (.f64 1/16 (.f64 t z))))))))
(fma.f64 -1/8 (.f64 y (.f64 z (.f64 (sin.f64 (.f64 (.f64 1/16 z) t)) t))) (cos.f64 (.f64 (*.f64 1/16 z) t)))
(fma.f64 (.f64 -1/8 (.f64 t y)) (.f64 z (sin.f64 (.f64 t (.f64 1/16 z)))) (cos.f64 (.f64 t (*.f64 1/16 z))))
(+.f64 (cos.f64 (.f64 1/16 (.f64 t z))) (+.f64 (.f64 -1/128 (.f64 (cos.f64 (.f64 1/16 (.f64 t z))) (.f64 (pow.f64 y 2) (.f64 (pow.f64 t 2) (pow.f64 z 2))))) (.f64 -1/8 (.f64 y (.f64 t (.f64 z (sin.f64 (.f64 1/16 (.f64 t z)))))))))
(+.f64 (cos.f64 (.f64 1/16 (.f64 t z))) (fma.f64 -1/128 (.f64 (cos.f64 (.f64 1/16 (.f64 t z))) (.f64 (.f64 (.f64 t t) (.f64 z z)) (.f64 y y))) (.f64 -1/8 (.f64 y (.f64 t (.f64 z (sin.f64 (.f64 1/16 (.f64 t z)))))))))
(+.f64 (cos.f64 (.f64 (.f64 1/16 z) t)) (fma.f64 -1/128 (.f64 (cos.f64 (.f64 (.f64 1/16 z) t)) (.f64 (.f64 t t) (.f64 (.f64 z z) (.f64 y y)))) (.f64 (.f64 z (.f64 (sin.f64 (.f64 (.f64 1/16 z) t)) t)) (.f64 -1/8 y))))
(fma.f64 -1/8 (.f64 t (.f64 y (.f64 z (sin.f64 (.f64 t (.f64 1/16 z)))))) (.f64 (+.f64 (.f64 -1/128 (.f64 (.f64 t t) (.f64 (.f64 z z) (.f64 y y)))) 1) (cos.f64 (.f64 t (.f64 1/16 z)))))
(fma.f64 -1/8 (.f64 t (.f64 y (.f64 z (sin.f64 (.f64 t (.f64 1/16 z)))))) (.f64 (+.f64 1 (.f64 -1/128 (.f64 (.f64 t t) (.f64 (.f64 z z) (.f64 y y))))) (cos.f64 (.f64 t (.f64 1/16 z)))))
(+.f64 (cos.f64 (.f64 1/16 (.f64 t z))) (+.f64 (.f64 1/3072 (.f64 (pow.f64 y 3) (.f64 (pow.f64 t 3) (.f64 (pow.f64 z 3) (sin.f64 (.f64 1/16 (.f64 t z))))))) (+.f64 (.f64 -1/128 (.f64 (cos.f64 (.f64 1/16 (.f64 t z))) (.f64 (pow.f64 y 2) (.f64 (pow.f64 t 2) (pow.f64 z 2))))) (.f64 -1/8 (.f64 y (.f64 t (.f64 z (sin.f64 (.f64 1/16 (.f64 t z))))))))))
(+.f64 (cos.f64 (.f64 1/16 (.f64 t z))) (fma.f64 1/3072 (.f64 (pow.f64 y 3) (.f64 (pow.f64 t 3) (.f64 (sin.f64 (.f64 1/16 (.f64 t z))) (pow.f64 z 3)))) (fma.f64 -1/128 (.f64 (cos.f64 (.f64 1/16 (.f64 t z))) (.f64 (.f64 (.f64 t t) (.f64 z z)) (.f64 y y))) (.f64 -1/8 (.f64 y (.f64 t (.f64 z (sin.f64 (.f64 1/16 (*.f64 t z))))))))))
(+.f64 (cos.f64 (.f64 (.f64 1/16 z) t)) (fma.f64 1/3072 (.f64 (pow.f64 y 3) (.f64 (sin.f64 (.f64 (.f64 1/16 z) t)) (.f64 (pow.f64 t 3) (pow.f64 z 3)))) (fma.f64 -1/128 (.f64 (cos.f64 (.f64 (.f64 1/16 z) t)) (.f64 (.f64 t t) (.f64 (.f64 z z) (.f64 y y)))) (.f64 (.f64 z (.f64 (sin.f64 (.f64 (.f64 1/16 z) t)) t)) (*.f64 -1/8 y)))))
(+.f64 (.f64 (+.f64 (.f64 -1/128 (.f64 (.f64 t t) (.f64 (.f64 z z) (.f64 y y)))) 1) (cos.f64 (.f64 t (.f64 1/16 z)))) (.f64 (sin.f64 (.f64 t (.f64 1/16 z))) (+.f64 (.f64 (.f64 (pow.f64 t 3) (pow.f64 z 3)) (.f64 1/3072 (pow.f64 y 3))) (.f64 (.f64 t z) (.f64 -1/8 y)))))
(+.f64 (.f64 (+.f64 1 (.f64 -1/128 (.f64 (.f64 t t) (.f64 (.f64 z z) (.f64 y y))))) (cos.f64 (.f64 t (.f64 1/16 z)))) (.f64 (sin.f64 (.f64 t (.f64 1/16 z))) (+.f64 (.f64 (.f64 t z) (.f64 -1/8 y)) (.f64 (.f64 (pow.f64 t 3) (pow.f64 z 3)) (.f64 1/3072 (pow.f64 y 3))))))
(cos.f64 (.f64 t (.f64 (fma.f64 y 1/8 1/16) z)))
(cos.f64 (.f64 t (.f64 (fma.f64 1/8 y 1/16) z)))
(cos.f64 (.f64 (fma.f64 1/8 y 1/16) (.f64 t z)))
(cos.f64 (.f64 t (.f64 (fma.f64 y 1/8 1/16) z)))
(cos.f64 (.f64 t (.f64 (fma.f64 1/8 y 1/16) z)))
(cos.f64 (.f64 (fma.f64 1/8 y 1/16) (.f64 t z)))
(cos.f64 (.f64 t (.f64 (fma.f64 y 1/8 1/16) z)))
(cos.f64 (.f64 t (.f64 (fma.f64 1/8 y 1/16) z)))
(cos.f64 (.f64 (fma.f64 1/8 y 1/16) (.f64 t z)))
(cos.f64 (.f64 t (.f64 (fma.f64 y 1/8 1/16) z)))
(cos.f64 (.f64 t (.f64 (fma.f64 1/8 y 1/16) z)))
(cos.f64 (.f64 (fma.f64 1/8 y 1/16) (.f64 t z)))
(cos.f64 (.f64 t (.f64 (fma.f64 y 1/8 1/16) z)))
(cos.f64 (.f64 t (.f64 (fma.f64 1/8 y 1/16) z)))
(cos.f64 (.f64 (fma.f64 1/8 y 1/16) (.f64 t z)))
(cos.f64 (.f64 t (.f64 (fma.f64 y 1/8 1/16) z)))
(cos.f64 (.f64 t (.f64 (fma.f64 1/8 y 1/16) z)))
(cos.f64 (.f64 (fma.f64 1/8 y 1/16) (.f64 t z)))
(cos.f64 (.f64 t (.f64 (fma.f64 y 1/8 1/16) z)))
(cos.f64 (.f64 t (.f64 (fma.f64 1/8 y 1/16) z)))
(cos.f64 (.f64 (fma.f64 1/8 y 1/16) (.f64 t z)))
(cos.f64 (.f64 t (.f64 (fma.f64 y 1/8 1/16) z)))
(cos.f64 (.f64 t (.f64 (fma.f64 1/8 y 1/16) z)))
(cos.f64 (.f64 (fma.f64 1/8 y 1/16) (.f64 t z)))
(.f64 t (.f64 b (+.f64 1/16 (*.f64 1/8 a))))
(.f64 (.f64 t b) (fma.f64 a 1/8 1/16))
(.f64 t (.f64 b (fma.f64 1/8 a 1/16)))
(.f64 (fma.f64 1/8 a 1/16) (.f64 t b))
(.f64 t (.f64 b (+.f64 1/16 (*.f64 1/8 a))))
(.f64 (.f64 t b) (fma.f64 a 1/8 1/16))
(.f64 t (.f64 b (fma.f64 1/8 a 1/16)))
(.f64 (fma.f64 1/8 a 1/16) (.f64 t b))
(.f64 t (.f64 b (+.f64 1/16 (*.f64 1/8 a))))
(.f64 (.f64 t b) (fma.f64 a 1/8 1/16))
(.f64 t (.f64 b (fma.f64 1/8 a 1/16)))
(.f64 (fma.f64 1/8 a 1/16) (.f64 t b))
(.f64 t (.f64 b (+.f64 1/16 (*.f64 1/8 a))))
(.f64 (.f64 t b) (fma.f64 a 1/8 1/16))
(.f64 t (.f64 b (fma.f64 1/8 a 1/16)))
(.f64 (fma.f64 1/8 a 1/16) (.f64 t b))
(.f64 t (.f64 b (+.f64 1/16 (*.f64 1/8 a))))
(.f64 (.f64 t b) (fma.f64 a 1/8 1/16))
(.f64 t (.f64 b (fma.f64 1/8 a 1/16)))
(.f64 (fma.f64 1/8 a 1/16) (.f64 t b))
(.f64 t (.f64 b (+.f64 1/16 (*.f64 1/8 a))))
(.f64 (.f64 t b) (fma.f64 a 1/8 1/16))
(.f64 t (.f64 b (fma.f64 1/8 a 1/16)))
(.f64 (fma.f64 1/8 a 1/16) (.f64 t b))
(.f64 t (.f64 b (+.f64 1/16 (*.f64 1/8 a))))
(.f64 (.f64 t b) (fma.f64 a 1/8 1/16))
(.f64 t (.f64 b (fma.f64 1/8 a 1/16)))
(.f64 (fma.f64 1/8 a 1/16) (.f64 t b))
(.f64 t (.f64 b (+.f64 1/16 (*.f64 1/8 a))))
(.f64 (.f64 t b) (fma.f64 a 1/8 1/16))
(.f64 t (.f64 b (fma.f64 1/8 a 1/16)))
(.f64 (fma.f64 1/8 a 1/16) (.f64 t b))
(.f64 t (.f64 b (+.f64 1/16 (*.f64 1/8 a))))
(.f64 (.f64 t b) (fma.f64 a 1/8 1/16))
(.f64 t (.f64 b (fma.f64 1/8 a 1/16)))
(.f64 (fma.f64 1/8 a 1/16) (.f64 t b))
(.f64 t (.f64 b (+.f64 1/16 (*.f64 1/8 a))))
(.f64 (.f64 t b) (fma.f64 a 1/8 1/16))
(.f64 t (.f64 b (fma.f64 1/8 a 1/16)))
(.f64 (fma.f64 1/8 a 1/16) (.f64 t b))
(.f64 t (.f64 b (+.f64 1/16 (*.f64 1/8 a))))
(.f64 (.f64 t b) (fma.f64 a 1/8 1/16))
(.f64 t (.f64 b (fma.f64 1/8 a 1/16)))
(.f64 (fma.f64 1/8 a 1/16) (.f64 t b))
(.f64 t (.f64 b (+.f64 1/16 (*.f64 1/8 a))))
(.f64 (.f64 t b) (fma.f64 a 1/8 1/16))
(.f64 t (.f64 b (fma.f64 1/8 a 1/16)))
(.f64 (fma.f64 1/8 a 1/16) (.f64 t b))
(.f64 t (.f64 b (+.f64 1/16 (*.f64 1/8 a))))
(.f64 (.f64 t b) (fma.f64 a 1/8 1/16))
(.f64 t (.f64 b (fma.f64 1/8 a 1/16)))
(.f64 (fma.f64 1/8 a 1/16) (.f64 t b))
(.f64 t (.f64 b (+.f64 1/16 (*.f64 1/8 a))))
(.f64 (.f64 t b) (fma.f64 a 1/8 1/16))
(.f64 t (.f64 b (fma.f64 1/8 a 1/16)))
(.f64 (fma.f64 1/8 a 1/16) (.f64 t b))
(.f64 t (.f64 b (+.f64 1/16 (*.f64 1/8 a))))
(.f64 (.f64 t b) (fma.f64 a 1/8 1/16))
(.f64 t (.f64 b (fma.f64 1/8 a 1/16)))
(.f64 (fma.f64 1/8 a 1/16) (.f64 t b))
(.f64 t (.f64 b (+.f64 1/16 (*.f64 1/8 a))))
(.f64 (.f64 t b) (fma.f64 a 1/8 1/16))
(.f64 t (.f64 b (fma.f64 1/8 a 1/16)))
(.f64 (fma.f64 1/8 a 1/16) (.f64 t b))
(.f64 t (.f64 b (+.f64 1/16 (*.f64 1/8 a))))
(.f64 (.f64 t b) (fma.f64 a 1/8 1/16))
(.f64 t (.f64 b (fma.f64 1/8 a 1/16)))
(.f64 (fma.f64 1/8 a 1/16) (.f64 t b))
(.f64 t (.f64 b (+.f64 1/16 (*.f64 1/8 a))))
(.f64 (.f64 t b) (fma.f64 a 1/8 1/16))
(.f64 t (.f64 b (fma.f64 1/8 a 1/16)))
(.f64 (fma.f64 1/8 a 1/16) (.f64 t b))
(.f64 t (.f64 b (+.f64 1/16 (*.f64 1/8 a))))
(.f64 (.f64 t b) (fma.f64 a 1/8 1/16))
(.f64 t (.f64 b (fma.f64 1/8 a 1/16)))
(.f64 (fma.f64 1/8 a 1/16) (.f64 t b))
(.f64 t (.f64 b (+.f64 1/16 (*.f64 1/8 a))))
(.f64 (.f64 t b) (fma.f64 a 1/8 1/16))
(.f64 t (.f64 b (fma.f64 1/8 a 1/16)))
(.f64 (fma.f64 1/8 a 1/16) (.f64 t b))
(.f64 t (.f64 b (+.f64 1/16 (*.f64 1/8 a))))
(.f64 (.f64 t b) (fma.f64 a 1/8 1/16))
(.f64 t (.f64 b (fma.f64 1/8 a 1/16)))
(.f64 (fma.f64 1/8 a 1/16) (.f64 t b))
(.f64 t (.f64 b (+.f64 1/16 (*.f64 1/8 a))))
(.f64 (.f64 t b) (fma.f64 a 1/8 1/16))
(.f64 t (.f64 b (fma.f64 1/8 a 1/16)))
(.f64 (fma.f64 1/8 a 1/16) (.f64 t b))
(.f64 t (.f64 b (+.f64 1/16 (*.f64 1/8 a))))
(.f64 (.f64 t b) (fma.f64 a 1/8 1/16))
(.f64 t (.f64 b (fma.f64 1/8 a 1/16)))
(.f64 (fma.f64 1/8 a 1/16) (.f64 t b))
(.f64 t (.f64 b (+.f64 1/16 (*.f64 1/8 a))))
(.f64 (.f64 t b) (fma.f64 a 1/8 1/16))
(.f64 t (.f64 b (fma.f64 1/8 a 1/16)))
(.f64 (fma.f64 1/8 a 1/16) (.f64 t b))
(.f64 1/16 (.f64 t b))
(.f64 b (.f64 t 1/16))
(+.f64 (.f64 1/8 (.f64 a (.f64 t b))) (.f64 1/16 (*.f64 t b)))
(.f64 (.f64 t b) (fma.f64 a 1/8 1/16))
(.f64 t (.f64 b (fma.f64 1/8 a 1/16)))
(.f64 (fma.f64 1/8 a 1/16) (.f64 t b))
(+.f64 (.f64 1/8 (.f64 a (.f64 t b))) (.f64 1/16 (*.f64 t b)))
(.f64 (.f64 t b) (fma.f64 a 1/8 1/16))
(.f64 t (.f64 b (fma.f64 1/8 a 1/16)))
(.f64 (fma.f64 1/8 a 1/16) (.f64 t b))
(+.f64 (.f64 1/8 (.f64 a (.f64 t b))) (.f64 1/16 (*.f64 t b)))
(.f64 (.f64 t b) (fma.f64 a 1/8 1/16))
(.f64 t (.f64 b (fma.f64 1/8 a 1/16)))
(.f64 (fma.f64 1/8 a 1/16) (.f64 t b))
(.f64 1/8 (.f64 a (*.f64 t b)))
(.f64 (.f64 1/8 a) (*.f64 t b))
(.f64 (.f64 t a) (*.f64 b 1/8))
(.f64 b (.f64 1/8 (*.f64 t a)))
(+.f64 (.f64 1/16 (.f64 t b)) (.f64 1/8 (.f64 a (*.f64 t b))))
(.f64 (.f64 t b) (fma.f64 a 1/8 1/16))
(.f64 t (.f64 b (fma.f64 1/8 a 1/16)))
(.f64 (fma.f64 1/8 a 1/16) (.f64 t b))
(+.f64 (.f64 1/16 (.f64 t b)) (.f64 1/8 (.f64 a (*.f64 t b))))
(.f64 (.f64 t b) (fma.f64 a 1/8 1/16))
(.f64 t (.f64 b (fma.f64 1/8 a 1/16)))
(.f64 (fma.f64 1/8 a 1/16) (.f64 t b))
(+.f64 (.f64 1/16 (.f64 t b)) (.f64 1/8 (.f64 a (*.f64 t b))))
(.f64 (.f64 t b) (fma.f64 a 1/8 1/16))
(.f64 t (.f64 b (fma.f64 1/8 a 1/16)))
(.f64 (fma.f64 1/8 a 1/16) (.f64 t b))
(.f64 1/8 (.f64 a (*.f64 t b)))
(.f64 (.f64 1/8 a) (*.f64 t b))
(.f64 (.f64 t a) (*.f64 b 1/8))
(.f64 b (.f64 1/8 (*.f64 t a)))
(+.f64 (.f64 1/16 (.f64 t b)) (.f64 1/8 (.f64 a (*.f64 t b))))
(.f64 (.f64 t b) (fma.f64 a 1/8 1/16))
(.f64 t (.f64 b (fma.f64 1/8 a 1/16)))
(.f64 (fma.f64 1/8 a 1/16) (.f64 t b))
(+.f64 (.f64 1/16 (.f64 t b)) (.f64 1/8 (.f64 a (*.f64 t b))))
(.f64 (.f64 t b) (fma.f64 a 1/8 1/16))
(.f64 t (.f64 b (fma.f64 1/8 a 1/16)))
(.f64 (fma.f64 1/8 a 1/16) (.f64 t b))
(+.f64 (.f64 1/16 (.f64 t b)) (.f64 1/8 (.f64 a (*.f64 t b))))
(.f64 (.f64 t b) (fma.f64 a 1/8 1/16))
(.f64 t (.f64 b (fma.f64 1/8 a 1/16)))
(.f64 (fma.f64 1/8 a 1/16) (.f64 t b))
(.f64 t (.f64 (+.f64 1/16 (*.f64 1/8 y)) z))
(.f64 t (.f64 (fma.f64 y 1/8 1/16) z))
(.f64 t (.f64 (fma.f64 1/8 y 1/16) z))
(.f64 (fma.f64 1/8 y 1/16) (.f64 t z))
(.f64 t (.f64 (+.f64 1/16 (*.f64 1/8 y)) z))
(.f64 t (.f64 (fma.f64 y 1/8 1/16) z))
(.f64 t (.f64 (fma.f64 1/8 y 1/16) z))
(.f64 (fma.f64 1/8 y 1/16) (.f64 t z))
(.f64 t (.f64 (+.f64 1/16 (*.f64 1/8 y)) z))
(.f64 t (.f64 (fma.f64 y 1/8 1/16) z))
(.f64 t (.f64 (fma.f64 1/8 y 1/16) z))
(.f64 (fma.f64 1/8 y 1/16) (.f64 t z))
(.f64 t (.f64 (+.f64 1/16 (*.f64 1/8 y)) z))
(.f64 t (.f64 (fma.f64 y 1/8 1/16) z))
(.f64 t (.f64 (fma.f64 1/8 y 1/16) z))
(.f64 (fma.f64 1/8 y 1/16) (.f64 t z))
(.f64 t (.f64 (+.f64 1/16 (*.f64 1/8 y)) z))
(.f64 t (.f64 (fma.f64 y 1/8 1/16) z))
(.f64 t (.f64 (fma.f64 1/8 y 1/16) z))
(.f64 (fma.f64 1/8 y 1/16) (.f64 t z))
(.f64 t (.f64 (+.f64 1/16 (*.f64 1/8 y)) z))
(.f64 t (.f64 (fma.f64 y 1/8 1/16) z))
(.f64 t (.f64 (fma.f64 1/8 y 1/16) z))
(.f64 (fma.f64 1/8 y 1/16) (.f64 t z))
(.f64 t (.f64 (+.f64 1/16 (*.f64 1/8 y)) z))
(.f64 t (.f64 (fma.f64 y 1/8 1/16) z))
(.f64 t (.f64 (fma.f64 1/8 y 1/16) z))
(.f64 (fma.f64 1/8 y 1/16) (.f64 t z))
(.f64 t (.f64 (+.f64 1/16 (*.f64 1/8 y)) z))
(.f64 t (.f64 (fma.f64 y 1/8 1/16) z))
(.f64 t (.f64 (fma.f64 1/8 y 1/16) z))
(.f64 (fma.f64 1/8 y 1/16) (.f64 t z))
(.f64 t (.f64 (+.f64 1/16 (*.f64 1/8 y)) z))
(.f64 t (.f64 (fma.f64 y 1/8 1/16) z))
(.f64 t (.f64 (fma.f64 1/8 y 1/16) z))
(.f64 (fma.f64 1/8 y 1/16) (.f64 t z))
(.f64 t (.f64 (+.f64 1/16 (*.f64 1/8 y)) z))
(.f64 t (.f64 (fma.f64 y 1/8 1/16) z))
(.f64 t (.f64 (fma.f64 1/8 y 1/16) z))
(.f64 (fma.f64 1/8 y 1/16) (.f64 t z))
(.f64 t (.f64 (+.f64 1/16 (*.f64 1/8 y)) z))
(.f64 t (.f64 (fma.f64 y 1/8 1/16) z))
(.f64 t (.f64 (fma.f64 1/8 y 1/16) z))
(.f64 (fma.f64 1/8 y 1/16) (.f64 t z))
(.f64 t (.f64 (+.f64 1/16 (*.f64 1/8 y)) z))
(.f64 t (.f64 (fma.f64 y 1/8 1/16) z))
(.f64 t (.f64 (fma.f64 1/8 y 1/16) z))
(.f64 (fma.f64 1/8 y 1/16) (.f64 t z))
(.f64 t (.f64 (+.f64 1/16 (*.f64 1/8 y)) z))
(.f64 t (.f64 (fma.f64 y 1/8 1/16) z))
(.f64 t (.f64 (fma.f64 1/8 y 1/16) z))
(.f64 (fma.f64 1/8 y 1/16) (.f64 t z))
(.f64 t (.f64 (+.f64 1/16 (*.f64 1/8 y)) z))
(.f64 t (.f64 (fma.f64 y 1/8 1/16) z))
(.f64 t (.f64 (fma.f64 1/8 y 1/16) z))
(.f64 (fma.f64 1/8 y 1/16) (.f64 t z))
(.f64 t (.f64 (+.f64 1/16 (*.f64 1/8 y)) z))
(.f64 t (.f64 (fma.f64 y 1/8 1/16) z))
(.f64 t (.f64 (fma.f64 1/8 y 1/16) z))
(.f64 (fma.f64 1/8 y 1/16) (.f64 t z))
(.f64 t (.f64 (+.f64 1/16 (*.f64 1/8 y)) z))
(.f64 t (.f64 (fma.f64 y 1/8 1/16) z))
(.f64 t (.f64 (fma.f64 1/8 y 1/16) z))
(.f64 (fma.f64 1/8 y 1/16) (.f64 t z))
(.f64 t (.f64 (+.f64 1/16 (*.f64 1/8 y)) z))
(.f64 t (.f64 (fma.f64 y 1/8 1/16) z))
(.f64 t (.f64 (fma.f64 1/8 y 1/16) z))
(.f64 (fma.f64 1/8 y 1/16) (.f64 t z))
(.f64 t (.f64 (+.f64 1/16 (*.f64 1/8 y)) z))
(.f64 t (.f64 (fma.f64 y 1/8 1/16) z))
(.f64 t (.f64 (fma.f64 1/8 y 1/16) z))
(.f64 (fma.f64 1/8 y 1/16) (.f64 t z))
(.f64 t (.f64 (+.f64 1/16 (*.f64 1/8 y)) z))
(.f64 t (.f64 (fma.f64 y 1/8 1/16) z))
(.f64 t (.f64 (fma.f64 1/8 y 1/16) z))
(.f64 (fma.f64 1/8 y 1/16) (.f64 t z))
(.f64 t (.f64 (+.f64 1/16 (*.f64 1/8 y)) z))
(.f64 t (.f64 (fma.f64 y 1/8 1/16) z))
(.f64 t (.f64 (fma.f64 1/8 y 1/16) z))
(.f64 (fma.f64 1/8 y 1/16) (.f64 t z))
(.f64 t (.f64 (+.f64 1/16 (*.f64 1/8 y)) z))
(.f64 t (.f64 (fma.f64 y 1/8 1/16) z))
(.f64 t (.f64 (fma.f64 1/8 y 1/16) z))
(.f64 (fma.f64 1/8 y 1/16) (.f64 t z))
(.f64 t (.f64 (+.f64 1/16 (*.f64 1/8 y)) z))
(.f64 t (.f64 (fma.f64 y 1/8 1/16) z))
(.f64 t (.f64 (fma.f64 1/8 y 1/16) z))
(.f64 (fma.f64 1/8 y 1/16) (.f64 t z))
(.f64 t (.f64 (+.f64 1/16 (*.f64 1/8 y)) z))
(.f64 t (.f64 (fma.f64 y 1/8 1/16) z))
(.f64 t (.f64 (fma.f64 1/8 y 1/16) z))
(.f64 (fma.f64 1/8 y 1/16) (.f64 t z))
(.f64 t (.f64 (+.f64 1/16 (*.f64 1/8 y)) z))
(.f64 t (.f64 (fma.f64 y 1/8 1/16) z))
(.f64 t (.f64 (fma.f64 1/8 y 1/16) z))
(.f64 (fma.f64 1/8 y 1/16) (.f64 t z))
(.f64 1/16 (.f64 t z))
(.f64 (.f64 1/16 z) t)
(.f64 t (.f64 1/16 z))
(+.f64 (.f64 1/16 (.f64 t z)) (.f64 1/8 (.f64 y (*.f64 t z))))
(.f64 t (.f64 (fma.f64 y 1/8 1/16) z))
(.f64 t (.f64 (fma.f64 1/8 y 1/16) z))
(.f64 (fma.f64 1/8 y 1/16) (.f64 t z))
(+.f64 (.f64 1/16 (.f64 t z)) (.f64 1/8 (.f64 y (*.f64 t z))))
(.f64 t (.f64 (fma.f64 y 1/8 1/16) z))
(.f64 t (.f64 (fma.f64 1/8 y 1/16) z))
(.f64 (fma.f64 1/8 y 1/16) (.f64 t z))
(+.f64 (.f64 1/16 (.f64 t z)) (.f64 1/8 (.f64 y (*.f64 t z))))
(.f64 t (.f64 (fma.f64 y 1/8 1/16) z))
(.f64 t (.f64 (fma.f64 1/8 y 1/16) z))
(.f64 (fma.f64 1/8 y 1/16) (.f64 t z))
(.f64 1/8 (.f64 y (*.f64 t z)))
(.f64 1/8 (.f64 t (*.f64 z y)))
(.f64 t (.f64 (*.f64 1/8 y) z))
(+.f64 (.f64 1/16 (.f64 t z)) (.f64 1/8 (.f64 y (*.f64 t z))))
(.f64 t (.f64 (fma.f64 y 1/8 1/16) z))
(.f64 t (.f64 (fma.f64 1/8 y 1/16) z))
(.f64 (fma.f64 1/8 y 1/16) (.f64 t z))
(+.f64 (.f64 1/16 (.f64 t z)) (.f64 1/8 (.f64 y (*.f64 t z))))
(.f64 t (.f64 (fma.f64 y 1/8 1/16) z))
(.f64 t (.f64 (fma.f64 1/8 y 1/16) z))
(.f64 (fma.f64 1/8 y 1/16) (.f64 t z))
(+.f64 (.f64 1/16 (.f64 t z)) (.f64 1/8 (.f64 y (*.f64 t z))))
(.f64 t (.f64 (fma.f64 y 1/8 1/16) z))
(.f64 t (.f64 (fma.f64 1/8 y 1/16) z))
(.f64 (fma.f64 1/8 y 1/16) (.f64 t z))
(.f64 1/8 (.f64 y (*.f64 t z)))
(.f64 1/8 (.f64 t (*.f64 z y)))
(.f64 t (.f64 (*.f64 1/8 y) z))
(+.f64 (.f64 1/16 (.f64 t z)) (.f64 1/8 (.f64 y (*.f64 t z))))
(.f64 t (.f64 (fma.f64 y 1/8 1/16) z))
(.f64 t (.f64 (fma.f64 1/8 y 1/16) z))
(.f64 (fma.f64 1/8 y 1/16) (.f64 t z))
(+.f64 (.f64 1/16 (.f64 t z)) (.f64 1/8 (.f64 y (*.f64 t z))))
(.f64 t (.f64 (fma.f64 y 1/8 1/16) z))
(.f64 t (.f64 (fma.f64 1/8 y 1/16) z))
(.f64 (fma.f64 1/8 y 1/16) (.f64 t z))
(+.f64 (.f64 1/16 (.f64 t z)) (.f64 1/8 (.f64 y (*.f64 t z))))
(.f64 t (.f64 (fma.f64 y 1/8 1/16) z))
(.f64 t (.f64 (fma.f64 1/8 y 1/16) z))
(.f64 (fma.f64 1/8 y 1/16) (.f64 t z))

prune275.0ms (2.9%)

Pruning

24 alts after pruning (24 fresh and 0 done)

	Pruned	Kept	Total
New	97	24	121
Fresh	1	0	1
Picked	1	0	1
Done	0	0	0
Total	99	24	123

Error

42.9b

Counts

123 → 24

Alt Table

Status	Error	Program
	49.3b	(.f64 (cos.f64 (.f64 z (.f64 t (fma.f64 y 1/8 1/16)))) (.f64 x (cos.f64 (expm1.f64 (log1p.f64 (.f64 (fma.f64 a 1/8 1/16) (.f64 t b)))))))
	53.4b	(.f64 (cos.f64 (.f64 z (.f64 t (fma.f64 y 1/8 1/16)))) (.f64 x (cos.f64 (pow.f64 (sqrt.f64 (.f64 (fma.f64 a 1/8 1/16) (.f64 t b))) 2))))
	47.9b	(.f64 (.f64 (cbrt.f64 (cos.f64 (.f64 (fma.f64 y 1/8 1/16) (.f64 t z)))) (cbrt.f64 (pow.f64 (cos.f64 (.f64 (fma.f64 y 1/8 1/16) (.f64 t z))) 2))) (.f64 x (cos.f64 (.f64 t (*.f64 b (fma.f64 a 1/8 1/16))))))
	47.7b	(.f64 (cos.f64 (.f64 z (.f64 t (fma.f64 y 1/8 1/16)))) (.f64 x (pow.f64 (cbrt.f64 (cos.f64 (.f64 (fma.f64 a 1/8 1/16) (.f64 t b)))) 3)))
	47.9b	(.f64 (cos.f64 (.f64 z (.f64 t (fma.f64 y 1/8 1/16)))) (.f64 x (cos.f64 (pow.f64 (cbrt.f64 (.f64 (fma.f64 a 1/8 1/16) (.f64 t b))) 3))))
	47.9b	(.f64 (cbrt.f64 (pow.f64 (cos.f64 (.f64 (fma.f64 y 1/8 1/16) (.f64 t z))) 3)) (.f64 x (cos.f64 (.f64 t (.f64 b (fma.f64 a 1/8 1/16))))))
	49.0b	(.f64 (fma.f64 (.f64 -1/8 (.f64 t y)) (.f64 z (sin.f64 (.f64 t (.f64 1/16 z)))) (cos.f64 (.f64 t (.f64 1/16 z)))) (.f64 x (cos.f64 (.f64 t (*.f64 b (fma.f64 a 1/8 1/16))))))
▶	46.8b	(.f64 (cos.f64 (.f64 z (.f64 t (fma.f64 y 1/8 1/16)))) (.f64 x 1))
	47.9b	(.f64 (log.f64 (exp.f64 (cos.f64 (.f64 (fma.f64 y 1/8 1/16) (.f64 t z))))) (.f64 x (cos.f64 (.f64 t (.f64 b (fma.f64 a 1/8 1/16))))))
	47.8b	(.f64 (cos.f64 (.f64 z (.f64 t (fma.f64 y 1/8 1/16)))) (.f64 x (cos.f64 (.f64 b (.f64 1/8 (*.f64 t a))))))
	54.5b	(.f64 (cos.f64 (pow.f64 (sqrt.f64 (.f64 (fma.f64 y 1/8 1/16) (.f64 t z))) 2)) (.f64 x (cos.f64 (.f64 t (.f64 b (fma.f64 a 1/8 1/16))))))
	47.6b	(.f64 (cos.f64 (.f64 z (.f64 t (fma.f64 y 1/8 1/16)))) (.f64 x (cos.f64 (.f64 1/8 (.f64 a (*.f64 t b))))))
	49.2b	(.f64 (cos.f64 (expm1.f64 (log1p.f64 (.f64 (fma.f64 y 1/8 1/16) (.f64 t z))))) (.f64 x (cos.f64 (.f64 t (.f64 b (fma.f64 a 1/8 1/16))))))
	52.4b	(.f64 (cos.f64 (pow.f64 (pow.f64 (.f64 (fma.f64 y 1/8 1/16) (.f64 t z)) 3) 1/3)) (.f64 x (cos.f64 (.f64 t (.f64 b (fma.f64 a 1/8 1/16))))))
	49.0b	(.f64 (cos.f64 (.f64 z (.f64 t (fma.f64 y 1/8 1/16)))) (.f64 x (cos.f64 (cbrt.f64 (pow.f64 (.f64 (fma.f64 a 1/8 1/16) (.f64 t b)) 3)))))
	47.9b	(.f64 (pow.f64 (cbrt.f64 (cos.f64 (.f64 (fma.f64 y 1/8 1/16) (.f64 t z)))) 3) (.f64 x (cos.f64 (.f64 t (.f64 b (fma.f64 a 1/8 1/16))))))
	47.1b	(.f64 (cos.f64 (.f64 z (.f64 t (fma.f64 y 1/8 1/16)))) (.f64 x (cos.f64 (.f64 1/16 (.f64 t b)))))
	47.7b	(.f64 (cos.f64 (.f64 z (.f64 t (fma.f64 y 1/8 1/16)))) (.f64 x (log.f64 (exp.f64 (cos.f64 (.f64 (fma.f64 a 1/8 1/16) (.f64 t b)))))))
	48.3b	(.f64 (cos.f64 (.f64 1/8 (.f64 y (.f64 t z)))) (.f64 x (cos.f64 (.f64 t (*.f64 b (fma.f64 a 1/8 1/16))))))
	47.5b	(.f64 (cos.f64 (.f64 z (.f64 t (fma.f64 y 1/8 1/16)))) (.f64 x (sqrt.f64 (pow.f64 (cos.f64 (.f64 (fma.f64 a 1/8 1/16) (.f64 t b))) 2))))
	47.3b	(.f64 (cos.f64 (.f64 t (.f64 1/16 z))) (.f64 x (cos.f64 (.f64 t (.f64 b (fma.f64 a 1/8 1/16))))))
	47.9b	(.f64 (sqrt.f64 (pow.f64 (cos.f64 (.f64 (fma.f64 y 1/8 1/16) (.f64 t z))) 2)) (.f64 x (cos.f64 (.f64 t (.f64 b (fma.f64 a 1/8 1/16))))))
	48.1b	(.f64 (cos.f64 (pow.f64 (cbrt.f64 (.f64 (fma.f64 y 1/8 1/16) (.f64 t z))) 3)) (.f64 x (cos.f64 (.f64 t (.f64 b (fma.f64 a 1/8 1/16))))))
	48.4b	(.f64 (cos.f64 (.f64 t (.f64 (.f64 1/8 y) z))) (.f64 x (cos.f64 (.f64 t (*.f64 b (fma.f64 a 1/8 1/16))))))

Compiler

Compiled 4956 to 3440 computations (30.6% saved)

localize11.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.0b	(*.f64 t (fma.f64 y 1/8 1/16))
✓	0.1b	(.f64 (cos.f64 (.f64 z (.f64 t (fma.f64 y 1/8 1/16)))) (.f64 x 1))
	2.2b	(.f64 z (.f64 t (fma.f64 y 1/8 1/16)))
	33.9b	(cos.f64 (.f64 z (.f64 t (fma.f64 y 1/8 1/16))))

series13.0ms (0.1%)

Counts

2 → 72

Calls

18 calls:

Time	Variable		Point	Expression
4.0ms	x	@	0	(.f64 (cos.f64 (.f64 z (.f64 t (fma.f64 y 1/8 1/16)))) (.f64 x 1))
1.0ms	z	@	0	(.f64 (cos.f64 (.f64 z (.f64 t (fma.f64 y 1/8 1/16)))) (.f64 x 1))
1.0ms	y	@	0	(.f64 (cos.f64 (.f64 z (.f64 t (fma.f64 y 1/8 1/16)))) (.f64 x 1))
1.0ms	x	@	inf	(.f64 (cos.f64 (.f64 z (.f64 t (fma.f64 y 1/8 1/16)))) (.f64 x 1))
1.0ms	t	@	0	(.f64 (cos.f64 (.f64 z (.f64 t (fma.f64 y 1/8 1/16)))) (.f64 x 1))

rewrite49.0ms (0.5%)

Algorithm

1×	batch-egg-rewrite

Rules

578×	`log-prod_binary64`
484×	`prod-diff_binary64`
217×	`expm1-udef_binary64`
217×	`log1p-udef_binary64`
178×	`log-pow_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	14	24
1	278	24
2	2870	24

Stop Event

1×	node limit

Counts

2 → 40

Calls

Call 1

Inputs
(.f64 (cos.f64 (.f64 z (.f64 t (fma.f64 y 1/8 1/16)))) (.f64 x 1))
(*.f64 t (fma.f64 y 1/8 1/16))

Outputs
((#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (.f64 (cos.f64 (.f64 (fma.f64 y 1/8 1/16) (.f64 z t))) x))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (log.f64 (.f64 (cbrt.f64 (pow.f64 (exp.f64 x) (cos.f64 (.f64 (fma.f64 y 1/8 1/16) (.f64 z t))))) (cbrt.f64 (pow.f64 (exp.f64 x) (cos.f64 (.f64 (fma.f64 y 1/8 1/16) (.f64 z t))))))) (log.f64 (cbrt.f64 (pow.f64 (exp.f64 x) (cos.f64 (.f64 (fma.f64 y 1/8 1/16) (.f64 z t)))))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (log.f64 (sqrt.f64 (pow.f64 (exp.f64 x) (cos.f64 (.f64 (fma.f64 y 1/8 1/16) (.f64 z t)))))) (log.f64 (sqrt.f64 (pow.f64 (exp.f64 x) (cos.f64 (.f64 (fma.f64 y 1/8 1/16) (.f64 z t)))))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (exp.f64 (log1p.f64 (.f64 (cos.f64 (.f64 (fma.f64 y 1/8 1/16) (.f64 z t))) x))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (.f64 (cos.f64 (.f64 (fma.f64 y 1/8 1/16) (.f64 z t))) x) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (.f64 (cos.f64 (.f64 (fma.f64 y 1/8 1/16) (.f64 z t))) x) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (.f64 (cos.f64 (.f64 (fma.f64 y 1/8 1/16) (.f64 z t))) x)) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (.f64 (cos.f64 (.f64 (fma.f64 y 1/8 1/16) (.f64 z t))) x)) 2)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (.f64 (cos.f64 (.f64 (fma.f64 y 1/8 1/16) (.f64 z t))) x) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (pow.f64 (exp.f64 x) (cos.f64 (.f64 (fma.f64 y 1/8 1/16) (.f64 z t)))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (+.f64 1 (expm1.f64 (.f64 (cos.f64 (.f64 (fma.f64 y 1/8 1/16) (.f64 z t))) x))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (.f64 (cos.f64 (.f64 (fma.f64 y 1/8 1/16) (.f64 z t))) x) 3))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (.f64 (pow.f64 (cos.f64 (.f64 (fma.f64 y 1/8 1/16) (.f64 z t))) 3) (pow.f64 x 3)))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (.f64 (pow.f64 x 3) (pow.f64 (cos.f64 (.f64 (fma.f64 y 1/8 1/16) (.f64 z t))) 3)))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (.f64 (cos.f64 (.f64 (fma.f64 y 1/8 1/16) (.f64 z t))) x)))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (.f64 (cos.f64 (.f64 (fma.f64 y 1/8 1/16) (.f64 z t))) x)))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (.f64 (log.f64 (.f64 (cos.f64 (.f64 (fma.f64 y 1/8 1/16) (.f64 z t))) x)) 1))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (.f64 (cos.f64 (.f64 (fma.f64 y 1/8 1/16) (*.f64 z t))) x)))))))
((#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (.f64 t (fma.f64 y 1/8 1/16)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (.f64 (.f64 y 1/8) t) (.f64 1/16 t))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (.f64 t (.f64 y 1/8)) (.f64 t 1/16))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (log.f64 (.f64 (cbrt.f64 (pow.f64 (exp.f64 t) (fma.f64 y 1/8 1/16))) (cbrt.f64 (pow.f64 (exp.f64 t) (fma.f64 y 1/8 1/16))))) (log.f64 (cbrt.f64 (pow.f64 (exp.f64 t) (fma.f64 y 1/8 1/16)))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (log.f64 (sqrt.f64 (pow.f64 (exp.f64 t) (fma.f64 y 1/8 1/16)))) (log.f64 (sqrt.f64 (pow.f64 (exp.f64 t) (fma.f64 y 1/8 1/16)))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (exp.f64 (log1p.f64 (.f64 t (fma.f64 y 1/8 1/16)))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (.f64 t (fma.f64 y 1/8 1/16)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (.f64 t (fma.f64 y 1/8 1/16)) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (.f64 t (fma.f64 y 1/8 1/16))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (.f64 t (fma.f64 y 1/8 1/16))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (.f64 t (fma.f64 y 1/8 1/16)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (pow.f64 (exp.f64 t) (fma.f64 y 1/8 1/16)))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (+.f64 1 (expm1.f64 (.f64 t (fma.f64 y 1/8 1/16)))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (.f64 t (fma.f64 y 1/8 1/16)) 3))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (.f64 (pow.f64 t 3) (pow.f64 (fma.f64 y 1/8 1/16) 3)))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (.f64 (pow.f64 (fma.f64 y 1/8 1/16) 3) (pow.f64 t 3)))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (.f64 t (fma.f64 y 1/8 1/16))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (.f64 t (fma.f64 y 1/8 1/16))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (.f64 (log.f64 (.f64 t (fma.f64 y 1/8 1/16))) 1))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (.f64 t (fma.f64 y 1/8 1/16))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 t (.f64 y 1/8) (.f64 t 1/16))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (.f64 y 1/8) t (*.f64 1/16 t))))))

Outputs

((#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (*.f64 (cos.f64 (*.f64 (fma.f64 y 1/8 1/16) (*.f64 z t))) x))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (log.f64 (*.f64 (cbrt.f64 (pow.f64 (exp.f64 x) (cos.f64 (*.f64 (fma.f64 y 1/8 1/16) (*.f64 z t))))) (cbrt.f64 (pow.f64 (exp.f64 x) (cos.f64 (*.f64 (fma.f64 y 1/8 1/16) (*.f64 z t))))))) (log.f64 (cbrt.f64 (pow.f64 (exp.f64 x) (cos.f64 (*.f64 (fma.f64 y 1/8 1/16) (*.f64 z t)))))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (log.f64 (sqrt.f64 (pow.f64 (exp.f64 x) (cos.f64 (*.f64 (fma.f64 y 1/8 1/16) (*.f64 z t)))))) (log.f64 (sqrt.f64 (pow.f64 (exp.f64 x) (cos.f64 (*.f64 (fma.f64 y 1/8 1/16) (*.f64 z t)))))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (exp.f64 (log1p.f64 (*.f64 (cos.f64 (*.f64 (fma.f64 y 1/8 1/16) (*.f64 z t))) x))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (*.f64 (cos.f64 (*.f64 (fma.f64 y 1/8 1/16) (*.f64 z t))) x) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (*.f64 (cos.f64 (*.f64 (fma.f64 y 1/8 1/16) (*.f64 z t))) x) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (*.f64 (cos.f64 (*.f64 (fma.f64 y 1/8 1/16) (*.f64 z t))) x)) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (*.f64 (cos.f64 (*.f64 (fma.f64 y 1/8 1/16) (*.f64 z t))) x)) 2)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (*.f64 (cos.f64 (*.f64 (fma.f64 y 1/8 1/16) (*.f64 z t))) x) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (pow.f64 (exp.f64 x) (cos.f64 (*.f64 (fma.f64 y 1/8 1/16) (*.f64 z t)))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (+.f64 1 (expm1.f64 (*.f64 (cos.f64 (*.f64 (fma.f64 y 1/8 1/16) (*.f64 z t))) x))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (*.f64 (cos.f64 (*.f64 (fma.f64 y 1/8 1/16) (*.f64 z t))) x) 3))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (*.f64 (pow.f64 (cos.f64 (*.f64 (fma.f64 y 1/8 1/16) (*.f64 z t))) 3) (pow.f64 x 3)))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (*.f64 (pow.f64 x 3) (pow.f64 (cos.f64 (*.f64 (fma.f64 y 1/8 1/16) (*.f64 z t))) 3)))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (*.f64 (cos.f64 (*.f64 (fma.f64 y 1/8 1/16) (*.f64 z t))) x)))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (*.f64 (cos.f64 (*.f64 (fma.f64 y 1/8 1/16) (*.f64 z t))) x)))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (*.f64 (log.f64 (*.f64 (cos.f64 (*.f64 (fma.f64 y 1/8 1/16) (*.f64 z t))) x)) 1))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (*.f64 (cos.f64 (*.f64 (fma.f64 y 1/8 1/16) (*.f64 z t))) x)))))))

((#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (*.f64 t (fma.f64 y 1/8 1/16)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 (*.f64 y 1/8) t) (*.f64 1/16 t))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 t (*.f64 y 1/8)) (*.f64 t 1/16))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (log.f64 (*.f64 (cbrt.f64 (pow.f64 (exp.f64 t) (fma.f64 y 1/8 1/16))) (cbrt.f64 (pow.f64 (exp.f64 t) (fma.f64 y 1/8 1/16))))) (log.f64 (cbrt.f64 (pow.f64 (exp.f64 t) (fma.f64 y 1/8 1/16)))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (log.f64 (sqrt.f64 (pow.f64 (exp.f64 t) (fma.f64 y 1/8 1/16)))) (log.f64 (sqrt.f64 (pow.f64 (exp.f64 t) (fma.f64 y 1/8 1/16)))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (exp.f64 (log1p.f64 (*.f64 t (fma.f64 y 1/8 1/16)))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (*.f64 t (fma.f64 y 1/8 1/16)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (*.f64 t (fma.f64 y 1/8 1/16)) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (*.f64 t (fma.f64 y 1/8 1/16))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (*.f64 t (fma.f64 y 1/8 1/16))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (*.f64 t (fma.f64 y 1/8 1/16)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (pow.f64 (exp.f64 t) (fma.f64 y 1/8 1/16)))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (+.f64 1 (expm1.f64 (*.f64 t (fma.f64 y 1/8 1/16)))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (*.f64 t (fma.f64 y 1/8 1/16)) 3))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (*.f64 (pow.f64 t 3) (pow.f64 (fma.f64 y 1/8 1/16) 3)))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (*.f64 (pow.f64 (fma.f64 y 1/8 1/16) 3) (pow.f64 t 3)))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (*.f64 t (fma.f64 y 1/8 1/16))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (*.f64 t (fma.f64 y 1/8 1/16))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (*.f64 (log.f64 (*.f64 t (fma.f64 y 1/8 1/16))) 1))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (*.f64 t (fma.f64 y 1/8 1/16))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 t (*.f64 y 1/8) (*.f64 t 1/16))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (*.f64 y 1/8) t (*.f64 1/16 t))))))

simplify44.0ms (0.5%)

Algorithm

1×	egg-herbie

Rules

938×	`fma-def_binary64`
688×	`distribute-lft-in_binary64`
687×	`distribute-rgt-in_binary64`
390×	`*-commutative_binary64`
340×	`unswap-sqr_binary64`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	86	1301
1	249	1301
2	874	1273
3	2142	1253

Stop Event

1×	node limit

Counts

112 → 65

Calls

Call 1

Inputs
x
(+.f64 (.f64 -1/2 (.f64 (pow.f64 t 2) (.f64 (pow.f64 (+.f64 1/16 (.f64 1/8 y)) 2) (*.f64 (pow.f64 z 2) x)))) x)
(+.f64 (.f64 -1/2 (.f64 (pow.f64 t 2) (.f64 (pow.f64 (+.f64 1/16 (.f64 1/8 y)) 2) (.f64 (pow.f64 z 2) x)))) (+.f64 (.f64 1/24 (.f64 (pow.f64 t 4) (.f64 (pow.f64 (+.f64 1/16 (.f64 1/8 y)) 4) (.f64 (pow.f64 z 4) x)))) x))
(+.f64 (.f64 -1/2 (.f64 (pow.f64 t 2) (.f64 (pow.f64 (+.f64 1/16 (.f64 1/8 y)) 2) (.f64 (pow.f64 z 2) x)))) (+.f64 (.f64 -1/720 (.f64 (pow.f64 t 6) (.f64 (pow.f64 (+.f64 1/16 (.f64 1/8 y)) 6) (.f64 (pow.f64 z 6) x)))) (+.f64 (.f64 1/24 (.f64 (pow.f64 t 4) (.f64 (pow.f64 (+.f64 1/16 (.f64 1/8 y)) 4) (*.f64 (pow.f64 z 4) x)))) x)))
(.f64 (cos.f64 (.f64 t (*.f64 (fma.f64 y 1/8 1/16) z))) x)
(.f64 (cos.f64 (.f64 t (*.f64 (fma.f64 y 1/8 1/16) z))) x)
(.f64 (cos.f64 (.f64 t (*.f64 (fma.f64 y 1/8 1/16) z))) x)
(.f64 (cos.f64 (.f64 t (*.f64 (fma.f64 y 1/8 1/16) z))) x)
(.f64 (cos.f64 (.f64 t (*.f64 (fma.f64 y 1/8 1/16) z))) x)
(.f64 (cos.f64 (.f64 t (*.f64 (fma.f64 y 1/8 1/16) z))) x)
(.f64 (cos.f64 (.f64 t (*.f64 (fma.f64 y 1/8 1/16) z))) x)
(.f64 (cos.f64 (.f64 t (*.f64 (fma.f64 y 1/8 1/16) z))) x)
x
(+.f64 (.f64 -1/2 (.f64 (pow.f64 t 2) (.f64 (pow.f64 (+.f64 1/16 (.f64 1/8 y)) 2) (*.f64 (pow.f64 z 2) x)))) x)
(+.f64 (.f64 -1/2 (.f64 (pow.f64 t 2) (.f64 (pow.f64 (+.f64 1/16 (.f64 1/8 y)) 2) (.f64 (pow.f64 z 2) x)))) (+.f64 (.f64 1/24 (.f64 (pow.f64 t 4) (.f64 (pow.f64 (+.f64 1/16 (.f64 1/8 y)) 4) (.f64 (pow.f64 z 4) x)))) x))
(+.f64 (.f64 -1/2 (.f64 (pow.f64 t 2) (.f64 (pow.f64 (+.f64 1/16 (.f64 1/8 y)) 2) (.f64 (pow.f64 z 2) x)))) (+.f64 (.f64 -1/720 (.f64 (pow.f64 t 6) (.f64 (pow.f64 (+.f64 1/16 (.f64 1/8 y)) 6) (.f64 (pow.f64 z 6) x)))) (+.f64 (.f64 1/24 (.f64 (pow.f64 t 4) (.f64 (pow.f64 (+.f64 1/16 (.f64 1/8 y)) 4) (*.f64 (pow.f64 z 4) x)))) x)))
(.f64 (cos.f64 (.f64 t (*.f64 (fma.f64 y 1/8 1/16) z))) x)
(.f64 (cos.f64 (.f64 t (*.f64 (fma.f64 y 1/8 1/16) z))) x)
(.f64 (cos.f64 (.f64 t (*.f64 (fma.f64 y 1/8 1/16) z))) x)
(.f64 (cos.f64 (.f64 t (*.f64 (fma.f64 y 1/8 1/16) z))) x)
(.f64 (cos.f64 (.f64 t (*.f64 (fma.f64 y 1/8 1/16) z))) x)
(.f64 (cos.f64 (.f64 t (*.f64 (fma.f64 y 1/8 1/16) z))) x)
(.f64 (cos.f64 (.f64 t (*.f64 (fma.f64 y 1/8 1/16) z))) x)
(.f64 (cos.f64 (.f64 t (*.f64 (fma.f64 y 1/8 1/16) z))) x)
(.f64 (cos.f64 (.f64 1/16 (*.f64 t z))) x)
(+.f64 (.f64 -1/8 (.f64 y (.f64 t (.f64 z (.f64 x (sin.f64 (.f64 1/16 (.f64 t z)))))))) (.f64 (cos.f64 (.f64 1/16 (.f64 t z))) x))
(+.f64 (.f64 -1/128 (.f64 (cos.f64 (.f64 1/16 (.f64 t z))) (.f64 (pow.f64 y 2) (.f64 (pow.f64 t 2) (.f64 (pow.f64 z 2) x))))) (+.f64 (.f64 -1/8 (.f64 y (.f64 t (.f64 z (.f64 x (sin.f64 (.f64 1/16 (.f64 t z)))))))) (.f64 (cos.f64 (.f64 1/16 (*.f64 t z))) x)))
(+.f64 (.f64 -1/128 (.f64 (cos.f64 (.f64 1/16 (.f64 t z))) (.f64 (pow.f64 y 2) (.f64 (pow.f64 t 2) (.f64 (pow.f64 z 2) x))))) (+.f64 (.f64 -1/8 (.f64 y (.f64 t (.f64 z (.f64 x (sin.f64 (.f64 1/16 (.f64 t z)))))))) (+.f64 (.f64 1/3072 (.f64 (pow.f64 y 3) (.f64 (pow.f64 t 3) (.f64 (pow.f64 z 3) (.f64 x (sin.f64 (.f64 1/16 (.f64 t z)))))))) (.f64 (cos.f64 (.f64 1/16 (.f64 t z))) x))))
(.f64 (cos.f64 (.f64 t (*.f64 (fma.f64 y 1/8 1/16) z))) x)
(.f64 (cos.f64 (.f64 t (*.f64 (fma.f64 y 1/8 1/16) z))) x)
(.f64 (cos.f64 (.f64 t (*.f64 (fma.f64 y 1/8 1/16) z))) x)
(.f64 (cos.f64 (.f64 t (*.f64 (fma.f64 y 1/8 1/16) z))) x)
(.f64 (cos.f64 (.f64 t (*.f64 (fma.f64 y 1/8 1/16) z))) x)
(.f64 (cos.f64 (.f64 t (*.f64 (fma.f64 y 1/8 1/16) z))) x)
(.f64 (cos.f64 (.f64 t (*.f64 (fma.f64 y 1/8 1/16) z))) x)
(.f64 (cos.f64 (.f64 t (*.f64 (fma.f64 y 1/8 1/16) z))) x)
(.f64 (cos.f64 (.f64 t (.f64 (+.f64 1/16 (.f64 1/8 y)) z))) x)
(.f64 (cos.f64 (.f64 t (.f64 (+.f64 1/16 (.f64 1/8 y)) z))) x)
(.f64 (cos.f64 (.f64 t (.f64 (+.f64 1/16 (.f64 1/8 y)) z))) x)
(.f64 (cos.f64 (.f64 t (.f64 (+.f64 1/16 (.f64 1/8 y)) z))) x)
(.f64 (cos.f64 (.f64 t (.f64 (+.f64 1/16 (.f64 1/8 y)) z))) x)
(.f64 (cos.f64 (.f64 t (.f64 (+.f64 1/16 (.f64 1/8 y)) z))) x)
(.f64 (cos.f64 (.f64 t (.f64 (+.f64 1/16 (.f64 1/8 y)) z))) x)
(.f64 (cos.f64 (.f64 t (.f64 (+.f64 1/16 (.f64 1/8 y)) z))) x)
(.f64 (cos.f64 (.f64 t (.f64 (+.f64 1/16 (.f64 1/8 y)) z))) x)
(.f64 (cos.f64 (.f64 t (.f64 (+.f64 1/16 (.f64 1/8 y)) z))) x)
(.f64 (cos.f64 (.f64 t (.f64 (+.f64 1/16 (.f64 1/8 y)) z))) x)
(.f64 (cos.f64 (.f64 t (.f64 (+.f64 1/16 (.f64 1/8 y)) z))) x)
(.f64 t (+.f64 1/16 (.f64 1/8 y)))
(.f64 t (+.f64 1/16 (.f64 1/8 y)))
(.f64 t (+.f64 1/16 (.f64 1/8 y)))
(.f64 t (+.f64 1/16 (.f64 1/8 y)))
(.f64 t (+.f64 1/16 (.f64 1/8 y)))
(.f64 t (+.f64 1/16 (.f64 1/8 y)))
(.f64 t (+.f64 1/16 (.f64 1/8 y)))
(.f64 t (+.f64 1/16 (.f64 1/8 y)))
(.f64 t (+.f64 1/16 (.f64 1/8 y)))
(.f64 t (+.f64 1/16 (.f64 1/8 y)))
(.f64 t (+.f64 1/16 (.f64 1/8 y)))
(.f64 t (+.f64 1/16 (.f64 1/8 y)))
(*.f64 1/16 t)
(+.f64 (.f64 1/8 (.f64 y t)) (*.f64 1/16 t))
(+.f64 (.f64 1/8 (.f64 y t)) (*.f64 1/16 t))
(+.f64 (.f64 1/8 (.f64 y t)) (*.f64 1/16 t))
(.f64 1/8 (.f64 y t))
(+.f64 (.f64 1/8 (.f64 y t)) (*.f64 1/16 t))
(+.f64 (.f64 1/8 (.f64 y t)) (*.f64 1/16 t))
(+.f64 (.f64 1/8 (.f64 y t)) (*.f64 1/16 t))
(.f64 1/8 (.f64 y t))
(+.f64 (.f64 1/8 (.f64 y t)) (*.f64 1/16 t))
(+.f64 (.f64 1/8 (.f64 y t)) (*.f64 1/16 t))
(+.f64 (.f64 1/8 (.f64 y t)) (*.f64 1/16 t))

Outputs
x
(+.f64 (.f64 -1/2 (.f64 (pow.f64 t 2) (.f64 (pow.f64 (+.f64 1/16 (.f64 1/8 y)) 2) (*.f64 (pow.f64 z 2) x)))) x)
(fma.f64 -1/2 (.f64 (.f64 (.f64 t t) (pow.f64 (fma.f64 y 1/8 1/16) 2)) (.f64 x (*.f64 z z))) x)
(fma.f64 -1/2 (.f64 t (.f64 t (.f64 (pow.f64 (fma.f64 1/8 y 1/16) 2) (.f64 z (*.f64 x z))))) x)
(fma.f64 -1/2 (.f64 (pow.f64 (fma.f64 1/8 y 1/16) 2) (.f64 (.f64 t t) (.f64 z (*.f64 x z)))) x)
(fma.f64 x (.f64 (.f64 -1/2 (.f64 t t)) (.f64 (pow.f64 (fma.f64 1/8 y 1/16) 2) (*.f64 z z))) x)
(+.f64 (.f64 -1/2 (.f64 (pow.f64 t 2) (.f64 (pow.f64 (+.f64 1/16 (.f64 1/8 y)) 2) (.f64 (pow.f64 z 2) x)))) (+.f64 (.f64 1/24 (.f64 (pow.f64 t 4) (.f64 (pow.f64 (+.f64 1/16 (.f64 1/8 y)) 4) (.f64 (pow.f64 z 4) x)))) x))
(fma.f64 -1/2 (.f64 (.f64 (.f64 t t) (pow.f64 (fma.f64 y 1/8 1/16) 2)) (.f64 x (.f64 z z))) (fma.f64 1/24 (.f64 (.f64 (pow.f64 t 4) (pow.f64 (fma.f64 y 1/8 1/16) 4)) (.f64 x (pow.f64 z 4))) x))
(fma.f64 -1/2 (.f64 t (.f64 t (.f64 (pow.f64 (fma.f64 1/8 y 1/16) 2) (.f64 z (.f64 x z))))) (fma.f64 1/24 (.f64 (pow.f64 t 4) (.f64 x (.f64 (pow.f64 (fma.f64 1/8 y 1/16) 4) (pow.f64 z 4)))) x))
(fma.f64 (.f64 1/24 (.f64 (pow.f64 t 4) (pow.f64 (fma.f64 1/8 y 1/16) 4))) (.f64 x (pow.f64 z 4)) (fma.f64 -1/2 (.f64 (pow.f64 (fma.f64 1/8 y 1/16) 2) (.f64 (.f64 t t) (.f64 z (.f64 x z)))) x))
(fma.f64 x (fma.f64 (.f64 -1/2 (.f64 t t)) (.f64 (pow.f64 (fma.f64 1/8 y 1/16) 2) (.f64 z z)) (.f64 (.f64 (pow.f64 (fma.f64 1/8 y 1/16) 4) (pow.f64 z 4)) (*.f64 1/24 (pow.f64 t 4)))) x)
(+.f64 (.f64 -1/2 (.f64 (pow.f64 t 2) (.f64 (pow.f64 (+.f64 1/16 (.f64 1/8 y)) 2) (.f64 (pow.f64 z 2) x)))) (+.f64 (.f64 -1/720 (.f64 (pow.f64 t 6) (.f64 (pow.f64 (+.f64 1/16 (.f64 1/8 y)) 6) (.f64 (pow.f64 z 6) x)))) (+.f64 (.f64 1/24 (.f64 (pow.f64 t 4) (.f64 (pow.f64 (+.f64 1/16 (.f64 1/8 y)) 4) (*.f64 (pow.f64 z 4) x)))) x)))
(fma.f64 -1/2 (.f64 (.f64 (.f64 t t) (pow.f64 (fma.f64 y 1/8 1/16) 2)) (.f64 x (.f64 z z))) (fma.f64 -1/720 (.f64 (pow.f64 t 6) (.f64 (.f64 (pow.f64 (fma.f64 y 1/8 1/16) 6) (pow.f64 z 6)) x)) (fma.f64 1/24 (.f64 (.f64 (pow.f64 t 4) (pow.f64 (fma.f64 y 1/8 1/16) 4)) (*.f64 x (pow.f64 z 4))) x)))
(fma.f64 -1/2 (.f64 t (.f64 t (.f64 (pow.f64 (fma.f64 1/8 y 1/16) 2) (.f64 z (.f64 x z))))) (fma.f64 -1/720 (.f64 (pow.f64 t 6) (.f64 x (.f64 (pow.f64 (fma.f64 1/8 y 1/16) 6) (pow.f64 z 6)))) (fma.f64 1/24 (.f64 (pow.f64 t 4) (.f64 x (*.f64 (pow.f64 (fma.f64 1/8 y 1/16) 4) (pow.f64 z 4)))) x)))
(fma.f64 -1/720 (.f64 (pow.f64 (fma.f64 1/8 y 1/16) 6) (.f64 (pow.f64 t 6) (.f64 x (pow.f64 z 6)))) (fma.f64 (.f64 1/24 (.f64 (pow.f64 t 4) (pow.f64 (fma.f64 1/8 y 1/16) 4))) (.f64 x (pow.f64 z 4)) (fma.f64 -1/2 (.f64 (pow.f64 (fma.f64 1/8 y 1/16) 2) (.f64 (.f64 t t) (.f64 z (*.f64 x z)))) x)))
(fma.f64 x (.f64 (.f64 (pow.f64 (fma.f64 1/8 y 1/16) 4) (pow.f64 z 4)) (.f64 1/24 (pow.f64 t 4))) (fma.f64 x (fma.f64 (.f64 -1/2 (.f64 t t)) (.f64 (pow.f64 (fma.f64 1/8 y 1/16) 2) (.f64 z z)) (.f64 (.f64 -1/720 (pow.f64 t 6)) (.f64 (pow.f64 (fma.f64 1/8 y 1/16) 6) (pow.f64 z 6)))) x))
(.f64 (cos.f64 (.f64 t (*.f64 (fma.f64 y 1/8 1/16) z))) x)
(.f64 x (cos.f64 (.f64 t (*.f64 (fma.f64 y 1/8 1/16) z))))
(.f64 x (cos.f64 (.f64 t (*.f64 (fma.f64 1/8 y 1/16) z))))
(.f64 (cos.f64 (.f64 t (*.f64 (fma.f64 y 1/8 1/16) z))) x)
(.f64 x (cos.f64 (.f64 t (*.f64 (fma.f64 y 1/8 1/16) z))))
(.f64 x (cos.f64 (.f64 t (*.f64 (fma.f64 1/8 y 1/16) z))))
(.f64 (cos.f64 (.f64 t (*.f64 (fma.f64 y 1/8 1/16) z))) x)
(.f64 x (cos.f64 (.f64 t (*.f64 (fma.f64 y 1/8 1/16) z))))
(.f64 x (cos.f64 (.f64 t (*.f64 (fma.f64 1/8 y 1/16) z))))
(.f64 (cos.f64 (.f64 t (*.f64 (fma.f64 y 1/8 1/16) z))) x)
(.f64 x (cos.f64 (.f64 t (*.f64 (fma.f64 y 1/8 1/16) z))))
(.f64 x (cos.f64 (.f64 t (*.f64 (fma.f64 1/8 y 1/16) z))))
(.f64 (cos.f64 (.f64 t (*.f64 (fma.f64 y 1/8 1/16) z))) x)
(.f64 x (cos.f64 (.f64 t (*.f64 (fma.f64 y 1/8 1/16) z))))
(.f64 x (cos.f64 (.f64 t (*.f64 (fma.f64 1/8 y 1/16) z))))
(.f64 (cos.f64 (.f64 t (*.f64 (fma.f64 y 1/8 1/16) z))) x)
(.f64 x (cos.f64 (.f64 t (*.f64 (fma.f64 y 1/8 1/16) z))))
(.f64 x (cos.f64 (.f64 t (*.f64 (fma.f64 1/8 y 1/16) z))))
(.f64 (cos.f64 (.f64 t (*.f64 (fma.f64 y 1/8 1/16) z))) x)
(.f64 x (cos.f64 (.f64 t (*.f64 (fma.f64 y 1/8 1/16) z))))
(.f64 x (cos.f64 (.f64 t (*.f64 (fma.f64 1/8 y 1/16) z))))
(.f64 (cos.f64 (.f64 t (*.f64 (fma.f64 y 1/8 1/16) z))) x)
(.f64 x (cos.f64 (.f64 t (*.f64 (fma.f64 y 1/8 1/16) z))))
(.f64 x (cos.f64 (.f64 t (*.f64 (fma.f64 1/8 y 1/16) z))))
x
(+.f64 (.f64 -1/2 (.f64 (pow.f64 t 2) (.f64 (pow.f64 (+.f64 1/16 (.f64 1/8 y)) 2) (*.f64 (pow.f64 z 2) x)))) x)
(fma.f64 -1/2 (.f64 (.f64 (.f64 t t) (pow.f64 (fma.f64 y 1/8 1/16) 2)) (.f64 x (*.f64 z z))) x)
(fma.f64 -1/2 (.f64 t (.f64 t (.f64 (pow.f64 (fma.f64 1/8 y 1/16) 2) (.f64 z (*.f64 x z))))) x)
(fma.f64 -1/2 (.f64 (pow.f64 (fma.f64 1/8 y 1/16) 2) (.f64 (.f64 t t) (.f64 z (*.f64 x z)))) x)
(fma.f64 x (.f64 (.f64 -1/2 (.f64 t t)) (.f64 (pow.f64 (fma.f64 1/8 y 1/16) 2) (*.f64 z z))) x)
(+.f64 (.f64 -1/2 (.f64 (pow.f64 t 2) (.f64 (pow.f64 (+.f64 1/16 (.f64 1/8 y)) 2) (.f64 (pow.f64 z 2) x)))) (+.f64 (.f64 1/24 (.f64 (pow.f64 t 4) (.f64 (pow.f64 (+.f64 1/16 (.f64 1/8 y)) 4) (.f64 (pow.f64 z 4) x)))) x))
(fma.f64 -1/2 (.f64 (.f64 (.f64 t t) (pow.f64 (fma.f64 y 1/8 1/16) 2)) (.f64 x (.f64 z z))) (fma.f64 1/24 (.f64 (.f64 (pow.f64 t 4) (pow.f64 (fma.f64 y 1/8 1/16) 4)) (.f64 x (pow.f64 z 4))) x))
(fma.f64 -1/2 (.f64 t (.f64 t (.f64 (pow.f64 (fma.f64 1/8 y 1/16) 2) (.f64 z (.f64 x z))))) (fma.f64 1/24 (.f64 (pow.f64 t 4) (.f64 x (.f64 (pow.f64 (fma.f64 1/8 y 1/16) 4) (pow.f64 z 4)))) x))
(fma.f64 (.f64 1/24 (.f64 (pow.f64 t 4) (pow.f64 (fma.f64 1/8 y 1/16) 4))) (.f64 x (pow.f64 z 4)) (fma.f64 -1/2 (.f64 (pow.f64 (fma.f64 1/8 y 1/16) 2) (.f64 (.f64 t t) (.f64 z (.f64 x z)))) x))
(fma.f64 x (fma.f64 (.f64 -1/2 (.f64 t t)) (.f64 (pow.f64 (fma.f64 1/8 y 1/16) 2) (.f64 z z)) (.f64 (.f64 (pow.f64 (fma.f64 1/8 y 1/16) 4) (pow.f64 z 4)) (*.f64 1/24 (pow.f64 t 4)))) x)
(+.f64 (.f64 -1/2 (.f64 (pow.f64 t 2) (.f64 (pow.f64 (+.f64 1/16 (.f64 1/8 y)) 2) (.f64 (pow.f64 z 2) x)))) (+.f64 (.f64 -1/720 (.f64 (pow.f64 t 6) (.f64 (pow.f64 (+.f64 1/16 (.f64 1/8 y)) 6) (.f64 (pow.f64 z 6) x)))) (+.f64 (.f64 1/24 (.f64 (pow.f64 t 4) (.f64 (pow.f64 (+.f64 1/16 (.f64 1/8 y)) 4) (*.f64 (pow.f64 z 4) x)))) x)))
(fma.f64 -1/2 (.f64 (.f64 (.f64 t t) (pow.f64 (fma.f64 y 1/8 1/16) 2)) (.f64 x (.f64 z z))) (fma.f64 -1/720 (.f64 (pow.f64 t 6) (.f64 (.f64 (pow.f64 (fma.f64 y 1/8 1/16) 6) (pow.f64 z 6)) x)) (fma.f64 1/24 (.f64 (.f64 (pow.f64 t 4) (pow.f64 (fma.f64 y 1/8 1/16) 4)) (*.f64 x (pow.f64 z 4))) x)))
(fma.f64 -1/2 (.f64 t (.f64 t (.f64 (pow.f64 (fma.f64 1/8 y 1/16) 2) (.f64 z (.f64 x z))))) (fma.f64 -1/720 (.f64 (pow.f64 t 6) (.f64 x (.f64 (pow.f64 (fma.f64 1/8 y 1/16) 6) (pow.f64 z 6)))) (fma.f64 1/24 (.f64 (pow.f64 t 4) (.f64 x (*.f64 (pow.f64 (fma.f64 1/8 y 1/16) 4) (pow.f64 z 4)))) x)))
(fma.f64 -1/720 (.f64 (pow.f64 (fma.f64 1/8 y 1/16) 6) (.f64 (pow.f64 t 6) (.f64 x (pow.f64 z 6)))) (fma.f64 (.f64 1/24 (.f64 (pow.f64 t 4) (pow.f64 (fma.f64 1/8 y 1/16) 4))) (.f64 x (pow.f64 z 4)) (fma.f64 -1/2 (.f64 (pow.f64 (fma.f64 1/8 y 1/16) 2) (.f64 (.f64 t t) (.f64 z (*.f64 x z)))) x)))
(fma.f64 x (.f64 (.f64 (pow.f64 (fma.f64 1/8 y 1/16) 4) (pow.f64 z 4)) (.f64 1/24 (pow.f64 t 4))) (fma.f64 x (fma.f64 (.f64 -1/2 (.f64 t t)) (.f64 (pow.f64 (fma.f64 1/8 y 1/16) 2) (.f64 z z)) (.f64 (.f64 -1/720 (pow.f64 t 6)) (.f64 (pow.f64 (fma.f64 1/8 y 1/16) 6) (pow.f64 z 6)))) x))
(.f64 (cos.f64 (.f64 t (*.f64 (fma.f64 y 1/8 1/16) z))) x)
(.f64 x (cos.f64 (.f64 t (*.f64 (fma.f64 y 1/8 1/16) z))))
(.f64 x (cos.f64 (.f64 t (*.f64 (fma.f64 1/8 y 1/16) z))))
(.f64 (cos.f64 (.f64 t (*.f64 (fma.f64 y 1/8 1/16) z))) x)
(.f64 x (cos.f64 (.f64 t (*.f64 (fma.f64 y 1/8 1/16) z))))
(.f64 x (cos.f64 (.f64 t (*.f64 (fma.f64 1/8 y 1/16) z))))
(.f64 (cos.f64 (.f64 t (*.f64 (fma.f64 y 1/8 1/16) z))) x)
(.f64 x (cos.f64 (.f64 t (*.f64 (fma.f64 y 1/8 1/16) z))))
(.f64 x (cos.f64 (.f64 t (*.f64 (fma.f64 1/8 y 1/16) z))))
(.f64 (cos.f64 (.f64 t (*.f64 (fma.f64 y 1/8 1/16) z))) x)
(.f64 x (cos.f64 (.f64 t (*.f64 (fma.f64 y 1/8 1/16) z))))
(.f64 x (cos.f64 (.f64 t (*.f64 (fma.f64 1/8 y 1/16) z))))
(.f64 (cos.f64 (.f64 t (*.f64 (fma.f64 y 1/8 1/16) z))) x)
(.f64 x (cos.f64 (.f64 t (*.f64 (fma.f64 y 1/8 1/16) z))))
(.f64 x (cos.f64 (.f64 t (*.f64 (fma.f64 1/8 y 1/16) z))))
(.f64 (cos.f64 (.f64 t (*.f64 (fma.f64 y 1/8 1/16) z))) x)
(.f64 x (cos.f64 (.f64 t (*.f64 (fma.f64 y 1/8 1/16) z))))
(.f64 x (cos.f64 (.f64 t (*.f64 (fma.f64 1/8 y 1/16) z))))
(.f64 (cos.f64 (.f64 t (*.f64 (fma.f64 y 1/8 1/16) z))) x)
(.f64 x (cos.f64 (.f64 t (*.f64 (fma.f64 y 1/8 1/16) z))))
(.f64 x (cos.f64 (.f64 t (*.f64 (fma.f64 1/8 y 1/16) z))))
(.f64 (cos.f64 (.f64 t (*.f64 (fma.f64 y 1/8 1/16) z))) x)
(.f64 x (cos.f64 (.f64 t (*.f64 (fma.f64 y 1/8 1/16) z))))
(.f64 x (cos.f64 (.f64 t (*.f64 (fma.f64 1/8 y 1/16) z))))
(.f64 (cos.f64 (.f64 1/16 (*.f64 t z))) x)
(.f64 x (cos.f64 (.f64 1/16 (*.f64 t z))))
(.f64 x (cos.f64 (.f64 t (*.f64 1/16 z))))
(+.f64 (.f64 -1/8 (.f64 y (.f64 t (.f64 z (.f64 x (sin.f64 (.f64 1/16 (.f64 t z)))))))) (.f64 (cos.f64 (.f64 1/16 (.f64 t z))) x))
(fma.f64 -1/8 (.f64 (.f64 t y) (.f64 (.f64 z x) (sin.f64 (.f64 1/16 (.f64 t z))))) (.f64 x (cos.f64 (.f64 1/16 (*.f64 t z)))))
(fma.f64 x (cos.f64 (.f64 t (.f64 1/16 z))) (.f64 -1/8 (.f64 (.f64 (.f64 t y) (.f64 x z)) (sin.f64 (.f64 t (*.f64 1/16 z))))))
(fma.f64 -1/8 (.f64 (sin.f64 (.f64 t (.f64 1/16 z))) (.f64 (.f64 t y) (.f64 x z))) (.f64 x (cos.f64 (.f64 t (*.f64 1/16 z)))))
(+.f64 (.f64 -1/128 (.f64 (cos.f64 (.f64 1/16 (.f64 t z))) (.f64 (pow.f64 y 2) (.f64 (pow.f64 t 2) (.f64 (pow.f64 z 2) x))))) (+.f64 (.f64 -1/8 (.f64 y (.f64 t (.f64 z (.f64 x (sin.f64 (.f64 1/16 (.f64 t z)))))))) (.f64 (cos.f64 (.f64 1/16 (*.f64 t z))) x)))
(fma.f64 -1/128 (.f64 (cos.f64 (.f64 1/16 (.f64 t z))) (.f64 (.f64 (.f64 y y) (.f64 t t)) (.f64 x (.f64 z z)))) (fma.f64 -1/8 (.f64 (.f64 t y) (.f64 (.f64 z x) (sin.f64 (.f64 1/16 (.f64 t z))))) (.f64 x (cos.f64 (.f64 1/16 (.f64 t z))))))
(fma.f64 -1/128 (.f64 (cos.f64 (.f64 t (.f64 1/16 z))) (.f64 (.f64 (.f64 t t) (.f64 z (.f64 x z))) (.f64 y y))) (fma.f64 x (cos.f64 (.f64 t (.f64 1/16 z))) (.f64 -1/8 (.f64 (.f64 (.f64 t y) (.f64 x z)) (sin.f64 (.f64 t (.f64 1/16 z)))))))
(fma.f64 y (.f64 -1/8 (.f64 x (.f64 (.f64 t z) (sin.f64 (.f64 t (.f64 1/16 z)))))) (.f64 (cos.f64 (.f64 t (.f64 1/16 z))) (+.f64 (.f64 -1/128 (.f64 x (.f64 (.f64 z z) (.f64 t (.f64 t (.f64 y y)))))) x)))
(fma.f64 t (.f64 (.f64 (sin.f64 (.f64 t (.f64 1/16 z))) (.f64 x z)) (.f64 y -1/8)) (.f64 (cos.f64 (.f64 t (.f64 1/16 z))) (fma.f64 -1/128 (.f64 x (.f64 (.f64 y (.f64 t z)) (.f64 y (*.f64 t z)))) x)))
(+.f64 (.f64 -1/128 (.f64 (cos.f64 (.f64 1/16 (.f64 t z))) (.f64 (pow.f64 y 2) (.f64 (pow.f64 t 2) (.f64 (pow.f64 z 2) x))))) (+.f64 (.f64 -1/8 (.f64 y (.f64 t (.f64 z (.f64 x (sin.f64 (.f64 1/16 (.f64 t z)))))))) (+.f64 (.f64 1/3072 (.f64 (pow.f64 y 3) (.f64 (pow.f64 t 3) (.f64 (pow.f64 z 3) (.f64 x (sin.f64 (.f64 1/16 (.f64 t z)))))))) (.f64 (cos.f64 (.f64 1/16 (.f64 t z))) x))))
(fma.f64 -1/128 (.f64 (cos.f64 (.f64 1/16 (.f64 t z))) (.f64 (.f64 (.f64 y y) (.f64 t t)) (.f64 x (.f64 z z)))) (fma.f64 -1/8 (.f64 (.f64 t y) (.f64 (.f64 z x) (sin.f64 (.f64 1/16 (.f64 t z))))) (fma.f64 1/3072 (.f64 (.f64 (pow.f64 y 3) (pow.f64 t 3)) (.f64 (.f64 (pow.f64 z 3) x) (sin.f64 (.f64 1/16 (.f64 t z))))) (.f64 x (cos.f64 (.f64 1/16 (.f64 t z)))))))
(fma.f64 -1/128 (.f64 (cos.f64 (.f64 t (.f64 1/16 z))) (.f64 (.f64 (.f64 t t) (.f64 z (.f64 x z))) (.f64 y y))) (fma.f64 -1/8 (.f64 (.f64 (.f64 t y) (.f64 x z)) (sin.f64 (.f64 t (.f64 1/16 z)))) (fma.f64 x (cos.f64 (.f64 t (.f64 1/16 z))) (.f64 1/3072 (.f64 (pow.f64 y 3) (.f64 (.f64 x (sin.f64 (.f64 t (.f64 1/16 z)))) (.f64 (pow.f64 t 3) (pow.f64 z 3))))))))
(+.f64 (.f64 (.f64 x (sin.f64 (.f64 t (.f64 1/16 z)))) (+.f64 (.f64 (.f64 t z) (.f64 y -1/8)) (.f64 (.f64 (pow.f64 t 3) (pow.f64 z 3)) (.f64 1/3072 (pow.f64 y 3))))) (.f64 (cos.f64 (.f64 t (.f64 1/16 z))) (+.f64 (.f64 -1/128 (.f64 x (.f64 (.f64 z z) (.f64 t (.f64 t (.f64 y y)))))) x)))
(fma.f64 (.f64 x (sin.f64 (.f64 t (.f64 1/16 z)))) (fma.f64 (.f64 t z) (.f64 y -1/8) (.f64 (.f64 (pow.f64 t 3) (pow.f64 z 3)) (.f64 1/3072 (pow.f64 y 3)))) (.f64 (cos.f64 (.f64 t (.f64 1/16 z))) (fma.f64 -1/128 (.f64 x (.f64 (.f64 y (.f64 t z)) (.f64 y (*.f64 t z)))) x)))
(.f64 (cos.f64 (.f64 t (*.f64 (fma.f64 y 1/8 1/16) z))) x)
(.f64 x (cos.f64 (.f64 t (*.f64 (fma.f64 y 1/8 1/16) z))))
(.f64 x (cos.f64 (.f64 t (*.f64 (fma.f64 1/8 y 1/16) z))))
(.f64 (cos.f64 (.f64 t (*.f64 (fma.f64 y 1/8 1/16) z))) x)
(.f64 x (cos.f64 (.f64 t (*.f64 (fma.f64 y 1/8 1/16) z))))
(.f64 x (cos.f64 (.f64 t (*.f64 (fma.f64 1/8 y 1/16) z))))
(.f64 (cos.f64 (.f64 t (*.f64 (fma.f64 y 1/8 1/16) z))) x)
(.f64 x (cos.f64 (.f64 t (*.f64 (fma.f64 y 1/8 1/16) z))))
(.f64 x (cos.f64 (.f64 t (*.f64 (fma.f64 1/8 y 1/16) z))))
(.f64 (cos.f64 (.f64 t (*.f64 (fma.f64 y 1/8 1/16) z))) x)
(.f64 x (cos.f64 (.f64 t (*.f64 (fma.f64 y 1/8 1/16) z))))
(.f64 x (cos.f64 (.f64 t (*.f64 (fma.f64 1/8 y 1/16) z))))
(.f64 (cos.f64 (.f64 t (*.f64 (fma.f64 y 1/8 1/16) z))) x)
(.f64 x (cos.f64 (.f64 t (*.f64 (fma.f64 y 1/8 1/16) z))))
(.f64 x (cos.f64 (.f64 t (*.f64 (fma.f64 1/8 y 1/16) z))))
(.f64 (cos.f64 (.f64 t (*.f64 (fma.f64 y 1/8 1/16) z))) x)
(.f64 x (cos.f64 (.f64 t (*.f64 (fma.f64 y 1/8 1/16) z))))
(.f64 x (cos.f64 (.f64 t (*.f64 (fma.f64 1/8 y 1/16) z))))
(.f64 (cos.f64 (.f64 t (*.f64 (fma.f64 y 1/8 1/16) z))) x)
(.f64 x (cos.f64 (.f64 t (*.f64 (fma.f64 y 1/8 1/16) z))))
(.f64 x (cos.f64 (.f64 t (*.f64 (fma.f64 1/8 y 1/16) z))))
(.f64 (cos.f64 (.f64 t (*.f64 (fma.f64 y 1/8 1/16) z))) x)
(.f64 x (cos.f64 (.f64 t (*.f64 (fma.f64 y 1/8 1/16) z))))
(.f64 x (cos.f64 (.f64 t (*.f64 (fma.f64 1/8 y 1/16) z))))
(.f64 (cos.f64 (.f64 t (.f64 (+.f64 1/16 (.f64 1/8 y)) z))) x)
(.f64 x (cos.f64 (.f64 t (*.f64 (fma.f64 y 1/8 1/16) z))))
(.f64 x (cos.f64 (.f64 t (*.f64 (fma.f64 1/8 y 1/16) z))))
(.f64 (cos.f64 (.f64 t (.f64 (+.f64 1/16 (.f64 1/8 y)) z))) x)
(.f64 x (cos.f64 (.f64 t (*.f64 (fma.f64 y 1/8 1/16) z))))
(.f64 x (cos.f64 (.f64 t (*.f64 (fma.f64 1/8 y 1/16) z))))
(.f64 (cos.f64 (.f64 t (.f64 (+.f64 1/16 (.f64 1/8 y)) z))) x)
(.f64 x (cos.f64 (.f64 t (*.f64 (fma.f64 y 1/8 1/16) z))))
(.f64 x (cos.f64 (.f64 t (*.f64 (fma.f64 1/8 y 1/16) z))))
(.f64 (cos.f64 (.f64 t (.f64 (+.f64 1/16 (.f64 1/8 y)) z))) x)
(.f64 x (cos.f64 (.f64 t (*.f64 (fma.f64 y 1/8 1/16) z))))
(.f64 x (cos.f64 (.f64 t (*.f64 (fma.f64 1/8 y 1/16) z))))
(.f64 (cos.f64 (.f64 t (.f64 (+.f64 1/16 (.f64 1/8 y)) z))) x)
(.f64 x (cos.f64 (.f64 t (*.f64 (fma.f64 y 1/8 1/16) z))))
(.f64 x (cos.f64 (.f64 t (*.f64 (fma.f64 1/8 y 1/16) z))))
(.f64 (cos.f64 (.f64 t (.f64 (+.f64 1/16 (.f64 1/8 y)) z))) x)
(.f64 x (cos.f64 (.f64 t (*.f64 (fma.f64 y 1/8 1/16) z))))
(.f64 x (cos.f64 (.f64 t (*.f64 (fma.f64 1/8 y 1/16) z))))
(.f64 (cos.f64 (.f64 t (.f64 (+.f64 1/16 (.f64 1/8 y)) z))) x)
(.f64 x (cos.f64 (.f64 t (*.f64 (fma.f64 y 1/8 1/16) z))))
(.f64 x (cos.f64 (.f64 t (*.f64 (fma.f64 1/8 y 1/16) z))))
(.f64 (cos.f64 (.f64 t (.f64 (+.f64 1/16 (.f64 1/8 y)) z))) x)
(.f64 x (cos.f64 (.f64 t (*.f64 (fma.f64 y 1/8 1/16) z))))
(.f64 x (cos.f64 (.f64 t (*.f64 (fma.f64 1/8 y 1/16) z))))
(.f64 (cos.f64 (.f64 t (.f64 (+.f64 1/16 (.f64 1/8 y)) z))) x)
(.f64 x (cos.f64 (.f64 t (*.f64 (fma.f64 y 1/8 1/16) z))))
(.f64 x (cos.f64 (.f64 t (*.f64 (fma.f64 1/8 y 1/16) z))))
(.f64 (cos.f64 (.f64 t (.f64 (+.f64 1/16 (.f64 1/8 y)) z))) x)
(.f64 x (cos.f64 (.f64 t (*.f64 (fma.f64 y 1/8 1/16) z))))
(.f64 x (cos.f64 (.f64 t (*.f64 (fma.f64 1/8 y 1/16) z))))
(.f64 (cos.f64 (.f64 t (.f64 (+.f64 1/16 (.f64 1/8 y)) z))) x)
(.f64 x (cos.f64 (.f64 t (*.f64 (fma.f64 y 1/8 1/16) z))))
(.f64 x (cos.f64 (.f64 t (*.f64 (fma.f64 1/8 y 1/16) z))))
(.f64 (cos.f64 (.f64 t (.f64 (+.f64 1/16 (.f64 1/8 y)) z))) x)
(.f64 x (cos.f64 (.f64 t (*.f64 (fma.f64 y 1/8 1/16) z))))
(.f64 x (cos.f64 (.f64 t (*.f64 (fma.f64 1/8 y 1/16) z))))
(.f64 t (+.f64 1/16 (.f64 1/8 y)))
(*.f64 t (fma.f64 y 1/8 1/16))
(*.f64 t (fma.f64 1/8 y 1/16))
(.f64 t (+.f64 1/16 (.f64 1/8 y)))
(*.f64 t (fma.f64 y 1/8 1/16))
(*.f64 t (fma.f64 1/8 y 1/16))
(.f64 t (+.f64 1/16 (.f64 1/8 y)))
(*.f64 t (fma.f64 y 1/8 1/16))
(*.f64 t (fma.f64 1/8 y 1/16))
(.f64 t (+.f64 1/16 (.f64 1/8 y)))
(*.f64 t (fma.f64 y 1/8 1/16))
(*.f64 t (fma.f64 1/8 y 1/16))
(.f64 t (+.f64 1/16 (.f64 1/8 y)))
(*.f64 t (fma.f64 y 1/8 1/16))
(*.f64 t (fma.f64 1/8 y 1/16))
(.f64 t (+.f64 1/16 (.f64 1/8 y)))
(*.f64 t (fma.f64 y 1/8 1/16))
(*.f64 t (fma.f64 1/8 y 1/16))
(.f64 t (+.f64 1/16 (.f64 1/8 y)))
(*.f64 t (fma.f64 y 1/8 1/16))
(*.f64 t (fma.f64 1/8 y 1/16))
(.f64 t (+.f64 1/16 (.f64 1/8 y)))
(*.f64 t (fma.f64 y 1/8 1/16))
(*.f64 t (fma.f64 1/8 y 1/16))
(.f64 t (+.f64 1/16 (.f64 1/8 y)))
(*.f64 t (fma.f64 y 1/8 1/16))
(*.f64 t (fma.f64 1/8 y 1/16))
(.f64 t (+.f64 1/16 (.f64 1/8 y)))
(*.f64 t (fma.f64 y 1/8 1/16))
(*.f64 t (fma.f64 1/8 y 1/16))
(.f64 t (+.f64 1/16 (.f64 1/8 y)))
(*.f64 t (fma.f64 y 1/8 1/16))
(*.f64 t (fma.f64 1/8 y 1/16))
(.f64 t (+.f64 1/16 (.f64 1/8 y)))
(*.f64 t (fma.f64 y 1/8 1/16))
(*.f64 t (fma.f64 1/8 y 1/16))
(*.f64 1/16 t)
(*.f64 t 1/16)
(+.f64 (.f64 1/8 (.f64 y t)) (*.f64 1/16 t))
(*.f64 t (fma.f64 y 1/8 1/16))
(*.f64 t (fma.f64 1/8 y 1/16))
(+.f64 (.f64 1/8 (.f64 y t)) (*.f64 1/16 t))
(*.f64 t (fma.f64 y 1/8 1/16))
(*.f64 t (fma.f64 1/8 y 1/16))
(+.f64 (.f64 1/8 (.f64 y t)) (*.f64 1/16 t))
(*.f64 t (fma.f64 y 1/8 1/16))
(*.f64 t (fma.f64 1/8 y 1/16))
(.f64 1/8 (.f64 y t))
(.f64 1/8 (.f64 t y))
(.f64 t (.f64 1/8 y))
(+.f64 (.f64 1/8 (.f64 y t)) (*.f64 1/16 t))
(*.f64 t (fma.f64 y 1/8 1/16))
(*.f64 t (fma.f64 1/8 y 1/16))
(+.f64 (.f64 1/8 (.f64 y t)) (*.f64 1/16 t))
(*.f64 t (fma.f64 y 1/8 1/16))
(*.f64 t (fma.f64 1/8 y 1/16))
(+.f64 (.f64 1/8 (.f64 y t)) (*.f64 1/16 t))
(*.f64 t (fma.f64 y 1/8 1/16))
(*.f64 t (fma.f64 1/8 y 1/16))
(.f64 1/8 (.f64 y t))
(.f64 1/8 (.f64 t y))
(.f64 t (.f64 1/8 y))
(+.f64 (.f64 1/8 (.f64 y t)) (*.f64 1/16 t))
(*.f64 t (fma.f64 y 1/8 1/16))
(*.f64 t (fma.f64 1/8 y 1/16))
(+.f64 (.f64 1/8 (.f64 y t)) (*.f64 1/16 t))
(*.f64 t (fma.f64 y 1/8 1/16))
(*.f64 t (fma.f64 1/8 y 1/16))
(+.f64 (.f64 1/8 (.f64 y t)) (*.f64 1/16 t))
(*.f64 t (fma.f64 y 1/8 1/16))
(*.f64 t (fma.f64 1/8 y 1/16))

prune224.0ms (2.3%)

Pruning

40 alts after pruning (40 fresh and 0 done)

	Pruned	Kept	Total
New	99	24	123
Fresh	7	16	23
Picked	1	0	1
Done	0	0	0
Total	107	40	147

Error

40.7b

Counts

147 → 40

Alt Table

Status	Error	Program
	53.6b	(.f64 (cos.f64 (pow.f64 (sqrt.f64 (.f64 (fma.f64 y 1/8 1/16) (.f64 t z))) 2)) (.f64 x 1))
	47.5b	(.f64 (cos.f64 (.f64 z (.f64 t (fma.f64 y 1/8 1/16)))) (.f64 x (sqrt.f64 (pow.f64 (cos.f64 (.f64 (fma.f64 a 1/8 1/16) (.f64 t b))) 2))))
	46.8b	(pow.f64 (cbrt.f64 (.f64 (cos.f64 (.f64 (fma.f64 y 1/8 1/16) (*.f64 z t))) x)) 3)
	47.3b	(.f64 (cos.f64 (.f64 t (.f64 1/16 z))) (.f64 x (cos.f64 (.f64 t (.f64 b (fma.f64 a 1/8 1/16))))))
	55.2b	(.f64 (cos.f64 (.f64 z (exp.f64 (log.f64 (.f64 t (fma.f64 y 1/8 1/16)))))) (.f64 x 1))
	60.6b	(pow.f64 (pow.f64 (.f64 (cos.f64 (.f64 (fma.f64 y 1/8 1/16) (*.f64 z t))) x) 3) 1/3)
▶	45.5b	x
	47.7b	(.f64 (cos.f64 (.f64 z (.f64 t (fma.f64 y 1/8 1/16)))) (.f64 x (pow.f64 (cbrt.f64 (cos.f64 (.f64 (fma.f64 a 1/8 1/16) (.f64 t b)))) 3)))
	47.9b	(.f64 (cos.f64 (.f64 z (.f64 t (fma.f64 y 1/8 1/16)))) (.f64 x (cos.f64 (pow.f64 (cbrt.f64 (.f64 (fma.f64 a 1/8 1/16) (.f64 t b))) 3))))
	47.9b	(.f64 (cbrt.f64 (pow.f64 (cos.f64 (.f64 (fma.f64 y 1/8 1/16) (.f64 t z))) 3)) (.f64 x (cos.f64 (.f64 t (.f64 b (fma.f64 a 1/8 1/16))))))
	48.2b	(.f64 (cos.f64 (cbrt.f64 (pow.f64 (.f64 (fma.f64 y 1/8 1/16) (.f64 t z)) 3))) (.f64 x 1))
	49.0b	(.f64 (fma.f64 (.f64 -1/8 (.f64 t y)) (.f64 z (sin.f64 (.f64 t (.f64 1/16 z)))) (cos.f64 (.f64 t (.f64 1/16 z)))) (.f64 x (cos.f64 (.f64 t (*.f64 b (fma.f64 a 1/8 1/16))))))
	46.3b	(.f64 (sqrt.f64 (pow.f64 (cos.f64 (.f64 (fma.f64 y 1/8 1/16) (.f64 t z))) 2)) (.f64 x 1))
	49.9b	(.f64 (cos.f64 (.f64 z (cbrt.f64 (pow.f64 (.f64 t (fma.f64 y 1/8 1/16)) 3)))) (.f64 x 1))
	47.8b	(.f64 (cos.f64 (.f64 z (.f64 t (fma.f64 y 1/8 1/16)))) (.f64 x (cos.f64 (.f64 b (.f64 1/8 (*.f64 t a))))))
	56.4b	(exp.f64 (log.f64 (.f64 (cos.f64 (.f64 (fma.f64 y 1/8 1/16) (*.f64 z t))) x)))
	46.1b	(.f64 (cos.f64 (.f64 1/16 (*.f64 t z))) x)
	46.7b	(.f64 (cos.f64 (.f64 1/8 (.f64 y (.f64 t z)))) (*.f64 x 1))
	47.6b	(.f64 (cos.f64 (.f64 z (.f64 t (fma.f64 y 1/8 1/16)))) (.f64 x (cos.f64 (.f64 1/8 (.f64 a (*.f64 t b))))))
	47.9b	(.f64 (sqrt.f64 (pow.f64 (cos.f64 (.f64 (fma.f64 y 1/8 1/16) (.f64 t z))) 2)) (.f64 x (cos.f64 (.f64 t (.f64 b (fma.f64 a 1/8 1/16))))))
	47.1b	(.f64 (cos.f64 (.f64 t (.f64 (.f64 1/8 y) z))) (*.f64 x 1))
	46.8b	(.f64 (cos.f64 (.f64 z (.f64 1/8 (.f64 y t)))) (*.f64 x 1))
	55.3b	(.f64 (cos.f64 (.f64 z (pow.f64 (sqrt.f64 (.f64 t (fma.f64 y 1/8 1/16))) 2))) (.f64 x 1))
	48.1b	(.f64 (cos.f64 (pow.f64 (cbrt.f64 (.f64 (fma.f64 y 1/8 1/16) (.f64 t z))) 3)) (.f64 x (cos.f64 (.f64 t (.f64 b (fma.f64 a 1/8 1/16))))))
	48.3b	(.f64 (cos.f64 (expm1.f64 (log1p.f64 (.f64 (fma.f64 y 1/8 1/16) (.f64 t z))))) (.f64 x 1))
	47.1b	(.f64 (cos.f64 (.f64 z (pow.f64 (cbrt.f64 (.f64 t (fma.f64 y 1/8 1/16))) 3))) (.f64 x 1))
	49.0b	(.f64 (cos.f64 (.f64 z (.f64 t (fma.f64 y 1/8 1/16)))) (.f64 x (cos.f64 (cbrt.f64 (pow.f64 (.f64 (fma.f64 a 1/8 1/16) (.f64 t b)) 3)))))
	47.9b	(.f64 (pow.f64 (cbrt.f64 (cos.f64 (.f64 (fma.f64 y 1/8 1/16) (.f64 t z)))) 3) (.f64 x (cos.f64 (.f64 t (.f64 b (fma.f64 a 1/8 1/16))))))
	47.1b	(.f64 (cos.f64 (.f64 z (.f64 t (fma.f64 y 1/8 1/16)))) (.f64 x (cos.f64 (.f64 1/16 (.f64 t b)))))
	54.2b	(.f64 (cos.f64 (.f64 z (pow.f64 (pow.f64 (.f64 t (fma.f64 y 1/8 1/16)) 3) 1/3))) (.f64 x 1))
	48.4b	(.f64 (cos.f64 (.f64 t (.f64 (.f64 1/8 y) z))) (.f64 x (cos.f64 (.f64 t (*.f64 b (fma.f64 a 1/8 1/16))))))
	61.7b	(log.f64 (pow.f64 (exp.f64 x) (cos.f64 (.f64 (fma.f64 y 1/8 1/16) (.f64 z t)))))
	51.7b	(.f64 (cos.f64 (pow.f64 (pow.f64 (.f64 (fma.f64 y 1/8 1/16) (.f64 t z)) 3) 1/3)) (.f64 x 1))
	46.5b	(.f64 (.f64 (cbrt.f64 (cos.f64 (.f64 (fma.f64 y 1/8 1/16) (.f64 t z)))) (cbrt.f64 (pow.f64 (cos.f64 (.f64 (fma.f64 y 1/8 1/16) (.f64 t z))) 2))) (*.f64 x 1))
	57.1b	(sqrt.f64 (pow.f64 (.f64 (cos.f64 (.f64 (fma.f64 y 1/8 1/16) (*.f64 z t))) x) 2))
	46.8b	(.f64 (cos.f64 (pow.f64 (cbrt.f64 (.f64 (fma.f64 y 1/8 1/16) (.f64 t z))) 3)) (.f64 x 1))
	47.7b	(.f64 (cos.f64 (.f64 z (.f64 t (fma.f64 y 1/8 1/16)))) (.f64 x (log.f64 (exp.f64 (cos.f64 (.f64 (fma.f64 a 1/8 1/16) (.f64 t b)))))))
	46.5b	(.f64 (pow.f64 (cbrt.f64 (cos.f64 (.f64 (fma.f64 y 1/8 1/16) (.f64 t z)))) 3) (.f64 x 1))
	46.5b	(.f64 (log.f64 (exp.f64 (cos.f64 (.f64 (fma.f64 y 1/8 1/16) (.f64 t z))))) (.f64 x 1))
	49.2b	(.f64 (cos.f64 (expm1.f64 (log1p.f64 (.f64 (fma.f64 y 1/8 1/16) (.f64 t z))))) (.f64 x (cos.f64 (.f64 t (.f64 b (fma.f64 a 1/8 1/16))))))

Compiler

Compiled 4441 to 3202 computations (27.9% saved)

localize1.0ms (0%)

prune49.0ms (0.5%)

Pruning

40 alts after pruning (39 fresh and 1 done)

	Kept	Total
New	0	0
Fresh	39	39
Picked	1	1
Done	0	0
Total	40	40

Error

40.7b

Counts

40 → 40

Alt Table

Status	Error	Program
	53.6b	(.f64 (cos.f64 (pow.f64 (sqrt.f64 (.f64 (fma.f64 y 1/8 1/16) (.f64 t z))) 2)) (.f64 x 1))
	47.5b	(.f64 (cos.f64 (.f64 z (.f64 t (fma.f64 y 1/8 1/16)))) (.f64 x (sqrt.f64 (pow.f64 (cos.f64 (.f64 (fma.f64 a 1/8 1/16) (.f64 t b))) 2))))
	46.8b	(pow.f64 (cbrt.f64 (.f64 (cos.f64 (.f64 (fma.f64 y 1/8 1/16) (*.f64 z t))) x)) 3)
	47.3b	(.f64 (cos.f64 (.f64 t (.f64 1/16 z))) (.f64 x (cos.f64 (.f64 t (.f64 b (fma.f64 a 1/8 1/16))))))
	55.2b	(.f64 (cos.f64 (.f64 z (exp.f64 (log.f64 (.f64 t (fma.f64 y 1/8 1/16)))))) (.f64 x 1))
	60.6b	(pow.f64 (pow.f64 (.f64 (cos.f64 (.f64 (fma.f64 y 1/8 1/16) (*.f64 z t))) x) 3) 1/3)
✓	45.5b	x
	47.7b	(.f64 (cos.f64 (.f64 z (.f64 t (fma.f64 y 1/8 1/16)))) (.f64 x (pow.f64 (cbrt.f64 (cos.f64 (.f64 (fma.f64 a 1/8 1/16) (.f64 t b)))) 3)))
	47.9b	(.f64 (cos.f64 (.f64 z (.f64 t (fma.f64 y 1/8 1/16)))) (.f64 x (cos.f64 (pow.f64 (cbrt.f64 (.f64 (fma.f64 a 1/8 1/16) (.f64 t b))) 3))))
	47.9b	(.f64 (cbrt.f64 (pow.f64 (cos.f64 (.f64 (fma.f64 y 1/8 1/16) (.f64 t z))) 3)) (.f64 x (cos.f64 (.f64 t (.f64 b (fma.f64 a 1/8 1/16))))))
	48.2b	(.f64 (cos.f64 (cbrt.f64 (pow.f64 (.f64 (fma.f64 y 1/8 1/16) (.f64 t z)) 3))) (.f64 x 1))
	49.0b	(.f64 (fma.f64 (.f64 -1/8 (.f64 t y)) (.f64 z (sin.f64 (.f64 t (.f64 1/16 z)))) (cos.f64 (.f64 t (.f64 1/16 z)))) (.f64 x (cos.f64 (.f64 t (*.f64 b (fma.f64 a 1/8 1/16))))))
	46.3b	(.f64 (sqrt.f64 (pow.f64 (cos.f64 (.f64 (fma.f64 y 1/8 1/16) (.f64 t z))) 2)) (.f64 x 1))
	49.9b	(.f64 (cos.f64 (.f64 z (cbrt.f64 (pow.f64 (.f64 t (fma.f64 y 1/8 1/16)) 3)))) (.f64 x 1))
	47.8b	(.f64 (cos.f64 (.f64 z (.f64 t (fma.f64 y 1/8 1/16)))) (.f64 x (cos.f64 (.f64 b (.f64 1/8 (*.f64 t a))))))
	56.4b	(exp.f64 (log.f64 (.f64 (cos.f64 (.f64 (fma.f64 y 1/8 1/16) (*.f64 z t))) x)))
▶	46.1b	(.f64 (cos.f64 (.f64 1/16 (*.f64 t z))) x)
	46.7b	(.f64 (cos.f64 (.f64 1/8 (.f64 y (.f64 t z)))) (*.f64 x 1))
	47.6b	(.f64 (cos.f64 (.f64 z (.f64 t (fma.f64 y 1/8 1/16)))) (.f64 x (cos.f64 (.f64 1/8 (.f64 a (*.f64 t b))))))
	47.9b	(.f64 (sqrt.f64 (pow.f64 (cos.f64 (.f64 (fma.f64 y 1/8 1/16) (.f64 t z))) 2)) (.f64 x (cos.f64 (.f64 t (.f64 b (fma.f64 a 1/8 1/16))))))
	47.1b	(.f64 (cos.f64 (.f64 t (.f64 (.f64 1/8 y) z))) (*.f64 x 1))
	46.8b	(.f64 (cos.f64 (.f64 z (.f64 1/8 (.f64 y t)))) (*.f64 x 1))
	55.3b	(.f64 (cos.f64 (.f64 z (pow.f64 (sqrt.f64 (.f64 t (fma.f64 y 1/8 1/16))) 2))) (.f64 x 1))
	48.1b	(.f64 (cos.f64 (pow.f64 (cbrt.f64 (.f64 (fma.f64 y 1/8 1/16) (.f64 t z))) 3)) (.f64 x (cos.f64 (.f64 t (.f64 b (fma.f64 a 1/8 1/16))))))
	48.3b	(.f64 (cos.f64 (expm1.f64 (log1p.f64 (.f64 (fma.f64 y 1/8 1/16) (.f64 t z))))) (.f64 x 1))
	47.1b	(.f64 (cos.f64 (.f64 z (pow.f64 (cbrt.f64 (.f64 t (fma.f64 y 1/8 1/16))) 3))) (.f64 x 1))
	49.0b	(.f64 (cos.f64 (.f64 z (.f64 t (fma.f64 y 1/8 1/16)))) (.f64 x (cos.f64 (cbrt.f64 (pow.f64 (.f64 (fma.f64 a 1/8 1/16) (.f64 t b)) 3)))))
	47.9b	(.f64 (pow.f64 (cbrt.f64 (cos.f64 (.f64 (fma.f64 y 1/8 1/16) (.f64 t z)))) 3) (.f64 x (cos.f64 (.f64 t (.f64 b (fma.f64 a 1/8 1/16))))))
	47.1b	(.f64 (cos.f64 (.f64 z (.f64 t (fma.f64 y 1/8 1/16)))) (.f64 x (cos.f64 (.f64 1/16 (.f64 t b)))))
	54.2b	(.f64 (cos.f64 (.f64 z (pow.f64 (pow.f64 (.f64 t (fma.f64 y 1/8 1/16)) 3) 1/3))) (.f64 x 1))
	48.4b	(.f64 (cos.f64 (.f64 t (.f64 (.f64 1/8 y) z))) (.f64 x (cos.f64 (.f64 t (*.f64 b (fma.f64 a 1/8 1/16))))))
	61.7b	(log.f64 (pow.f64 (exp.f64 x) (cos.f64 (.f64 (fma.f64 y 1/8 1/16) (.f64 z t)))))
	51.7b	(.f64 (cos.f64 (pow.f64 (pow.f64 (.f64 (fma.f64 y 1/8 1/16) (.f64 t z)) 3) 1/3)) (.f64 x 1))
	46.5b	(.f64 (.f64 (cbrt.f64 (cos.f64 (.f64 (fma.f64 y 1/8 1/16) (.f64 t z)))) (cbrt.f64 (pow.f64 (cos.f64 (.f64 (fma.f64 y 1/8 1/16) (.f64 t z))) 2))) (*.f64 x 1))
	57.1b	(sqrt.f64 (pow.f64 (.f64 (cos.f64 (.f64 (fma.f64 y 1/8 1/16) (*.f64 z t))) x) 2))
	46.8b	(.f64 (cos.f64 (pow.f64 (cbrt.f64 (.f64 (fma.f64 y 1/8 1/16) (.f64 t z))) 3)) (.f64 x 1))
	47.7b	(.f64 (cos.f64 (.f64 z (.f64 t (fma.f64 y 1/8 1/16)))) (.f64 x (log.f64 (exp.f64 (cos.f64 (.f64 (fma.f64 a 1/8 1/16) (.f64 t b)))))))
	46.5b	(.f64 (pow.f64 (cbrt.f64 (cos.f64 (.f64 (fma.f64 y 1/8 1/16) (.f64 t z)))) 3) (.f64 x 1))
	46.5b	(.f64 (log.f64 (exp.f64 (cos.f64 (.f64 (fma.f64 y 1/8 1/16) (.f64 t z))))) (.f64 x 1))
	49.2b	(.f64 (cos.f64 (expm1.f64 (log1p.f64 (.f64 (fma.f64 y 1/8 1/16) (.f64 t z))))) (.f64 x (cos.f64 (.f64 t (.f64 b (fma.f64 a 1/8 1/16))))))

Compiler

Compiled 1907 to 1488 computations (22% saved)

localize6.0ms (0.1%)

Local error

Found 2 expressions with local error:

New	Error	Program
✓	0.1b	(.f64 (cos.f64 (.f64 1/16 (*.f64 t z))) x)
✓	28.4b	(cos.f64 (.f64 1/16 (.f64 t z)))

series8.0ms (0.1%)

Counts

2 → 16

Calls

15 calls:

Time	Variable		Point	Expression
1.0ms	x	@	0	(.f64 (cos.f64 (.f64 1/16 (*.f64 t z))) x)
1.0ms	t	@	0	(cos.f64 (.f64 1/16 (.f64 t z)))
1.0ms	z	@	0	(cos.f64 (.f64 1/16 (.f64 t z)))
0.0ms	t	@	0	(.f64 (cos.f64 (.f64 1/16 (*.f64 t z))) x)
0.0ms	x	@	inf	(.f64 (cos.f64 (.f64 1/16 (*.f64 t z))) x)

rewrite41.0ms (0.4%)

Algorithm

1×	batch-egg-rewrite

Rules

836×	`pow1_binary64`
768×	`log1p-expm1-u_binary64`
768×	`expm1-log1p-u_binary64`
87×	`*-un-lft-identity_binary64`
87×	`add-sqr-sqrt_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	21
1	180	21
2	2092	21

Stop Event

1×	node limit

Counts

2 → 33

Calls

Call 1

Inputs
(cos.f64 (.f64 1/16 (.f64 t z)))
(.f64 (cos.f64 (.f64 1/16 (*.f64 t z))) x)

Outputs

((#(struct:change #<rule egg-rr> (2) ((x -.f64 (exp.f64 (log1p.f64 (cos.f64 (*.f64 z (*.f64 1/16 t))))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cos.f64 (*.f64 z (*.f64 1/16 t))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (cos.f64 (*.f64 z (*.f64 1/16 t))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (cos.f64 (*.f64 z (*.f64 1/16 t)))) (pow.f64 (cbrt.f64 (cos.f64 (*.f64 z (*.f64 1/16 t)))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (cbrt.f64 (cos.f64 (*.f64 z (*.f64 1/16 t)))) 2) (cbrt.f64 (cos.f64 (*.f64 z (*.f64 1/16 t)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sqrt.f64 (cos.f64 (*.f64 z (*.f64 1/16 t)))) (sqrt.f64 (cos.f64 (*.f64 z (*.f64 1/16 t)))))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cos.f64 (*.f64 z (*.f64 1/16 t))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (cos.f64 (*.f64 z (*.f64 1/16 t))) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (cos.f64 (*.f64 z (*.f64 1/16 t)))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (cos.f64 (*.f64 z (*.f64 1/16 t)))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (cos.f64 (*.f64 z (*.f64 1/16 t))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (exp.f64 (cos.f64 (*.f64 z (*.f64 1/16 t)))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (+.f64 1 (expm1.f64 (cos.f64 (*.f64 z (*.f64 1/16 t))))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (cos.f64 (*.f64 z (*.f64 1/16 t))) 3))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (cos.f64 (*.f64 z (*.f64 1/16 t)))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (cos.f64 (*.f64 z (*.f64 1/16 t)))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (*.f64 (log.f64 (cos.f64 (*.f64 z (*.f64 1/16 t)))) 1))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (cos.f64 (*.f64 z (*.f64 1/16 t)))))))))

((#(struct:change #<rule egg-rr> (2) ((x -.f64 (exp.f64 (log1p.f64 (*.f64 (cos.f64 (*.f64 z (*.f64 1/16 t))) x))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (*.f64 (cos.f64 (*.f64 z (*.f64 1/16 t))) x) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (*.f64 (cos.f64 (*.f64 z (*.f64 1/16 t))) x) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (*.f64 (cos.f64 (*.f64 z (*.f64 1/16 t))) x)) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (*.f64 (cos.f64 (*.f64 z (*.f64 1/16 t))) x)) 2)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (*.f64 (cos.f64 (*.f64 z (*.f64 1/16 t))) x) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (pow.f64 (exp.f64 x) (cos.f64 (*.f64 z (*.f64 1/16 t)))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (+.f64 1 (expm1.f64 (*.f64 (cos.f64 (*.f64 z (*.f64 1/16 t))) x))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (*.f64 (cos.f64 (*.f64 z (*.f64 1/16 t))) x) 3))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (*.f64 (pow.f64 (cos.f64 (*.f64 z (*.f64 1/16 t))) 3) (pow.f64 x 3)))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (*.f64 (pow.f64 x 3) (pow.f64 (cos.f64 (*.f64 z (*.f64 1/16 t))) 3)))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (*.f64 (cos.f64 (*.f64 z (*.f64 1/16 t))) x)))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (*.f64 (cos.f64 (*.f64 z (*.f64 1/16 t))) x)))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (*.f64 (log.f64 (*.f64 (cos.f64 (*.f64 z (*.f64 1/16 t))) x)) 1))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (*.f64 (cos.f64 (*.f64 z (*.f64 1/16 t))) x)))))))

simplify81.0ms (0.9%)

Algorithm

1×	egg-herbie

Rules

599×	`*-commutative_binary64`
539×	`sqr-pow_binary64`
325×	`associate-l_binary64`
262×	`associate-r_binary64`
261×	`fma-def_binary64`

Iterations

Useful iterations: 6 (0.0ms)

Iter	Nodes	Cost
0	44	376
1	118	372
2	358	364
3	1703	354
4	2712	330
5	2926	318
6	3145	282
7	3469	282
8	3894	282
9	4233	282
10	4735	282

Stop Event

1×	node limit

Counts

49 → 47

Calls

Call 1

Inputs
1
(+.f64 1 (.f64 -1/512 (.f64 (pow.f64 t 2) (pow.f64 z 2))))
(+.f64 1 (+.f64 (.f64 -1/512 (.f64 (pow.f64 t 2) (pow.f64 z 2))) (.f64 1/1572864 (.f64 (pow.f64 t 4) (pow.f64 z 4)))))
(+.f64 1 (+.f64 (.f64 -1/512 (.f64 (pow.f64 t 2) (pow.f64 z 2))) (+.f64 (.f64 1/1572864 (.f64 (pow.f64 t 4) (pow.f64 z 4))) (.f64 -1/12079595520 (.f64 (pow.f64 t 6) (pow.f64 z 6))))))
1
(+.f64 1 (.f64 -1/512 (.f64 (pow.f64 t 2) (pow.f64 z 2))))
(+.f64 1 (+.f64 (.f64 -1/512 (.f64 (pow.f64 t 2) (pow.f64 z 2))) (.f64 1/1572864 (.f64 (pow.f64 t 4) (pow.f64 z 4)))))
(+.f64 1 (+.f64 (.f64 -1/512 (.f64 (pow.f64 t 2) (pow.f64 z 2))) (+.f64 (.f64 1/1572864 (.f64 (pow.f64 t 4) (pow.f64 z 4))) (.f64 -1/12079595520 (.f64 (pow.f64 t 6) (pow.f64 z 6))))))
x
(+.f64 (.f64 -1/512 (.f64 (pow.f64 t 2) (*.f64 (pow.f64 z 2) x))) x)
(+.f64 (.f64 -1/512 (.f64 (pow.f64 t 2) (.f64 (pow.f64 z 2) x))) (+.f64 (.f64 1/1572864 (.f64 (pow.f64 t 4) (.f64 (pow.f64 z 4) x))) x))
(+.f64 (.f64 -1/512 (.f64 (pow.f64 t 2) (.f64 (pow.f64 z 2) x))) (+.f64 (.f64 1/1572864 (.f64 (pow.f64 t 4) (.f64 (pow.f64 z 4) x))) (+.f64 (.f64 -1/12079595520 (.f64 (pow.f64 t 6) (*.f64 (pow.f64 z 6) x))) x)))
x
(+.f64 (.f64 -1/512 (.f64 (pow.f64 t 2) (*.f64 (pow.f64 z 2) x))) x)
(+.f64 (.f64 -1/512 (.f64 (pow.f64 t 2) (.f64 (pow.f64 z 2) x))) (+.f64 (.f64 1/1572864 (.f64 (pow.f64 t 4) (.f64 (pow.f64 z 4) x))) x))
(+.f64 (.f64 -1/512 (.f64 (pow.f64 t 2) (.f64 (pow.f64 z 2) x))) (+.f64 (.f64 1/1572864 (.f64 (pow.f64 t 4) (.f64 (pow.f64 z 4) x))) (+.f64 (.f64 -1/12079595520 (.f64 (pow.f64 t 6) (*.f64 (pow.f64 z 6) x))) x)))

Outputs
1
(+.f64 1 (.f64 -1/512 (.f64 (pow.f64 t 2) (pow.f64 z 2))))
(+.f64 1 (.f64 -1/512 (.f64 (.f64 t t) (.f64 z z))))
(fma.f64 -1/512 (.f64 t (.f64 t (*.f64 z z))) 1)
(fma.f64 (.f64 t t) (.f64 z (*.f64 z -1/512)) 1)
(fma.f64 (.f64 t t) (.f64 z (*.f64 -1/512 z)) 1)
(fma.f64 -1/512 (pow.f64 (*.f64 t z) 2) 1)
(+.f64 1 (+.f64 (.f64 -1/512 (.f64 (pow.f64 t 2) (pow.f64 z 2))) (.f64 1/1572864 (.f64 (pow.f64 t 4) (pow.f64 z 4)))))
(+.f64 1 (fma.f64 -1/512 (.f64 (.f64 t t) (.f64 z z)) (.f64 1/1572864 (*.f64 (pow.f64 t 4) (pow.f64 z 4)))))
(+.f64 1 (fma.f64 1/1572864 (.f64 (pow.f64 t 4) (pow.f64 z 4)) (.f64 (.f64 z z) (.f64 -1/512 (*.f64 t t)))))
(fma.f64 (.f64 t t) (.f64 z (.f64 z -1/512)) (fma.f64 1/1572864 (.f64 (pow.f64 t 4) (pow.f64 z 4)) 1))
(fma.f64 (.f64 t t) (.f64 z (.f64 -1/512 z)) (fma.f64 1/1572864 (.f64 (pow.f64 t 4) (pow.f64 z 4)) 1))
(fma.f64 (.f64 t t) (.f64 z (.f64 -1/512 z)) (fma.f64 1/1572864 (pow.f64 (.f64 t z) 4) 1))
(fma.f64 -1/512 (pow.f64 (.f64 t z) 2) (fma.f64 1/1572864 (pow.f64 (.f64 t z) 4) 1))
(+.f64 1 (+.f64 (.f64 -1/512 (.f64 (pow.f64 t 2) (pow.f64 z 2))) (+.f64 (.f64 1/1572864 (.f64 (pow.f64 t 4) (pow.f64 z 4))) (.f64 -1/12079595520 (.f64 (pow.f64 t 6) (pow.f64 z 6))))))
(+.f64 1 (fma.f64 -1/512 (.f64 (.f64 t t) (.f64 z z)) (fma.f64 1/1572864 (.f64 (pow.f64 t 4) (pow.f64 z 4)) (.f64 -1/12079595520 (.f64 (pow.f64 t 6) (pow.f64 z 6))))))
(+.f64 1 (fma.f64 -1/512 (.f64 t (.f64 t (.f64 z z))) (fma.f64 1/1572864 (.f64 (pow.f64 t 4) (pow.f64 z 4)) (.f64 -1/12079595520 (.f64 (pow.f64 t 6) (pow.f64 z 6))))))
(+.f64 (fma.f64 1/1572864 (.f64 (pow.f64 t 4) (pow.f64 z 4)) (.f64 t (.f64 t (.f64 z (.f64 z -1/512))))) (fma.f64 -1/12079595520 (.f64 (pow.f64 t 6) (pow.f64 z 6)) 1))
(+.f64 (fma.f64 1/1572864 (.f64 (pow.f64 t 4) (pow.f64 z 4)) (.f64 t (.f64 t (.f64 z (.f64 -1/512 z))))) (fma.f64 -1/12079595520 (.f64 (pow.f64 t 6) (pow.f64 z 6)) 1))
(+.f64 (fma.f64 1/1572864 (pow.f64 (.f64 t z) 4) (.f64 t (.f64 t (.f64 z (.f64 -1/512 z))))) (fma.f64 -1/12079595520 (.f64 (pow.f64 t 6) (pow.f64 z 6)) 1))
(+.f64 (fma.f64 1/1572864 (pow.f64 (.f64 t z) 4) (.f64 t (.f64 t (.f64 z (.f64 -1/512 z))))) (fma.f64 -1/12079595520 (pow.f64 (.f64 t z) 6) 1))
(+.f64 (fma.f64 1/1572864 (pow.f64 (.f64 t z) 4) 1) (fma.f64 -1/512 (pow.f64 (.f64 t z) 2) (.f64 -1/12079595520 (pow.f64 (.f64 t z) 6))))
(+.f64 (fma.f64 -1/512 (pow.f64 (.f64 t z) 2) 1) (fma.f64 1/1572864 (pow.f64 (.f64 t z) 4) (.f64 -1/12079595520 (pow.f64 (.f64 t z) 6))))
1
(+.f64 1 (.f64 -1/512 (.f64 (pow.f64 t 2) (pow.f64 z 2))))
(+.f64 1 (.f64 -1/512 (.f64 (.f64 t t) (.f64 z z))))
(fma.f64 -1/512 (.f64 t (.f64 t (*.f64 z z))) 1)
(fma.f64 (.f64 t t) (.f64 z (*.f64 z -1/512)) 1)
(fma.f64 (.f64 t t) (.f64 z (*.f64 -1/512 z)) 1)
(fma.f64 -1/512 (pow.f64 (*.f64 t z) 2) 1)
(+.f64 1 (+.f64 (.f64 -1/512 (.f64 (pow.f64 t 2) (pow.f64 z 2))) (.f64 1/1572864 (.f64 (pow.f64 t 4) (pow.f64 z 4)))))
(+.f64 1 (fma.f64 -1/512 (.f64 (.f64 t t) (.f64 z z)) (.f64 1/1572864 (*.f64 (pow.f64 t 4) (pow.f64 z 4)))))
(+.f64 1 (fma.f64 1/1572864 (.f64 (pow.f64 t 4) (pow.f64 z 4)) (.f64 (.f64 z z) (.f64 -1/512 (*.f64 t t)))))
(fma.f64 (.f64 t t) (.f64 z (.f64 z -1/512)) (fma.f64 1/1572864 (.f64 (pow.f64 t 4) (pow.f64 z 4)) 1))
(fma.f64 (.f64 t t) (.f64 z (.f64 -1/512 z)) (fma.f64 1/1572864 (.f64 (pow.f64 t 4) (pow.f64 z 4)) 1))
(fma.f64 (.f64 t t) (.f64 z (.f64 -1/512 z)) (fma.f64 1/1572864 (pow.f64 (.f64 t z) 4) 1))
(fma.f64 -1/512 (pow.f64 (.f64 t z) 2) (fma.f64 1/1572864 (pow.f64 (.f64 t z) 4) 1))
(+.f64 1 (+.f64 (.f64 -1/512 (.f64 (pow.f64 t 2) (pow.f64 z 2))) (+.f64 (.f64 1/1572864 (.f64 (pow.f64 t 4) (pow.f64 z 4))) (.f64 -1/12079595520 (.f64 (pow.f64 t 6) (pow.f64 z 6))))))
(+.f64 1 (fma.f64 -1/512 (.f64 (.f64 t t) (.f64 z z)) (fma.f64 1/1572864 (.f64 (pow.f64 t 4) (pow.f64 z 4)) (.f64 -1/12079595520 (.f64 (pow.f64 t 6) (pow.f64 z 6))))))
(+.f64 1 (fma.f64 -1/512 (.f64 t (.f64 t (.f64 z z))) (fma.f64 1/1572864 (.f64 (pow.f64 t 4) (pow.f64 z 4)) (.f64 -1/12079595520 (.f64 (pow.f64 t 6) (pow.f64 z 6))))))
(+.f64 (fma.f64 1/1572864 (.f64 (pow.f64 t 4) (pow.f64 z 4)) (.f64 t (.f64 t (.f64 z (.f64 z -1/512))))) (fma.f64 -1/12079595520 (.f64 (pow.f64 t 6) (pow.f64 z 6)) 1))
(+.f64 (fma.f64 1/1572864 (.f64 (pow.f64 t 4) (pow.f64 z 4)) (.f64 t (.f64 t (.f64 z (.f64 -1/512 z))))) (fma.f64 -1/12079595520 (.f64 (pow.f64 t 6) (pow.f64 z 6)) 1))
(+.f64 (fma.f64 1/1572864 (pow.f64 (.f64 t z) 4) (.f64 t (.f64 t (.f64 z (.f64 -1/512 z))))) (fma.f64 -1/12079595520 (.f64 (pow.f64 t 6) (pow.f64 z 6)) 1))
(+.f64 (fma.f64 1/1572864 (pow.f64 (.f64 t z) 4) (.f64 t (.f64 t (.f64 z (.f64 -1/512 z))))) (fma.f64 -1/12079595520 (pow.f64 (.f64 t z) 6) 1))
(+.f64 (fma.f64 1/1572864 (pow.f64 (.f64 t z) 4) 1) (fma.f64 -1/512 (pow.f64 (.f64 t z) 2) (.f64 -1/12079595520 (pow.f64 (.f64 t z) 6))))
(+.f64 (fma.f64 -1/512 (pow.f64 (.f64 t z) 2) 1) (fma.f64 1/1572864 (pow.f64 (.f64 t z) 4) (.f64 -1/12079595520 (pow.f64 (.f64 t z) 6))))
x
(+.f64 (.f64 -1/512 (.f64 (pow.f64 t 2) (*.f64 (pow.f64 z 2) x))) x)
(fma.f64 -1/512 (.f64 (.f64 t t) (.f64 (.f64 z z) x)) x)
(fma.f64 -1/512 (.f64 (.f64 z z) (.f64 (.f64 t t) x)) x)
(.f64 (fma.f64 (.f64 t t) (.f64 z (.f64 z -1/512)) 1) x)
(.f64 (fma.f64 (.f64 t t) (.f64 z (.f64 -1/512 z)) 1) x)
(fma.f64 -1/512 (.f64 (pow.f64 (.f64 t z) 2) x) x)
(+.f64 (.f64 -1/512 (.f64 (pow.f64 t 2) (.f64 (pow.f64 z 2) x))) (+.f64 (.f64 1/1572864 (.f64 (pow.f64 t 4) (.f64 (pow.f64 z 4) x))) x))
(fma.f64 -1/512 (.f64 (.f64 t t) (.f64 (.f64 z z) x)) (fma.f64 1/1572864 (.f64 (pow.f64 t 4) (.f64 (pow.f64 z 4) x)) x))
(fma.f64 -1/512 (.f64 (.f64 z z) (.f64 (.f64 t t) x)) (fma.f64 1/1572864 (.f64 (pow.f64 t 4) (.f64 (pow.f64 z 4) x)) x))
(+.f64 x (.f64 x (fma.f64 1/1572864 (.f64 (pow.f64 t 4) (pow.f64 z 4)) (.f64 t (.f64 t (.f64 z (.f64 z -1/512)))))))
(.f64 x (fma.f64 (.f64 t t) (.f64 z (.f64 -1/512 z)) (fma.f64 1/1572864 (*.f64 (pow.f64 t 4) (pow.f64 z 4)) 1)))
(.f64 x (fma.f64 (.f64 t t) (.f64 z (.f64 -1/512 z)) (fma.f64 1/1572864 (pow.f64 (*.f64 t z) 4) 1)))
(.f64 x (fma.f64 -1/512 (pow.f64 (.f64 t z) 2) (fma.f64 1/1572864 (pow.f64 (*.f64 t z) 4) 1)))
(+.f64 (.f64 -1/512 (.f64 (pow.f64 t 2) (.f64 (pow.f64 z 2) x))) (+.f64 (.f64 1/1572864 (.f64 (pow.f64 t 4) (.f64 (pow.f64 z 4) x))) (+.f64 (.f64 -1/12079595520 (.f64 (pow.f64 t 6) (*.f64 (pow.f64 z 6) x))) x)))
(fma.f64 -1/512 (.f64 (.f64 t t) (.f64 (.f64 z z) x)) (fma.f64 1/1572864 (.f64 (pow.f64 t 4) (.f64 (pow.f64 z 4) x)) (fma.f64 -1/12079595520 (.f64 (pow.f64 t 6) (.f64 (pow.f64 z 6) x)) x)))
(fma.f64 -1/512 (.f64 (.f64 z z) (.f64 (.f64 t t) x)) (fma.f64 1/1572864 (.f64 (pow.f64 t 4) (.f64 (pow.f64 z 4) x)) (fma.f64 -1/12079595520 (.f64 (pow.f64 t 6) (.f64 (pow.f64 z 6) x)) x)))
(+.f64 (.f64 (fma.f64 -1/12079595520 (.f64 (pow.f64 t 6) (pow.f64 z 6)) 1) x) (.f64 x (fma.f64 1/1572864 (.f64 (pow.f64 t 4) (pow.f64 z 4)) (.f64 t (.f64 t (.f64 z (.f64 z -1/512)))))))
(+.f64 x (.f64 x (fma.f64 1/1572864 (.f64 (pow.f64 t 4) (pow.f64 z 4)) (fma.f64 -1/512 (.f64 t (.f64 t (.f64 z z))) (.f64 -1/12079595520 (*.f64 (pow.f64 t 6) (pow.f64 z 6)))))))
(.f64 x (+.f64 (fma.f64 1/1572864 (pow.f64 (.f64 t z) 4) (.f64 t (.f64 t (.f64 z (.f64 -1/512 z))))) (fma.f64 -1/12079595520 (*.f64 (pow.f64 t 6) (pow.f64 z 6)) 1)))
(+.f64 x (.f64 x (fma.f64 1/1572864 (pow.f64 (.f64 t z) 4) (fma.f64 -1/512 (.f64 t (.f64 t (.f64 z z))) (.f64 -1/12079595520 (pow.f64 (*.f64 t z) 6))))))
(+.f64 x (.f64 x (fma.f64 1/1572864 (pow.f64 (.f64 t z) 4) (fma.f64 -1/512 (pow.f64 (.f64 t z) 2) (.f64 -1/12079595520 (pow.f64 (*.f64 t z) 6))))))
(+.f64 x (.f64 (fma.f64 -1/512 (pow.f64 (.f64 t z) 2) (fma.f64 1/1572864 (pow.f64 (.f64 t z) 4) (.f64 -1/12079595520 (pow.f64 (*.f64 t z) 6)))) x))
x
(+.f64 (.f64 -1/512 (.f64 (pow.f64 t 2) (*.f64 (pow.f64 z 2) x))) x)
(fma.f64 -1/512 (.f64 (.f64 t t) (.f64 (.f64 z z) x)) x)
(fma.f64 -1/512 (.f64 (.f64 z z) (.f64 (.f64 t t) x)) x)
(.f64 (fma.f64 (.f64 t t) (.f64 z (.f64 z -1/512)) 1) x)
(.f64 (fma.f64 (.f64 t t) (.f64 z (.f64 -1/512 z)) 1) x)
(fma.f64 -1/512 (.f64 (pow.f64 (.f64 t z) 2) x) x)
(+.f64 (.f64 -1/512 (.f64 (pow.f64 t 2) (.f64 (pow.f64 z 2) x))) (+.f64 (.f64 1/1572864 (.f64 (pow.f64 t 4) (.f64 (pow.f64 z 4) x))) x))
(fma.f64 -1/512 (.f64 (.f64 t t) (.f64 (.f64 z z) x)) (fma.f64 1/1572864 (.f64 (pow.f64 t 4) (.f64 (pow.f64 z 4) x)) x))
(fma.f64 -1/512 (.f64 (.f64 z z) (.f64 (.f64 t t) x)) (fma.f64 1/1572864 (.f64 (pow.f64 t 4) (.f64 (pow.f64 z 4) x)) x))
(+.f64 x (.f64 x (fma.f64 1/1572864 (.f64 (pow.f64 t 4) (pow.f64 z 4)) (.f64 t (.f64 t (.f64 z (.f64 z -1/512)))))))
(.f64 x (fma.f64 (.f64 t t) (.f64 z (.f64 -1/512 z)) (fma.f64 1/1572864 (*.f64 (pow.f64 t 4) (pow.f64 z 4)) 1)))
(.f64 x (fma.f64 (.f64 t t) (.f64 z (.f64 -1/512 z)) (fma.f64 1/1572864 (pow.f64 (*.f64 t z) 4) 1)))
(.f64 x (fma.f64 -1/512 (pow.f64 (.f64 t z) 2) (fma.f64 1/1572864 (pow.f64 (*.f64 t z) 4) 1)))
(+.f64 (.f64 -1/512 (.f64 (pow.f64 t 2) (.f64 (pow.f64 z 2) x))) (+.f64 (.f64 1/1572864 (.f64 (pow.f64 t 4) (.f64 (pow.f64 z 4) x))) (+.f64 (.f64 -1/12079595520 (.f64 (pow.f64 t 6) (*.f64 (pow.f64 z 6) x))) x)))
(fma.f64 -1/512 (.f64 (.f64 t t) (.f64 (.f64 z z) x)) (fma.f64 1/1572864 (.f64 (pow.f64 t 4) (.f64 (pow.f64 z 4) x)) (fma.f64 -1/12079595520 (.f64 (pow.f64 t 6) (.f64 (pow.f64 z 6) x)) x)))
(fma.f64 -1/512 (.f64 (.f64 z z) (.f64 (.f64 t t) x)) (fma.f64 1/1572864 (.f64 (pow.f64 t 4) (.f64 (pow.f64 z 4) x)) (fma.f64 -1/12079595520 (.f64 (pow.f64 t 6) (.f64 (pow.f64 z 6) x)) x)))
(+.f64 (.f64 (fma.f64 -1/12079595520 (.f64 (pow.f64 t 6) (pow.f64 z 6)) 1) x) (.f64 x (fma.f64 1/1572864 (.f64 (pow.f64 t 4) (pow.f64 z 4)) (.f64 t (.f64 t (.f64 z (.f64 z -1/512)))))))
(+.f64 x (.f64 x (fma.f64 1/1572864 (.f64 (pow.f64 t 4) (pow.f64 z 4)) (fma.f64 -1/512 (.f64 t (.f64 t (.f64 z z))) (.f64 -1/12079595520 (*.f64 (pow.f64 t 6) (pow.f64 z 6)))))))
(.f64 x (+.f64 (fma.f64 1/1572864 (pow.f64 (.f64 t z) 4) (.f64 t (.f64 t (.f64 z (.f64 -1/512 z))))) (fma.f64 -1/12079595520 (*.f64 (pow.f64 t 6) (pow.f64 z 6)) 1)))
(+.f64 x (.f64 x (fma.f64 1/1572864 (pow.f64 (.f64 t z) 4) (fma.f64 -1/512 (.f64 t (.f64 t (.f64 z z))) (.f64 -1/12079595520 (pow.f64 (*.f64 t z) 6))))))
(+.f64 x (.f64 x (fma.f64 1/1572864 (pow.f64 (.f64 t z) 4) (fma.f64 -1/512 (pow.f64 (.f64 t z) 2) (.f64 -1/12079595520 (pow.f64 (*.f64 t z) 6))))))
(+.f64 x (.f64 (fma.f64 -1/512 (pow.f64 (.f64 t z) 2) (fma.f64 1/1572864 (pow.f64 (.f64 t z) 4) (.f64 -1/12079595520 (pow.f64 (*.f64 t z) 6)))) x))

prune75.0ms (0.8%)

Pruning

44 alts after pruning (43 fresh and 1 done)

	Pruned	Kept	Total
New	39	8	47
Fresh	3	35	38
Picked	1	0	1
Done	0	1	1
Total	43	44	87

Error

40.7b

Counts

87 → 44

Alt Table

Status	Error	Program
	60.3b	(pow.f64 (pow.f64 (.f64 (cos.f64 (.f64 z (*.f64 1/16 t))) x) 3) 1/3)
	48.7b	(.f64 (fma.f64 -1/512 (pow.f64 (.f64 t z) 2) 1) x)
	53.6b	(.f64 (cos.f64 (pow.f64 (sqrt.f64 (.f64 (fma.f64 y 1/8 1/16) (.f64 t z))) 2)) (.f64 x 1))
	47.5b	(.f64 (cos.f64 (.f64 z (.f64 t (fma.f64 y 1/8 1/16)))) (.f64 x (sqrt.f64 (pow.f64 (cos.f64 (.f64 (fma.f64 a 1/8 1/16) (.f64 t b))) 2))))
	47.3b	(.f64 (cos.f64 (.f64 t (.f64 1/16 z))) (.f64 x (cos.f64 (.f64 t (.f64 b (fma.f64 a 1/8 1/16))))))
	55.2b	(.f64 (cos.f64 (.f64 z (exp.f64 (log.f64 (.f64 t (fma.f64 y 1/8 1/16)))))) (.f64 x 1))
✓	45.5b	x
	47.7b	(.f64 (cos.f64 (.f64 z (.f64 t (fma.f64 y 1/8 1/16)))) (.f64 x (pow.f64 (cbrt.f64 (cos.f64 (.f64 (fma.f64 a 1/8 1/16) (.f64 t b)))) 3)))
	47.9b	(.f64 (cos.f64 (.f64 z (.f64 t (fma.f64 y 1/8 1/16)))) (.f64 x (cos.f64 (pow.f64 (cbrt.f64 (.f64 (fma.f64 a 1/8 1/16) (.f64 t b))) 3))))
	46.1b	(.f64 (-.f64 (exp.f64 (log1p.f64 (cos.f64 (.f64 z (*.f64 1/16 t))))) 1) x)
	47.9b	(.f64 (cbrt.f64 (pow.f64 (cos.f64 (.f64 (fma.f64 y 1/8 1/16) (.f64 t z))) 3)) (.f64 x (cos.f64 (.f64 t (.f64 b (fma.f64 a 1/8 1/16))))))
	48.2b	(.f64 (cos.f64 (cbrt.f64 (pow.f64 (.f64 (fma.f64 y 1/8 1/16) (.f64 t z)) 3))) (.f64 x 1))
	49.0b	(.f64 (fma.f64 (.f64 -1/8 (.f64 t y)) (.f64 z (sin.f64 (.f64 t (.f64 1/16 z)))) (cos.f64 (.f64 t (.f64 1/16 z)))) (.f64 x (cos.f64 (.f64 t (*.f64 b (fma.f64 a 1/8 1/16))))))
	46.3b	(.f64 (sqrt.f64 (pow.f64 (cos.f64 (.f64 (fma.f64 y 1/8 1/16) (.f64 t z))) 2)) (.f64 x 1))
	49.9b	(.f64 (cos.f64 (.f64 z (cbrt.f64 (pow.f64 (.f64 t (fma.f64 y 1/8 1/16)) 3)))) (.f64 x 1))
	56.1b	(exp.f64 (log.f64 (.f64 (cos.f64 (.f64 z (*.f64 1/16 t))) x)))
	46.5b	(.f64 (log.f64 (exp.f64 (cos.f64 (.f64 (fma.f64 y 1/8 1/16) (.f64 t z))))) (.f64 x 1))
	47.8b	(.f64 (cos.f64 (.f64 z (.f64 t (fma.f64 y 1/8 1/16)))) (.f64 x (cos.f64 (.f64 b (.f64 1/8 (*.f64 t a))))))
	56.4b	(exp.f64 (log.f64 (.f64 (cos.f64 (.f64 (fma.f64 y 1/8 1/16) (*.f64 z t))) x)))
	46.7b	(.f64 (cos.f64 (.f64 1/8 (.f64 y (.f64 t z)))) (*.f64 x 1))
	47.6b	(.f64 (cos.f64 (.f64 z (.f64 t (fma.f64 y 1/8 1/16)))) (.f64 x (cos.f64 (.f64 1/8 (.f64 a (*.f64 t b))))))
	47.9b	(.f64 (sqrt.f64 (pow.f64 (cos.f64 (.f64 (fma.f64 y 1/8 1/16) (.f64 t z))) 2)) (.f64 x (cos.f64 (.f64 t (.f64 b (fma.f64 a 1/8 1/16))))))
	47.1b	(.f64 (cos.f64 (.f64 t (.f64 (.f64 1/8 y) z))) (*.f64 x 1))
	46.8b	(.f64 (cos.f64 (.f64 z (.f64 1/8 (.f64 y t)))) (*.f64 x 1))
	55.3b	(.f64 (cos.f64 (.f64 z (pow.f64 (sqrt.f64 (.f64 t (fma.f64 y 1/8 1/16))) 2))) (.f64 x 1))
	48.1b	(.f64 (cos.f64 (pow.f64 (cbrt.f64 (.f64 (fma.f64 y 1/8 1/16) (.f64 t z))) 3)) (.f64 x (cos.f64 (.f64 t (.f64 b (fma.f64 a 1/8 1/16))))))
	45.9b	(.f64 (sqrt.f64 (pow.f64 (cos.f64 (.f64 z (*.f64 1/16 t))) 2)) x)
	48.3b	(.f64 (cos.f64 (expm1.f64 (log1p.f64 (.f64 (fma.f64 y 1/8 1/16) (.f64 t z))))) (.f64 x 1))
	47.1b	(.f64 (cos.f64 (.f64 z (pow.f64 (cbrt.f64 (.f64 t (fma.f64 y 1/8 1/16))) 3))) (.f64 x 1))
	49.0b	(.f64 (cos.f64 (.f64 z (.f64 t (fma.f64 y 1/8 1/16)))) (.f64 x (cos.f64 (cbrt.f64 (pow.f64 (.f64 (fma.f64 a 1/8 1/16) (.f64 t b)) 3)))))
	46.1b	(.f64 (pow.f64 (cbrt.f64 (cos.f64 (.f64 z (*.f64 1/16 t)))) 3) x)
	47.9b	(.f64 (pow.f64 (cbrt.f64 (cos.f64 (.f64 (fma.f64 y 1/8 1/16) (.f64 t z)))) 3) (.f64 x (cos.f64 (.f64 t (.f64 b (fma.f64 a 1/8 1/16))))))
	47.1b	(.f64 (cos.f64 (.f64 z (.f64 t (fma.f64 y 1/8 1/16)))) (.f64 x (cos.f64 (.f64 1/16 (.f64 t b)))))
	54.2b	(.f64 (cos.f64 (.f64 z (pow.f64 (pow.f64 (.f64 t (fma.f64 y 1/8 1/16)) 3) 1/3))) (.f64 x 1))
	56.7b	(sqrt.f64 (pow.f64 (.f64 (cos.f64 (.f64 z (*.f64 1/16 t))) x) 2))
	48.4b	(.f64 (cos.f64 (.f64 t (.f64 (.f64 1/8 y) z))) (.f64 x (cos.f64 (.f64 t (*.f64 b (fma.f64 a 1/8 1/16))))))
	61.7b	(log.f64 (pow.f64 (exp.f64 x) (cos.f64 (.f64 (fma.f64 y 1/8 1/16) (.f64 z t)))))
	51.7b	(.f64 (cos.f64 (pow.f64 (pow.f64 (.f64 (fma.f64 y 1/8 1/16) (.f64 t z)) 3) 1/3)) (.f64 x 1))
	46.5b	(.f64 (.f64 (cbrt.f64 (cos.f64 (.f64 (fma.f64 y 1/8 1/16) (.f64 t z)))) (cbrt.f64 (pow.f64 (cos.f64 (.f64 (fma.f64 y 1/8 1/16) (.f64 t z))) 2))) (*.f64 x 1))
	46.4b	(pow.f64 (cbrt.f64 (.f64 (cos.f64 (.f64 z (*.f64 1/16 t))) x)) 3)
	46.8b	(.f64 (cos.f64 (pow.f64 (cbrt.f64 (.f64 (fma.f64 y 1/8 1/16) (.f64 t z))) 3)) (.f64 x 1))
	47.7b	(.f64 (cos.f64 (.f64 z (.f64 t (fma.f64 y 1/8 1/16)))) (.f64 x (log.f64 (exp.f64 (cos.f64 (.f64 (fma.f64 a 1/8 1/16) (.f64 t b)))))))
	46.5b	(.f64 (pow.f64 (cbrt.f64 (cos.f64 (.f64 (fma.f64 y 1/8 1/16) (.f64 t z)))) 3) (.f64 x 1))
	49.2b	(.f64 (cos.f64 (expm1.f64 (log1p.f64 (.f64 (fma.f64 y 1/8 1/16) (.f64 t z))))) (.f64 x (cos.f64 (.f64 t (.f64 b (fma.f64 a 1/8 1/16))))))

Compiler

Compiled 1658 to 1253 computations (24.4% saved)

regimes398.0ms (4.2%)

Accuracy

Total -18.5b remaining (-40.6%)

Threshold costs -18.5b (-40.6%)

Counts

58 → 1

Calls

Call 1

Inputs
(pow.f64 (pow.f64 (.f64 (cos.f64 (.f64 z (*.f64 1/16 t))) x) 3) 1/3)
(.f64 (fma.f64 -1/512 (pow.f64 (.f64 t z) 2) 1) x)
(.f64 (-.f64 (exp.f64 (log1p.f64 (cos.f64 (.f64 z (*.f64 1/16 t))))) 1) x)
(exp.f64 (log.f64 (.f64 (cos.f64 (.f64 z (*.f64 1/16 t))) x)))
(.f64 (sqrt.f64 (pow.f64 (cos.f64 (.f64 z (*.f64 1/16 t))) 2)) x)
(.f64 (pow.f64 (cbrt.f64 (cos.f64 (.f64 z (*.f64 1/16 t)))) 3) x)
(sqrt.f64 (pow.f64 (.f64 (cos.f64 (.f64 z (*.f64 1/16 t))) x) 2))
(pow.f64 (cbrt.f64 (.f64 (cos.f64 (.f64 z (*.f64 1/16 t))) x)) 3)
(.f64 (cos.f64 (pow.f64 (sqrt.f64 (.f64 (fma.f64 y 1/8 1/16) (.f64 t z))) 2)) (.f64 x 1))
(pow.f64 (cbrt.f64 (.f64 (cos.f64 (.f64 (fma.f64 y 1/8 1/16) (*.f64 z t))) x)) 3)
(.f64 (cos.f64 (.f64 z (exp.f64 (log.f64 (.f64 t (fma.f64 y 1/8 1/16)))))) (.f64 x 1))
(pow.f64 (pow.f64 (.f64 (cos.f64 (.f64 (fma.f64 y 1/8 1/16) (*.f64 z t))) x) 3) 1/3)
x
(.f64 (cos.f64 (cbrt.f64 (pow.f64 (.f64 (fma.f64 y 1/8 1/16) (.f64 t z)) 3))) (.f64 x 1))
(.f64 (sqrt.f64 (pow.f64 (cos.f64 (.f64 (fma.f64 y 1/8 1/16) (.f64 t z))) 2)) (.f64 x 1))
(.f64 (cos.f64 (.f64 z (cbrt.f64 (pow.f64 (.f64 t (fma.f64 y 1/8 1/16)) 3)))) (.f64 x 1))
(exp.f64 (log.f64 (.f64 (cos.f64 (.f64 (fma.f64 y 1/8 1/16) (*.f64 z t))) x)))
(.f64 (cos.f64 (.f64 1/16 (*.f64 t z))) x)
(.f64 (cos.f64 (.f64 1/8 (.f64 y (.f64 t z)))) (*.f64 x 1))
(.f64 (cos.f64 (.f64 t (.f64 (.f64 1/8 y) z))) (*.f64 x 1))
(.f64 (cos.f64 (.f64 z (.f64 1/8 (.f64 y t)))) (*.f64 x 1))
(.f64 (cos.f64 (.f64 z (pow.f64 (sqrt.f64 (.f64 t (fma.f64 y 1/8 1/16))) 2))) (.f64 x 1))
(.f64 (cos.f64 (expm1.f64 (log1p.f64 (.f64 (fma.f64 y 1/8 1/16) (.f64 t z))))) (.f64 x 1))
(.f64 (cos.f64 (.f64 z (pow.f64 (cbrt.f64 (.f64 t (fma.f64 y 1/8 1/16))) 3))) (.f64 x 1))
(.f64 (cos.f64 (.f64 z (pow.f64 (pow.f64 (.f64 t (fma.f64 y 1/8 1/16)) 3) 1/3))) (.f64 x 1))
(log.f64 (pow.f64 (exp.f64 x) (cos.f64 (.f64 (fma.f64 y 1/8 1/16) (.f64 z t)))))
(.f64 (cos.f64 (pow.f64 (pow.f64 (.f64 (fma.f64 y 1/8 1/16) (.f64 t z)) 3) 1/3)) (.f64 x 1))
(.f64 (.f64 (cbrt.f64 (cos.f64 (.f64 (fma.f64 y 1/8 1/16) (.f64 t z)))) (cbrt.f64 (pow.f64 (cos.f64 (.f64 (fma.f64 y 1/8 1/16) (.f64 t z))) 2))) (*.f64 x 1))
(sqrt.f64 (pow.f64 (.f64 (cos.f64 (.f64 (fma.f64 y 1/8 1/16) (*.f64 z t))) x) 2))
(.f64 (cos.f64 (pow.f64 (cbrt.f64 (.f64 (fma.f64 y 1/8 1/16) (.f64 t z))) 3)) (.f64 x 1))
(.f64 (pow.f64 (cbrt.f64 (cos.f64 (.f64 (fma.f64 y 1/8 1/16) (.f64 t z)))) 3) (.f64 x 1))
(.f64 (log.f64 (exp.f64 (cos.f64 (.f64 (fma.f64 y 1/8 1/16) (.f64 t z))))) (.f64 x 1))
(.f64 (cos.f64 (.f64 z (.f64 t (fma.f64 y 1/8 1/16)))) (.f64 x (cos.f64 (expm1.f64 (log1p.f64 (.f64 (fma.f64 a 1/8 1/16) (.f64 t b)))))))
(.f64 (cos.f64 (.f64 z (.f64 t (fma.f64 y 1/8 1/16)))) (.f64 x (cos.f64 (pow.f64 (sqrt.f64 (.f64 (fma.f64 a 1/8 1/16) (.f64 t b))) 2))))
(.f64 (.f64 (cbrt.f64 (cos.f64 (.f64 (fma.f64 y 1/8 1/16) (.f64 t z)))) (cbrt.f64 (pow.f64 (cos.f64 (.f64 (fma.f64 y 1/8 1/16) (.f64 t z))) 2))) (.f64 x (cos.f64 (.f64 t (*.f64 b (fma.f64 a 1/8 1/16))))))
(.f64 (cos.f64 (.f64 z (.f64 t (fma.f64 y 1/8 1/16)))) (.f64 x (pow.f64 (cbrt.f64 (cos.f64 (.f64 (fma.f64 a 1/8 1/16) (.f64 t b)))) 3)))
(.f64 (cos.f64 (.f64 z (.f64 t (fma.f64 y 1/8 1/16)))) (.f64 x (cos.f64 (pow.f64 (cbrt.f64 (.f64 (fma.f64 a 1/8 1/16) (.f64 t b))) 3))))
(.f64 (cbrt.f64 (pow.f64 (cos.f64 (.f64 (fma.f64 y 1/8 1/16) (.f64 t z))) 3)) (.f64 x (cos.f64 (.f64 t (.f64 b (fma.f64 a 1/8 1/16))))))
(.f64 (fma.f64 (.f64 -1/8 (.f64 t y)) (.f64 z (sin.f64 (.f64 t (.f64 1/16 z)))) (cos.f64 (.f64 t (.f64 1/16 z)))) (.f64 x (cos.f64 (.f64 t (*.f64 b (fma.f64 a 1/8 1/16))))))
(.f64 (cos.f64 (.f64 z (.f64 t (fma.f64 y 1/8 1/16)))) (.f64 x 1))
(.f64 (log.f64 (exp.f64 (cos.f64 (.f64 (fma.f64 y 1/8 1/16) (.f64 t z))))) (.f64 x (cos.f64 (.f64 t (.f64 b (fma.f64 a 1/8 1/16))))))
(.f64 (cos.f64 (.f64 z (.f64 t (fma.f64 y 1/8 1/16)))) (.f64 x (cos.f64 (.f64 b (.f64 1/8 (*.f64 t a))))))
(.f64 (cos.f64 (pow.f64 (sqrt.f64 (.f64 (fma.f64 y 1/8 1/16) (.f64 t z))) 2)) (.f64 x (cos.f64 (.f64 t (.f64 b (fma.f64 a 1/8 1/16))))))
(.f64 (cos.f64 (.f64 z (.f64 t (fma.f64 y 1/8 1/16)))) (.f64 x (cos.f64 (.f64 1/8 (.f64 a (*.f64 t b))))))
(.f64 (cos.f64 (expm1.f64 (log1p.f64 (.f64 (fma.f64 y 1/8 1/16) (.f64 t z))))) (.f64 x (cos.f64 (.f64 t (.f64 b (fma.f64 a 1/8 1/16))))))
(.f64 (cos.f64 (pow.f64 (pow.f64 (.f64 (fma.f64 y 1/8 1/16) (.f64 t z)) 3) 1/3)) (.f64 x (cos.f64 (.f64 t (.f64 b (fma.f64 a 1/8 1/16))))))
(.f64 (cos.f64 (.f64 z (.f64 t (fma.f64 y 1/8 1/16)))) (.f64 x (cos.f64 (cbrt.f64 (pow.f64 (.f64 (fma.f64 a 1/8 1/16) (.f64 t b)) 3)))))
(.f64 (pow.f64 (cbrt.f64 (cos.f64 (.f64 (fma.f64 y 1/8 1/16) (.f64 t z)))) 3) (.f64 x (cos.f64 (.f64 t (.f64 b (fma.f64 a 1/8 1/16))))))
(.f64 (cos.f64 (.f64 z (.f64 t (fma.f64 y 1/8 1/16)))) (.f64 x (cos.f64 (.f64 1/16 (.f64 t b)))))
(.f64 (cos.f64 (.f64 z (.f64 t (fma.f64 y 1/8 1/16)))) (.f64 x (log.f64 (exp.f64 (cos.f64 (.f64 (fma.f64 a 1/8 1/16) (.f64 t b)))))))
(.f64 (cos.f64 (.f64 1/8 (.f64 y (.f64 t z)))) (.f64 x (cos.f64 (.f64 t (*.f64 b (fma.f64 a 1/8 1/16))))))
(.f64 (cos.f64 (.f64 z (.f64 t (fma.f64 y 1/8 1/16)))) (.f64 x (sqrt.f64 (pow.f64 (cos.f64 (.f64 (fma.f64 a 1/8 1/16) (.f64 t b))) 2))))
(.f64 (cos.f64 (.f64 t (.f64 1/16 z))) (.f64 x (cos.f64 (.f64 t (.f64 b (fma.f64 a 1/8 1/16))))))
(.f64 (sqrt.f64 (pow.f64 (cos.f64 (.f64 (fma.f64 y 1/8 1/16) (.f64 t z))) 2)) (.f64 x (cos.f64 (.f64 t (.f64 b (fma.f64 a 1/8 1/16))))))
(.f64 (cos.f64 (pow.f64 (cbrt.f64 (.f64 (fma.f64 y 1/8 1/16) (.f64 t z))) 3)) (.f64 x (cos.f64 (.f64 t (.f64 b (fma.f64 a 1/8 1/16))))))
(.f64 (cos.f64 (.f64 t (.f64 (.f64 1/8 y) z))) (.f64 x (cos.f64 (.f64 t (*.f64 b (fma.f64 a 1/8 1/16))))))
(.f64 (cos.f64 (.f64 z (.f64 t (fma.f64 y 1/8 1/16)))) (.f64 x (cos.f64 (.f64 t (.f64 b (fma.f64 a 1/8 1/16))))))
(.f64 (.f64 x (cos.f64 (/.f64 (.f64 (.f64 (+.f64 (.f64 y 2) 1) z) t) 16))) (cos.f64 (/.f64 (.f64 (.f64 (+.f64 (.f64 a 2) 1) b) t) 16)))

Outputs
x

Results

28.0ms	45.5b	`x`
29.0ms	45.5b	`y`
28.0ms	45.5b	`z`
29.0ms	45.5b	`t`
28.0ms	45.5b	`a`
32.0ms	45.5b	`b`
29.0ms	45.5b	`(.f64 (.f64 x (cos.f64 (/.f64 (.f64 (.f64 (+.f64 (.f64 y 2) 1) z) t) 16))) (cos.f64 (/.f64 (.f64 (.f64 (+.f64 (.f64 a 2) 1) b) t) 16)))`
30.0ms	45.5b	`(.f64 (+.f64 (.f64 y 2) 1) z)`
18.0ms	45.5b	`(+.f64 (*.f64 y 2) 1)`
29.0ms	45.5b	`(*.f64 y 2)`
27.0ms	45.5b	`(.f64 (+.f64 (.f64 a 2) 1) b)`
17.0ms	45.5b	`(+.f64 (*.f64 a 2) 1)`
35.0ms	45.5b	`(*.f64 a 2)`

Compiler

Compiled 1184 to 824 computations (30.4% saved)

simplify2.0ms (0%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	1	1

Stop Event

1×

saturated

Calls

Call 1

Inputs
x

Outputs
x

end12.0ms (0.1%)

Stop Event

1×

fuel

Compiler

Compiled 14 to 12 computations (14.3% saved)

Details

analyze1.6s (17.1%)

sample6.4s (66.7%)

preprocess46.0ms (0.5%)

simplify32.0ms (0.3%)

prune4.0ms (0%)

localize17.0ms (0.2%)

series25.0ms (0.3%)

rewrite60.0ms (0.6%)

simplify78.0ms (0.8%)

prune275.0ms (2.9%)

localize11.0ms (0.1%)

series13.0ms (0.1%)

rewrite49.0ms (0.5%)

simplify44.0ms (0.5%)

prune224.0ms (2.3%)

localize1.0ms (0%)

prune49.0ms (0.5%)

localize6.0ms (0.1%)

series8.0ms (0.1%)

rewrite41.0ms (0.4%)

simplify81.0ms (0.9%)

prune75.0ms (0.8%)

regimes398.0ms (4.2%)

simplify2.0ms (0%)

end12.0ms (0.1%)

Profiling