Details

analyze228.0ms (9.6%)

Algorithm

1×

Search

True	Other	False	Iter
0%	99.9%	0.1%	0
0%	99.9%	0.1%	1
0%	99.9%	0.1%	2
0%	99.9%	0.1%	3
0%	99.9%	0.1%	4
25%	68.7%	6.3%	5
25%	65.6%	9.5%	6
37.5%	39%	23.5%	7
37.5%	36.7%	25.9%	8
43.7%	20.7%	35.6%	9
43.7%	19.3%	37%	10
46.8%	10.6%	42.5%	11
46.8%	9.9%	43.3%	12
48.4%	5.4%	46.2%	13
48.4%	5%	46.6%	14

Compiler

Compiled 19 to 17 computations (10.5% saved)

sample1.5s (62.4%)

Results

1.4s	8256×	body	128	valid
86.0ms	563×	body	128	invalid

preprocess35.0ms (1.5%)

Algorithm

2×	egg-herbie

Rules

322×	`rule-+abbc-*b+ac_binary64`
315×	`rule-a-*a1_binary64`
315×	`rule-a--a0_binary64`
315×	`rule-a-+a0_binary64`
308×	`rule-a-/a1_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	22	46
1	146	42
2	473	42
3	2075	42
0	2	2

Stop Event

1×	saturated
1×	node limit

Calls

Call 1

Inputs
0
1

Outputs
0
1

Call 2

Inputs
(.f64 2 (cos.f64 (+.f64 (/.f64 (.f64 2 (PI.f64)) 3) (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3))))
(.f64 2 (cos.f64 (+.f64 (/.f64 (.f64 2 (PI.f64)) 3) (/.f64 (acos.f64 (/.f64 (neg.f64 h) g)) 3))))

Outputs
(.f64 2 (cos.f64 (+.f64 (/.f64 (.f64 2 (PI.f64)) 3) (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3))))
(.f64 2 (cos.f64 (+.f64 (.f64 (PI.f64) 2/3) (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3))))
(*.f64 2 (cos.f64 (/.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g (neg.f64 h)))) 3)))
(.f64 2 (cos.f64 (+.f64 (/.f64 (.f64 2 (PI.f64)) 3) (/.f64 (acos.f64 (/.f64 (neg.f64 h) g)) 3))))
(.f64 2 (cos.f64 (+.f64 (.f64 (PI.f64) 2/3) (/.f64 (acos.f64 (/.f64 (neg.f64 h) g)) 3))))
(*.f64 2 (cos.f64 (fma.f64 (PI.f64) 2/3 (/.f64 (acos.f64 (/.f64 h (neg.f64 g))) 3))))
(*.f64 2 (cos.f64 (/.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 (neg.f64 h) g))) 3)))

Compiler

Compiled 18 to 16 computations (11.1% saved)

simplify20.0ms (0.8%)

Algorithm

1×	egg-herbie

Rules

221×	`rule-+a-bc-+b-ac_binary64`
216×	`rule-b-ac--ab*bc_binary64`
201×	`rule-a-bc-nega-cb_binary64`
198×	`rule-a-*a1_binary64`
198×	`rule-a--a0_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	15	23
1	99	21
2	316	21
3	1319	21

Stop Event

1×	node limit

Counts

1 → 2

Calls

Call 1

Inputs
(.f64 2 (cos.f64 (+.f64 (/.f64 (.f64 2 (PI.f64)) 3) (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3))))

Outputs
(.f64 2 (cos.f64 (+.f64 (/.f64 (.f64 2 (PI.f64)) 3) (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3))))
(.f64 2 (cos.f64 (/.f64 (+.f64 (.f64 2 (PI.f64)) (acos.f64 (/.f64 (neg.f64 g) h))) 3)))
(*.f64 2 (cos.f64 (fma.f64 (PI.f64) 2/3 (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3))))
(*.f64 2 (cos.f64 (/.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g (neg.f64 h)))) 3)))
(.f64 2 (cos.f64 (.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g (neg.f64 h)))) 1/3)))

prune5.0ms (0.2%)

Pruning

1 alts after pruning (1 fresh and 0 done)

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

Error

1.0b

Counts

3 → 1

Alt Table

Status	Error	Program
▶	1.0b	(.f64 2 (cos.f64 (.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g (neg.f64 h)))) 1/3)))

Compiler

Compiled 61 to 52 computations (14.8% saved)

localize9.0ms (0.4%)

Local error

Found 3 expressions with local error:

New	Error	Program
✓	0.0b	(fma.f64 2 (PI.f64) (acos.f64 (/.f64 g (neg.f64 h))))
✓	1.0b	(*.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g (neg.f64 h)))) 1/3)
✓	1.0b	(cos.f64 (*.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g (neg.f64 h)))) 1/3))

series13.0ms (0.5%)

Counts

3 → 72

Calls

18 calls:

Time	Variable		Point	Expression
3.0ms	h	@	inf	(cos.f64 (*.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g (neg.f64 h)))) 1/3))
2.0ms	h	@	-inf	(cos.f64 (*.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g (neg.f64 h)))) 1/3))
1.0ms	g	@	0	(cos.f64 (*.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g (neg.f64 h)))) 1/3))
1.0ms	g	@	inf	(cos.f64 (*.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g (neg.f64 h)))) 1/3))
1.0ms	h	@	0	(cos.f64 (*.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g (neg.f64 h)))) 1/3))

rewrite56.0ms (2.4%)

Algorithm

1×	batch-egg-rewrite

Rules

271×	`rule-aa-fabsaa_binary64`
245×	`rule-/ab-*+aa/1/2b_binary64`
214×	`rule-nega-*a-1_binary64`
212×	`rule-nega--0a_binary64`
207×	`rule-nega-/a-1_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	12	47
1	307	41
2	4020	41

Stop Event

1×	node limit

Counts

3 → 105

Calls

Call 1

Inputs
(cos.f64 (*.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g (neg.f64 h)))) 1/3))
(*.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g (neg.f64 h)))) 1/3)
(fma.f64 2 (PI.f64) (acos.f64 (/.f64 g (neg.f64 h))))

Outputs
((#(struct:change #<rule egg-rr> (2) ((x +.f64 (cos.f64 (.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 1/3)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (cos.f64 (.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 1/3)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (exp.f64 (log1p.f64 (cos.f64 (.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 1/3)))) -1)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (.f64 (cos.f64 (.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 1/3)) (cos.f64 0)) (.f64 (sin.f64 (.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 1/3)) (sin.f64 0)))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (cos.f64 (.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 1/3)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 0 (neg.f64 (cos.f64 (.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 1/3))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (exp.f64 (log1p.f64 (cos.f64 (.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 1/3)))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 (cos.f64 (.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 1/3)) (cos.f64 (.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 1/3))) (cos.f64 (.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 1/3)))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (.f64 (cos.f64 (.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 1/3)) (cos.f64 0)) (.f64 (sin.f64 (.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 1/3)) (sin.f64 0)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (cos.f64 (.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 1/3)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 1 (cos.f64 (.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 1/3)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (neg.f64 (cos.f64 (.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 1/3))) -1)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (cbrt.f64 (cos.f64 (.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 1/3))) (pow.f64 (cbrt.f64 (cos.f64 (.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 1/3))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (pow.f64 (cbrt.f64 (cos.f64 (.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 1/3))) 2) (cbrt.f64 (cos.f64 (.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 1/3))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (sqrt.f64 (cos.f64 (.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 1/3))) (sqrt.f64 (cos.f64 (.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 1/3))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (+.f64 (cos.f64 (.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 1/3)) (cos.f64 (.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 1/3))) 1/2)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (+.f64 (neg.f64 (cos.f64 (.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 1/3))) (neg.f64 (cos.f64 (.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 1/3)))) -1/2)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (+.f64 (pow.f64 (cos.f64 (.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 1/3)) 3) (pow.f64 (cos.f64 (.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 1/3)) 3)) (/.f64 1/2 (pow.f64 (cos.f64 (.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 1/3)) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (cos.f64 (.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 1/3)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (neg.f64 (cos.f64 (.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 1/3))) -1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (pow.f64 (cos.f64 (.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 1/3)) 3) (pow.f64 (cos.f64 (.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 1/3)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cos.f64 (.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 1/3)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (cos.f64 (.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 1/3)) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (cos.f64 (.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 1/3))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (cos.f64 (.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 1/3))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x neg.f64 (neg.f64 (cos.f64 (.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 1/3))))))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (cos.f64 (.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 1/3)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x fabs.f64 (cos.f64 (.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 1/3)))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (exp.f64 (cos.f64 (.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 1/3))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (+.f64 1 (expm1.f64 (cos.f64 (.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 1/3)))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (cos.f64 (.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 1/3)) 3))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (cos.f64 (.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 1/3))))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (cos.f64 (.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 1/3))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (cos.f64 (.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 1/3)) 1 0)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (pow.f64 (cbrt.f64 (cos.f64 (.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 1/3))) 2) (cbrt.f64 (cos.f64 (.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 1/3))) 0)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (sqrt.f64 (cos.f64 (.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 1/3))) (sqrt.f64 (cos.f64 (.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 1/3))) 0)))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (cos.f64 (.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 1/3))))))))
((#(struct:change #<rule egg-rr> (2) ((x +.f64 (.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 1/3) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 1/3))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (exp.f64 (log1p.f64 (.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 1/3))) -1)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (.f64 (.f64 2 (PI.f64)) 1/3) (.f64 1/3 (acos.f64 (/.f64 g h))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 1/3) 0)))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 0 (neg.f64 (.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 1/3)))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (exp.f64 (log1p.f64 (.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 1/3))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 (.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 1/3) (.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 1/3)) (.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 1/3))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 1/3 (/.f64 1 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 1/3) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (neg.f64 (.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 1/3)) -1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (pow.f64 (.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 1/3) 3) (pow.f64 (.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 1/3) 2))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 1/3) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 1/3) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 1/3)) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 1/3)) 2)))) (#(struct:change #<rule egg-rr> (2) ((x neg.f64 (neg.f64 (.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 1/3)))))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 1/3) 2))))) (#(struct:change #<rule egg-rr> (2) ((x fabs.f64 (.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 1/3))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (pow.f64 (exp.f64 1/3) (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h)))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (+.f64 1 (expm1.f64 (.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 1/3))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 1/3) 3))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 1/3)))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 1/3)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 1/3 0)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 1/3 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 0)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 1/3) 1 0)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (cbrt.f64 (pow.f64 (.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 1/3) 2)) (cbrt.f64 (.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 1/3)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (sqrt.f64 (.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 1/3)) (sqrt.f64 (.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 1/3)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (*.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 1/3)))))))
((#(struct:change #<rule egg-rr> (2) ((x +.f64 (acos.f64 (/.f64 g h)) (.f64 2 (PI.f64)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (.f64 2 (PI.f64)) (acos.f64 (/.f64 g h)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (/.f64 (PI.f64) 2) (-.f64 (.f64 2 (PI.f64)) (asin.f64 (/.f64 g h))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (exp.f64 (log1p.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))))) -1)))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 0)))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 0 (neg.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h)))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (exp.f64 (log1p.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h)))) (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 (.f64 2 (PI.f64)) (/.f64 (PI.f64) 2)) (asin.f64 (/.f64 g h)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 1 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (neg.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h)))) -1)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (cbrt.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h)))) (pow.f64 (cbrt.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h)))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (pow.f64 (cbrt.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h)))) 2) (cbrt.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h)))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (sqrt.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h)))) (sqrt.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h)))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (+.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h)))) 1/2)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (+.f64 (neg.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h)))) (neg.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))))) -1/2)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (+.f64 (pow.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 3) (pow.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 3)) (/.f64 1/2 (pow.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (+.f64 (+.f64 (pow.f64 (.f64 2 (PI.f64)) 3) (pow.f64 (acos.f64 (/.f64 g h)) 3)) (+.f64 (pow.f64 (.f64 2 (PI.f64)) 3) (pow.f64 (acos.f64 (/.f64 g h)) 3))) (/.f64 1/2 (+.f64 (.f64 (.f64 2 (PI.f64)) (.f64 2 (PI.f64))) (-.f64 (pow.f64 (acos.f64 (/.f64 g h)) 2) (.f64 (.f64 2 (PI.f64)) (acos.f64 (/.f64 g h)))))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (neg.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h)))) -1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (pow.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 3) (pow.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (pow.f64 (.f64 2 (PI.f64)) 3) (pow.f64 (acos.f64 (/.f64 g h)) 3)) (+.f64 (.f64 (.f64 2 (PI.f64)) (.f64 2 (PI.f64))) (-.f64 (pow.f64 (acos.f64 (/.f64 g h)) 2) (.f64 (*.f64 2 (PI.f64)) (acos.f64 (/.f64 g h))))))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h)))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h)))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x neg.f64 (neg.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h)))))))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x fabs.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (exp.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h)))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (+.f64 1 (expm1.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 3))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h)))))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h)))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h)))))))))

Outputs

((#(struct:change #<rule egg-rr> (2) ((x +.f64 (cos.f64 (*.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 1/3)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (cos.f64 (*.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 1/3)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (exp.f64 (log1p.f64 (cos.f64 (*.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 1/3)))) -1)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 (cos.f64 (*.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 1/3)) (cos.f64 0)) (*.f64 (sin.f64 (*.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 1/3)) (sin.f64 0)))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (cos.f64 (*.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 1/3)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 0 (neg.f64 (cos.f64 (*.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 1/3))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (exp.f64 (log1p.f64 (cos.f64 (*.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 1/3)))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 (cos.f64 (*.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 1/3)) (cos.f64 (*.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 1/3))) (cos.f64 (*.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 1/3)))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (*.f64 (cos.f64 (*.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 1/3)) (cos.f64 0)) (*.f64 (sin.f64 (*.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 1/3)) (sin.f64 0)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cos.f64 (*.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 1/3)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (cos.f64 (*.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 1/3)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (neg.f64 (cos.f64 (*.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 1/3))) -1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (cos.f64 (*.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 1/3))) (pow.f64 (cbrt.f64 (cos.f64 (*.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 1/3))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (cbrt.f64 (cos.f64 (*.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 1/3))) 2) (cbrt.f64 (cos.f64 (*.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 1/3))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sqrt.f64 (cos.f64 (*.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 1/3))) (sqrt.f64 (cos.f64 (*.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 1/3))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (+.f64 (cos.f64 (*.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 1/3)) (cos.f64 (*.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 1/3))) 1/2)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (+.f64 (neg.f64 (cos.f64 (*.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 1/3))) (neg.f64 (cos.f64 (*.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 1/3)))) -1/2)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (+.f64 (pow.f64 (cos.f64 (*.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 1/3)) 3) (pow.f64 (cos.f64 (*.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 1/3)) 3)) (/.f64 1/2 (pow.f64 (cos.f64 (*.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 1/3)) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (cos.f64 (*.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 1/3)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (neg.f64 (cos.f64 (*.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 1/3))) -1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (pow.f64 (cos.f64 (*.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 1/3)) 3) (pow.f64 (cos.f64 (*.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 1/3)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cos.f64 (*.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 1/3)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (cos.f64 (*.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 1/3)) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (cos.f64 (*.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 1/3))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (cos.f64 (*.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 1/3))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x neg.f64 (neg.f64 (cos.f64 (*.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 1/3))))))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (cos.f64 (*.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 1/3)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x fabs.f64 (cos.f64 (*.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 1/3)))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (exp.f64 (cos.f64 (*.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 1/3))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (+.f64 1 (expm1.f64 (cos.f64 (*.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 1/3)))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (cos.f64 (*.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 1/3)) 3))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (cos.f64 (*.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 1/3))))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (cos.f64 (*.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 1/3))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (cos.f64 (*.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 1/3)) 1 0)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (pow.f64 (cbrt.f64 (cos.f64 (*.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 1/3))) 2) (cbrt.f64 (cos.f64 (*.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 1/3))) 0)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (sqrt.f64 (cos.f64 (*.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 1/3))) (sqrt.f64 (cos.f64 (*.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 1/3))) 0)))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (cos.f64 (*.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 1/3))))))))

((#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 1/3) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (*.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 1/3))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (exp.f64 (log1p.f64 (*.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 1/3))) -1)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 (*.f64 2 (PI.f64)) 1/3) (*.f64 1/3 (acos.f64 (/.f64 g h))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (*.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 1/3) 0)))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 0 (neg.f64 (*.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 1/3)))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (exp.f64 (log1p.f64 (*.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 1/3))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 (*.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 1/3) (*.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 1/3)) (*.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 1/3))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 1/3 (/.f64 1 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 1/3) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (neg.f64 (*.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 1/3)) -1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (pow.f64 (*.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 1/3) 3) (pow.f64 (*.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 1/3) 2))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (*.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 1/3) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (*.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 1/3) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (*.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 1/3)) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (*.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 1/3)) 2)))) (#(struct:change #<rule egg-rr> (2) ((x neg.f64 (neg.f64 (*.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 1/3)))))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (*.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 1/3) 2))))) (#(struct:change #<rule egg-rr> (2) ((x fabs.f64 (*.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 1/3))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (pow.f64 (exp.f64 1/3) (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h)))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (+.f64 1 (expm1.f64 (*.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 1/3))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (*.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 1/3) 3))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (*.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 1/3)))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (*.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 1/3)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 1/3 0)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 1/3 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 0)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (*.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 1/3) 1 0)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (cbrt.f64 (pow.f64 (*.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 1/3) 2)) (cbrt.f64 (*.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 1/3)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (sqrt.f64 (*.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 1/3)) (sqrt.f64 (*.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 1/3)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (*.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 1/3)))))))

((#(struct:change #<rule egg-rr> (2) ((x +.f64 (acos.f64 (/.f64 g h)) (*.f64 2 (PI.f64)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 2 (PI.f64)) (acos.f64 (/.f64 g h)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (/.f64 (PI.f64) 2) (-.f64 (*.f64 2 (PI.f64)) (asin.f64 (/.f64 g h))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (exp.f64 (log1p.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))))) -1)))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 0)))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 0 (neg.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h)))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (exp.f64 (log1p.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h)))) (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 (*.f64 2 (PI.f64)) (/.f64 (PI.f64) 2)) (asin.f64 (/.f64 g h)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (neg.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h)))) -1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h)))) (pow.f64 (cbrt.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h)))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (cbrt.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h)))) 2) (cbrt.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sqrt.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h)))) (sqrt.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (+.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h)))) 1/2)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (+.f64 (neg.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h)))) (neg.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))))) -1/2)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (+.f64 (pow.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 3) (pow.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 3)) (/.f64 1/2 (pow.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (+.f64 (+.f64 (pow.f64 (*.f64 2 (PI.f64)) 3) (pow.f64 (acos.f64 (/.f64 g h)) 3)) (+.f64 (pow.f64 (*.f64 2 (PI.f64)) 3) (pow.f64 (acos.f64 (/.f64 g h)) 3))) (/.f64 1/2 (+.f64 (*.f64 (*.f64 2 (PI.f64)) (*.f64 2 (PI.f64))) (-.f64 (pow.f64 (acos.f64 (/.f64 g h)) 2) (*.f64 (*.f64 2 (PI.f64)) (acos.f64 (/.f64 g h)))))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (neg.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h)))) -1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (pow.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 3) (pow.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (pow.f64 (*.f64 2 (PI.f64)) 3) (pow.f64 (acos.f64 (/.f64 g h)) 3)) (+.f64 (*.f64 (*.f64 2 (PI.f64)) (*.f64 2 (PI.f64))) (-.f64 (pow.f64 (acos.f64 (/.f64 g h)) 2) (*.f64 (*.f64 2 (PI.f64)) (acos.f64 (/.f64 g h))))))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h)))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h)))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x neg.f64 (neg.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h)))))))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x fabs.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (exp.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h)))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (+.f64 1 (expm1.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 3))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h)))))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h)))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h)))))))))

simplify42.0ms (1.8%)

Algorithm

1×	egg-herbie

Rules

195×	`rule-/ab-*+aa/1/2b_binary64`
189×	`rule-*a/cb-/a/bc_binary64`
189×	`rule-b-ac--ab*bc_binary64`
187×	`rule-a-bc-nega-cb_binary64`
183×	`rule-+a-bc--+abc_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	14	1200
1	88	1128
2	279	1128
3	1204	1128

Stop Event

1×	node limit

Counts

177 → 111

Calls

Call 1

Inputs
(cos.f64 (.f64 1/3 (+.f64 (.f64 2 (PI.f64)) (acos.f64 (*.f64 -1 (/.f64 g h))))))
(cos.f64 (.f64 1/3 (+.f64 (.f64 2 (PI.f64)) (acos.f64 (*.f64 -1 (/.f64 g h))))))
(cos.f64 (.f64 1/3 (+.f64 (.f64 2 (PI.f64)) (acos.f64 (*.f64 -1 (/.f64 g h))))))
(cos.f64 (.f64 1/3 (+.f64 (.f64 2 (PI.f64)) (acos.f64 (*.f64 -1 (/.f64 g h))))))
(cos.f64 (.f64 1/3 (+.f64 (.f64 2 (PI.f64)) (acos.f64 (*.f64 -1 (/.f64 g h))))))
(cos.f64 (.f64 1/3 (+.f64 (.f64 2 (PI.f64)) (acos.f64 (*.f64 -1 (/.f64 g h))))))
(cos.f64 (.f64 1/3 (+.f64 (.f64 2 (PI.f64)) (acos.f64 (*.f64 -1 (/.f64 g h))))))
(cos.f64 (.f64 1/3 (+.f64 (.f64 2 (PI.f64)) (acos.f64 (*.f64 -1 (/.f64 g h))))))
(cos.f64 (.f64 1/3 (+.f64 (.f64 2 (PI.f64)) (acos.f64 (*.f64 -1 (/.f64 g h))))))
(cos.f64 (.f64 1/3 (+.f64 (.f64 2 (PI.f64)) (acos.f64 (*.f64 -1 (/.f64 g h))))))
(cos.f64 (.f64 1/3 (+.f64 (.f64 2 (PI.f64)) (acos.f64 (*.f64 -1 (/.f64 g h))))))
(cos.f64 (.f64 1/3 (+.f64 (.f64 2 (PI.f64)) (acos.f64 (*.f64 -1 (/.f64 g h))))))
(cos.f64 (.f64 1/3 (+.f64 (.f64 2 (PI.f64)) (acos.f64 (*.f64 -1 (/.f64 g h))))))
(cos.f64 (.f64 1/3 (+.f64 (.f64 2 (PI.f64)) (acos.f64 (*.f64 -1 (/.f64 g h))))))
(cos.f64 (.f64 1/3 (+.f64 (.f64 2 (PI.f64)) (acos.f64 (*.f64 -1 (/.f64 g h))))))
(cos.f64 (.f64 1/3 (+.f64 (.f64 2 (PI.f64)) (acos.f64 (*.f64 -1 (/.f64 g h))))))
(cos.f64 (.f64 1/3 (+.f64 (.f64 2 (PI.f64)) (acos.f64 (*.f64 -1 (/.f64 g h))))))
(cos.f64 (.f64 1/3 (+.f64 (.f64 2 (PI.f64)) (acos.f64 (*.f64 -1 (/.f64 g h))))))
(cos.f64 (.f64 1/3 (+.f64 (.f64 2 (PI.f64)) (acos.f64 (*.f64 -1 (/.f64 g h))))))
(cos.f64 (.f64 1/3 (+.f64 (.f64 2 (PI.f64)) (acos.f64 (*.f64 -1 (/.f64 g h))))))
(cos.f64 (.f64 1/3 (+.f64 (.f64 2 (PI.f64)) (acos.f64 (*.f64 -1 (/.f64 g h))))))
(cos.f64 (.f64 1/3 (+.f64 (.f64 2 (PI.f64)) (acos.f64 (*.f64 -1 (/.f64 g h))))))
(cos.f64 (.f64 1/3 (+.f64 (.f64 2 (PI.f64)) (acos.f64 (*.f64 -1 (/.f64 g h))))))
(cos.f64 (.f64 1/3 (+.f64 (.f64 2 (PI.f64)) (acos.f64 (*.f64 -1 (/.f64 g h))))))
(.f64 1/3 (+.f64 (.f64 2 (PI.f64)) (acos.f64 (*.f64 -1 (/.f64 g h)))))
(.f64 1/3 (+.f64 (.f64 2 (PI.f64)) (acos.f64 (*.f64 -1 (/.f64 g h)))))
(.f64 1/3 (+.f64 (.f64 2 (PI.f64)) (acos.f64 (*.f64 -1 (/.f64 g h)))))
(.f64 1/3 (+.f64 (.f64 2 (PI.f64)) (acos.f64 (*.f64 -1 (/.f64 g h)))))
(.f64 1/3 (+.f64 (.f64 2 (PI.f64)) (acos.f64 (*.f64 -1 (/.f64 g h)))))
(.f64 1/3 (+.f64 (.f64 2 (PI.f64)) (acos.f64 (*.f64 -1 (/.f64 g h)))))
(.f64 1/3 (+.f64 (.f64 2 (PI.f64)) (acos.f64 (*.f64 -1 (/.f64 g h)))))
(.f64 1/3 (+.f64 (.f64 2 (PI.f64)) (acos.f64 (*.f64 -1 (/.f64 g h)))))
(.f64 1/3 (+.f64 (.f64 2 (PI.f64)) (acos.f64 (*.f64 -1 (/.f64 g h)))))
(.f64 1/3 (+.f64 (.f64 2 (PI.f64)) (acos.f64 (*.f64 -1 (/.f64 g h)))))
(.f64 1/3 (+.f64 (.f64 2 (PI.f64)) (acos.f64 (*.f64 -1 (/.f64 g h)))))
(.f64 1/3 (+.f64 (.f64 2 (PI.f64)) (acos.f64 (*.f64 -1 (/.f64 g h)))))
(.f64 1/3 (+.f64 (.f64 2 (PI.f64)) (acos.f64 (*.f64 -1 (/.f64 g h)))))
(.f64 1/3 (+.f64 (.f64 2 (PI.f64)) (acos.f64 (*.f64 -1 (/.f64 g h)))))
(.f64 1/3 (+.f64 (.f64 2 (PI.f64)) (acos.f64 (*.f64 -1 (/.f64 g h)))))
(.f64 1/3 (+.f64 (.f64 2 (PI.f64)) (acos.f64 (*.f64 -1 (/.f64 g h)))))
(.f64 1/3 (+.f64 (.f64 2 (PI.f64)) (acos.f64 (*.f64 -1 (/.f64 g h)))))
(.f64 1/3 (+.f64 (.f64 2 (PI.f64)) (acos.f64 (*.f64 -1 (/.f64 g h)))))
(.f64 1/3 (+.f64 (.f64 2 (PI.f64)) (acos.f64 (*.f64 -1 (/.f64 g h)))))
(.f64 1/3 (+.f64 (.f64 2 (PI.f64)) (acos.f64 (*.f64 -1 (/.f64 g h)))))
(.f64 1/3 (+.f64 (.f64 2 (PI.f64)) (acos.f64 (*.f64 -1 (/.f64 g h)))))
(.f64 1/3 (+.f64 (.f64 2 (PI.f64)) (acos.f64 (*.f64 -1 (/.f64 g h)))))
(.f64 1/3 (+.f64 (.f64 2 (PI.f64)) (acos.f64 (*.f64 -1 (/.f64 g h)))))
(.f64 1/3 (+.f64 (.f64 2 (PI.f64)) (acos.f64 (*.f64 -1 (/.f64 g h)))))
(+.f64 (.f64 2 (PI.f64)) (acos.f64 (.f64 -1 (/.f64 g h))))
(+.f64 (.f64 2 (PI.f64)) (acos.f64 (.f64 -1 (/.f64 g h))))
(+.f64 (.f64 2 (PI.f64)) (acos.f64 (.f64 -1 (/.f64 g h))))
(+.f64 (.f64 2 (PI.f64)) (acos.f64 (.f64 -1 (/.f64 g h))))
(+.f64 (.f64 2 (PI.f64)) (acos.f64 (.f64 -1 (/.f64 g h))))
(+.f64 (.f64 2 (PI.f64)) (acos.f64 (.f64 -1 (/.f64 g h))))
(+.f64 (.f64 2 (PI.f64)) (acos.f64 (.f64 -1 (/.f64 g h))))
(+.f64 (.f64 2 (PI.f64)) (acos.f64 (.f64 -1 (/.f64 g h))))
(+.f64 (.f64 2 (PI.f64)) (acos.f64 (.f64 -1 (/.f64 g h))))
(+.f64 (.f64 2 (PI.f64)) (acos.f64 (.f64 -1 (/.f64 g h))))
(+.f64 (.f64 2 (PI.f64)) (acos.f64 (.f64 -1 (/.f64 g h))))
(+.f64 (.f64 2 (PI.f64)) (acos.f64 (.f64 -1 (/.f64 g h))))
(+.f64 (.f64 2 (PI.f64)) (acos.f64 (.f64 -1 (/.f64 g h))))
(+.f64 (.f64 2 (PI.f64)) (acos.f64 (.f64 -1 (/.f64 g h))))
(+.f64 (.f64 2 (PI.f64)) (acos.f64 (.f64 -1 (/.f64 g h))))
(+.f64 (.f64 2 (PI.f64)) (acos.f64 (.f64 -1 (/.f64 g h))))
(+.f64 (.f64 2 (PI.f64)) (acos.f64 (.f64 -1 (/.f64 g h))))
(+.f64 (.f64 2 (PI.f64)) (acos.f64 (.f64 -1 (/.f64 g h))))
(+.f64 (.f64 2 (PI.f64)) (acos.f64 (.f64 -1 (/.f64 g h))))
(+.f64 (.f64 2 (PI.f64)) (acos.f64 (.f64 -1 (/.f64 g h))))
(+.f64 (.f64 2 (PI.f64)) (acos.f64 (.f64 -1 (/.f64 g h))))
(+.f64 (.f64 2 (PI.f64)) (acos.f64 (.f64 -1 (/.f64 g h))))
(+.f64 (.f64 2 (PI.f64)) (acos.f64 (.f64 -1 (/.f64 g h))))
(+.f64 (.f64 2 (PI.f64)) (acos.f64 (.f64 -1 (/.f64 g h))))

Outputs
(cos.f64 (.f64 1/3 (+.f64 (.f64 2 (PI.f64)) (acos.f64 (*.f64 -1 (/.f64 g h))))))
(cos.f64 (.f64 1/3 (fma.f64 2 (PI.f64) (acos.f64 (.f64 -1 (/.f64 g h))))))
(cos.f64 (*.f64 1/3 (fma.f64 2 (PI.f64) (acos.f64 (neg.f64 (/.f64 g h))))))
(cos.f64 (*.f64 1/3 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g (neg.f64 h))))))
(cos.f64 (.f64 1/3 (+.f64 (.f64 2 (PI.f64)) (acos.f64 (*.f64 -1 (/.f64 g h))))))
(cos.f64 (.f64 1/3 (fma.f64 2 (PI.f64) (acos.f64 (.f64 -1 (/.f64 g h))))))
(cos.f64 (*.f64 1/3 (fma.f64 2 (PI.f64) (acos.f64 (neg.f64 (/.f64 g h))))))
(cos.f64 (*.f64 1/3 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g (neg.f64 h))))))
(cos.f64 (.f64 1/3 (+.f64 (.f64 2 (PI.f64)) (acos.f64 (*.f64 -1 (/.f64 g h))))))
(cos.f64 (.f64 1/3 (fma.f64 2 (PI.f64) (acos.f64 (.f64 -1 (/.f64 g h))))))
(cos.f64 (*.f64 1/3 (fma.f64 2 (PI.f64) (acos.f64 (neg.f64 (/.f64 g h))))))
(cos.f64 (*.f64 1/3 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g (neg.f64 h))))))
(cos.f64 (.f64 1/3 (+.f64 (.f64 2 (PI.f64)) (acos.f64 (*.f64 -1 (/.f64 g h))))))
(cos.f64 (.f64 1/3 (fma.f64 2 (PI.f64) (acos.f64 (.f64 -1 (/.f64 g h))))))
(cos.f64 (*.f64 1/3 (fma.f64 2 (PI.f64) (acos.f64 (neg.f64 (/.f64 g h))))))
(cos.f64 (*.f64 1/3 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g (neg.f64 h))))))
(cos.f64 (.f64 1/3 (+.f64 (.f64 2 (PI.f64)) (acos.f64 (*.f64 -1 (/.f64 g h))))))
(cos.f64 (.f64 1/3 (fma.f64 2 (PI.f64) (acos.f64 (.f64 -1 (/.f64 g h))))))
(cos.f64 (*.f64 1/3 (fma.f64 2 (PI.f64) (acos.f64 (neg.f64 (/.f64 g h))))))
(cos.f64 (*.f64 1/3 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g (neg.f64 h))))))
(cos.f64 (.f64 1/3 (+.f64 (.f64 2 (PI.f64)) (acos.f64 (*.f64 -1 (/.f64 g h))))))
(cos.f64 (.f64 1/3 (fma.f64 2 (PI.f64) (acos.f64 (.f64 -1 (/.f64 g h))))))
(cos.f64 (*.f64 1/3 (fma.f64 2 (PI.f64) (acos.f64 (neg.f64 (/.f64 g h))))))
(cos.f64 (*.f64 1/3 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g (neg.f64 h))))))
(cos.f64 (.f64 1/3 (+.f64 (.f64 2 (PI.f64)) (acos.f64 (*.f64 -1 (/.f64 g h))))))
(cos.f64 (.f64 1/3 (fma.f64 2 (PI.f64) (acos.f64 (.f64 -1 (/.f64 g h))))))
(cos.f64 (*.f64 1/3 (fma.f64 2 (PI.f64) (acos.f64 (neg.f64 (/.f64 g h))))))
(cos.f64 (*.f64 1/3 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g (neg.f64 h))))))
(cos.f64 (.f64 1/3 (+.f64 (.f64 2 (PI.f64)) (acos.f64 (*.f64 -1 (/.f64 g h))))))
(cos.f64 (.f64 1/3 (fma.f64 2 (PI.f64) (acos.f64 (.f64 -1 (/.f64 g h))))))
(cos.f64 (*.f64 1/3 (fma.f64 2 (PI.f64) (acos.f64 (neg.f64 (/.f64 g h))))))
(cos.f64 (*.f64 1/3 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g (neg.f64 h))))))
(cos.f64 (.f64 1/3 (+.f64 (.f64 2 (PI.f64)) (acos.f64 (*.f64 -1 (/.f64 g h))))))
(cos.f64 (.f64 1/3 (fma.f64 2 (PI.f64) (acos.f64 (.f64 -1 (/.f64 g h))))))
(cos.f64 (*.f64 1/3 (fma.f64 2 (PI.f64) (acos.f64 (neg.f64 (/.f64 g h))))))
(cos.f64 (*.f64 1/3 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g (neg.f64 h))))))
(cos.f64 (.f64 1/3 (+.f64 (.f64 2 (PI.f64)) (acos.f64 (*.f64 -1 (/.f64 g h))))))
(cos.f64 (.f64 1/3 (fma.f64 2 (PI.f64) (acos.f64 (.f64 -1 (/.f64 g h))))))
(cos.f64 (*.f64 1/3 (fma.f64 2 (PI.f64) (acos.f64 (neg.f64 (/.f64 g h))))))
(cos.f64 (*.f64 1/3 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g (neg.f64 h))))))
(cos.f64 (.f64 1/3 (+.f64 (.f64 2 (PI.f64)) (acos.f64 (*.f64 -1 (/.f64 g h))))))
(cos.f64 (.f64 1/3 (fma.f64 2 (PI.f64) (acos.f64 (.f64 -1 (/.f64 g h))))))
(cos.f64 (*.f64 1/3 (fma.f64 2 (PI.f64) (acos.f64 (neg.f64 (/.f64 g h))))))
(cos.f64 (*.f64 1/3 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g (neg.f64 h))))))
(cos.f64 (.f64 1/3 (+.f64 (.f64 2 (PI.f64)) (acos.f64 (*.f64 -1 (/.f64 g h))))))
(cos.f64 (.f64 1/3 (fma.f64 2 (PI.f64) (acos.f64 (.f64 -1 (/.f64 g h))))))
(cos.f64 (*.f64 1/3 (fma.f64 2 (PI.f64) (acos.f64 (neg.f64 (/.f64 g h))))))
(cos.f64 (*.f64 1/3 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g (neg.f64 h))))))
(cos.f64 (.f64 1/3 (+.f64 (.f64 2 (PI.f64)) (acos.f64 (*.f64 -1 (/.f64 g h))))))
(cos.f64 (.f64 1/3 (fma.f64 2 (PI.f64) (acos.f64 (.f64 -1 (/.f64 g h))))))
(cos.f64 (*.f64 1/3 (fma.f64 2 (PI.f64) (acos.f64 (neg.f64 (/.f64 g h))))))
(cos.f64 (*.f64 1/3 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g (neg.f64 h))))))
(cos.f64 (.f64 1/3 (+.f64 (.f64 2 (PI.f64)) (acos.f64 (*.f64 -1 (/.f64 g h))))))
(cos.f64 (.f64 1/3 (fma.f64 2 (PI.f64) (acos.f64 (.f64 -1 (/.f64 g h))))))
(cos.f64 (*.f64 1/3 (fma.f64 2 (PI.f64) (acos.f64 (neg.f64 (/.f64 g h))))))
(cos.f64 (*.f64 1/3 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g (neg.f64 h))))))
(cos.f64 (.f64 1/3 (+.f64 (.f64 2 (PI.f64)) (acos.f64 (*.f64 -1 (/.f64 g h))))))
(cos.f64 (.f64 1/3 (fma.f64 2 (PI.f64) (acos.f64 (.f64 -1 (/.f64 g h))))))
(cos.f64 (*.f64 1/3 (fma.f64 2 (PI.f64) (acos.f64 (neg.f64 (/.f64 g h))))))
(cos.f64 (*.f64 1/3 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g (neg.f64 h))))))
(cos.f64 (.f64 1/3 (+.f64 (.f64 2 (PI.f64)) (acos.f64 (*.f64 -1 (/.f64 g h))))))
(cos.f64 (.f64 1/3 (fma.f64 2 (PI.f64) (acos.f64 (.f64 -1 (/.f64 g h))))))
(cos.f64 (*.f64 1/3 (fma.f64 2 (PI.f64) (acos.f64 (neg.f64 (/.f64 g h))))))
(cos.f64 (*.f64 1/3 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g (neg.f64 h))))))
(cos.f64 (.f64 1/3 (+.f64 (.f64 2 (PI.f64)) (acos.f64 (*.f64 -1 (/.f64 g h))))))
(cos.f64 (.f64 1/3 (fma.f64 2 (PI.f64) (acos.f64 (.f64 -1 (/.f64 g h))))))
(cos.f64 (*.f64 1/3 (fma.f64 2 (PI.f64) (acos.f64 (neg.f64 (/.f64 g h))))))
(cos.f64 (*.f64 1/3 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g (neg.f64 h))))))
(cos.f64 (.f64 1/3 (+.f64 (.f64 2 (PI.f64)) (acos.f64 (*.f64 -1 (/.f64 g h))))))
(cos.f64 (.f64 1/3 (fma.f64 2 (PI.f64) (acos.f64 (.f64 -1 (/.f64 g h))))))
(cos.f64 (*.f64 1/3 (fma.f64 2 (PI.f64) (acos.f64 (neg.f64 (/.f64 g h))))))
(cos.f64 (*.f64 1/3 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g (neg.f64 h))))))
(cos.f64 (.f64 1/3 (+.f64 (.f64 2 (PI.f64)) (acos.f64 (*.f64 -1 (/.f64 g h))))))
(cos.f64 (.f64 1/3 (fma.f64 2 (PI.f64) (acos.f64 (.f64 -1 (/.f64 g h))))))
(cos.f64 (*.f64 1/3 (fma.f64 2 (PI.f64) (acos.f64 (neg.f64 (/.f64 g h))))))
(cos.f64 (*.f64 1/3 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g (neg.f64 h))))))
(cos.f64 (.f64 1/3 (+.f64 (.f64 2 (PI.f64)) (acos.f64 (*.f64 -1 (/.f64 g h))))))
(cos.f64 (.f64 1/3 (fma.f64 2 (PI.f64) (acos.f64 (.f64 -1 (/.f64 g h))))))
(cos.f64 (*.f64 1/3 (fma.f64 2 (PI.f64) (acos.f64 (neg.f64 (/.f64 g h))))))
(cos.f64 (*.f64 1/3 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g (neg.f64 h))))))
(cos.f64 (.f64 1/3 (+.f64 (.f64 2 (PI.f64)) (acos.f64 (*.f64 -1 (/.f64 g h))))))
(cos.f64 (.f64 1/3 (fma.f64 2 (PI.f64) (acos.f64 (.f64 -1 (/.f64 g h))))))
(cos.f64 (*.f64 1/3 (fma.f64 2 (PI.f64) (acos.f64 (neg.f64 (/.f64 g h))))))
(cos.f64 (*.f64 1/3 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g (neg.f64 h))))))
(cos.f64 (.f64 1/3 (+.f64 (.f64 2 (PI.f64)) (acos.f64 (*.f64 -1 (/.f64 g h))))))
(cos.f64 (.f64 1/3 (fma.f64 2 (PI.f64) (acos.f64 (.f64 -1 (/.f64 g h))))))
(cos.f64 (*.f64 1/3 (fma.f64 2 (PI.f64) (acos.f64 (neg.f64 (/.f64 g h))))))
(cos.f64 (*.f64 1/3 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g (neg.f64 h))))))
(cos.f64 (.f64 1/3 (+.f64 (.f64 2 (PI.f64)) (acos.f64 (*.f64 -1 (/.f64 g h))))))
(cos.f64 (.f64 1/3 (fma.f64 2 (PI.f64) (acos.f64 (.f64 -1 (/.f64 g h))))))
(cos.f64 (*.f64 1/3 (fma.f64 2 (PI.f64) (acos.f64 (neg.f64 (/.f64 g h))))))
(cos.f64 (*.f64 1/3 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g (neg.f64 h))))))
(cos.f64 (.f64 1/3 (+.f64 (.f64 2 (PI.f64)) (acos.f64 (*.f64 -1 (/.f64 g h))))))
(cos.f64 (.f64 1/3 (fma.f64 2 (PI.f64) (acos.f64 (.f64 -1 (/.f64 g h))))))
(cos.f64 (*.f64 1/3 (fma.f64 2 (PI.f64) (acos.f64 (neg.f64 (/.f64 g h))))))
(cos.f64 (*.f64 1/3 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g (neg.f64 h))))))
(.f64 1/3 (+.f64 (.f64 2 (PI.f64)) (acos.f64 (*.f64 -1 (/.f64 g h)))))
(.f64 1/3 (fma.f64 2 (PI.f64) (acos.f64 (.f64 -1 (/.f64 g h)))))
(*.f64 1/3 (fma.f64 2 (PI.f64) (acos.f64 (neg.f64 (/.f64 g h)))))
(*.f64 1/3 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g (neg.f64 h)))))
(.f64 1/3 (+.f64 (.f64 2 (PI.f64)) (acos.f64 (*.f64 -1 (/.f64 g h)))))
(.f64 1/3 (fma.f64 2 (PI.f64) (acos.f64 (.f64 -1 (/.f64 g h)))))
(*.f64 1/3 (fma.f64 2 (PI.f64) (acos.f64 (neg.f64 (/.f64 g h)))))
(*.f64 1/3 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g (neg.f64 h)))))
(.f64 1/3 (+.f64 (.f64 2 (PI.f64)) (acos.f64 (*.f64 -1 (/.f64 g h)))))
(.f64 1/3 (fma.f64 2 (PI.f64) (acos.f64 (.f64 -1 (/.f64 g h)))))
(*.f64 1/3 (fma.f64 2 (PI.f64) (acos.f64 (neg.f64 (/.f64 g h)))))
(*.f64 1/3 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g (neg.f64 h)))))
(.f64 1/3 (+.f64 (.f64 2 (PI.f64)) (acos.f64 (*.f64 -1 (/.f64 g h)))))
(.f64 1/3 (fma.f64 2 (PI.f64) (acos.f64 (.f64 -1 (/.f64 g h)))))
(*.f64 1/3 (fma.f64 2 (PI.f64) (acos.f64 (neg.f64 (/.f64 g h)))))
(*.f64 1/3 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g (neg.f64 h)))))
(.f64 1/3 (+.f64 (.f64 2 (PI.f64)) (acos.f64 (*.f64 -1 (/.f64 g h)))))
(.f64 1/3 (fma.f64 2 (PI.f64) (acos.f64 (.f64 -1 (/.f64 g h)))))
(*.f64 1/3 (fma.f64 2 (PI.f64) (acos.f64 (neg.f64 (/.f64 g h)))))
(*.f64 1/3 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g (neg.f64 h)))))
(.f64 1/3 (+.f64 (.f64 2 (PI.f64)) (acos.f64 (*.f64 -1 (/.f64 g h)))))
(.f64 1/3 (fma.f64 2 (PI.f64) (acos.f64 (.f64 -1 (/.f64 g h)))))
(*.f64 1/3 (fma.f64 2 (PI.f64) (acos.f64 (neg.f64 (/.f64 g h)))))
(*.f64 1/3 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g (neg.f64 h)))))
(.f64 1/3 (+.f64 (.f64 2 (PI.f64)) (acos.f64 (*.f64 -1 (/.f64 g h)))))
(.f64 1/3 (fma.f64 2 (PI.f64) (acos.f64 (.f64 -1 (/.f64 g h)))))
(*.f64 1/3 (fma.f64 2 (PI.f64) (acos.f64 (neg.f64 (/.f64 g h)))))
(*.f64 1/3 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g (neg.f64 h)))))
(.f64 1/3 (+.f64 (.f64 2 (PI.f64)) (acos.f64 (*.f64 -1 (/.f64 g h)))))
(.f64 1/3 (fma.f64 2 (PI.f64) (acos.f64 (.f64 -1 (/.f64 g h)))))
(*.f64 1/3 (fma.f64 2 (PI.f64) (acos.f64 (neg.f64 (/.f64 g h)))))
(*.f64 1/3 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g (neg.f64 h)))))
(.f64 1/3 (+.f64 (.f64 2 (PI.f64)) (acos.f64 (*.f64 -1 (/.f64 g h)))))
(.f64 1/3 (fma.f64 2 (PI.f64) (acos.f64 (.f64 -1 (/.f64 g h)))))
(*.f64 1/3 (fma.f64 2 (PI.f64) (acos.f64 (neg.f64 (/.f64 g h)))))
(*.f64 1/3 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g (neg.f64 h)))))
(.f64 1/3 (+.f64 (.f64 2 (PI.f64)) (acos.f64 (*.f64 -1 (/.f64 g h)))))
(.f64 1/3 (fma.f64 2 (PI.f64) (acos.f64 (.f64 -1 (/.f64 g h)))))
(*.f64 1/3 (fma.f64 2 (PI.f64) (acos.f64 (neg.f64 (/.f64 g h)))))
(*.f64 1/3 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g (neg.f64 h)))))
(.f64 1/3 (+.f64 (.f64 2 (PI.f64)) (acos.f64 (*.f64 -1 (/.f64 g h)))))
(.f64 1/3 (fma.f64 2 (PI.f64) (acos.f64 (.f64 -1 (/.f64 g h)))))
(*.f64 1/3 (fma.f64 2 (PI.f64) (acos.f64 (neg.f64 (/.f64 g h)))))
(*.f64 1/3 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g (neg.f64 h)))))
(.f64 1/3 (+.f64 (.f64 2 (PI.f64)) (acos.f64 (*.f64 -1 (/.f64 g h)))))
(.f64 1/3 (fma.f64 2 (PI.f64) (acos.f64 (.f64 -1 (/.f64 g h)))))
(*.f64 1/3 (fma.f64 2 (PI.f64) (acos.f64 (neg.f64 (/.f64 g h)))))
(*.f64 1/3 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g (neg.f64 h)))))
(.f64 1/3 (+.f64 (.f64 2 (PI.f64)) (acos.f64 (*.f64 -1 (/.f64 g h)))))
(.f64 1/3 (fma.f64 2 (PI.f64) (acos.f64 (.f64 -1 (/.f64 g h)))))
(*.f64 1/3 (fma.f64 2 (PI.f64) (acos.f64 (neg.f64 (/.f64 g h)))))
(*.f64 1/3 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g (neg.f64 h)))))
(.f64 1/3 (+.f64 (.f64 2 (PI.f64)) (acos.f64 (*.f64 -1 (/.f64 g h)))))
(.f64 1/3 (fma.f64 2 (PI.f64) (acos.f64 (.f64 -1 (/.f64 g h)))))
(*.f64 1/3 (fma.f64 2 (PI.f64) (acos.f64 (neg.f64 (/.f64 g h)))))
(*.f64 1/3 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g (neg.f64 h)))))
(.f64 1/3 (+.f64 (.f64 2 (PI.f64)) (acos.f64 (*.f64 -1 (/.f64 g h)))))
(.f64 1/3 (fma.f64 2 (PI.f64) (acos.f64 (.f64 -1 (/.f64 g h)))))
(*.f64 1/3 (fma.f64 2 (PI.f64) (acos.f64 (neg.f64 (/.f64 g h)))))
(*.f64 1/3 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g (neg.f64 h)))))
(.f64 1/3 (+.f64 (.f64 2 (PI.f64)) (acos.f64 (*.f64 -1 (/.f64 g h)))))
(.f64 1/3 (fma.f64 2 (PI.f64) (acos.f64 (.f64 -1 (/.f64 g h)))))
(*.f64 1/3 (fma.f64 2 (PI.f64) (acos.f64 (neg.f64 (/.f64 g h)))))
(*.f64 1/3 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g (neg.f64 h)))))
(.f64 1/3 (+.f64 (.f64 2 (PI.f64)) (acos.f64 (*.f64 -1 (/.f64 g h)))))
(.f64 1/3 (fma.f64 2 (PI.f64) (acos.f64 (.f64 -1 (/.f64 g h)))))
(*.f64 1/3 (fma.f64 2 (PI.f64) (acos.f64 (neg.f64 (/.f64 g h)))))
(*.f64 1/3 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g (neg.f64 h)))))
(.f64 1/3 (+.f64 (.f64 2 (PI.f64)) (acos.f64 (*.f64 -1 (/.f64 g h)))))
(.f64 1/3 (fma.f64 2 (PI.f64) (acos.f64 (.f64 -1 (/.f64 g h)))))
(*.f64 1/3 (fma.f64 2 (PI.f64) (acos.f64 (neg.f64 (/.f64 g h)))))
(*.f64 1/3 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g (neg.f64 h)))))
(.f64 1/3 (+.f64 (.f64 2 (PI.f64)) (acos.f64 (*.f64 -1 (/.f64 g h)))))
(.f64 1/3 (fma.f64 2 (PI.f64) (acos.f64 (.f64 -1 (/.f64 g h)))))
(*.f64 1/3 (fma.f64 2 (PI.f64) (acos.f64 (neg.f64 (/.f64 g h)))))
(*.f64 1/3 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g (neg.f64 h)))))
(.f64 1/3 (+.f64 (.f64 2 (PI.f64)) (acos.f64 (*.f64 -1 (/.f64 g h)))))
(.f64 1/3 (fma.f64 2 (PI.f64) (acos.f64 (.f64 -1 (/.f64 g h)))))
(*.f64 1/3 (fma.f64 2 (PI.f64) (acos.f64 (neg.f64 (/.f64 g h)))))
(*.f64 1/3 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g (neg.f64 h)))))
(.f64 1/3 (+.f64 (.f64 2 (PI.f64)) (acos.f64 (*.f64 -1 (/.f64 g h)))))
(.f64 1/3 (fma.f64 2 (PI.f64) (acos.f64 (.f64 -1 (/.f64 g h)))))
(*.f64 1/3 (fma.f64 2 (PI.f64) (acos.f64 (neg.f64 (/.f64 g h)))))
(*.f64 1/3 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g (neg.f64 h)))))
(.f64 1/3 (+.f64 (.f64 2 (PI.f64)) (acos.f64 (*.f64 -1 (/.f64 g h)))))
(.f64 1/3 (fma.f64 2 (PI.f64) (acos.f64 (.f64 -1 (/.f64 g h)))))
(*.f64 1/3 (fma.f64 2 (PI.f64) (acos.f64 (neg.f64 (/.f64 g h)))))
(*.f64 1/3 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g (neg.f64 h)))))
(.f64 1/3 (+.f64 (.f64 2 (PI.f64)) (acos.f64 (*.f64 -1 (/.f64 g h)))))
(.f64 1/3 (fma.f64 2 (PI.f64) (acos.f64 (.f64 -1 (/.f64 g h)))))
(*.f64 1/3 (fma.f64 2 (PI.f64) (acos.f64 (neg.f64 (/.f64 g h)))))
(*.f64 1/3 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g (neg.f64 h)))))
(.f64 1/3 (+.f64 (.f64 2 (PI.f64)) (acos.f64 (*.f64 -1 (/.f64 g h)))))
(.f64 1/3 (fma.f64 2 (PI.f64) (acos.f64 (.f64 -1 (/.f64 g h)))))
(*.f64 1/3 (fma.f64 2 (PI.f64) (acos.f64 (neg.f64 (/.f64 g h)))))
(*.f64 1/3 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g (neg.f64 h)))))
(+.f64 (.f64 2 (PI.f64)) (acos.f64 (.f64 -1 (/.f64 g h))))
(fma.f64 2 (PI.f64) (acos.f64 (*.f64 -1 (/.f64 g h))))
(fma.f64 2 (PI.f64) (acos.f64 (neg.f64 (/.f64 g h))))
(fma.f64 2 (PI.f64) (acos.f64 (/.f64 g (neg.f64 h))))
(+.f64 (.f64 2 (PI.f64)) (acos.f64 (.f64 -1 (/.f64 g h))))
(fma.f64 2 (PI.f64) (acos.f64 (*.f64 -1 (/.f64 g h))))
(fma.f64 2 (PI.f64) (acos.f64 (neg.f64 (/.f64 g h))))
(fma.f64 2 (PI.f64) (acos.f64 (/.f64 g (neg.f64 h))))
(+.f64 (.f64 2 (PI.f64)) (acos.f64 (.f64 -1 (/.f64 g h))))
(fma.f64 2 (PI.f64) (acos.f64 (*.f64 -1 (/.f64 g h))))
(fma.f64 2 (PI.f64) (acos.f64 (neg.f64 (/.f64 g h))))
(fma.f64 2 (PI.f64) (acos.f64 (/.f64 g (neg.f64 h))))
(+.f64 (.f64 2 (PI.f64)) (acos.f64 (.f64 -1 (/.f64 g h))))
(fma.f64 2 (PI.f64) (acos.f64 (*.f64 -1 (/.f64 g h))))
(fma.f64 2 (PI.f64) (acos.f64 (neg.f64 (/.f64 g h))))
(fma.f64 2 (PI.f64) (acos.f64 (/.f64 g (neg.f64 h))))
(+.f64 (.f64 2 (PI.f64)) (acos.f64 (.f64 -1 (/.f64 g h))))
(fma.f64 2 (PI.f64) (acos.f64 (*.f64 -1 (/.f64 g h))))
(fma.f64 2 (PI.f64) (acos.f64 (neg.f64 (/.f64 g h))))
(fma.f64 2 (PI.f64) (acos.f64 (/.f64 g (neg.f64 h))))
(+.f64 (.f64 2 (PI.f64)) (acos.f64 (.f64 -1 (/.f64 g h))))
(fma.f64 2 (PI.f64) (acos.f64 (*.f64 -1 (/.f64 g h))))
(fma.f64 2 (PI.f64) (acos.f64 (neg.f64 (/.f64 g h))))
(fma.f64 2 (PI.f64) (acos.f64 (/.f64 g (neg.f64 h))))
(+.f64 (.f64 2 (PI.f64)) (acos.f64 (.f64 -1 (/.f64 g h))))
(fma.f64 2 (PI.f64) (acos.f64 (*.f64 -1 (/.f64 g h))))
(fma.f64 2 (PI.f64) (acos.f64 (neg.f64 (/.f64 g h))))
(fma.f64 2 (PI.f64) (acos.f64 (/.f64 g (neg.f64 h))))
(+.f64 (.f64 2 (PI.f64)) (acos.f64 (.f64 -1 (/.f64 g h))))
(fma.f64 2 (PI.f64) (acos.f64 (*.f64 -1 (/.f64 g h))))
(fma.f64 2 (PI.f64) (acos.f64 (neg.f64 (/.f64 g h))))
(fma.f64 2 (PI.f64) (acos.f64 (/.f64 g (neg.f64 h))))
(+.f64 (.f64 2 (PI.f64)) (acos.f64 (.f64 -1 (/.f64 g h))))
(fma.f64 2 (PI.f64) (acos.f64 (*.f64 -1 (/.f64 g h))))
(fma.f64 2 (PI.f64) (acos.f64 (neg.f64 (/.f64 g h))))
(fma.f64 2 (PI.f64) (acos.f64 (/.f64 g (neg.f64 h))))
(+.f64 (.f64 2 (PI.f64)) (acos.f64 (.f64 -1 (/.f64 g h))))
(fma.f64 2 (PI.f64) (acos.f64 (*.f64 -1 (/.f64 g h))))
(fma.f64 2 (PI.f64) (acos.f64 (neg.f64 (/.f64 g h))))
(fma.f64 2 (PI.f64) (acos.f64 (/.f64 g (neg.f64 h))))
(+.f64 (.f64 2 (PI.f64)) (acos.f64 (.f64 -1 (/.f64 g h))))
(fma.f64 2 (PI.f64) (acos.f64 (*.f64 -1 (/.f64 g h))))
(fma.f64 2 (PI.f64) (acos.f64 (neg.f64 (/.f64 g h))))
(fma.f64 2 (PI.f64) (acos.f64 (/.f64 g (neg.f64 h))))
(+.f64 (.f64 2 (PI.f64)) (acos.f64 (.f64 -1 (/.f64 g h))))
(fma.f64 2 (PI.f64) (acos.f64 (*.f64 -1 (/.f64 g h))))
(fma.f64 2 (PI.f64) (acos.f64 (neg.f64 (/.f64 g h))))
(fma.f64 2 (PI.f64) (acos.f64 (/.f64 g (neg.f64 h))))
(+.f64 (.f64 2 (PI.f64)) (acos.f64 (.f64 -1 (/.f64 g h))))
(fma.f64 2 (PI.f64) (acos.f64 (*.f64 -1 (/.f64 g h))))
(fma.f64 2 (PI.f64) (acos.f64 (neg.f64 (/.f64 g h))))
(fma.f64 2 (PI.f64) (acos.f64 (/.f64 g (neg.f64 h))))
(+.f64 (.f64 2 (PI.f64)) (acos.f64 (.f64 -1 (/.f64 g h))))
(fma.f64 2 (PI.f64) (acos.f64 (*.f64 -1 (/.f64 g h))))
(fma.f64 2 (PI.f64) (acos.f64 (neg.f64 (/.f64 g h))))
(fma.f64 2 (PI.f64) (acos.f64 (/.f64 g (neg.f64 h))))
(+.f64 (.f64 2 (PI.f64)) (acos.f64 (.f64 -1 (/.f64 g h))))
(fma.f64 2 (PI.f64) (acos.f64 (*.f64 -1 (/.f64 g h))))
(fma.f64 2 (PI.f64) (acos.f64 (neg.f64 (/.f64 g h))))
(fma.f64 2 (PI.f64) (acos.f64 (/.f64 g (neg.f64 h))))
(+.f64 (.f64 2 (PI.f64)) (acos.f64 (.f64 -1 (/.f64 g h))))
(fma.f64 2 (PI.f64) (acos.f64 (*.f64 -1 (/.f64 g h))))
(fma.f64 2 (PI.f64) (acos.f64 (neg.f64 (/.f64 g h))))
(fma.f64 2 (PI.f64) (acos.f64 (/.f64 g (neg.f64 h))))
(+.f64 (.f64 2 (PI.f64)) (acos.f64 (.f64 -1 (/.f64 g h))))
(fma.f64 2 (PI.f64) (acos.f64 (*.f64 -1 (/.f64 g h))))
(fma.f64 2 (PI.f64) (acos.f64 (neg.f64 (/.f64 g h))))
(fma.f64 2 (PI.f64) (acos.f64 (/.f64 g (neg.f64 h))))
(+.f64 (.f64 2 (PI.f64)) (acos.f64 (.f64 -1 (/.f64 g h))))
(fma.f64 2 (PI.f64) (acos.f64 (*.f64 -1 (/.f64 g h))))
(fma.f64 2 (PI.f64) (acos.f64 (neg.f64 (/.f64 g h))))
(fma.f64 2 (PI.f64) (acos.f64 (/.f64 g (neg.f64 h))))
(+.f64 (.f64 2 (PI.f64)) (acos.f64 (.f64 -1 (/.f64 g h))))
(fma.f64 2 (PI.f64) (acos.f64 (*.f64 -1 (/.f64 g h))))
(fma.f64 2 (PI.f64) (acos.f64 (neg.f64 (/.f64 g h))))
(fma.f64 2 (PI.f64) (acos.f64 (/.f64 g (neg.f64 h))))
(+.f64 (.f64 2 (PI.f64)) (acos.f64 (.f64 -1 (/.f64 g h))))
(fma.f64 2 (PI.f64) (acos.f64 (*.f64 -1 (/.f64 g h))))
(fma.f64 2 (PI.f64) (acos.f64 (neg.f64 (/.f64 g h))))
(fma.f64 2 (PI.f64) (acos.f64 (/.f64 g (neg.f64 h))))
(+.f64 (.f64 2 (PI.f64)) (acos.f64 (.f64 -1 (/.f64 g h))))
(fma.f64 2 (PI.f64) (acos.f64 (*.f64 -1 (/.f64 g h))))
(fma.f64 2 (PI.f64) (acos.f64 (neg.f64 (/.f64 g h))))
(fma.f64 2 (PI.f64) (acos.f64 (/.f64 g (neg.f64 h))))
(+.f64 (.f64 2 (PI.f64)) (acos.f64 (.f64 -1 (/.f64 g h))))
(fma.f64 2 (PI.f64) (acos.f64 (*.f64 -1 (/.f64 g h))))
(fma.f64 2 (PI.f64) (acos.f64 (neg.f64 (/.f64 g h))))
(fma.f64 2 (PI.f64) (acos.f64 (/.f64 g (neg.f64 h))))
(+.f64 (.f64 2 (PI.f64)) (acos.f64 (.f64 -1 (/.f64 g h))))
(fma.f64 2 (PI.f64) (acos.f64 (*.f64 -1 (/.f64 g h))))
(fma.f64 2 (PI.f64) (acos.f64 (neg.f64 (/.f64 g h))))
(fma.f64 2 (PI.f64) (acos.f64 (/.f64 g (neg.f64 h))))
(+.f64 (.f64 2 (PI.f64)) (acos.f64 (.f64 -1 (/.f64 g h))))
(fma.f64 2 (PI.f64) (acos.f64 (*.f64 -1 (/.f64 g h))))
(fma.f64 2 (PI.f64) (acos.f64 (neg.f64 (/.f64 g h))))
(fma.f64 2 (PI.f64) (acos.f64 (/.f64 g (neg.f64 h))))

prune62.0ms (2.6%)

Pruning

2 alts after pruning (1 fresh and 1 done)

	Pruned	Kept	Total
New	110	1	111
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	110	2	112

Error

0.0b

Counts

112 → 2

Alt Table

Status	Error	Program
✓	1.0b	(.f64 2 (cos.f64 (.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g (neg.f64 h)))) 1/3)))
▶	1.5b	(.f64 2 (/.f64 (pow.f64 (cos.f64 (.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 1/3)) 3) (pow.f64 (cos.f64 (*.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 1/3)) 2)))

Status

Error

Program

✓

1.0b

(*.f64 2 (cos.f64 (*.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g (neg.f64 h)))) 1/3)))

▶

1.5b

(*.f64 2 (/.f64 (pow.f64 (cos.f64 (*.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 1/3)) 3) (pow.f64 (cos.f64 (*.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 1/3)) 2)))

Compiler

Compiled 2068 to 1330 computations (35.7% saved)

localize13.0ms (0.6%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	1.0b	(pow.f64 (cos.f64 (*.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 1/3)) 3)
✓	1.0b	(*.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 1/3)
✓	1.0b	(/.f64 (pow.f64 (cos.f64 (.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 1/3)) 3) (pow.f64 (cos.f64 (.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 1/3)) 2))
✓	1.0b	(cos.f64 (*.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 1/3))

series13.0ms (0.6%)

Counts

4 → 96

Calls

24 calls:

Time	Variable		Point	Expression
2.0ms	h	@	inf	(pow.f64 (cos.f64 (*.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 1/3)) 3)
1.0ms	g	@	0	(cos.f64 (*.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 1/3))
1.0ms	g	@	-inf	(pow.f64 (cos.f64 (*.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 1/3)) 3)
1.0ms	h	@	-inf	(pow.f64 (cos.f64 (*.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 1/3)) 3)
1.0ms	g	@	inf	(pow.f64 (cos.f64 (*.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 1/3)) 3)

rewrite76.0ms (3.2%)

Algorithm

1×	batch-egg-rewrite

Rules

262×	`rule-nega-*a-1_binary64`
159×	`add-sqr-sqrt_binary64`
151×	`add-log-exp_binary64`
151×	`log1p-expm1-u_binary64`
151×	`expm1-log1p-u_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	15	65
1	399	65
2	4751	65

Stop Event

1×	node limit

Counts

4 → 167

Calls

Call 1

Inputs
(cos.f64 (*.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 1/3))
(/.f64 (pow.f64 (cos.f64 (.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 1/3)) 3) (pow.f64 (cos.f64 (.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 1/3)) 2))
(*.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 1/3)
(pow.f64 (cos.f64 (*.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 1/3)) 3)

Outputs
((#(struct:change #<rule egg-rr> (2) ((x +.f64 (cos.f64 (.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 1/3)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (cos.f64 (.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 1/3)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (exp.f64 (log1p.f64 (cos.f64 (.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 1/3)))) -1)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (.f64 (cos.f64 (.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 1/3)) (cos.f64 0)) (.f64 (sin.f64 (.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 1/3)) (sin.f64 0)))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (cos.f64 (.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 1/3)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 0 (neg.f64 (cos.f64 (.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 1/3))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (exp.f64 (log1p.f64 (cos.f64 (.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 1/3)))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 (cos.f64 (.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 1/3)) (cos.f64 (.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 1/3))) (cos.f64 (.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 1/3)))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (.f64 (cos.f64 (.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 1/3)) (cos.f64 0)) (.f64 (sin.f64 (.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 1/3)) (sin.f64 0)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (cos.f64 (.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 1/3)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (cos.f64 (.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 1/3)) (/.f64 (pow.f64 (cos.f64 (.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 1/3)) 2) (pow.f64 (cos.f64 (.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 1/3)) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (pow.f64 (cos.f64 (.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 1/3)) 3) (/.f64 1 (pow.f64 (cos.f64 (.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 1/3)) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (pow.f64 (cos.f64 (.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 1/3)) 2) (/.f64 (cos.f64 (.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 1/3)) (pow.f64 (cos.f64 (.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 1/3)) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 1 (cos.f64 (.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 1/3)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (neg.f64 (cos.f64 (.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 1/3))) -1)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (cbrt.f64 (cos.f64 (.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 1/3))) (pow.f64 (cbrt.f64 (cos.f64 (.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 1/3))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (pow.f64 (cbrt.f64 (cos.f64 (.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 1/3))) 2) (cbrt.f64 (cos.f64 (.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 1/3))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (sqrt.f64 (cos.f64 (.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 1/3))) (sqrt.f64 (cos.f64 (.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 1/3))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (+.f64 (pow.f64 (cos.f64 (.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 1/3)) 3) (pow.f64 (cos.f64 (.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 1/3)) 3)) (/.f64 1/2 (pow.f64 (cos.f64 (.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 1/3)) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 1/2 (pow.f64 (cos.f64 (.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 1/3)) 2)) (+.f64 (pow.f64 (cos.f64 (.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 1/3)) 3) (pow.f64 (cos.f64 (.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 1/3)) 3)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (pow.f64 (cos.f64 (.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 1/3)) 3/2) (/.f64 (pow.f64 (cos.f64 (.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 1/3)) 3/2) (pow.f64 (cos.f64 (.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 1/3)) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (sqrt.f64 (cbrt.f64 (pow.f64 (cos.f64 (.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 1/3)) 4))) (sqrt.f64 (pow.f64 (cbrt.f64 (cos.f64 (.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 1/3))) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (+.f64 (cos.f64 (.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 1/3)) (cos.f64 (.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 1/3))) 1/2)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (cos.f64 (.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 1/3)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (pow.f64 (cos.f64 (.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 1/3)) 3) (pow.f64 (cos.f64 (.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 1/3)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 1 (/.f64 (pow.f64 (cos.f64 (.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 1/3)) 2) (pow.f64 (cos.f64 (.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 1/3)) 3)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (neg.f64 (cos.f64 (.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 1/3))) -1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (neg.f64 (pow.f64 (cos.f64 (.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 1/3)) 3)) (neg.f64 (pow.f64 (cos.f64 (.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 1/3)) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (pow.f64 (cos.f64 (.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 1/3)) 3) (pow.f64 (cos.f64 (.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 1/3)) 3)) (/.f64 (pow.f64 (cos.f64 (.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 1/3)) 2) 1/2))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 1/2 (+.f64 (pow.f64 (cos.f64 (.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 1/3)) 3) (pow.f64 (cos.f64 (.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 1/3)) 3))) (pow.f64 (cos.f64 (.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 1/3)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (/.f64 (pow.f64 (cos.f64 (.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 1/3)) 3) (cos.f64 (.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 1/3))) (cos.f64 (.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 1/3)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (/.f64 (pow.f64 (cos.f64 (.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 1/3)) 3) (cbrt.f64 (pow.f64 (cos.f64 (.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 1/3)) 4))) (pow.f64 (cbrt.f64 (cos.f64 (.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 1/3))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cos.f64 (.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 1/3)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (cos.f64 (.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 1/3)) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (cos.f64 (.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 1/3)) 2) 1/2)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (cos.f64 (.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 1/3))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (cos.f64 (.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 1/3))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x neg.f64 (neg.f64 (cos.f64 (.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 1/3))))))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (cos.f64 (.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 1/3)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x fabs.f64 (cos.f64 (.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 1/3)))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (exp.f64 (cos.f64 (.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 1/3))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (+.f64 1 (expm1.f64 (cos.f64 (.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 1/3)))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (cos.f64 (.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 1/3)) 3))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (cos.f64 (.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 1/3))))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (cos.f64 (.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 1/3))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (cos.f64 (.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 1/3)) 1 0)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (pow.f64 (cbrt.f64 (cos.f64 (.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 1/3))) 2) (cbrt.f64 (cos.f64 (.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 1/3))) 0)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (sqrt.f64 (cos.f64 (.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 1/3))) (sqrt.f64 (cos.f64 (.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 1/3))) 0)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (+.f64 (pow.f64 (cos.f64 (.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 1/3)) 3) (pow.f64 (cos.f64 (.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 1/3)) 3)) (/.f64 1/2 (pow.f64 (cos.f64 (.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 1/3)) 2)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (cos.f64 (.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 1/3))))))))
((#(struct:change #<rule egg-rr> (2) ((x +.f64 (cos.f64 (.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 1/3)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (cos.f64 (.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 1/3)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (exp.f64 (log1p.f64 (cos.f64 (.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 1/3)))) -1)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (.f64 (cos.f64 (.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 1/3)) (cos.f64 0)) (.f64 (sin.f64 (.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 1/3)) (sin.f64 0)))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (cos.f64 (.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 1/3)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 0 (neg.f64 (cos.f64 (.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 1/3))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (exp.f64 (log1p.f64 (cos.f64 (.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 1/3)))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 (cos.f64 (.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 1/3)) (cos.f64 (.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 1/3))) (cos.f64 (.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 1/3)))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (.f64 (cos.f64 (.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 1/3)) (cos.f64 0)) (.f64 (sin.f64 (.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 1/3)) (sin.f64 0)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (cos.f64 (.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 1/3)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (cos.f64 (.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 1/3)) (/.f64 (pow.f64 (cos.f64 (.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 1/3)) 2) (pow.f64 (cos.f64 (.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 1/3)) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (pow.f64 (cos.f64 (.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 1/3)) 3) (/.f64 1 (pow.f64 (cos.f64 (.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 1/3)) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (pow.f64 (cos.f64 (.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 1/3)) 2) (/.f64 (cos.f64 (.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 1/3)) (pow.f64 (cos.f64 (.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 1/3)) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 1 (cos.f64 (.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 1/3)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (neg.f64 (cos.f64 (.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 1/3))) -1)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (cbrt.f64 (cos.f64 (.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 1/3))) (pow.f64 (cbrt.f64 (cos.f64 (.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 1/3))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (pow.f64 (cbrt.f64 (cos.f64 (.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 1/3))) 2) (cbrt.f64 (cos.f64 (.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 1/3))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (sqrt.f64 (cos.f64 (.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 1/3))) (sqrt.f64 (cos.f64 (.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 1/3))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (+.f64 (pow.f64 (cos.f64 (.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 1/3)) 3) (pow.f64 (cos.f64 (.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 1/3)) 3)) (/.f64 1/2 (pow.f64 (cos.f64 (.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 1/3)) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 1/2 (pow.f64 (cos.f64 (.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 1/3)) 2)) (+.f64 (pow.f64 (cos.f64 (.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 1/3)) 3) (pow.f64 (cos.f64 (.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 1/3)) 3)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (pow.f64 (cos.f64 (.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 1/3)) 3/2) (/.f64 (pow.f64 (cos.f64 (.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 1/3)) 3/2) (pow.f64 (cos.f64 (.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 1/3)) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (sqrt.f64 (cbrt.f64 (pow.f64 (cos.f64 (.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 1/3)) 4))) (sqrt.f64 (pow.f64 (cbrt.f64 (cos.f64 (.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 1/3))) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (+.f64 (cos.f64 (.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 1/3)) (cos.f64 (.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 1/3))) 1/2)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cos.f64 (.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 1/3)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (cos.f64 (.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 1/3)) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (cos.f64 (.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 1/3)) 2) 1/2)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (cos.f64 (.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 1/3))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (cos.f64 (.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 1/3))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x neg.f64 (neg.f64 (cos.f64 (.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 1/3))))))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (cos.f64 (.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 1/3)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x fabs.f64 (cos.f64 (.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 1/3)))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (exp.f64 (cos.f64 (.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 1/3))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (+.f64 1 (expm1.f64 (cos.f64 (.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 1/3)))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (cos.f64 (.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 1/3)) 3))))) (#(struct:change #<rule egg-rr> (2) ((x cos.f64 (.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 1/3))))) (#(struct:change #<rule egg-rr> (2) ((x cos.f64 (neg.f64 (.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 1/3)))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (cos.f64 (.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 1/3))))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (cos.f64 (.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 1/3))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (cos.f64 (.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 1/3)) 1 0)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (pow.f64 (cbrt.f64 (cos.f64 (.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 1/3))) 2) (cbrt.f64 (cos.f64 (.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 1/3))) 0)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (sqrt.f64 (cos.f64 (.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 1/3))) (sqrt.f64 (cos.f64 (.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 1/3))) 0)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (+.f64 (pow.f64 (cos.f64 (.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 1/3)) 3) (pow.f64 (cos.f64 (.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 1/3)) 3)) (/.f64 1/2 (pow.f64 (cos.f64 (.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 1/3)) 2)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (cos.f64 (*.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 1/3))))))))
((#(struct:change #<rule egg-rr> (2) ((x +.f64 (.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 1/3) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 1/3))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (exp.f64 (log1p.f64 (.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 1/3))) -1)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (.f64 (.f64 2 (PI.f64)) 1/3) (.f64 1/3 (acos.f64 (/.f64 g h))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 1/3) 0)))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 0 (neg.f64 (.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 1/3)))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (exp.f64 (log1p.f64 (.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 1/3))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 (.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 1/3) (.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 1/3)) (.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 1/3))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 1/3 (/.f64 1 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 1/3) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (neg.f64 (.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 1/3)) -1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (pow.f64 (.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 1/3) 3) (pow.f64 (.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 1/3) 2))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 1/3) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 1/3) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 1/3)) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 1/3)) 2)))) (#(struct:change #<rule egg-rr> (2) ((x neg.f64 (neg.f64 (.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 1/3)))))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 1/3) 2))))) (#(struct:change #<rule egg-rr> (2) ((x fabs.f64 (.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 1/3))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (pow.f64 (exp.f64 1/3) (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h)))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (+.f64 1 (expm1.f64 (.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 1/3))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 1/3) 3))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 1/3)))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 1/3)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 1/3 0)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 1/3 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 0)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 1/3) 1 0)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (pow.f64 (cbrt.f64 (.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 1/3)) 2) (cbrt.f64 (.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 1/3)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (sqrt.f64 (.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 1/3)) (sqrt.f64 (.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 1/3)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (*.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 1/3)))))))
((#(struct:change #<rule egg-rr> (2) ((x +.f64 (pow.f64 (cos.f64 (.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 1/3)) 3) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (pow.f64 (cos.f64 (.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 1/3)) 3))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (exp.f64 (log1p.f64 (pow.f64 (cos.f64 (.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 1/3)) 3))) -1)))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (pow.f64 (cos.f64 (.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 1/3)) 3) 0)))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 0 (neg.f64 (pow.f64 (cos.f64 (.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 1/3)) 3)))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 (pow.f64 (cos.f64 (.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 1/3)) 3) (pow.f64 (cos.f64 (.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 1/3)) 3)) (pow.f64 (cos.f64 (.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 1/3)) 3))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (exp.f64 (log1p.f64 (pow.f64 (cos.f64 (.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 1/3)) 3))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (cos.f64 (.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 1/3)) (pow.f64 (cos.f64 (.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 1/3)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (pow.f64 (cos.f64 (.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 1/3)) 3) 1)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (pow.f64 (cos.f64 (.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 1/3)) 2) (cos.f64 (.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 1/3)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 1 (pow.f64 (cos.f64 (.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 1/3)) 3))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (neg.f64 (pow.f64 (cos.f64 (.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 1/3)) 2)) (neg.f64 (cos.f64 (.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 1/3))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (neg.f64 (cos.f64 (.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 1/3))) (neg.f64 (pow.f64 (cos.f64 (.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 1/3)) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (neg.f64 (pow.f64 (cos.f64 (.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 1/3)) 3)) -1)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (cbrt.f64 (pow.f64 (cos.f64 (.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 1/3)) 4)) (.f64 (cos.f64 (.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 1/3)) (pow.f64 (cbrt.f64 (cos.f64 (.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 1/3))) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (pow.f64 (cbrt.f64 (cos.f64 (.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 1/3))) 2) (.f64 (pow.f64 (cos.f64 (.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 1/3)) 2) (cbrt.f64 (cos.f64 (.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 1/3)))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (sqrt.f64 (cos.f64 (.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 1/3))) (.f64 (pow.f64 (cos.f64 (.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 1/3)) 2) (sqrt.f64 (cos.f64 (.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 1/3)))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (+.f64 (pow.f64 (cos.f64 (.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 1/3)) 3) (pow.f64 (cos.f64 (.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 1/3)) 3)) 1/2)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (+.f64 (pow.f64 (cos.f64 (.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 1/3)) 3) (pow.f64 (cos.f64 (.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 1/3)) 3)) (.f64 (pow.f64 (cos.f64 (.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 1/3)) 2) (/.f64 1/2 (pow.f64 (cos.f64 (.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 1/3)) 2))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (pow.f64 (cos.f64 (.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 1/3)) 3/2) (pow.f64 (cos.f64 (.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 1/3)) 3/2))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (pow.f64 (sqrt.f64 (cos.f64 (.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 1/3))) 3) (pow.f64 (sqrt.f64 (cos.f64 (.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 1/3))) 3))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (pow.f64 (+.f64 (pow.f64 (cos.f64 (.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 1/3)) 3) (pow.f64 (cos.f64 (.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 1/3)) 3)) 3) (pow.f64 (/.f64 1/2 (pow.f64 (cos.f64 (.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 1/3)) 2)) 3))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (pow.f64 (neg.f64 (cos.f64 (.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 1/3))) 3) -1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (cos.f64 (.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 1/3)) (/.f64 1 (pow.f64 (cos.f64 (.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 1/3)) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (pow.f64 (cos.f64 (.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 1/3)) 3) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (pow.f64 (cos.f64 (.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 1/3)) 2) (/.f64 1 (cos.f64 (.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 1/3))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (pow.f64 (cos.f64 (.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 1/3)) 2) (/.f64 (pow.f64 (cos.f64 (.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 1/3)) 2) (pow.f64 (cos.f64 (.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 1/3)) 3)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (neg.f64 (pow.f64 (cos.f64 (.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 1/3)) 3)) -1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (pow.f64 (pow.f64 (cos.f64 (.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 1/3)) 3) 3) (pow.f64 (cos.f64 (.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 1/3)) 6))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (pow.f64 (cos.f64 (.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 1/3)) 3) (pow.f64 (cos.f64 (.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 1/3)) 2)) (pow.f64 (cos.f64 (.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 1/3)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x neg.f64 (neg.f64 (pow.f64 (cos.f64 (.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 1/3)) 3)))))) (#(struct:change #<rule egg-rr> (2) ((x neg.f64 (pow.f64 (neg.f64 (cos.f64 (.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 1/3))) 3))))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (cos.f64 (.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 1/3)) 6))))) (#(struct:change #<rule egg-rr> (2) ((x fabs.f64 (pow.f64 (cos.f64 (.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 1/3)) 3))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (exp.f64 (pow.f64 (cos.f64 (.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 1/3)) 3)))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (+.f64 1 (expm1.f64 (pow.f64 (cos.f64 (.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 1/3)) 3))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (pow.f64 (cos.f64 (.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 1/3)) 3) 3))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (pow.f64 (cos.f64 (.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 1/3)) 3)))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (pow.f64 (cos.f64 (.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 1/3)) 3)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (cos.f64 (.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 1/3)) (pow.f64 (cos.f64 (.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 1/3)) 2) 0)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (pow.f64 (cos.f64 (.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 1/3)) 3) 1 0)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (pow.f64 (cos.f64 (.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 1/3)) 2) (cos.f64 (.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 1/3)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (pow.f64 (cos.f64 (.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 1/3)) 3/2) (pow.f64 (cos.f64 (.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 1/3)) 3/2) 0)))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (.f64 3 (log.f64 (cos.f64 (.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 1/3)))))))))

simplify51.0ms (2.1%)

Algorithm

1×	egg-herbie

Rules

207×	`rule-a-bc-nega-cb_binary64`
201×	`rule-b-ac--ab*bc_binary64`
181×	`rule-a-*a1_binary64`
181×	`rule-a--a0_binary64`
181×	`rule-a-+a0_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	14	1560
1	90	1560
2	278	1560
3	1137	1560

Stop Event

1×	node limit

Counts

263 → 132

Calls

Call 1

Inputs
(cos.f64 (.f64 1/3 (+.f64 (.f64 2 (PI.f64)) (acos.f64 (/.f64 g h)))))
(cos.f64 (.f64 1/3 (+.f64 (.f64 2 (PI.f64)) (acos.f64 (/.f64 g h)))))
(cos.f64 (.f64 1/3 (+.f64 (.f64 2 (PI.f64)) (acos.f64 (/.f64 g h)))))
(cos.f64 (.f64 1/3 (+.f64 (.f64 2 (PI.f64)) (acos.f64 (/.f64 g h)))))
(cos.f64 (.f64 1/3 (+.f64 (.f64 2 (PI.f64)) (acos.f64 (/.f64 g h)))))
(cos.f64 (.f64 1/3 (+.f64 (.f64 2 (PI.f64)) (acos.f64 (/.f64 g h)))))
(cos.f64 (.f64 1/3 (+.f64 (.f64 2 (PI.f64)) (acos.f64 (/.f64 g h)))))
(cos.f64 (.f64 1/3 (+.f64 (.f64 2 (PI.f64)) (acos.f64 (/.f64 g h)))))
(cos.f64 (.f64 1/3 (+.f64 (.f64 2 (PI.f64)) (acos.f64 (/.f64 g h)))))
(cos.f64 (.f64 1/3 (+.f64 (.f64 2 (PI.f64)) (acos.f64 (/.f64 g h)))))
(cos.f64 (.f64 1/3 (+.f64 (.f64 2 (PI.f64)) (acos.f64 (/.f64 g h)))))
(cos.f64 (.f64 1/3 (+.f64 (.f64 2 (PI.f64)) (acos.f64 (/.f64 g h)))))
(cos.f64 (.f64 1/3 (+.f64 (.f64 2 (PI.f64)) (acos.f64 (/.f64 g h)))))
(cos.f64 (.f64 1/3 (+.f64 (.f64 2 (PI.f64)) (acos.f64 (/.f64 g h)))))
(cos.f64 (.f64 1/3 (+.f64 (.f64 2 (PI.f64)) (acos.f64 (/.f64 g h)))))
(cos.f64 (.f64 1/3 (+.f64 (.f64 2 (PI.f64)) (acos.f64 (/.f64 g h)))))
(cos.f64 (.f64 1/3 (+.f64 (.f64 2 (PI.f64)) (acos.f64 (/.f64 g h)))))
(cos.f64 (.f64 1/3 (+.f64 (.f64 2 (PI.f64)) (acos.f64 (/.f64 g h)))))
(cos.f64 (.f64 1/3 (+.f64 (.f64 2 (PI.f64)) (acos.f64 (/.f64 g h)))))
(cos.f64 (.f64 1/3 (+.f64 (.f64 2 (PI.f64)) (acos.f64 (/.f64 g h)))))
(cos.f64 (.f64 1/3 (+.f64 (.f64 2 (PI.f64)) (acos.f64 (/.f64 g h)))))
(cos.f64 (.f64 1/3 (+.f64 (.f64 2 (PI.f64)) (acos.f64 (/.f64 g h)))))
(cos.f64 (.f64 1/3 (+.f64 (.f64 2 (PI.f64)) (acos.f64 (/.f64 g h)))))
(cos.f64 (.f64 1/3 (+.f64 (.f64 2 (PI.f64)) (acos.f64 (/.f64 g h)))))
(cos.f64 (.f64 1/3 (+.f64 (.f64 2 (PI.f64)) (acos.f64 (/.f64 g h)))))
(cos.f64 (.f64 1/3 (+.f64 (.f64 2 (PI.f64)) (acos.f64 (/.f64 g h)))))
(cos.f64 (.f64 1/3 (+.f64 (.f64 2 (PI.f64)) (acos.f64 (/.f64 g h)))))
(cos.f64 (.f64 1/3 (+.f64 (.f64 2 (PI.f64)) (acos.f64 (/.f64 g h)))))
(cos.f64 (.f64 1/3 (+.f64 (.f64 2 (PI.f64)) (acos.f64 (/.f64 g h)))))
(cos.f64 (.f64 1/3 (+.f64 (.f64 2 (PI.f64)) (acos.f64 (/.f64 g h)))))
(cos.f64 (.f64 1/3 (+.f64 (.f64 2 (PI.f64)) (acos.f64 (/.f64 g h)))))
(cos.f64 (.f64 1/3 (+.f64 (.f64 2 (PI.f64)) (acos.f64 (/.f64 g h)))))
(cos.f64 (.f64 1/3 (+.f64 (.f64 2 (PI.f64)) (acos.f64 (/.f64 g h)))))
(cos.f64 (.f64 1/3 (+.f64 (.f64 2 (PI.f64)) (acos.f64 (/.f64 g h)))))
(cos.f64 (.f64 1/3 (+.f64 (.f64 2 (PI.f64)) (acos.f64 (/.f64 g h)))))
(cos.f64 (.f64 1/3 (+.f64 (.f64 2 (PI.f64)) (acos.f64 (/.f64 g h)))))
(cos.f64 (.f64 1/3 (+.f64 (.f64 2 (PI.f64)) (acos.f64 (/.f64 g h)))))
(cos.f64 (.f64 1/3 (+.f64 (.f64 2 (PI.f64)) (acos.f64 (/.f64 g h)))))
(cos.f64 (.f64 1/3 (+.f64 (.f64 2 (PI.f64)) (acos.f64 (/.f64 g h)))))
(cos.f64 (.f64 1/3 (+.f64 (.f64 2 (PI.f64)) (acos.f64 (/.f64 g h)))))
(cos.f64 (.f64 1/3 (+.f64 (.f64 2 (PI.f64)) (acos.f64 (/.f64 g h)))))
(cos.f64 (.f64 1/3 (+.f64 (.f64 2 (PI.f64)) (acos.f64 (/.f64 g h)))))
(cos.f64 (.f64 1/3 (+.f64 (.f64 2 (PI.f64)) (acos.f64 (/.f64 g h)))))
(cos.f64 (.f64 1/3 (+.f64 (.f64 2 (PI.f64)) (acos.f64 (/.f64 g h)))))
(cos.f64 (.f64 1/3 (+.f64 (.f64 2 (PI.f64)) (acos.f64 (/.f64 g h)))))
(cos.f64 (.f64 1/3 (+.f64 (.f64 2 (PI.f64)) (acos.f64 (/.f64 g h)))))
(cos.f64 (.f64 1/3 (+.f64 (.f64 2 (PI.f64)) (acos.f64 (/.f64 g h)))))
(cos.f64 (.f64 1/3 (+.f64 (.f64 2 (PI.f64)) (acos.f64 (/.f64 g h)))))
(.f64 1/3 (+.f64 (.f64 2 (PI.f64)) (acos.f64 (/.f64 g h))))
(.f64 1/3 (+.f64 (.f64 2 (PI.f64)) (acos.f64 (/.f64 g h))))
(.f64 1/3 (+.f64 (.f64 2 (PI.f64)) (acos.f64 (/.f64 g h))))
(.f64 1/3 (+.f64 (.f64 2 (PI.f64)) (acos.f64 (/.f64 g h))))
(.f64 1/3 (+.f64 (.f64 2 (PI.f64)) (acos.f64 (/.f64 g h))))
(.f64 1/3 (+.f64 (.f64 2 (PI.f64)) (acos.f64 (/.f64 g h))))
(.f64 1/3 (+.f64 (.f64 2 (PI.f64)) (acos.f64 (/.f64 g h))))
(.f64 1/3 (+.f64 (.f64 2 (PI.f64)) (acos.f64 (/.f64 g h))))
(.f64 1/3 (+.f64 (.f64 2 (PI.f64)) (acos.f64 (/.f64 g h))))
(.f64 1/3 (+.f64 (.f64 2 (PI.f64)) (acos.f64 (/.f64 g h))))
(.f64 1/3 (+.f64 (.f64 2 (PI.f64)) (acos.f64 (/.f64 g h))))
(.f64 1/3 (+.f64 (.f64 2 (PI.f64)) (acos.f64 (/.f64 g h))))
(.f64 1/3 (+.f64 (.f64 2 (PI.f64)) (acos.f64 (/.f64 g h))))
(.f64 1/3 (+.f64 (.f64 2 (PI.f64)) (acos.f64 (/.f64 g h))))
(.f64 1/3 (+.f64 (.f64 2 (PI.f64)) (acos.f64 (/.f64 g h))))
(.f64 1/3 (+.f64 (.f64 2 (PI.f64)) (acos.f64 (/.f64 g h))))
(.f64 1/3 (+.f64 (.f64 2 (PI.f64)) (acos.f64 (/.f64 g h))))
(.f64 1/3 (+.f64 (.f64 2 (PI.f64)) (acos.f64 (/.f64 g h))))
(.f64 1/3 (+.f64 (.f64 2 (PI.f64)) (acos.f64 (/.f64 g h))))
(.f64 1/3 (+.f64 (.f64 2 (PI.f64)) (acos.f64 (/.f64 g h))))
(.f64 1/3 (+.f64 (.f64 2 (PI.f64)) (acos.f64 (/.f64 g h))))
(.f64 1/3 (+.f64 (.f64 2 (PI.f64)) (acos.f64 (/.f64 g h))))
(.f64 1/3 (+.f64 (.f64 2 (PI.f64)) (acos.f64 (/.f64 g h))))
(.f64 1/3 (+.f64 (.f64 2 (PI.f64)) (acos.f64 (/.f64 g h))))
(pow.f64 (cos.f64 (.f64 1/3 (+.f64 (.f64 2 (PI.f64)) (acos.f64 (/.f64 g h))))) 3)
(pow.f64 (cos.f64 (.f64 1/3 (+.f64 (.f64 2 (PI.f64)) (acos.f64 (/.f64 g h))))) 3)
(pow.f64 (cos.f64 (.f64 1/3 (+.f64 (.f64 2 (PI.f64)) (acos.f64 (/.f64 g h))))) 3)
(pow.f64 (cos.f64 (.f64 1/3 (+.f64 (.f64 2 (PI.f64)) (acos.f64 (/.f64 g h))))) 3)
(pow.f64 (cos.f64 (.f64 1/3 (+.f64 (.f64 2 (PI.f64)) (acos.f64 (/.f64 g h))))) 3)
(pow.f64 (cos.f64 (.f64 1/3 (+.f64 (.f64 2 (PI.f64)) (acos.f64 (/.f64 g h))))) 3)
(pow.f64 (cos.f64 (.f64 1/3 (+.f64 (.f64 2 (PI.f64)) (acos.f64 (/.f64 g h))))) 3)
(pow.f64 (cos.f64 (.f64 1/3 (+.f64 (.f64 2 (PI.f64)) (acos.f64 (/.f64 g h))))) 3)
(pow.f64 (cos.f64 (.f64 1/3 (+.f64 (.f64 2 (PI.f64)) (acos.f64 (/.f64 g h))))) 3)
(pow.f64 (cos.f64 (.f64 1/3 (+.f64 (.f64 2 (PI.f64)) (acos.f64 (/.f64 g h))))) 3)
(pow.f64 (cos.f64 (.f64 1/3 (+.f64 (.f64 2 (PI.f64)) (acos.f64 (/.f64 g h))))) 3)
(pow.f64 (cos.f64 (.f64 1/3 (+.f64 (.f64 2 (PI.f64)) (acos.f64 (/.f64 g h))))) 3)
(pow.f64 (cos.f64 (.f64 1/3 (+.f64 (.f64 2 (PI.f64)) (acos.f64 (/.f64 g h))))) 3)
(pow.f64 (cos.f64 (.f64 1/3 (+.f64 (.f64 2 (PI.f64)) (acos.f64 (/.f64 g h))))) 3)
(pow.f64 (cos.f64 (.f64 1/3 (+.f64 (.f64 2 (PI.f64)) (acos.f64 (/.f64 g h))))) 3)
(pow.f64 (cos.f64 (.f64 1/3 (+.f64 (.f64 2 (PI.f64)) (acos.f64 (/.f64 g h))))) 3)
(pow.f64 (cos.f64 (.f64 1/3 (+.f64 (.f64 2 (PI.f64)) (acos.f64 (/.f64 g h))))) 3)
(pow.f64 (cos.f64 (.f64 1/3 (+.f64 (.f64 2 (PI.f64)) (acos.f64 (/.f64 g h))))) 3)
(pow.f64 (cos.f64 (.f64 1/3 (+.f64 (.f64 2 (PI.f64)) (acos.f64 (/.f64 g h))))) 3)
(pow.f64 (cos.f64 (.f64 1/3 (+.f64 (.f64 2 (PI.f64)) (acos.f64 (/.f64 g h))))) 3)
(pow.f64 (cos.f64 (.f64 1/3 (+.f64 (.f64 2 (PI.f64)) (acos.f64 (/.f64 g h))))) 3)
(pow.f64 (cos.f64 (.f64 1/3 (+.f64 (.f64 2 (PI.f64)) (acos.f64 (/.f64 g h))))) 3)
(pow.f64 (cos.f64 (.f64 1/3 (+.f64 (.f64 2 (PI.f64)) (acos.f64 (/.f64 g h))))) 3)
(pow.f64 (cos.f64 (.f64 1/3 (+.f64 (.f64 2 (PI.f64)) (acos.f64 (/.f64 g h))))) 3)

Outputs
(cos.f64 (.f64 1/3 (+.f64 (.f64 2 (PI.f64)) (acos.f64 (/.f64 g h)))))
(cos.f64 (*.f64 1/3 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h)))))
(cos.f64 (.f64 1/3 (+.f64 (.f64 2 (PI.f64)) (acos.f64 (/.f64 g h)))))
(cos.f64 (*.f64 1/3 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h)))))
(cos.f64 (.f64 1/3 (+.f64 (.f64 2 (PI.f64)) (acos.f64 (/.f64 g h)))))
(cos.f64 (*.f64 1/3 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h)))))
(cos.f64 (.f64 1/3 (+.f64 (.f64 2 (PI.f64)) (acos.f64 (/.f64 g h)))))
(cos.f64 (*.f64 1/3 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h)))))
(cos.f64 (.f64 1/3 (+.f64 (.f64 2 (PI.f64)) (acos.f64 (/.f64 g h)))))
(cos.f64 (*.f64 1/3 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h)))))
(cos.f64 (.f64 1/3 (+.f64 (.f64 2 (PI.f64)) (acos.f64 (/.f64 g h)))))
(cos.f64 (*.f64 1/3 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h)))))
(cos.f64 (.f64 1/3 (+.f64 (.f64 2 (PI.f64)) (acos.f64 (/.f64 g h)))))
(cos.f64 (*.f64 1/3 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h)))))
(cos.f64 (.f64 1/3 (+.f64 (.f64 2 (PI.f64)) (acos.f64 (/.f64 g h)))))
(cos.f64 (*.f64 1/3 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h)))))
(cos.f64 (.f64 1/3 (+.f64 (.f64 2 (PI.f64)) (acos.f64 (/.f64 g h)))))
(cos.f64 (*.f64 1/3 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h)))))
(cos.f64 (.f64 1/3 (+.f64 (.f64 2 (PI.f64)) (acos.f64 (/.f64 g h)))))
(cos.f64 (*.f64 1/3 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h)))))
(cos.f64 (.f64 1/3 (+.f64 (.f64 2 (PI.f64)) (acos.f64 (/.f64 g h)))))
(cos.f64 (*.f64 1/3 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h)))))
(cos.f64 (.f64 1/3 (+.f64 (.f64 2 (PI.f64)) (acos.f64 (/.f64 g h)))))
(cos.f64 (*.f64 1/3 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h)))))
(cos.f64 (.f64 1/3 (+.f64 (.f64 2 (PI.f64)) (acos.f64 (/.f64 g h)))))
(cos.f64 (*.f64 1/3 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h)))))
(cos.f64 (.f64 1/3 (+.f64 (.f64 2 (PI.f64)) (acos.f64 (/.f64 g h)))))
(cos.f64 (*.f64 1/3 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h)))))
(cos.f64 (.f64 1/3 (+.f64 (.f64 2 (PI.f64)) (acos.f64 (/.f64 g h)))))
(cos.f64 (*.f64 1/3 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h)))))
(cos.f64 (.f64 1/3 (+.f64 (.f64 2 (PI.f64)) (acos.f64 (/.f64 g h)))))
(cos.f64 (*.f64 1/3 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h)))))
(cos.f64 (.f64 1/3 (+.f64 (.f64 2 (PI.f64)) (acos.f64 (/.f64 g h)))))
(cos.f64 (*.f64 1/3 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h)))))
(cos.f64 (.f64 1/3 (+.f64 (.f64 2 (PI.f64)) (acos.f64 (/.f64 g h)))))
(cos.f64 (*.f64 1/3 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h)))))
(cos.f64 (.f64 1/3 (+.f64 (.f64 2 (PI.f64)) (acos.f64 (/.f64 g h)))))
(cos.f64 (*.f64 1/3 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h)))))
(cos.f64 (.f64 1/3 (+.f64 (.f64 2 (PI.f64)) (acos.f64 (/.f64 g h)))))
(cos.f64 (*.f64 1/3 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h)))))
(cos.f64 (.f64 1/3 (+.f64 (.f64 2 (PI.f64)) (acos.f64 (/.f64 g h)))))
(cos.f64 (*.f64 1/3 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h)))))
(cos.f64 (.f64 1/3 (+.f64 (.f64 2 (PI.f64)) (acos.f64 (/.f64 g h)))))
(cos.f64 (*.f64 1/3 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h)))))
(cos.f64 (.f64 1/3 (+.f64 (.f64 2 (PI.f64)) (acos.f64 (/.f64 g h)))))
(cos.f64 (*.f64 1/3 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h)))))
(cos.f64 (.f64 1/3 (+.f64 (.f64 2 (PI.f64)) (acos.f64 (/.f64 g h)))))
(cos.f64 (*.f64 1/3 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h)))))
(cos.f64 (.f64 1/3 (+.f64 (.f64 2 (PI.f64)) (acos.f64 (/.f64 g h)))))
(cos.f64 (*.f64 1/3 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h)))))
(cos.f64 (.f64 1/3 (+.f64 (.f64 2 (PI.f64)) (acos.f64 (/.f64 g h)))))
(cos.f64 (*.f64 1/3 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h)))))
(cos.f64 (.f64 1/3 (+.f64 (.f64 2 (PI.f64)) (acos.f64 (/.f64 g h)))))
(cos.f64 (*.f64 1/3 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h)))))
(cos.f64 (.f64 1/3 (+.f64 (.f64 2 (PI.f64)) (acos.f64 (/.f64 g h)))))
(cos.f64 (*.f64 1/3 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h)))))
(cos.f64 (.f64 1/3 (+.f64 (.f64 2 (PI.f64)) (acos.f64 (/.f64 g h)))))
(cos.f64 (*.f64 1/3 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h)))))
(cos.f64 (.f64 1/3 (+.f64 (.f64 2 (PI.f64)) (acos.f64 (/.f64 g h)))))
(cos.f64 (*.f64 1/3 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h)))))
(cos.f64 (.f64 1/3 (+.f64 (.f64 2 (PI.f64)) (acos.f64 (/.f64 g h)))))
(cos.f64 (*.f64 1/3 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h)))))
(cos.f64 (.f64 1/3 (+.f64 (.f64 2 (PI.f64)) (acos.f64 (/.f64 g h)))))
(cos.f64 (*.f64 1/3 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h)))))
(cos.f64 (.f64 1/3 (+.f64 (.f64 2 (PI.f64)) (acos.f64 (/.f64 g h)))))
(cos.f64 (*.f64 1/3 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h)))))
(cos.f64 (.f64 1/3 (+.f64 (.f64 2 (PI.f64)) (acos.f64 (/.f64 g h)))))
(cos.f64 (*.f64 1/3 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h)))))
(cos.f64 (.f64 1/3 (+.f64 (.f64 2 (PI.f64)) (acos.f64 (/.f64 g h)))))
(cos.f64 (*.f64 1/3 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h)))))
(cos.f64 (.f64 1/3 (+.f64 (.f64 2 (PI.f64)) (acos.f64 (/.f64 g h)))))
(cos.f64 (*.f64 1/3 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h)))))
(cos.f64 (.f64 1/3 (+.f64 (.f64 2 (PI.f64)) (acos.f64 (/.f64 g h)))))
(cos.f64 (*.f64 1/3 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h)))))
(cos.f64 (.f64 1/3 (+.f64 (.f64 2 (PI.f64)) (acos.f64 (/.f64 g h)))))
(cos.f64 (*.f64 1/3 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h)))))
(cos.f64 (.f64 1/3 (+.f64 (.f64 2 (PI.f64)) (acos.f64 (/.f64 g h)))))
(cos.f64 (*.f64 1/3 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h)))))
(cos.f64 (.f64 1/3 (+.f64 (.f64 2 (PI.f64)) (acos.f64 (/.f64 g h)))))
(cos.f64 (*.f64 1/3 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h)))))
(cos.f64 (.f64 1/3 (+.f64 (.f64 2 (PI.f64)) (acos.f64 (/.f64 g h)))))
(cos.f64 (*.f64 1/3 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h)))))
(cos.f64 (.f64 1/3 (+.f64 (.f64 2 (PI.f64)) (acos.f64 (/.f64 g h)))))
(cos.f64 (*.f64 1/3 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h)))))
(cos.f64 (.f64 1/3 (+.f64 (.f64 2 (PI.f64)) (acos.f64 (/.f64 g h)))))
(cos.f64 (*.f64 1/3 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h)))))
(cos.f64 (.f64 1/3 (+.f64 (.f64 2 (PI.f64)) (acos.f64 (/.f64 g h)))))
(cos.f64 (*.f64 1/3 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h)))))
(cos.f64 (.f64 1/3 (+.f64 (.f64 2 (PI.f64)) (acos.f64 (/.f64 g h)))))
(cos.f64 (*.f64 1/3 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h)))))
(cos.f64 (.f64 1/3 (+.f64 (.f64 2 (PI.f64)) (acos.f64 (/.f64 g h)))))
(cos.f64 (*.f64 1/3 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h)))))
(cos.f64 (.f64 1/3 (+.f64 (.f64 2 (PI.f64)) (acos.f64 (/.f64 g h)))))
(cos.f64 (*.f64 1/3 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h)))))
(cos.f64 (.f64 1/3 (+.f64 (.f64 2 (PI.f64)) (acos.f64 (/.f64 g h)))))
(cos.f64 (*.f64 1/3 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h)))))
(.f64 1/3 (+.f64 (.f64 2 (PI.f64)) (acos.f64 (/.f64 g h))))
(*.f64 1/3 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))))
(.f64 1/3 (+.f64 (.f64 2 (PI.f64)) (acos.f64 (/.f64 g h))))
(*.f64 1/3 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))))
(.f64 1/3 (+.f64 (.f64 2 (PI.f64)) (acos.f64 (/.f64 g h))))
(*.f64 1/3 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))))
(.f64 1/3 (+.f64 (.f64 2 (PI.f64)) (acos.f64 (/.f64 g h))))
(*.f64 1/3 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))))
(.f64 1/3 (+.f64 (.f64 2 (PI.f64)) (acos.f64 (/.f64 g h))))
(*.f64 1/3 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))))
(.f64 1/3 (+.f64 (.f64 2 (PI.f64)) (acos.f64 (/.f64 g h))))
(*.f64 1/3 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))))
(.f64 1/3 (+.f64 (.f64 2 (PI.f64)) (acos.f64 (/.f64 g h))))
(*.f64 1/3 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))))
(.f64 1/3 (+.f64 (.f64 2 (PI.f64)) (acos.f64 (/.f64 g h))))
(*.f64 1/3 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))))
(.f64 1/3 (+.f64 (.f64 2 (PI.f64)) (acos.f64 (/.f64 g h))))
(*.f64 1/3 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))))
(.f64 1/3 (+.f64 (.f64 2 (PI.f64)) (acos.f64 (/.f64 g h))))
(*.f64 1/3 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))))
(.f64 1/3 (+.f64 (.f64 2 (PI.f64)) (acos.f64 (/.f64 g h))))
(*.f64 1/3 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))))
(.f64 1/3 (+.f64 (.f64 2 (PI.f64)) (acos.f64 (/.f64 g h))))
(*.f64 1/3 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))))
(.f64 1/3 (+.f64 (.f64 2 (PI.f64)) (acos.f64 (/.f64 g h))))
(*.f64 1/3 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))))
(.f64 1/3 (+.f64 (.f64 2 (PI.f64)) (acos.f64 (/.f64 g h))))
(*.f64 1/3 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))))
(.f64 1/3 (+.f64 (.f64 2 (PI.f64)) (acos.f64 (/.f64 g h))))
(*.f64 1/3 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))))
(.f64 1/3 (+.f64 (.f64 2 (PI.f64)) (acos.f64 (/.f64 g h))))
(*.f64 1/3 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))))
(.f64 1/3 (+.f64 (.f64 2 (PI.f64)) (acos.f64 (/.f64 g h))))
(*.f64 1/3 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))))
(.f64 1/3 (+.f64 (.f64 2 (PI.f64)) (acos.f64 (/.f64 g h))))
(*.f64 1/3 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))))
(.f64 1/3 (+.f64 (.f64 2 (PI.f64)) (acos.f64 (/.f64 g h))))
(*.f64 1/3 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))))
(.f64 1/3 (+.f64 (.f64 2 (PI.f64)) (acos.f64 (/.f64 g h))))
(*.f64 1/3 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))))
(.f64 1/3 (+.f64 (.f64 2 (PI.f64)) (acos.f64 (/.f64 g h))))
(*.f64 1/3 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))))
(.f64 1/3 (+.f64 (.f64 2 (PI.f64)) (acos.f64 (/.f64 g h))))
(*.f64 1/3 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))))
(.f64 1/3 (+.f64 (.f64 2 (PI.f64)) (acos.f64 (/.f64 g h))))
(*.f64 1/3 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))))
(.f64 1/3 (+.f64 (.f64 2 (PI.f64)) (acos.f64 (/.f64 g h))))
(*.f64 1/3 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))))
(pow.f64 (cos.f64 (.f64 1/3 (+.f64 (.f64 2 (PI.f64)) (acos.f64 (/.f64 g h))))) 3)
(pow.f64 (cos.f64 (*.f64 1/3 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))))) 3)
(pow.f64 (cos.f64 (.f64 1/3 (+.f64 (.f64 2 (PI.f64)) (acos.f64 (/.f64 g h))))) 3)
(pow.f64 (cos.f64 (*.f64 1/3 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))))) 3)
(pow.f64 (cos.f64 (.f64 1/3 (+.f64 (.f64 2 (PI.f64)) (acos.f64 (/.f64 g h))))) 3)
(pow.f64 (cos.f64 (*.f64 1/3 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))))) 3)
(pow.f64 (cos.f64 (.f64 1/3 (+.f64 (.f64 2 (PI.f64)) (acos.f64 (/.f64 g h))))) 3)
(pow.f64 (cos.f64 (*.f64 1/3 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))))) 3)
(pow.f64 (cos.f64 (.f64 1/3 (+.f64 (.f64 2 (PI.f64)) (acos.f64 (/.f64 g h))))) 3)
(pow.f64 (cos.f64 (*.f64 1/3 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))))) 3)
(pow.f64 (cos.f64 (.f64 1/3 (+.f64 (.f64 2 (PI.f64)) (acos.f64 (/.f64 g h))))) 3)
(pow.f64 (cos.f64 (*.f64 1/3 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))))) 3)
(pow.f64 (cos.f64 (.f64 1/3 (+.f64 (.f64 2 (PI.f64)) (acos.f64 (/.f64 g h))))) 3)
(pow.f64 (cos.f64 (*.f64 1/3 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))))) 3)
(pow.f64 (cos.f64 (.f64 1/3 (+.f64 (.f64 2 (PI.f64)) (acos.f64 (/.f64 g h))))) 3)
(pow.f64 (cos.f64 (*.f64 1/3 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))))) 3)
(pow.f64 (cos.f64 (.f64 1/3 (+.f64 (.f64 2 (PI.f64)) (acos.f64 (/.f64 g h))))) 3)
(pow.f64 (cos.f64 (*.f64 1/3 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))))) 3)
(pow.f64 (cos.f64 (.f64 1/3 (+.f64 (.f64 2 (PI.f64)) (acos.f64 (/.f64 g h))))) 3)
(pow.f64 (cos.f64 (*.f64 1/3 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))))) 3)
(pow.f64 (cos.f64 (.f64 1/3 (+.f64 (.f64 2 (PI.f64)) (acos.f64 (/.f64 g h))))) 3)
(pow.f64 (cos.f64 (*.f64 1/3 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))))) 3)
(pow.f64 (cos.f64 (.f64 1/3 (+.f64 (.f64 2 (PI.f64)) (acos.f64 (/.f64 g h))))) 3)
(pow.f64 (cos.f64 (*.f64 1/3 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))))) 3)
(pow.f64 (cos.f64 (.f64 1/3 (+.f64 (.f64 2 (PI.f64)) (acos.f64 (/.f64 g h))))) 3)
(pow.f64 (cos.f64 (*.f64 1/3 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))))) 3)
(pow.f64 (cos.f64 (.f64 1/3 (+.f64 (.f64 2 (PI.f64)) (acos.f64 (/.f64 g h))))) 3)
(pow.f64 (cos.f64 (*.f64 1/3 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))))) 3)
(pow.f64 (cos.f64 (.f64 1/3 (+.f64 (.f64 2 (PI.f64)) (acos.f64 (/.f64 g h))))) 3)
(pow.f64 (cos.f64 (*.f64 1/3 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))))) 3)
(pow.f64 (cos.f64 (.f64 1/3 (+.f64 (.f64 2 (PI.f64)) (acos.f64 (/.f64 g h))))) 3)
(pow.f64 (cos.f64 (*.f64 1/3 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))))) 3)
(pow.f64 (cos.f64 (.f64 1/3 (+.f64 (.f64 2 (PI.f64)) (acos.f64 (/.f64 g h))))) 3)
(pow.f64 (cos.f64 (*.f64 1/3 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))))) 3)
(pow.f64 (cos.f64 (.f64 1/3 (+.f64 (.f64 2 (PI.f64)) (acos.f64 (/.f64 g h))))) 3)
(pow.f64 (cos.f64 (*.f64 1/3 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))))) 3)
(pow.f64 (cos.f64 (.f64 1/3 (+.f64 (.f64 2 (PI.f64)) (acos.f64 (/.f64 g h))))) 3)
(pow.f64 (cos.f64 (*.f64 1/3 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))))) 3)
(pow.f64 (cos.f64 (.f64 1/3 (+.f64 (.f64 2 (PI.f64)) (acos.f64 (/.f64 g h))))) 3)
(pow.f64 (cos.f64 (*.f64 1/3 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))))) 3)
(pow.f64 (cos.f64 (.f64 1/3 (+.f64 (.f64 2 (PI.f64)) (acos.f64 (/.f64 g h))))) 3)
(pow.f64 (cos.f64 (*.f64 1/3 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))))) 3)
(pow.f64 (cos.f64 (.f64 1/3 (+.f64 (.f64 2 (PI.f64)) (acos.f64 (/.f64 g h))))) 3)
(pow.f64 (cos.f64 (*.f64 1/3 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))))) 3)
(pow.f64 (cos.f64 (.f64 1/3 (+.f64 (.f64 2 (PI.f64)) (acos.f64 (/.f64 g h))))) 3)
(pow.f64 (cos.f64 (*.f64 1/3 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))))) 3)
(pow.f64 (cos.f64 (.f64 1/3 (+.f64 (.f64 2 (PI.f64)) (acos.f64 (/.f64 g h))))) 3)
(pow.f64 (cos.f64 (*.f64 1/3 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))))) 3)

prune199.0ms (8.4%)

Pruning

2 alts after pruning (0 fresh and 2 done)

	Pruned	Kept	Total
New	216	0	216
Fresh	0	0	0
Picked	0	1	1
Done	0	1	1
Total	216	2	218

Error

0.0b

Counts

218 → 2

Alt Table

Status

Error

Program

✓

1.0b

(*.f64 2 (cos.f64 (*.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g (neg.f64 h)))) 1/3)))

✓

1.5b

(*.f64 2 (/.f64 (pow.f64 (cos.f64 (*.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 1/3)) 3) (pow.f64 (cos.f64 (*.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g h))) 1/3)) 2)))

Compiler

Compiled 7723 to 5017 computations (35% saved)

regimes30.0ms (1.2%)

Accuracy

Total -1.2b remaining (-123%)

Threshold costs -1.2b (-123%)

Counts

4 → 1

Compiler

Compiled 181 to 138 computations (23.8% saved)

simplify1.0ms (0%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	13	21

Stop Event

1×

saturated

Calls

Call 1

Inputs
(.f64 2 (cos.f64 (.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g (neg.f64 h)))) 1/3)))

Outputs
(.f64 2 (cos.f64 (.f64 (fma.f64 2 (PI.f64) (acos.f64 (/.f64 g (neg.f64 h)))) 1/3)))

end44.0ms (1.8%)

Stop Event

1×

done

Compiler

Compiled 70 to 52 computations (25.7% saved)

Details

analyze228.0ms (9.6%)

sample1.5s (62.4%)

preprocess35.0ms (1.5%)

simplify20.0ms (0.8%)

prune5.0ms (0.2%)

localize9.0ms (0.4%)

series13.0ms (0.5%)

rewrite56.0ms (2.4%)

simplify42.0ms (1.8%)

prune62.0ms (2.6%)

localize13.0ms (0.6%)

series13.0ms (0.6%)

rewrite76.0ms (3.2%)

simplify51.0ms (2.1%)

prune199.0ms (8.4%)

regimes30.0ms (1.2%)

simplify1.0ms (0%)

end44.0ms (1.8%)

Profiling