Details

analyze99.0ms (2%)

Algorithm

1×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	99.9%	0.1%	0%	0%	0%	0
0%	0%	99.9%	0.1%	0%	0%	0%	1
0%	0%	99.9%	0.1%	0%	0%	0%	2
0%	0%	99.9%	0.1%	0%	0%	0%	3
0%	0%	99.9%	0.1%	0%	0%	0%	4
26.7%	25%	68.7%	0.1%	0%	6.2%	0%	5
27.6%	25%	65.6%	0.1%	0%	9.4%	0%	6
49%	37.5%	39%	0.1%	0%	23.4%	0%	7
50.5%	37.5%	36.7%	0.1%	0%	25.8%	0%	8
67.9%	43.7%	20.7%	0.1%	0%	35.5%	0%	9
69.3%	43.7%	19.3%	0.1%	0%	36.9%	0%	10
81.5%	46.8%	10.6%	0.1%	0%	42.4%	0%	11
82.5%	46.8%	9.9%	0.1%	0%	43.2%	0%	12

Compiler

Compiled 19 to 17 computations (10.5% saved)

sample3.2s (65.3%)

Results

2.7s	8256×	body	256	valid
356.0ms	1170×	body	256	invalid

Bogosity

preprocess115.0ms (2.4%)

Algorithm

2×	egg-herbie

Rules

1122×	`rational.json-simplify-2`
1032×	`rational.json-simplify-44`
972×	`rational.json-simplify-35`
952×	`rational.json-simplify-1`
910×	`rational.json-simplify-61`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	25	90
1	59	90
2	105	90
3	198	90
4	373	90
5	790	90
6	2010	90
7	5153	90
8	6106	90
9	6950	90
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 (.f64 (PI.f64) 2/3) (/.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 (+.f64 (.f64 (PI.f64) 2/3) (/.f64 (acos.f64 (/.f64 h (neg.f64 g))) 3))))

Compiler

Compiled 20 to 18 computations (10% saved)

simplify94.0ms (1.9%)

Algorithm

1×	egg-herbie

Rules

1320×	`rational.json-simplify-35`
1300×	`rational.json-simplify-50`
1278×	`rational.json-simplify-52`
966×	`rational.json-simplify-1`
956×	`rational.json-simplify-2`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	18	45
1	40	45
2	72	45
3	126	45
4	236	45
5	459	45
6	1052	45
7	1714	45
8	2867	45
9	3770	45
10	5022	45
11	6740	45

Stop Event

1×	node limit

Counts

1 → 3

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 (PI.f64) 2/3) (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3))))

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

eval1.0ms (0%)

Compiler: Compiled 46 to 35 computations (23.9% saved)

prune1.0ms (0%)

Pruning

1 alts after pruning (1 fresh and 0 done)

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

Error

1.0b

Counts

4 → 1

Alt Table

Click to see full alt table

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

Compiler

Compiled 16 to 14 computations (12.5% saved)

localize130.0ms (2.7%)

Local error

Found 4 expressions with local error:

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

Compiler

Compiled 66 to 32 computations (51.5% saved)

series7.0ms (0.1%)

Counts

4 → 72

Calls

18 calls:

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

rewrite94.0ms (1.9%)

Algorithm

1×	batch-egg-rewrite

Rules

2068×	`bool.json-1`
2068×	`bool.json-2`
1018×	`rational.json-simplify-35`
814×	`rational.json-1`
814×	`rational.json-2`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	16	104
1	164	104
2	458	104
3	1056	104
4	2780	104
5	6980	104

Stop Event

1×	node limit

Counts

4 → 62

Calls

Call 1

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

Outputs
((#(struct:change #<rule egg-rr> (2) ((x +.f64 (.f64 (PI.f64) 2/3) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (.f64 (PI.f64) 2/3))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (.f64 (PI.f64) 2/3) 0)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (PI.f64) 2/3) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (PI.f64) 4/3) 2)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (PI.f64) 8/3) 4)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 2 (.f64 (PI.f64) 8/3)) 8)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (.f64 2 (.f64 (PI.f64) 8/3)) (.f64 2 (.f64 (PI.f64) 8/3))) 16)))) (#(struct:change #<rule egg-rr> (2) ((x not (not (.f64 (PI.f64) 2/3)))))) (#(struct:change #<rule egg-rr> (2) ((x and (.f64 (PI.f64) 2/3) (.f64 (PI.f64) 2/3))))) (#(struct:change #<rule egg-rr> (2) ((x or (.f64 (PI.f64) 2/3) (*.f64 (PI.f64) 2/3))))))
((#(struct:change #<rule egg-rr> (2) ((x +.f64 (cos.f64 (+.f64 (.f64 (PI.f64) 2/3) (.f64 (acos.f64 (neg.f64 (/.f64 g h))) 1/3))) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (cos.f64 (+.f64 (.f64 (PI.f64) 2/3) (.f64 (acos.f64 (neg.f64 (/.f64 g h))) 1/3))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (cos.f64 (+.f64 (.f64 (PI.f64) 2/3) (.f64 (acos.f64 (neg.f64 (/.f64 g h))) 1/3))) 0)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (cos.f64 (+.f64 (.f64 (PI.f64) 2/3) (.f64 (acos.f64 (neg.f64 (/.f64 g h))) 1/3))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 1 (cos.f64 (+.f64 (.f64 (PI.f64) 2/3) (.f64 (acos.f64 (neg.f64 (/.f64 g h))) 1/3))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 2 (/.f64 (cos.f64 (+.f64 (.f64 (PI.f64) 2/3) (.f64 (acos.f64 (neg.f64 (/.f64 g h))) 1/3))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 (cos.f64 (+.f64 (.f64 (PI.f64) 2/3) (.f64 (acos.f64 (neg.f64 (/.f64 g h))) 1/3))) 2) 1/2)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 1/2 (.f64 (cos.f64 (+.f64 (.f64 (PI.f64) 2/3) (.f64 (acos.f64 (neg.f64 (/.f64 g h))) 1/3))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 (cos.f64 (+.f64 (.f64 (PI.f64) 2/3) (.f64 (acos.f64 (neg.f64 (/.f64 g h))) 1/3))) 2) 2)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (cos.f64 (+.f64 (.f64 (PI.f64) 2/3) (.f64 (acos.f64 (neg.f64 (/.f64 g h))) 1/3))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (cos.f64 (+.f64 (.f64 (PI.f64) 2/3) (.f64 (acos.f64 (neg.f64 (/.f64 g h))) 1/3))) 2) 2)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (cos.f64 (+.f64 (.f64 (PI.f64) 2/3) (.f64 (acos.f64 (neg.f64 (/.f64 g h))) 1/3))) 4) 4)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 2 (.f64 (cos.f64 (+.f64 (.f64 (PI.f64) 2/3) (.f64 (acos.f64 (neg.f64 (/.f64 g h))) 1/3))) 4)) 8)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (.f64 2 (.f64 (cos.f64 (+.f64 (.f64 (PI.f64) 2/3) (.f64 (acos.f64 (neg.f64 (/.f64 g h))) 1/3))) 4)) (.f64 2 (.f64 (cos.f64 (+.f64 (.f64 (PI.f64) 2/3) (.f64 (acos.f64 (neg.f64 (/.f64 g h))) 1/3))) 4))) 16)))) (#(struct:change #<rule egg-rr> (2) ((x not (not (cos.f64 (+.f64 (.f64 (PI.f64) 2/3) (.f64 (acos.f64 (neg.f64 (/.f64 g h))) 1/3)))))))) (#(struct:change #<rule egg-rr> (2) ((x and (cos.f64 (+.f64 (.f64 (PI.f64) 2/3) (.f64 (acos.f64 (neg.f64 (/.f64 g h))) 1/3))) (cos.f64 (+.f64 (.f64 (PI.f64) 2/3) (.f64 (acos.f64 (neg.f64 (/.f64 g h))) 1/3))))))) (#(struct:change #<rule egg-rr> (2) ((x or (cos.f64 (+.f64 (.f64 (PI.f64) 2/3) (.f64 (acos.f64 (neg.f64 (/.f64 g h))) 1/3))) (cos.f64 (+.f64 (.f64 (PI.f64) 2/3) (.f64 (acos.f64 (neg.f64 (/.f64 g h))) 1/3))))))))
((#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 (.f64 (PI.f64) 2/3) (.f64 (acos.f64 (neg.f64 (/.f64 g h))) 1/3)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 0 (neg.f64 (+.f64 (.f64 (PI.f64) 2/3) (.f64 (acos.f64 (neg.f64 (/.f64 g h))) 1/3))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (+.f64 (.f64 (PI.f64) 2/3) (.f64 (acos.f64 (neg.f64 (/.f64 g h))) 1/3)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 1 (+.f64 (.f64 (PI.f64) 2/3) (.f64 (acos.f64 (neg.f64 (/.f64 g h))) 1/3)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 -1 (neg.f64 (+.f64 (.f64 (PI.f64) 2/3) (.f64 (acos.f64 (neg.f64 (/.f64 g h))) 1/3))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (neg.f64 (+.f64 (.f64 (PI.f64) 2/3) (.f64 (acos.f64 (neg.f64 (/.f64 g h))) 1/3))) -1)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 2 (/.f64 (+.f64 (.f64 (PI.f64) 2/3) (.f64 (acos.f64 (neg.f64 (/.f64 g h))) 1/3)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 (+.f64 (.f64 (PI.f64) 2/3) (.f64 (acos.f64 (neg.f64 (/.f64 g h))) 1/3)) 2) 1/2)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 1/3 (+.f64 (.f64 (PI.f64) 2) (acos.f64 (neg.f64 (/.f64 g h)))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 1/2 (.f64 (+.f64 (.f64 (PI.f64) 2/3) (.f64 (acos.f64 (neg.f64 (/.f64 g h))) 1/3)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 1/2 (+.f64 (.f64 (PI.f64) 4/3) (.f64 2/3 (acos.f64 (neg.f64 (/.f64 g h))))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 (+.f64 (.f64 (PI.f64) 2/3) (.f64 (acos.f64 (neg.f64 (/.f64 g h))) 1/3)) 2) 2)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (.f64 (PI.f64) 2/3) (.f64 (acos.f64 (neg.f64 (/.f64 g h))) 1/3)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (neg.f64 (+.f64 (.f64 (PI.f64) 2/3) (.f64 (acos.f64 (neg.f64 (/.f64 g h))) 1/3))) -1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (+.f64 (.f64 (PI.f64) 2/3) (.f64 (acos.f64 (neg.f64 (/.f64 g h))) 1/3)) 2) 2)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (+.f64 (.f64 (PI.f64) 2/3) (.f64 (acos.f64 (neg.f64 (/.f64 g h))) 1/3)) -2) -2)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (+.f64 (.f64 (PI.f64) 2/3) (.f64 (acos.f64 (neg.f64 (/.f64 g h))) 1/3)) 4) 4)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 2 (.f64 (+.f64 (.f64 (PI.f64) 2/3) (.f64 (acos.f64 (neg.f64 (/.f64 g h))) 1/3)) 4)) 8)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (neg.f64 (+.f64 (.f64 (PI.f64) 2/3) (.f64 (acos.f64 (neg.f64 (/.f64 g h))) 1/3))) 4) -4)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (neg.f64 (.f64 (+.f64 (.f64 (PI.f64) 2/3) (.f64 (acos.f64 (neg.f64 (/.f64 g h))) 1/3)) -2)) 2)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (.f64 2 (.f64 (+.f64 (.f64 (PI.f64) 2/3) (.f64 (acos.f64 (neg.f64 (/.f64 g h))) 1/3)) 4)) (.f64 2 (.f64 (+.f64 (.f64 (PI.f64) 2/3) (.f64 (acos.f64 (neg.f64 (/.f64 g h))) 1/3)) 4))) 16)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (neg.f64 (.f64 (+.f64 (.f64 (PI.f64) 2/3) (.f64 (acos.f64 (neg.f64 (/.f64 g h))) 1/3)) -2)) (neg.f64 (.f64 (+.f64 (.f64 (PI.f64) 2/3) (.f64 (acos.f64 (neg.f64 (/.f64 g h))) 1/3)) -2))) 4)))) (#(struct:change #<rule egg-rr> (2) ((x neg.f64 (neg.f64 (+.f64 (.f64 (PI.f64) 2/3) (.f64 (acos.f64 (neg.f64 (/.f64 g h))) 1/3))))))) (#(struct:change #<rule egg-rr> (2) ((x not (not (+.f64 (.f64 (PI.f64) 2/3) (.f64 (acos.f64 (neg.f64 (/.f64 g h))) 1/3))))))) (#(struct:change #<rule egg-rr> (2) ((x and (+.f64 (.f64 (PI.f64) 2/3) (.f64 (acos.f64 (neg.f64 (/.f64 g h))) 1/3)) (+.f64 (.f64 (PI.f64) 2/3) (.f64 (acos.f64 (neg.f64 (/.f64 g h))) 1/3)))))) (#(struct:change #<rule egg-rr> (2) ((x or (+.f64 (.f64 (PI.f64) 2/3) (.f64 (acos.f64 (neg.f64 (/.f64 g h))) 1/3)) (+.f64 (.f64 (PI.f64) 2/3) (.f64 (acos.f64 (neg.f64 (/.f64 g h))) 1/3)))))))
((#(struct:change #<rule egg-rr> (2) ((x +.f64 (.f64 (acos.f64 (neg.f64 (/.f64 g h))) 1/3) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (.f64 (acos.f64 (neg.f64 (/.f64 g h))) 1/3))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (.f64 (acos.f64 (neg.f64 (/.f64 g h))) 1/3) 0)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (acos.f64 (neg.f64 (/.f64 g h))) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 (acos.f64 (neg.f64 (/.f64 g h))) 1/3) 1)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 1 (.f64 (acos.f64 (neg.f64 (/.f64 g h))) 1/3))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 (acos.f64 (neg.f64 (/.f64 g h))) 2) 1/6)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 2 (/.f64 (acos.f64 (neg.f64 (/.f64 g h))) 6))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 2 (/.f64 (.f64 (acos.f64 (neg.f64 (/.f64 g h))) 1/3) 2))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 2/3 (acos.f64 (neg.f64 (/.f64 g h)))) 1/2)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 (acos.f64 (neg.f64 (/.f64 g h))) 4) 1/12)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 1/3 (acos.f64 (neg.f64 (/.f64 g h))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 1/6 (.f64 (acos.f64 (neg.f64 (/.f64 g h))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 1/2 (.f64 2/3 (acos.f64 (neg.f64 (/.f64 g h)))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 (acos.f64 (neg.f64 (/.f64 g h))) 6) 2)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 (.f64 (acos.f64 (neg.f64 (/.f64 g h))) 1/3) 2) 2)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 1/12 (.f64 (acos.f64 (neg.f64 (/.f64 g h))) 4))))) (#(struct:change #<rule egg-rr> (2) ((x not (not (.f64 (acos.f64 (neg.f64 (/.f64 g h))) 1/3)))))) (#(struct:change #<rule egg-rr> (2) ((x and (.f64 (acos.f64 (neg.f64 (/.f64 g h))) 1/3) (.f64 (acos.f64 (neg.f64 (/.f64 g h))) 1/3))))) (#(struct:change #<rule egg-rr> (2) ((x or (.f64 (acos.f64 (neg.f64 (/.f64 g h))) 1/3) (.f64 (acos.f64 (neg.f64 (/.f64 g h))) 1/3))))))

simplify434.0ms (8.9%)

Algorithm

1×	egg-herbie

Rules

1578×	`rational.json-simplify-1`
1486×	`rational.json-simplify-35`
1434×	`rational.json-simplify-2`
836×	`rational.json-simplify-48`
756×	`rational.json-simplify-51`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	125	4072
1	245	4072
2	550	4072
3	1654	4072
4	2917	4072
5	3737	4072
6	4038	4072
7	4445	4072
8	5554	4072
9	6487	4072
10	6917	4072
11	7699	4072

Stop Event

1×	node limit

Counts

134 → 74

Calls

Call 1

Inputs
(cos.f64 (+.f64 (.f64 1/3 (acos.f64 (.f64 -1 (/.f64 g h)))) (*.f64 2/3 (PI.f64))))
(cos.f64 (+.f64 (.f64 1/3 (acos.f64 (.f64 -1 (/.f64 g h)))) (*.f64 2/3 (PI.f64))))
(cos.f64 (+.f64 (.f64 1/3 (acos.f64 (.f64 -1 (/.f64 g h)))) (*.f64 2/3 (PI.f64))))
(cos.f64 (+.f64 (.f64 1/3 (acos.f64 (.f64 -1 (/.f64 g h)))) (*.f64 2/3 (PI.f64))))
(cos.f64 (+.f64 (.f64 1/3 (acos.f64 (.f64 -1 (/.f64 g h)))) (*.f64 2/3 (PI.f64))))
(cos.f64 (+.f64 (.f64 1/3 (acos.f64 (.f64 -1 (/.f64 g h)))) (*.f64 2/3 (PI.f64))))
(cos.f64 (+.f64 (.f64 1/3 (acos.f64 (.f64 -1 (/.f64 g h)))) (*.f64 2/3 (PI.f64))))
(cos.f64 (+.f64 (.f64 1/3 (acos.f64 (.f64 -1 (/.f64 g h)))) (*.f64 2/3 (PI.f64))))
(cos.f64 (+.f64 (.f64 1/3 (acos.f64 (.f64 -1 (/.f64 g h)))) (*.f64 2/3 (PI.f64))))
(cos.f64 (+.f64 (.f64 1/3 (acos.f64 (.f64 -1 (/.f64 g h)))) (*.f64 2/3 (PI.f64))))
(cos.f64 (+.f64 (.f64 1/3 (acos.f64 (.f64 -1 (/.f64 g h)))) (*.f64 2/3 (PI.f64))))
(cos.f64 (+.f64 (.f64 1/3 (acos.f64 (.f64 -1 (/.f64 g h)))) (*.f64 2/3 (PI.f64))))
(cos.f64 (+.f64 (.f64 1/3 (acos.f64 (.f64 -1 (/.f64 g h)))) (*.f64 2/3 (PI.f64))))
(cos.f64 (+.f64 (.f64 1/3 (acos.f64 (.f64 -1 (/.f64 g h)))) (*.f64 2/3 (PI.f64))))
(cos.f64 (+.f64 (.f64 1/3 (acos.f64 (.f64 -1 (/.f64 g h)))) (*.f64 2/3 (PI.f64))))
(cos.f64 (+.f64 (.f64 1/3 (acos.f64 (.f64 -1 (/.f64 g h)))) (*.f64 2/3 (PI.f64))))
(cos.f64 (+.f64 (.f64 1/3 (acos.f64 (.f64 -1 (/.f64 g h)))) (*.f64 2/3 (PI.f64))))
(cos.f64 (+.f64 (.f64 1/3 (acos.f64 (.f64 -1 (/.f64 g h)))) (*.f64 2/3 (PI.f64))))
(cos.f64 (+.f64 (.f64 1/3 (acos.f64 (.f64 -1 (/.f64 g h)))) (*.f64 2/3 (PI.f64))))
(cos.f64 (+.f64 (.f64 1/3 (acos.f64 (.f64 -1 (/.f64 g h)))) (*.f64 2/3 (PI.f64))))
(cos.f64 (+.f64 (.f64 1/3 (acos.f64 (.f64 -1 (/.f64 g h)))) (*.f64 2/3 (PI.f64))))
(cos.f64 (+.f64 (.f64 1/3 (acos.f64 (.f64 -1 (/.f64 g h)))) (*.f64 2/3 (PI.f64))))
(cos.f64 (+.f64 (.f64 1/3 (acos.f64 (.f64 -1 (/.f64 g h)))) (*.f64 2/3 (PI.f64))))
(cos.f64 (+.f64 (.f64 1/3 (acos.f64 (.f64 -1 (/.f64 g h)))) (*.f64 2/3 (PI.f64))))
(+.f64 (.f64 1/3 (acos.f64 (.f64 -1 (/.f64 g h)))) (*.f64 2/3 (PI.f64)))
(+.f64 (.f64 1/3 (acos.f64 (.f64 -1 (/.f64 g h)))) (*.f64 2/3 (PI.f64)))
(+.f64 (.f64 1/3 (acos.f64 (.f64 -1 (/.f64 g h)))) (*.f64 2/3 (PI.f64)))
(+.f64 (.f64 1/3 (acos.f64 (.f64 -1 (/.f64 g h)))) (*.f64 2/3 (PI.f64)))
(+.f64 (.f64 1/3 (acos.f64 (.f64 -1 (/.f64 g h)))) (*.f64 2/3 (PI.f64)))
(+.f64 (.f64 1/3 (acos.f64 (.f64 -1 (/.f64 g h)))) (*.f64 2/3 (PI.f64)))
(+.f64 (.f64 1/3 (acos.f64 (.f64 -1 (/.f64 g h)))) (*.f64 2/3 (PI.f64)))
(+.f64 (.f64 1/3 (acos.f64 (.f64 -1 (/.f64 g h)))) (*.f64 2/3 (PI.f64)))
(+.f64 (.f64 1/3 (acos.f64 (.f64 -1 (/.f64 g h)))) (*.f64 2/3 (PI.f64)))
(+.f64 (.f64 1/3 (acos.f64 (.f64 -1 (/.f64 g h)))) (*.f64 2/3 (PI.f64)))
(+.f64 (.f64 1/3 (acos.f64 (.f64 -1 (/.f64 g h)))) (*.f64 2/3 (PI.f64)))
(+.f64 (.f64 1/3 (acos.f64 (.f64 -1 (/.f64 g h)))) (*.f64 2/3 (PI.f64)))
(+.f64 (.f64 1/3 (acos.f64 (.f64 -1 (/.f64 g h)))) (*.f64 2/3 (PI.f64)))
(+.f64 (.f64 1/3 (acos.f64 (.f64 -1 (/.f64 g h)))) (*.f64 2/3 (PI.f64)))
(+.f64 (.f64 1/3 (acos.f64 (.f64 -1 (/.f64 g h)))) (*.f64 2/3 (PI.f64)))
(+.f64 (.f64 1/3 (acos.f64 (.f64 -1 (/.f64 g h)))) (*.f64 2/3 (PI.f64)))
(+.f64 (.f64 1/3 (acos.f64 (.f64 -1 (/.f64 g h)))) (*.f64 2/3 (PI.f64)))
(+.f64 (.f64 1/3 (acos.f64 (.f64 -1 (/.f64 g h)))) (*.f64 2/3 (PI.f64)))
(+.f64 (.f64 1/3 (acos.f64 (.f64 -1 (/.f64 g h)))) (*.f64 2/3 (PI.f64)))
(+.f64 (.f64 1/3 (acos.f64 (.f64 -1 (/.f64 g h)))) (*.f64 2/3 (PI.f64)))
(+.f64 (.f64 1/3 (acos.f64 (.f64 -1 (/.f64 g h)))) (*.f64 2/3 (PI.f64)))
(+.f64 (.f64 1/3 (acos.f64 (.f64 -1 (/.f64 g h)))) (*.f64 2/3 (PI.f64)))
(+.f64 (.f64 1/3 (acos.f64 (.f64 -1 (/.f64 g h)))) (*.f64 2/3 (PI.f64)))
(+.f64 (.f64 1/3 (acos.f64 (.f64 -1 (/.f64 g h)))) (*.f64 2/3 (PI.f64)))
(.f64 1/3 (acos.f64 (.f64 -1 (/.f64 g h))))
(.f64 1/3 (acos.f64 (.f64 -1 (/.f64 g h))))
(.f64 1/3 (acos.f64 (.f64 -1 (/.f64 g h))))
(.f64 1/3 (acos.f64 (.f64 -1 (/.f64 g h))))
(.f64 1/3 (acos.f64 (.f64 -1 (/.f64 g h))))
(.f64 1/3 (acos.f64 (.f64 -1 (/.f64 g h))))
(.f64 1/3 (acos.f64 (.f64 -1 (/.f64 g h))))
(.f64 1/3 (acos.f64 (.f64 -1 (/.f64 g h))))
(.f64 1/3 (acos.f64 (.f64 -1 (/.f64 g h))))
(.f64 1/3 (acos.f64 (.f64 -1 (/.f64 g h))))
(.f64 1/3 (acos.f64 (.f64 -1 (/.f64 g h))))
(.f64 1/3 (acos.f64 (.f64 -1 (/.f64 g h))))
(.f64 1/3 (acos.f64 (.f64 -1 (/.f64 g h))))
(.f64 1/3 (acos.f64 (.f64 -1 (/.f64 g h))))
(.f64 1/3 (acos.f64 (.f64 -1 (/.f64 g h))))
(.f64 1/3 (acos.f64 (.f64 -1 (/.f64 g h))))
(.f64 1/3 (acos.f64 (.f64 -1 (/.f64 g h))))
(.f64 1/3 (acos.f64 (.f64 -1 (/.f64 g h))))
(.f64 1/3 (acos.f64 (.f64 -1 (/.f64 g h))))
(.f64 1/3 (acos.f64 (.f64 -1 (/.f64 g h))))
(.f64 1/3 (acos.f64 (.f64 -1 (/.f64 g h))))
(.f64 1/3 (acos.f64 (.f64 -1 (/.f64 g h))))
(.f64 1/3 (acos.f64 (.f64 -1 (/.f64 g h))))
(.f64 1/3 (acos.f64 (.f64 -1 (/.f64 g h))))
(+.f64 (*.f64 (PI.f64) 2/3) 0)
(+.f64 0 (*.f64 (PI.f64) 2/3))
(-.f64 (*.f64 (PI.f64) 2/3) 0)
(/.f64 (*.f64 (PI.f64) 2/3) 1)
(/.f64 (*.f64 (PI.f64) 4/3) 2)
(/.f64 (*.f64 (PI.f64) 8/3) 4)
(/.f64 (.f64 2 (.f64 (PI.f64) 8/3)) 8)
(/.f64 (+.f64 (.f64 2 (.f64 (PI.f64) 8/3)) (.f64 2 (.f64 (PI.f64) 8/3))) 16)
(+.f64 (cos.f64 (+.f64 (.f64 (PI.f64) 2/3) (.f64 (acos.f64 (neg.f64 (/.f64 g h))) 1/3))) 0)
(+.f64 0 (cos.f64 (+.f64 (.f64 (PI.f64) 2/3) (.f64 (acos.f64 (neg.f64 (/.f64 g h))) 1/3))))
(-.f64 (cos.f64 (+.f64 (.f64 (PI.f64) 2/3) (.f64 (acos.f64 (neg.f64 (/.f64 g h))) 1/3))) 0)
(.f64 (cos.f64 (+.f64 (.f64 (PI.f64) 2/3) (*.f64 (acos.f64 (neg.f64 (/.f64 g h))) 1/3))) 1)
(.f64 1 (cos.f64 (+.f64 (.f64 (PI.f64) 2/3) (*.f64 (acos.f64 (neg.f64 (/.f64 g h))) 1/3))))
(.f64 2 (/.f64 (cos.f64 (+.f64 (.f64 (PI.f64) 2/3) (*.f64 (acos.f64 (neg.f64 (/.f64 g h))) 1/3))) 2))
(.f64 (.f64 (cos.f64 (+.f64 (.f64 (PI.f64) 2/3) (.f64 (acos.f64 (neg.f64 (/.f64 g h))) 1/3))) 2) 1/2)
(.f64 1/2 (.f64 (cos.f64 (+.f64 (.f64 (PI.f64) 2/3) (.f64 (acos.f64 (neg.f64 (/.f64 g h))) 1/3))) 2))
(.f64 (/.f64 (cos.f64 (+.f64 (.f64 (PI.f64) 2/3) (*.f64 (acos.f64 (neg.f64 (/.f64 g h))) 1/3))) 2) 2)
(/.f64 (cos.f64 (+.f64 (.f64 (PI.f64) 2/3) (.f64 (acos.f64 (neg.f64 (/.f64 g h))) 1/3))) 1)
(/.f64 (.f64 (cos.f64 (+.f64 (.f64 (PI.f64) 2/3) (*.f64 (acos.f64 (neg.f64 (/.f64 g h))) 1/3))) 2) 2)
(/.f64 (.f64 (cos.f64 (+.f64 (.f64 (PI.f64) 2/3) (*.f64 (acos.f64 (neg.f64 (/.f64 g h))) 1/3))) 4) 4)
(/.f64 (.f64 2 (.f64 (cos.f64 (+.f64 (.f64 (PI.f64) 2/3) (.f64 (acos.f64 (neg.f64 (/.f64 g h))) 1/3))) 4)) 8)
(/.f64 (+.f64 (.f64 2 (.f64 (cos.f64 (+.f64 (.f64 (PI.f64) 2/3) (.f64 (acos.f64 (neg.f64 (/.f64 g h))) 1/3))) 4)) (.f64 2 (.f64 (cos.f64 (+.f64 (.f64 (PI.f64) 2/3) (.f64 (acos.f64 (neg.f64 (/.f64 g h))) 1/3))) 4))) 16)
(-.f64 (+.f64 (.f64 (PI.f64) 2/3) (.f64 (acos.f64 (neg.f64 (/.f64 g h))) 1/3)) 0)
(-.f64 0 (neg.f64 (+.f64 (.f64 (PI.f64) 2/3) (.f64 (acos.f64 (neg.f64 (/.f64 g h))) 1/3))))
(.f64 (+.f64 (.f64 (PI.f64) 2/3) (*.f64 (acos.f64 (neg.f64 (/.f64 g h))) 1/3)) 1)
(.f64 1 (+.f64 (.f64 (PI.f64) 2/3) (*.f64 (acos.f64 (neg.f64 (/.f64 g h))) 1/3)))
(.f64 -1 (neg.f64 (+.f64 (.f64 (PI.f64) 2/3) (*.f64 (acos.f64 (neg.f64 (/.f64 g h))) 1/3))))
(.f64 (neg.f64 (+.f64 (.f64 (PI.f64) 2/3) (*.f64 (acos.f64 (neg.f64 (/.f64 g h))) 1/3))) -1)
(.f64 2 (/.f64 (+.f64 (.f64 (PI.f64) 2/3) (*.f64 (acos.f64 (neg.f64 (/.f64 g h))) 1/3)) 2))
(.f64 (.f64 (+.f64 (.f64 (PI.f64) 2/3) (.f64 (acos.f64 (neg.f64 (/.f64 g h))) 1/3)) 2) 1/2)
(.f64 1/3 (+.f64 (.f64 (PI.f64) 2) (acos.f64 (neg.f64 (/.f64 g h)))))
(.f64 1/2 (.f64 (+.f64 (.f64 (PI.f64) 2/3) (.f64 (acos.f64 (neg.f64 (/.f64 g h))) 1/3)) 2))
(.f64 1/2 (+.f64 (.f64 (PI.f64) 4/3) (*.f64 2/3 (acos.f64 (neg.f64 (/.f64 g h))))))
(.f64 (/.f64 (+.f64 (.f64 (PI.f64) 2/3) (*.f64 (acos.f64 (neg.f64 (/.f64 g h))) 1/3)) 2) 2)
(/.f64 (+.f64 (.f64 (PI.f64) 2/3) (.f64 (acos.f64 (neg.f64 (/.f64 g h))) 1/3)) 1)
(/.f64 (neg.f64 (+.f64 (.f64 (PI.f64) 2/3) (.f64 (acos.f64 (neg.f64 (/.f64 g h))) 1/3))) -1)
(/.f64 (.f64 (+.f64 (.f64 (PI.f64) 2/3) (*.f64 (acos.f64 (neg.f64 (/.f64 g h))) 1/3)) 2) 2)
(/.f64 (.f64 (+.f64 (.f64 (PI.f64) 2/3) (*.f64 (acos.f64 (neg.f64 (/.f64 g h))) 1/3)) -2) -2)
(/.f64 (.f64 (+.f64 (.f64 (PI.f64) 2/3) (*.f64 (acos.f64 (neg.f64 (/.f64 g h))) 1/3)) 4) 4)
(/.f64 (.f64 2 (.f64 (+.f64 (.f64 (PI.f64) 2/3) (.f64 (acos.f64 (neg.f64 (/.f64 g h))) 1/3)) 4)) 8)
(/.f64 (.f64 (neg.f64 (+.f64 (.f64 (PI.f64) 2/3) (*.f64 (acos.f64 (neg.f64 (/.f64 g h))) 1/3))) 4) -4)
(/.f64 (neg.f64 (.f64 (+.f64 (.f64 (PI.f64) 2/3) (*.f64 (acos.f64 (neg.f64 (/.f64 g h))) 1/3)) -2)) 2)
(/.f64 (+.f64 (.f64 2 (.f64 (+.f64 (.f64 (PI.f64) 2/3) (.f64 (acos.f64 (neg.f64 (/.f64 g h))) 1/3)) 4)) (.f64 2 (.f64 (+.f64 (.f64 (PI.f64) 2/3) (.f64 (acos.f64 (neg.f64 (/.f64 g h))) 1/3)) 4))) 16)
(/.f64 (+.f64 (neg.f64 (.f64 (+.f64 (.f64 (PI.f64) 2/3) (.f64 (acos.f64 (neg.f64 (/.f64 g h))) 1/3)) -2)) (neg.f64 (.f64 (+.f64 (.f64 (PI.f64) 2/3) (.f64 (acos.f64 (neg.f64 (/.f64 g h))) 1/3)) -2))) 4)
(neg.f64 (neg.f64 (+.f64 (.f64 (PI.f64) 2/3) (.f64 (acos.f64 (neg.f64 (/.f64 g h))) 1/3))))
(+.f64 (*.f64 (acos.f64 (neg.f64 (/.f64 g h))) 1/3) 0)
(+.f64 0 (*.f64 (acos.f64 (neg.f64 (/.f64 g h))) 1/3))
(-.f64 (*.f64 (acos.f64 (neg.f64 (/.f64 g h))) 1/3) 0)
(*.f64 (acos.f64 (neg.f64 (/.f64 g h))) 1/3)
(.f64 (.f64 (acos.f64 (neg.f64 (/.f64 g h))) 1/3) 1)
(.f64 1 (.f64 (acos.f64 (neg.f64 (/.f64 g h))) 1/3))
(.f64 (.f64 (acos.f64 (neg.f64 (/.f64 g h))) 2) 1/6)
(*.f64 2 (/.f64 (acos.f64 (neg.f64 (/.f64 g h))) 6))
(.f64 2 (/.f64 (.f64 (acos.f64 (neg.f64 (/.f64 g h))) 1/3) 2))
(.f64 (.f64 2/3 (acos.f64 (neg.f64 (/.f64 g h)))) 1/2)
(.f64 (.f64 (acos.f64 (neg.f64 (/.f64 g h))) 4) 1/12)
(*.f64 1/3 (acos.f64 (neg.f64 (/.f64 g h))))
(.f64 1/6 (.f64 (acos.f64 (neg.f64 (/.f64 g h))) 2))
(.f64 1/2 (.f64 2/3 (acos.f64 (neg.f64 (/.f64 g h)))))
(*.f64 (/.f64 (acos.f64 (neg.f64 (/.f64 g h))) 6) 2)
(.f64 (/.f64 (.f64 (acos.f64 (neg.f64 (/.f64 g h))) 1/3) 2) 2)
(.f64 1/12 (.f64 (acos.f64 (neg.f64 (/.f64 g h))) 4))

Outputs
(cos.f64 (+.f64 (.f64 1/3 (acos.f64 (.f64 -1 (/.f64 g h)))) (*.f64 2/3 (PI.f64))))
(cos.f64 (+.f64 (.f64 2/3 (PI.f64)) (.f64 1/3 (acos.f64 (neg.f64 (/.f64 g h))))))
(cos.f64 (+.f64 (.f64 2/3 (PI.f64)) (.f64 1/3 (acos.f64 (/.f64 (neg.f64 g) h)))))
(cos.f64 (.f64 1/3 (+.f64 (acos.f64 (/.f64 (neg.f64 g) h)) (.f64 (PI.f64) 2))))
(cos.f64 (+.f64 (.f64 1/3 (acos.f64 (.f64 -1 (/.f64 g h)))) (*.f64 2/3 (PI.f64))))
(cos.f64 (+.f64 (.f64 2/3 (PI.f64)) (.f64 1/3 (acos.f64 (neg.f64 (/.f64 g h))))))
(cos.f64 (+.f64 (.f64 2/3 (PI.f64)) (.f64 1/3 (acos.f64 (/.f64 (neg.f64 g) h)))))
(cos.f64 (.f64 1/3 (+.f64 (acos.f64 (/.f64 (neg.f64 g) h)) (.f64 (PI.f64) 2))))
(cos.f64 (+.f64 (.f64 1/3 (acos.f64 (.f64 -1 (/.f64 g h)))) (*.f64 2/3 (PI.f64))))
(cos.f64 (+.f64 (.f64 2/3 (PI.f64)) (.f64 1/3 (acos.f64 (neg.f64 (/.f64 g h))))))
(cos.f64 (+.f64 (.f64 2/3 (PI.f64)) (.f64 1/3 (acos.f64 (/.f64 (neg.f64 g) h)))))
(cos.f64 (.f64 1/3 (+.f64 (acos.f64 (/.f64 (neg.f64 g) h)) (.f64 (PI.f64) 2))))
(cos.f64 (+.f64 (.f64 1/3 (acos.f64 (.f64 -1 (/.f64 g h)))) (*.f64 2/3 (PI.f64))))
(cos.f64 (+.f64 (.f64 2/3 (PI.f64)) (.f64 1/3 (acos.f64 (neg.f64 (/.f64 g h))))))
(cos.f64 (+.f64 (.f64 2/3 (PI.f64)) (.f64 1/3 (acos.f64 (/.f64 (neg.f64 g) h)))))
(cos.f64 (.f64 1/3 (+.f64 (acos.f64 (/.f64 (neg.f64 g) h)) (.f64 (PI.f64) 2))))
(cos.f64 (+.f64 (.f64 1/3 (acos.f64 (.f64 -1 (/.f64 g h)))) (*.f64 2/3 (PI.f64))))
(cos.f64 (+.f64 (.f64 2/3 (PI.f64)) (.f64 1/3 (acos.f64 (neg.f64 (/.f64 g h))))))
(cos.f64 (+.f64 (.f64 2/3 (PI.f64)) (.f64 1/3 (acos.f64 (/.f64 (neg.f64 g) h)))))
(cos.f64 (.f64 1/3 (+.f64 (acos.f64 (/.f64 (neg.f64 g) h)) (.f64 (PI.f64) 2))))
(cos.f64 (+.f64 (.f64 1/3 (acos.f64 (.f64 -1 (/.f64 g h)))) (*.f64 2/3 (PI.f64))))
(cos.f64 (+.f64 (.f64 2/3 (PI.f64)) (.f64 1/3 (acos.f64 (neg.f64 (/.f64 g h))))))
(cos.f64 (+.f64 (.f64 2/3 (PI.f64)) (.f64 1/3 (acos.f64 (/.f64 (neg.f64 g) h)))))
(cos.f64 (.f64 1/3 (+.f64 (acos.f64 (/.f64 (neg.f64 g) h)) (.f64 (PI.f64) 2))))
(cos.f64 (+.f64 (.f64 1/3 (acos.f64 (.f64 -1 (/.f64 g h)))) (*.f64 2/3 (PI.f64))))
(cos.f64 (+.f64 (.f64 2/3 (PI.f64)) (.f64 1/3 (acos.f64 (neg.f64 (/.f64 g h))))))
(cos.f64 (+.f64 (.f64 2/3 (PI.f64)) (.f64 1/3 (acos.f64 (/.f64 (neg.f64 g) h)))))
(cos.f64 (.f64 1/3 (+.f64 (acos.f64 (/.f64 (neg.f64 g) h)) (.f64 (PI.f64) 2))))
(cos.f64 (+.f64 (.f64 1/3 (acos.f64 (.f64 -1 (/.f64 g h)))) (*.f64 2/3 (PI.f64))))
(cos.f64 (+.f64 (.f64 2/3 (PI.f64)) (.f64 1/3 (acos.f64 (neg.f64 (/.f64 g h))))))
(cos.f64 (+.f64 (.f64 2/3 (PI.f64)) (.f64 1/3 (acos.f64 (/.f64 (neg.f64 g) h)))))
(cos.f64 (.f64 1/3 (+.f64 (acos.f64 (/.f64 (neg.f64 g) h)) (.f64 (PI.f64) 2))))
(cos.f64 (+.f64 (.f64 1/3 (acos.f64 (.f64 -1 (/.f64 g h)))) (*.f64 2/3 (PI.f64))))
(cos.f64 (+.f64 (.f64 2/3 (PI.f64)) (.f64 1/3 (acos.f64 (neg.f64 (/.f64 g h))))))
(cos.f64 (+.f64 (.f64 2/3 (PI.f64)) (.f64 1/3 (acos.f64 (/.f64 (neg.f64 g) h)))))
(cos.f64 (.f64 1/3 (+.f64 (acos.f64 (/.f64 (neg.f64 g) h)) (.f64 (PI.f64) 2))))
(cos.f64 (+.f64 (.f64 1/3 (acos.f64 (.f64 -1 (/.f64 g h)))) (*.f64 2/3 (PI.f64))))
(cos.f64 (+.f64 (.f64 2/3 (PI.f64)) (.f64 1/3 (acos.f64 (neg.f64 (/.f64 g h))))))
(cos.f64 (+.f64 (.f64 2/3 (PI.f64)) (.f64 1/3 (acos.f64 (/.f64 (neg.f64 g) h)))))
(cos.f64 (.f64 1/3 (+.f64 (acos.f64 (/.f64 (neg.f64 g) h)) (.f64 (PI.f64) 2))))
(cos.f64 (+.f64 (.f64 1/3 (acos.f64 (.f64 -1 (/.f64 g h)))) (*.f64 2/3 (PI.f64))))
(cos.f64 (+.f64 (.f64 2/3 (PI.f64)) (.f64 1/3 (acos.f64 (neg.f64 (/.f64 g h))))))
(cos.f64 (+.f64 (.f64 2/3 (PI.f64)) (.f64 1/3 (acos.f64 (/.f64 (neg.f64 g) h)))))
(cos.f64 (.f64 1/3 (+.f64 (acos.f64 (/.f64 (neg.f64 g) h)) (.f64 (PI.f64) 2))))
(cos.f64 (+.f64 (.f64 1/3 (acos.f64 (.f64 -1 (/.f64 g h)))) (*.f64 2/3 (PI.f64))))
(cos.f64 (+.f64 (.f64 2/3 (PI.f64)) (.f64 1/3 (acos.f64 (neg.f64 (/.f64 g h))))))
(cos.f64 (+.f64 (.f64 2/3 (PI.f64)) (.f64 1/3 (acos.f64 (/.f64 (neg.f64 g) h)))))
(cos.f64 (.f64 1/3 (+.f64 (acos.f64 (/.f64 (neg.f64 g) h)) (.f64 (PI.f64) 2))))
(cos.f64 (+.f64 (.f64 1/3 (acos.f64 (.f64 -1 (/.f64 g h)))) (*.f64 2/3 (PI.f64))))
(cos.f64 (+.f64 (.f64 2/3 (PI.f64)) (.f64 1/3 (acos.f64 (neg.f64 (/.f64 g h))))))
(cos.f64 (+.f64 (.f64 2/3 (PI.f64)) (.f64 1/3 (acos.f64 (/.f64 (neg.f64 g) h)))))
(cos.f64 (.f64 1/3 (+.f64 (acos.f64 (/.f64 (neg.f64 g) h)) (.f64 (PI.f64) 2))))
(cos.f64 (+.f64 (.f64 1/3 (acos.f64 (.f64 -1 (/.f64 g h)))) (*.f64 2/3 (PI.f64))))
(cos.f64 (+.f64 (.f64 2/3 (PI.f64)) (.f64 1/3 (acos.f64 (neg.f64 (/.f64 g h))))))
(cos.f64 (+.f64 (.f64 2/3 (PI.f64)) (.f64 1/3 (acos.f64 (/.f64 (neg.f64 g) h)))))
(cos.f64 (.f64 1/3 (+.f64 (acos.f64 (/.f64 (neg.f64 g) h)) (.f64 (PI.f64) 2))))
(cos.f64 (+.f64 (.f64 1/3 (acos.f64 (.f64 -1 (/.f64 g h)))) (*.f64 2/3 (PI.f64))))
(cos.f64 (+.f64 (.f64 2/3 (PI.f64)) (.f64 1/3 (acos.f64 (neg.f64 (/.f64 g h))))))
(cos.f64 (+.f64 (.f64 2/3 (PI.f64)) (.f64 1/3 (acos.f64 (/.f64 (neg.f64 g) h)))))
(cos.f64 (.f64 1/3 (+.f64 (acos.f64 (/.f64 (neg.f64 g) h)) (.f64 (PI.f64) 2))))
(cos.f64 (+.f64 (.f64 1/3 (acos.f64 (.f64 -1 (/.f64 g h)))) (*.f64 2/3 (PI.f64))))
(cos.f64 (+.f64 (.f64 2/3 (PI.f64)) (.f64 1/3 (acos.f64 (neg.f64 (/.f64 g h))))))
(cos.f64 (+.f64 (.f64 2/3 (PI.f64)) (.f64 1/3 (acos.f64 (/.f64 (neg.f64 g) h)))))
(cos.f64 (.f64 1/3 (+.f64 (acos.f64 (/.f64 (neg.f64 g) h)) (.f64 (PI.f64) 2))))
(cos.f64 (+.f64 (.f64 1/3 (acos.f64 (.f64 -1 (/.f64 g h)))) (*.f64 2/3 (PI.f64))))
(cos.f64 (+.f64 (.f64 2/3 (PI.f64)) (.f64 1/3 (acos.f64 (neg.f64 (/.f64 g h))))))
(cos.f64 (+.f64 (.f64 2/3 (PI.f64)) (.f64 1/3 (acos.f64 (/.f64 (neg.f64 g) h)))))
(cos.f64 (.f64 1/3 (+.f64 (acos.f64 (/.f64 (neg.f64 g) h)) (.f64 (PI.f64) 2))))
(cos.f64 (+.f64 (.f64 1/3 (acos.f64 (.f64 -1 (/.f64 g h)))) (*.f64 2/3 (PI.f64))))
(cos.f64 (+.f64 (.f64 2/3 (PI.f64)) (.f64 1/3 (acos.f64 (neg.f64 (/.f64 g h))))))
(cos.f64 (+.f64 (.f64 2/3 (PI.f64)) (.f64 1/3 (acos.f64 (/.f64 (neg.f64 g) h)))))
(cos.f64 (.f64 1/3 (+.f64 (acos.f64 (/.f64 (neg.f64 g) h)) (.f64 (PI.f64) 2))))
(cos.f64 (+.f64 (.f64 1/3 (acos.f64 (.f64 -1 (/.f64 g h)))) (*.f64 2/3 (PI.f64))))
(cos.f64 (+.f64 (.f64 2/3 (PI.f64)) (.f64 1/3 (acos.f64 (neg.f64 (/.f64 g h))))))
(cos.f64 (+.f64 (.f64 2/3 (PI.f64)) (.f64 1/3 (acos.f64 (/.f64 (neg.f64 g) h)))))
(cos.f64 (.f64 1/3 (+.f64 (acos.f64 (/.f64 (neg.f64 g) h)) (.f64 (PI.f64) 2))))
(cos.f64 (+.f64 (.f64 1/3 (acos.f64 (.f64 -1 (/.f64 g h)))) (*.f64 2/3 (PI.f64))))
(cos.f64 (+.f64 (.f64 2/3 (PI.f64)) (.f64 1/3 (acos.f64 (neg.f64 (/.f64 g h))))))
(cos.f64 (+.f64 (.f64 2/3 (PI.f64)) (.f64 1/3 (acos.f64 (/.f64 (neg.f64 g) h)))))
(cos.f64 (.f64 1/3 (+.f64 (acos.f64 (/.f64 (neg.f64 g) h)) (.f64 (PI.f64) 2))))
(cos.f64 (+.f64 (.f64 1/3 (acos.f64 (.f64 -1 (/.f64 g h)))) (*.f64 2/3 (PI.f64))))
(cos.f64 (+.f64 (.f64 2/3 (PI.f64)) (.f64 1/3 (acos.f64 (neg.f64 (/.f64 g h))))))
(cos.f64 (+.f64 (.f64 2/3 (PI.f64)) (.f64 1/3 (acos.f64 (/.f64 (neg.f64 g) h)))))
(cos.f64 (.f64 1/3 (+.f64 (acos.f64 (/.f64 (neg.f64 g) h)) (.f64 (PI.f64) 2))))
(cos.f64 (+.f64 (.f64 1/3 (acos.f64 (.f64 -1 (/.f64 g h)))) (*.f64 2/3 (PI.f64))))
(cos.f64 (+.f64 (.f64 2/3 (PI.f64)) (.f64 1/3 (acos.f64 (neg.f64 (/.f64 g h))))))
(cos.f64 (+.f64 (.f64 2/3 (PI.f64)) (.f64 1/3 (acos.f64 (/.f64 (neg.f64 g) h)))))
(cos.f64 (.f64 1/3 (+.f64 (acos.f64 (/.f64 (neg.f64 g) h)) (.f64 (PI.f64) 2))))
(cos.f64 (+.f64 (.f64 1/3 (acos.f64 (.f64 -1 (/.f64 g h)))) (*.f64 2/3 (PI.f64))))
(cos.f64 (+.f64 (.f64 2/3 (PI.f64)) (.f64 1/3 (acos.f64 (neg.f64 (/.f64 g h))))))
(cos.f64 (+.f64 (.f64 2/3 (PI.f64)) (.f64 1/3 (acos.f64 (/.f64 (neg.f64 g) h)))))
(cos.f64 (.f64 1/3 (+.f64 (acos.f64 (/.f64 (neg.f64 g) h)) (.f64 (PI.f64) 2))))
(cos.f64 (+.f64 (.f64 1/3 (acos.f64 (.f64 -1 (/.f64 g h)))) (*.f64 2/3 (PI.f64))))
(cos.f64 (+.f64 (.f64 2/3 (PI.f64)) (.f64 1/3 (acos.f64 (neg.f64 (/.f64 g h))))))
(cos.f64 (+.f64 (.f64 2/3 (PI.f64)) (.f64 1/3 (acos.f64 (/.f64 (neg.f64 g) h)))))
(cos.f64 (.f64 1/3 (+.f64 (acos.f64 (/.f64 (neg.f64 g) h)) (.f64 (PI.f64) 2))))
(+.f64 (.f64 1/3 (acos.f64 (.f64 -1 (/.f64 g h)))) (*.f64 2/3 (PI.f64)))
(+.f64 (.f64 2/3 (PI.f64)) (.f64 1/3 (acos.f64 (neg.f64 (/.f64 g h)))))
(+.f64 (.f64 2/3 (PI.f64)) (.f64 1/3 (acos.f64 (/.f64 (neg.f64 g) h))))
(.f64 1/3 (+.f64 (acos.f64 (/.f64 (neg.f64 g) h)) (.f64 (PI.f64) 2)))
(+.f64 (.f64 1/3 (acos.f64 (.f64 -1 (/.f64 g h)))) (*.f64 2/3 (PI.f64)))
(+.f64 (.f64 2/3 (PI.f64)) (.f64 1/3 (acos.f64 (neg.f64 (/.f64 g h)))))
(+.f64 (.f64 2/3 (PI.f64)) (.f64 1/3 (acos.f64 (/.f64 (neg.f64 g) h))))
(.f64 1/3 (+.f64 (acos.f64 (/.f64 (neg.f64 g) h)) (.f64 (PI.f64) 2)))
(+.f64 (.f64 1/3 (acos.f64 (.f64 -1 (/.f64 g h)))) (*.f64 2/3 (PI.f64)))
(+.f64 (.f64 2/3 (PI.f64)) (.f64 1/3 (acos.f64 (neg.f64 (/.f64 g h)))))
(+.f64 (.f64 2/3 (PI.f64)) (.f64 1/3 (acos.f64 (/.f64 (neg.f64 g) h))))
(.f64 1/3 (+.f64 (acos.f64 (/.f64 (neg.f64 g) h)) (.f64 (PI.f64) 2)))
(+.f64 (.f64 1/3 (acos.f64 (.f64 -1 (/.f64 g h)))) (*.f64 2/3 (PI.f64)))
(+.f64 (.f64 2/3 (PI.f64)) (.f64 1/3 (acos.f64 (neg.f64 (/.f64 g h)))))
(+.f64 (.f64 2/3 (PI.f64)) (.f64 1/3 (acos.f64 (/.f64 (neg.f64 g) h))))
(.f64 1/3 (+.f64 (acos.f64 (/.f64 (neg.f64 g) h)) (.f64 (PI.f64) 2)))
(+.f64 (.f64 1/3 (acos.f64 (.f64 -1 (/.f64 g h)))) (*.f64 2/3 (PI.f64)))
(+.f64 (.f64 2/3 (PI.f64)) (.f64 1/3 (acos.f64 (neg.f64 (/.f64 g h)))))
(+.f64 (.f64 2/3 (PI.f64)) (.f64 1/3 (acos.f64 (/.f64 (neg.f64 g) h))))
(.f64 1/3 (+.f64 (acos.f64 (/.f64 (neg.f64 g) h)) (.f64 (PI.f64) 2)))
(+.f64 (.f64 1/3 (acos.f64 (.f64 -1 (/.f64 g h)))) (*.f64 2/3 (PI.f64)))
(+.f64 (.f64 2/3 (PI.f64)) (.f64 1/3 (acos.f64 (neg.f64 (/.f64 g h)))))
(+.f64 (.f64 2/3 (PI.f64)) (.f64 1/3 (acos.f64 (/.f64 (neg.f64 g) h))))
(.f64 1/3 (+.f64 (acos.f64 (/.f64 (neg.f64 g) h)) (.f64 (PI.f64) 2)))
(+.f64 (.f64 1/3 (acos.f64 (.f64 -1 (/.f64 g h)))) (*.f64 2/3 (PI.f64)))
(+.f64 (.f64 2/3 (PI.f64)) (.f64 1/3 (acos.f64 (neg.f64 (/.f64 g h)))))
(+.f64 (.f64 2/3 (PI.f64)) (.f64 1/3 (acos.f64 (/.f64 (neg.f64 g) h))))
(.f64 1/3 (+.f64 (acos.f64 (/.f64 (neg.f64 g) h)) (.f64 (PI.f64) 2)))
(+.f64 (.f64 1/3 (acos.f64 (.f64 -1 (/.f64 g h)))) (*.f64 2/3 (PI.f64)))
(+.f64 (.f64 2/3 (PI.f64)) (.f64 1/3 (acos.f64 (neg.f64 (/.f64 g h)))))
(+.f64 (.f64 2/3 (PI.f64)) (.f64 1/3 (acos.f64 (/.f64 (neg.f64 g) h))))
(.f64 1/3 (+.f64 (acos.f64 (/.f64 (neg.f64 g) h)) (.f64 (PI.f64) 2)))
(+.f64 (.f64 1/3 (acos.f64 (.f64 -1 (/.f64 g h)))) (*.f64 2/3 (PI.f64)))
(+.f64 (.f64 2/3 (PI.f64)) (.f64 1/3 (acos.f64 (neg.f64 (/.f64 g h)))))
(+.f64 (.f64 2/3 (PI.f64)) (.f64 1/3 (acos.f64 (/.f64 (neg.f64 g) h))))
(.f64 1/3 (+.f64 (acos.f64 (/.f64 (neg.f64 g) h)) (.f64 (PI.f64) 2)))
(+.f64 (.f64 1/3 (acos.f64 (.f64 -1 (/.f64 g h)))) (*.f64 2/3 (PI.f64)))
(+.f64 (.f64 2/3 (PI.f64)) (.f64 1/3 (acos.f64 (neg.f64 (/.f64 g h)))))
(+.f64 (.f64 2/3 (PI.f64)) (.f64 1/3 (acos.f64 (/.f64 (neg.f64 g) h))))
(.f64 1/3 (+.f64 (acos.f64 (/.f64 (neg.f64 g) h)) (.f64 (PI.f64) 2)))
(+.f64 (.f64 1/3 (acos.f64 (.f64 -1 (/.f64 g h)))) (*.f64 2/3 (PI.f64)))
(+.f64 (.f64 2/3 (PI.f64)) (.f64 1/3 (acos.f64 (neg.f64 (/.f64 g h)))))
(+.f64 (.f64 2/3 (PI.f64)) (.f64 1/3 (acos.f64 (/.f64 (neg.f64 g) h))))
(.f64 1/3 (+.f64 (acos.f64 (/.f64 (neg.f64 g) h)) (.f64 (PI.f64) 2)))
(+.f64 (.f64 1/3 (acos.f64 (.f64 -1 (/.f64 g h)))) (*.f64 2/3 (PI.f64)))
(+.f64 (.f64 2/3 (PI.f64)) (.f64 1/3 (acos.f64 (neg.f64 (/.f64 g h)))))
(+.f64 (.f64 2/3 (PI.f64)) (.f64 1/3 (acos.f64 (/.f64 (neg.f64 g) h))))
(.f64 1/3 (+.f64 (acos.f64 (/.f64 (neg.f64 g) h)) (.f64 (PI.f64) 2)))
(+.f64 (.f64 1/3 (acos.f64 (.f64 -1 (/.f64 g h)))) (*.f64 2/3 (PI.f64)))
(+.f64 (.f64 2/3 (PI.f64)) (.f64 1/3 (acos.f64 (neg.f64 (/.f64 g h)))))
(+.f64 (.f64 2/3 (PI.f64)) (.f64 1/3 (acos.f64 (/.f64 (neg.f64 g) h))))
(.f64 1/3 (+.f64 (acos.f64 (/.f64 (neg.f64 g) h)) (.f64 (PI.f64) 2)))
(+.f64 (.f64 1/3 (acos.f64 (.f64 -1 (/.f64 g h)))) (*.f64 2/3 (PI.f64)))
(+.f64 (.f64 2/3 (PI.f64)) (.f64 1/3 (acos.f64 (neg.f64 (/.f64 g h)))))
(+.f64 (.f64 2/3 (PI.f64)) (.f64 1/3 (acos.f64 (/.f64 (neg.f64 g) h))))
(.f64 1/3 (+.f64 (acos.f64 (/.f64 (neg.f64 g) h)) (.f64 (PI.f64) 2)))
(+.f64 (.f64 1/3 (acos.f64 (.f64 -1 (/.f64 g h)))) (*.f64 2/3 (PI.f64)))
(+.f64 (.f64 2/3 (PI.f64)) (.f64 1/3 (acos.f64 (neg.f64 (/.f64 g h)))))
(+.f64 (.f64 2/3 (PI.f64)) (.f64 1/3 (acos.f64 (/.f64 (neg.f64 g) h))))
(.f64 1/3 (+.f64 (acos.f64 (/.f64 (neg.f64 g) h)) (.f64 (PI.f64) 2)))
(+.f64 (.f64 1/3 (acos.f64 (.f64 -1 (/.f64 g h)))) (*.f64 2/3 (PI.f64)))
(+.f64 (.f64 2/3 (PI.f64)) (.f64 1/3 (acos.f64 (neg.f64 (/.f64 g h)))))
(+.f64 (.f64 2/3 (PI.f64)) (.f64 1/3 (acos.f64 (/.f64 (neg.f64 g) h))))
(.f64 1/3 (+.f64 (acos.f64 (/.f64 (neg.f64 g) h)) (.f64 (PI.f64) 2)))
(+.f64 (.f64 1/3 (acos.f64 (.f64 -1 (/.f64 g h)))) (*.f64 2/3 (PI.f64)))
(+.f64 (.f64 2/3 (PI.f64)) (.f64 1/3 (acos.f64 (neg.f64 (/.f64 g h)))))
(+.f64 (.f64 2/3 (PI.f64)) (.f64 1/3 (acos.f64 (/.f64 (neg.f64 g) h))))
(.f64 1/3 (+.f64 (acos.f64 (/.f64 (neg.f64 g) h)) (.f64 (PI.f64) 2)))
(+.f64 (.f64 1/3 (acos.f64 (.f64 -1 (/.f64 g h)))) (*.f64 2/3 (PI.f64)))
(+.f64 (.f64 2/3 (PI.f64)) (.f64 1/3 (acos.f64 (neg.f64 (/.f64 g h)))))
(+.f64 (.f64 2/3 (PI.f64)) (.f64 1/3 (acos.f64 (/.f64 (neg.f64 g) h))))
(.f64 1/3 (+.f64 (acos.f64 (/.f64 (neg.f64 g) h)) (.f64 (PI.f64) 2)))
(+.f64 (.f64 1/3 (acos.f64 (.f64 -1 (/.f64 g h)))) (*.f64 2/3 (PI.f64)))
(+.f64 (.f64 2/3 (PI.f64)) (.f64 1/3 (acos.f64 (neg.f64 (/.f64 g h)))))
(+.f64 (.f64 2/3 (PI.f64)) (.f64 1/3 (acos.f64 (/.f64 (neg.f64 g) h))))
(.f64 1/3 (+.f64 (acos.f64 (/.f64 (neg.f64 g) h)) (.f64 (PI.f64) 2)))
(+.f64 (.f64 1/3 (acos.f64 (.f64 -1 (/.f64 g h)))) (*.f64 2/3 (PI.f64)))
(+.f64 (.f64 2/3 (PI.f64)) (.f64 1/3 (acos.f64 (neg.f64 (/.f64 g h)))))
(+.f64 (.f64 2/3 (PI.f64)) (.f64 1/3 (acos.f64 (/.f64 (neg.f64 g) h))))
(.f64 1/3 (+.f64 (acos.f64 (/.f64 (neg.f64 g) h)) (.f64 (PI.f64) 2)))
(+.f64 (.f64 1/3 (acos.f64 (.f64 -1 (/.f64 g h)))) (*.f64 2/3 (PI.f64)))
(+.f64 (.f64 2/3 (PI.f64)) (.f64 1/3 (acos.f64 (neg.f64 (/.f64 g h)))))
(+.f64 (.f64 2/3 (PI.f64)) (.f64 1/3 (acos.f64 (/.f64 (neg.f64 g) h))))
(.f64 1/3 (+.f64 (acos.f64 (/.f64 (neg.f64 g) h)) (.f64 (PI.f64) 2)))
(+.f64 (.f64 1/3 (acos.f64 (.f64 -1 (/.f64 g h)))) (*.f64 2/3 (PI.f64)))
(+.f64 (.f64 2/3 (PI.f64)) (.f64 1/3 (acos.f64 (neg.f64 (/.f64 g h)))))
(+.f64 (.f64 2/3 (PI.f64)) (.f64 1/3 (acos.f64 (/.f64 (neg.f64 g) h))))
(.f64 1/3 (+.f64 (acos.f64 (/.f64 (neg.f64 g) h)) (.f64 (PI.f64) 2)))
(+.f64 (.f64 1/3 (acos.f64 (.f64 -1 (/.f64 g h)))) (*.f64 2/3 (PI.f64)))
(+.f64 (.f64 2/3 (PI.f64)) (.f64 1/3 (acos.f64 (neg.f64 (/.f64 g h)))))
(+.f64 (.f64 2/3 (PI.f64)) (.f64 1/3 (acos.f64 (/.f64 (neg.f64 g) h))))
(.f64 1/3 (+.f64 (acos.f64 (/.f64 (neg.f64 g) h)) (.f64 (PI.f64) 2)))
(+.f64 (.f64 1/3 (acos.f64 (.f64 -1 (/.f64 g h)))) (*.f64 2/3 (PI.f64)))
(+.f64 (.f64 2/3 (PI.f64)) (.f64 1/3 (acos.f64 (neg.f64 (/.f64 g h)))))
(+.f64 (.f64 2/3 (PI.f64)) (.f64 1/3 (acos.f64 (/.f64 (neg.f64 g) h))))
(.f64 1/3 (+.f64 (acos.f64 (/.f64 (neg.f64 g) h)) (.f64 (PI.f64) 2)))
(.f64 1/3 (acos.f64 (.f64 -1 (/.f64 g h))))
(*.f64 1/3 (acos.f64 (neg.f64 (/.f64 g h))))
(*.f64 1/3 (acos.f64 (/.f64 (neg.f64 g) h)))
(.f64 1/3 (acos.f64 (.f64 -1 (/.f64 g h))))
(*.f64 1/3 (acos.f64 (neg.f64 (/.f64 g h))))
(*.f64 1/3 (acos.f64 (/.f64 (neg.f64 g) h)))
(.f64 1/3 (acos.f64 (.f64 -1 (/.f64 g h))))
(*.f64 1/3 (acos.f64 (neg.f64 (/.f64 g h))))
(*.f64 1/3 (acos.f64 (/.f64 (neg.f64 g) h)))
(.f64 1/3 (acos.f64 (.f64 -1 (/.f64 g h))))
(*.f64 1/3 (acos.f64 (neg.f64 (/.f64 g h))))
(*.f64 1/3 (acos.f64 (/.f64 (neg.f64 g) h)))
(.f64 1/3 (acos.f64 (.f64 -1 (/.f64 g h))))
(*.f64 1/3 (acos.f64 (neg.f64 (/.f64 g h))))
(*.f64 1/3 (acos.f64 (/.f64 (neg.f64 g) h)))
(.f64 1/3 (acos.f64 (.f64 -1 (/.f64 g h))))
(*.f64 1/3 (acos.f64 (neg.f64 (/.f64 g h))))
(*.f64 1/3 (acos.f64 (/.f64 (neg.f64 g) h)))
(.f64 1/3 (acos.f64 (.f64 -1 (/.f64 g h))))
(*.f64 1/3 (acos.f64 (neg.f64 (/.f64 g h))))
(*.f64 1/3 (acos.f64 (/.f64 (neg.f64 g) h)))
(.f64 1/3 (acos.f64 (.f64 -1 (/.f64 g h))))
(*.f64 1/3 (acos.f64 (neg.f64 (/.f64 g h))))
(*.f64 1/3 (acos.f64 (/.f64 (neg.f64 g) h)))
(.f64 1/3 (acos.f64 (.f64 -1 (/.f64 g h))))
(*.f64 1/3 (acos.f64 (neg.f64 (/.f64 g h))))
(*.f64 1/3 (acos.f64 (/.f64 (neg.f64 g) h)))
(.f64 1/3 (acos.f64 (.f64 -1 (/.f64 g h))))
(*.f64 1/3 (acos.f64 (neg.f64 (/.f64 g h))))
(*.f64 1/3 (acos.f64 (/.f64 (neg.f64 g) h)))
(.f64 1/3 (acos.f64 (.f64 -1 (/.f64 g h))))
(*.f64 1/3 (acos.f64 (neg.f64 (/.f64 g h))))
(*.f64 1/3 (acos.f64 (/.f64 (neg.f64 g) h)))
(.f64 1/3 (acos.f64 (.f64 -1 (/.f64 g h))))
(*.f64 1/3 (acos.f64 (neg.f64 (/.f64 g h))))
(*.f64 1/3 (acos.f64 (/.f64 (neg.f64 g) h)))
(.f64 1/3 (acos.f64 (.f64 -1 (/.f64 g h))))
(*.f64 1/3 (acos.f64 (neg.f64 (/.f64 g h))))
(*.f64 1/3 (acos.f64 (/.f64 (neg.f64 g) h)))
(.f64 1/3 (acos.f64 (.f64 -1 (/.f64 g h))))
(*.f64 1/3 (acos.f64 (neg.f64 (/.f64 g h))))
(*.f64 1/3 (acos.f64 (/.f64 (neg.f64 g) h)))
(.f64 1/3 (acos.f64 (.f64 -1 (/.f64 g h))))
(*.f64 1/3 (acos.f64 (neg.f64 (/.f64 g h))))
(*.f64 1/3 (acos.f64 (/.f64 (neg.f64 g) h)))
(.f64 1/3 (acos.f64 (.f64 -1 (/.f64 g h))))
(*.f64 1/3 (acos.f64 (neg.f64 (/.f64 g h))))
(*.f64 1/3 (acos.f64 (/.f64 (neg.f64 g) h)))
(.f64 1/3 (acos.f64 (.f64 -1 (/.f64 g h))))
(*.f64 1/3 (acos.f64 (neg.f64 (/.f64 g h))))
(*.f64 1/3 (acos.f64 (/.f64 (neg.f64 g) h)))
(.f64 1/3 (acos.f64 (.f64 -1 (/.f64 g h))))
(*.f64 1/3 (acos.f64 (neg.f64 (/.f64 g h))))
(*.f64 1/3 (acos.f64 (/.f64 (neg.f64 g) h)))
(.f64 1/3 (acos.f64 (.f64 -1 (/.f64 g h))))
(*.f64 1/3 (acos.f64 (neg.f64 (/.f64 g h))))
(*.f64 1/3 (acos.f64 (/.f64 (neg.f64 g) h)))
(.f64 1/3 (acos.f64 (.f64 -1 (/.f64 g h))))
(*.f64 1/3 (acos.f64 (neg.f64 (/.f64 g h))))
(*.f64 1/3 (acos.f64 (/.f64 (neg.f64 g) h)))
(.f64 1/3 (acos.f64 (.f64 -1 (/.f64 g h))))
(*.f64 1/3 (acos.f64 (neg.f64 (/.f64 g h))))
(*.f64 1/3 (acos.f64 (/.f64 (neg.f64 g) h)))
(.f64 1/3 (acos.f64 (.f64 -1 (/.f64 g h))))
(*.f64 1/3 (acos.f64 (neg.f64 (/.f64 g h))))
(*.f64 1/3 (acos.f64 (/.f64 (neg.f64 g) h)))
(.f64 1/3 (acos.f64 (.f64 -1 (/.f64 g h))))
(*.f64 1/3 (acos.f64 (neg.f64 (/.f64 g h))))
(*.f64 1/3 (acos.f64 (/.f64 (neg.f64 g) h)))
(.f64 1/3 (acos.f64 (.f64 -1 (/.f64 g h))))
(*.f64 1/3 (acos.f64 (neg.f64 (/.f64 g h))))
(*.f64 1/3 (acos.f64 (/.f64 (neg.f64 g) h)))
(+.f64 (*.f64 (PI.f64) 2/3) 0)
(*.f64 2/3 (PI.f64))
(+.f64 0 (*.f64 (PI.f64) 2/3))
(*.f64 2/3 (PI.f64))
(-.f64 (*.f64 (PI.f64) 2/3) 0)
(*.f64 2/3 (PI.f64))
(/.f64 (*.f64 (PI.f64) 2/3) 1)
(*.f64 2/3 (PI.f64))
(/.f64 (*.f64 (PI.f64) 4/3) 2)
(*.f64 2/3 (PI.f64))
(/.f64 (*.f64 (PI.f64) 8/3) 4)
(*.f64 2/3 (PI.f64))
(/.f64 (.f64 2 (.f64 (PI.f64) 8/3)) 8)
(*.f64 2/3 (PI.f64))
(/.f64 (+.f64 (.f64 2 (.f64 (PI.f64) 8/3)) (.f64 2 (.f64 (PI.f64) 8/3))) 16)
(*.f64 2/3 (PI.f64))
(+.f64 (cos.f64 (+.f64 (.f64 (PI.f64) 2/3) (.f64 (acos.f64 (neg.f64 (/.f64 g h))) 1/3))) 0)
(cos.f64 (+.f64 (.f64 2/3 (PI.f64)) (.f64 1/3 (acos.f64 (neg.f64 (/.f64 g h))))))
(cos.f64 (+.f64 (.f64 2/3 (PI.f64)) (.f64 1/3 (acos.f64 (/.f64 (neg.f64 g) h)))))
(cos.f64 (.f64 1/3 (+.f64 (acos.f64 (/.f64 (neg.f64 g) h)) (.f64 (PI.f64) 2))))
(+.f64 0 (cos.f64 (+.f64 (.f64 (PI.f64) 2/3) (.f64 (acos.f64 (neg.f64 (/.f64 g h))) 1/3))))
(cos.f64 (+.f64 (.f64 2/3 (PI.f64)) (.f64 1/3 (acos.f64 (neg.f64 (/.f64 g h))))))
(cos.f64 (+.f64 (.f64 2/3 (PI.f64)) (.f64 1/3 (acos.f64 (/.f64 (neg.f64 g) h)))))
(cos.f64 (.f64 1/3 (+.f64 (acos.f64 (/.f64 (neg.f64 g) h)) (.f64 (PI.f64) 2))))
(-.f64 (cos.f64 (+.f64 (.f64 (PI.f64) 2/3) (.f64 (acos.f64 (neg.f64 (/.f64 g h))) 1/3))) 0)
(cos.f64 (+.f64 (.f64 2/3 (PI.f64)) (.f64 1/3 (acos.f64 (neg.f64 (/.f64 g h))))))
(cos.f64 (+.f64 (.f64 2/3 (PI.f64)) (.f64 1/3 (acos.f64 (/.f64 (neg.f64 g) h)))))
(cos.f64 (.f64 1/3 (+.f64 (acos.f64 (/.f64 (neg.f64 g) h)) (.f64 (PI.f64) 2))))
(.f64 (cos.f64 (+.f64 (.f64 (PI.f64) 2/3) (*.f64 (acos.f64 (neg.f64 (/.f64 g h))) 1/3))) 1)
(cos.f64 (+.f64 (.f64 2/3 (PI.f64)) (.f64 1/3 (acos.f64 (neg.f64 (/.f64 g h))))))
(cos.f64 (+.f64 (.f64 2/3 (PI.f64)) (.f64 1/3 (acos.f64 (/.f64 (neg.f64 g) h)))))
(cos.f64 (.f64 1/3 (+.f64 (acos.f64 (/.f64 (neg.f64 g) h)) (.f64 (PI.f64) 2))))
(.f64 1 (cos.f64 (+.f64 (.f64 (PI.f64) 2/3) (*.f64 (acos.f64 (neg.f64 (/.f64 g h))) 1/3))))
(cos.f64 (+.f64 (.f64 2/3 (PI.f64)) (.f64 1/3 (acos.f64 (neg.f64 (/.f64 g h))))))
(cos.f64 (+.f64 (.f64 2/3 (PI.f64)) (.f64 1/3 (acos.f64 (/.f64 (neg.f64 g) h)))))
(cos.f64 (.f64 1/3 (+.f64 (acos.f64 (/.f64 (neg.f64 g) h)) (.f64 (PI.f64) 2))))
(.f64 2 (/.f64 (cos.f64 (+.f64 (.f64 (PI.f64) 2/3) (*.f64 (acos.f64 (neg.f64 (/.f64 g h))) 1/3))) 2))
(cos.f64 (+.f64 (.f64 2/3 (PI.f64)) (.f64 1/3 (acos.f64 (neg.f64 (/.f64 g h))))))
(cos.f64 (+.f64 (.f64 2/3 (PI.f64)) (.f64 1/3 (acos.f64 (/.f64 (neg.f64 g) h)))))
(cos.f64 (.f64 1/3 (+.f64 (acos.f64 (/.f64 (neg.f64 g) h)) (.f64 (PI.f64) 2))))
(.f64 (.f64 (cos.f64 (+.f64 (.f64 (PI.f64) 2/3) (.f64 (acos.f64 (neg.f64 (/.f64 g h))) 1/3))) 2) 1/2)
(cos.f64 (+.f64 (.f64 2/3 (PI.f64)) (.f64 1/3 (acos.f64 (neg.f64 (/.f64 g h))))))
(cos.f64 (+.f64 (.f64 2/3 (PI.f64)) (.f64 1/3 (acos.f64 (/.f64 (neg.f64 g) h)))))
(cos.f64 (.f64 1/3 (+.f64 (acos.f64 (/.f64 (neg.f64 g) h)) (.f64 (PI.f64) 2))))
(.f64 1/2 (.f64 (cos.f64 (+.f64 (.f64 (PI.f64) 2/3) (.f64 (acos.f64 (neg.f64 (/.f64 g h))) 1/3))) 2))
(cos.f64 (+.f64 (.f64 2/3 (PI.f64)) (.f64 1/3 (acos.f64 (neg.f64 (/.f64 g h))))))
(cos.f64 (+.f64 (.f64 2/3 (PI.f64)) (.f64 1/3 (acos.f64 (/.f64 (neg.f64 g) h)))))
(cos.f64 (.f64 1/3 (+.f64 (acos.f64 (/.f64 (neg.f64 g) h)) (.f64 (PI.f64) 2))))
(.f64 (/.f64 (cos.f64 (+.f64 (.f64 (PI.f64) 2/3) (*.f64 (acos.f64 (neg.f64 (/.f64 g h))) 1/3))) 2) 2)
(cos.f64 (+.f64 (.f64 2/3 (PI.f64)) (.f64 1/3 (acos.f64 (neg.f64 (/.f64 g h))))))
(cos.f64 (+.f64 (.f64 2/3 (PI.f64)) (.f64 1/3 (acos.f64 (/.f64 (neg.f64 g) h)))))
(cos.f64 (.f64 1/3 (+.f64 (acos.f64 (/.f64 (neg.f64 g) h)) (.f64 (PI.f64) 2))))
(/.f64 (cos.f64 (+.f64 (.f64 (PI.f64) 2/3) (.f64 (acos.f64 (neg.f64 (/.f64 g h))) 1/3))) 1)
(cos.f64 (+.f64 (.f64 2/3 (PI.f64)) (.f64 1/3 (acos.f64 (neg.f64 (/.f64 g h))))))
(cos.f64 (+.f64 (.f64 2/3 (PI.f64)) (.f64 1/3 (acos.f64 (/.f64 (neg.f64 g) h)))))
(cos.f64 (.f64 1/3 (+.f64 (acos.f64 (/.f64 (neg.f64 g) h)) (.f64 (PI.f64) 2))))
(/.f64 (.f64 (cos.f64 (+.f64 (.f64 (PI.f64) 2/3) (*.f64 (acos.f64 (neg.f64 (/.f64 g h))) 1/3))) 2) 2)
(cos.f64 (+.f64 (.f64 2/3 (PI.f64)) (.f64 1/3 (acos.f64 (neg.f64 (/.f64 g h))))))
(cos.f64 (+.f64 (.f64 2/3 (PI.f64)) (.f64 1/3 (acos.f64 (/.f64 (neg.f64 g) h)))))
(cos.f64 (.f64 1/3 (+.f64 (acos.f64 (/.f64 (neg.f64 g) h)) (.f64 (PI.f64) 2))))
(/.f64 (.f64 (cos.f64 (+.f64 (.f64 (PI.f64) 2/3) (*.f64 (acos.f64 (neg.f64 (/.f64 g h))) 1/3))) 4) 4)
(cos.f64 (+.f64 (.f64 2/3 (PI.f64)) (.f64 1/3 (acos.f64 (neg.f64 (/.f64 g h))))))
(cos.f64 (+.f64 (.f64 2/3 (PI.f64)) (.f64 1/3 (acos.f64 (/.f64 (neg.f64 g) h)))))
(cos.f64 (.f64 1/3 (+.f64 (acos.f64 (/.f64 (neg.f64 g) h)) (.f64 (PI.f64) 2))))
(/.f64 (.f64 2 (.f64 (cos.f64 (+.f64 (.f64 (PI.f64) 2/3) (.f64 (acos.f64 (neg.f64 (/.f64 g h))) 1/3))) 4)) 8)
(cos.f64 (+.f64 (.f64 2/3 (PI.f64)) (.f64 1/3 (acos.f64 (neg.f64 (/.f64 g h))))))
(cos.f64 (+.f64 (.f64 2/3 (PI.f64)) (.f64 1/3 (acos.f64 (/.f64 (neg.f64 g) h)))))
(cos.f64 (.f64 1/3 (+.f64 (acos.f64 (/.f64 (neg.f64 g) h)) (.f64 (PI.f64) 2))))
(/.f64 (+.f64 (.f64 2 (.f64 (cos.f64 (+.f64 (.f64 (PI.f64) 2/3) (.f64 (acos.f64 (neg.f64 (/.f64 g h))) 1/3))) 4)) (.f64 2 (.f64 (cos.f64 (+.f64 (.f64 (PI.f64) 2/3) (.f64 (acos.f64 (neg.f64 (/.f64 g h))) 1/3))) 4))) 16)
(cos.f64 (+.f64 (.f64 2/3 (PI.f64)) (.f64 1/3 (acos.f64 (neg.f64 (/.f64 g h))))))
(cos.f64 (+.f64 (.f64 2/3 (PI.f64)) (.f64 1/3 (acos.f64 (/.f64 (neg.f64 g) h)))))
(cos.f64 (.f64 1/3 (+.f64 (acos.f64 (/.f64 (neg.f64 g) h)) (.f64 (PI.f64) 2))))
(-.f64 (+.f64 (.f64 (PI.f64) 2/3) (.f64 (acos.f64 (neg.f64 (/.f64 g h))) 1/3)) 0)
(+.f64 (.f64 2/3 (PI.f64)) (.f64 1/3 (acos.f64 (neg.f64 (/.f64 g h)))))
(+.f64 (.f64 2/3 (PI.f64)) (.f64 1/3 (acos.f64 (/.f64 (neg.f64 g) h))))
(.f64 1/3 (+.f64 (acos.f64 (/.f64 (neg.f64 g) h)) (.f64 (PI.f64) 2)))
(-.f64 0 (neg.f64 (+.f64 (.f64 (PI.f64) 2/3) (.f64 (acos.f64 (neg.f64 (/.f64 g h))) 1/3))))
(+.f64 (.f64 2/3 (PI.f64)) (.f64 1/3 (acos.f64 (neg.f64 (/.f64 g h)))))
(+.f64 (.f64 2/3 (PI.f64)) (.f64 1/3 (acos.f64 (/.f64 (neg.f64 g) h))))
(.f64 1/3 (+.f64 (acos.f64 (/.f64 (neg.f64 g) h)) (.f64 (PI.f64) 2)))
(.f64 (+.f64 (.f64 (PI.f64) 2/3) (*.f64 (acos.f64 (neg.f64 (/.f64 g h))) 1/3)) 1)
(+.f64 (.f64 2/3 (PI.f64)) (.f64 1/3 (acos.f64 (neg.f64 (/.f64 g h)))))
(+.f64 (.f64 2/3 (PI.f64)) (.f64 1/3 (acos.f64 (/.f64 (neg.f64 g) h))))
(.f64 1/3 (+.f64 (acos.f64 (/.f64 (neg.f64 g) h)) (.f64 (PI.f64) 2)))
(.f64 1 (+.f64 (.f64 (PI.f64) 2/3) (*.f64 (acos.f64 (neg.f64 (/.f64 g h))) 1/3)))
(+.f64 (.f64 2/3 (PI.f64)) (.f64 1/3 (acos.f64 (neg.f64 (/.f64 g h)))))
(+.f64 (.f64 2/3 (PI.f64)) (.f64 1/3 (acos.f64 (/.f64 (neg.f64 g) h))))
(.f64 1/3 (+.f64 (acos.f64 (/.f64 (neg.f64 g) h)) (.f64 (PI.f64) 2)))
(.f64 -1 (neg.f64 (+.f64 (.f64 (PI.f64) 2/3) (*.f64 (acos.f64 (neg.f64 (/.f64 g h))) 1/3))))
(+.f64 (.f64 2/3 (PI.f64)) (.f64 1/3 (acos.f64 (neg.f64 (/.f64 g h)))))
(+.f64 (.f64 2/3 (PI.f64)) (.f64 1/3 (acos.f64 (/.f64 (neg.f64 g) h))))
(.f64 1/3 (+.f64 (acos.f64 (/.f64 (neg.f64 g) h)) (.f64 (PI.f64) 2)))
(.f64 (neg.f64 (+.f64 (.f64 (PI.f64) 2/3) (*.f64 (acos.f64 (neg.f64 (/.f64 g h))) 1/3))) -1)
(+.f64 (.f64 2/3 (PI.f64)) (.f64 1/3 (acos.f64 (neg.f64 (/.f64 g h)))))
(+.f64 (.f64 2/3 (PI.f64)) (.f64 1/3 (acos.f64 (/.f64 (neg.f64 g) h))))
(.f64 1/3 (+.f64 (acos.f64 (/.f64 (neg.f64 g) h)) (.f64 (PI.f64) 2)))
(.f64 2 (/.f64 (+.f64 (.f64 (PI.f64) 2/3) (*.f64 (acos.f64 (neg.f64 (/.f64 g h))) 1/3)) 2))
(+.f64 (.f64 2/3 (PI.f64)) (.f64 1/3 (acos.f64 (neg.f64 (/.f64 g h)))))
(+.f64 (.f64 2/3 (PI.f64)) (.f64 1/3 (acos.f64 (/.f64 (neg.f64 g) h))))
(.f64 1/3 (+.f64 (acos.f64 (/.f64 (neg.f64 g) h)) (.f64 (PI.f64) 2)))
(.f64 (.f64 (+.f64 (.f64 (PI.f64) 2/3) (.f64 (acos.f64 (neg.f64 (/.f64 g h))) 1/3)) 2) 1/2)
(+.f64 (.f64 2/3 (PI.f64)) (.f64 1/3 (acos.f64 (neg.f64 (/.f64 g h)))))
(+.f64 (.f64 2/3 (PI.f64)) (.f64 1/3 (acos.f64 (/.f64 (neg.f64 g) h))))
(.f64 1/3 (+.f64 (acos.f64 (/.f64 (neg.f64 g) h)) (.f64 (PI.f64) 2)))
(.f64 1/3 (+.f64 (.f64 (PI.f64) 2) (acos.f64 (neg.f64 (/.f64 g h)))))
(+.f64 (.f64 2/3 (PI.f64)) (.f64 1/3 (acos.f64 (neg.f64 (/.f64 g h)))))
(+.f64 (.f64 2/3 (PI.f64)) (.f64 1/3 (acos.f64 (/.f64 (neg.f64 g) h))))
(.f64 1/3 (+.f64 (acos.f64 (/.f64 (neg.f64 g) h)) (.f64 (PI.f64) 2)))
(.f64 1/2 (.f64 (+.f64 (.f64 (PI.f64) 2/3) (.f64 (acos.f64 (neg.f64 (/.f64 g h))) 1/3)) 2))
(+.f64 (.f64 2/3 (PI.f64)) (.f64 1/3 (acos.f64 (neg.f64 (/.f64 g h)))))
(+.f64 (.f64 2/3 (PI.f64)) (.f64 1/3 (acos.f64 (/.f64 (neg.f64 g) h))))
(.f64 1/3 (+.f64 (acos.f64 (/.f64 (neg.f64 g) h)) (.f64 (PI.f64) 2)))
(.f64 1/2 (+.f64 (.f64 (PI.f64) 4/3) (*.f64 2/3 (acos.f64 (neg.f64 (/.f64 g h))))))
(+.f64 (.f64 2/3 (PI.f64)) (.f64 1/3 (acos.f64 (neg.f64 (/.f64 g h)))))
(+.f64 (.f64 2/3 (PI.f64)) (.f64 1/3 (acos.f64 (/.f64 (neg.f64 g) h))))
(.f64 1/3 (+.f64 (acos.f64 (/.f64 (neg.f64 g) h)) (.f64 (PI.f64) 2)))
(.f64 (/.f64 (+.f64 (.f64 (PI.f64) 2/3) (*.f64 (acos.f64 (neg.f64 (/.f64 g h))) 1/3)) 2) 2)
(+.f64 (.f64 2/3 (PI.f64)) (.f64 1/3 (acos.f64 (neg.f64 (/.f64 g h)))))
(+.f64 (.f64 2/3 (PI.f64)) (.f64 1/3 (acos.f64 (/.f64 (neg.f64 g) h))))
(.f64 1/3 (+.f64 (acos.f64 (/.f64 (neg.f64 g) h)) (.f64 (PI.f64) 2)))
(/.f64 (+.f64 (.f64 (PI.f64) 2/3) (.f64 (acos.f64 (neg.f64 (/.f64 g h))) 1/3)) 1)
(+.f64 (.f64 2/3 (PI.f64)) (.f64 1/3 (acos.f64 (neg.f64 (/.f64 g h)))))
(+.f64 (.f64 2/3 (PI.f64)) (.f64 1/3 (acos.f64 (/.f64 (neg.f64 g) h))))
(.f64 1/3 (+.f64 (acos.f64 (/.f64 (neg.f64 g) h)) (.f64 (PI.f64) 2)))
(/.f64 (neg.f64 (+.f64 (.f64 (PI.f64) 2/3) (.f64 (acos.f64 (neg.f64 (/.f64 g h))) 1/3))) -1)
(+.f64 (.f64 2/3 (PI.f64)) (.f64 1/3 (acos.f64 (neg.f64 (/.f64 g h)))))
(+.f64 (.f64 2/3 (PI.f64)) (.f64 1/3 (acos.f64 (/.f64 (neg.f64 g) h))))
(.f64 1/3 (+.f64 (acos.f64 (/.f64 (neg.f64 g) h)) (.f64 (PI.f64) 2)))
(/.f64 (.f64 (+.f64 (.f64 (PI.f64) 2/3) (*.f64 (acos.f64 (neg.f64 (/.f64 g h))) 1/3)) 2) 2)
(+.f64 (.f64 2/3 (PI.f64)) (.f64 1/3 (acos.f64 (neg.f64 (/.f64 g h)))))
(+.f64 (.f64 2/3 (PI.f64)) (.f64 1/3 (acos.f64 (/.f64 (neg.f64 g) h))))
(.f64 1/3 (+.f64 (acos.f64 (/.f64 (neg.f64 g) h)) (.f64 (PI.f64) 2)))
(/.f64 (.f64 (+.f64 (.f64 (PI.f64) 2/3) (*.f64 (acos.f64 (neg.f64 (/.f64 g h))) 1/3)) -2) -2)
(+.f64 (.f64 2/3 (PI.f64)) (.f64 1/3 (acos.f64 (neg.f64 (/.f64 g h)))))
(+.f64 (.f64 2/3 (PI.f64)) (.f64 1/3 (acos.f64 (/.f64 (neg.f64 g) h))))
(.f64 1/3 (+.f64 (acos.f64 (/.f64 (neg.f64 g) h)) (.f64 (PI.f64) 2)))
(/.f64 (.f64 (+.f64 (.f64 (PI.f64) 2/3) (*.f64 (acos.f64 (neg.f64 (/.f64 g h))) 1/3)) 4) 4)
(+.f64 (.f64 2/3 (PI.f64)) (.f64 1/3 (acos.f64 (neg.f64 (/.f64 g h)))))
(+.f64 (.f64 2/3 (PI.f64)) (.f64 1/3 (acos.f64 (/.f64 (neg.f64 g) h))))
(.f64 1/3 (+.f64 (acos.f64 (/.f64 (neg.f64 g) h)) (.f64 (PI.f64) 2)))
(/.f64 (.f64 2 (.f64 (+.f64 (.f64 (PI.f64) 2/3) (.f64 (acos.f64 (neg.f64 (/.f64 g h))) 1/3)) 4)) 8)
(+.f64 (.f64 2/3 (PI.f64)) (.f64 1/3 (acos.f64 (neg.f64 (/.f64 g h)))))
(+.f64 (.f64 2/3 (PI.f64)) (.f64 1/3 (acos.f64 (/.f64 (neg.f64 g) h))))
(.f64 1/3 (+.f64 (acos.f64 (/.f64 (neg.f64 g) h)) (.f64 (PI.f64) 2)))
(/.f64 (.f64 (neg.f64 (+.f64 (.f64 (PI.f64) 2/3) (*.f64 (acos.f64 (neg.f64 (/.f64 g h))) 1/3))) 4) -4)
(+.f64 (.f64 2/3 (PI.f64)) (.f64 1/3 (acos.f64 (neg.f64 (/.f64 g h)))))
(+.f64 (.f64 2/3 (PI.f64)) (.f64 1/3 (acos.f64 (/.f64 (neg.f64 g) h))))
(.f64 1/3 (+.f64 (acos.f64 (/.f64 (neg.f64 g) h)) (.f64 (PI.f64) 2)))
(/.f64 (neg.f64 (.f64 (+.f64 (.f64 (PI.f64) 2/3) (*.f64 (acos.f64 (neg.f64 (/.f64 g h))) 1/3)) -2)) 2)
(+.f64 (.f64 2/3 (PI.f64)) (.f64 1/3 (acos.f64 (neg.f64 (/.f64 g h)))))
(+.f64 (.f64 2/3 (PI.f64)) (.f64 1/3 (acos.f64 (/.f64 (neg.f64 g) h))))
(.f64 1/3 (+.f64 (acos.f64 (/.f64 (neg.f64 g) h)) (.f64 (PI.f64) 2)))
(/.f64 (+.f64 (.f64 2 (.f64 (+.f64 (.f64 (PI.f64) 2/3) (.f64 (acos.f64 (neg.f64 (/.f64 g h))) 1/3)) 4)) (.f64 2 (.f64 (+.f64 (.f64 (PI.f64) 2/3) (.f64 (acos.f64 (neg.f64 (/.f64 g h))) 1/3)) 4))) 16)
(+.f64 (.f64 2/3 (PI.f64)) (.f64 1/3 (acos.f64 (neg.f64 (/.f64 g h)))))
(+.f64 (.f64 2/3 (PI.f64)) (.f64 1/3 (acos.f64 (/.f64 (neg.f64 g) h))))
(.f64 1/3 (+.f64 (acos.f64 (/.f64 (neg.f64 g) h)) (.f64 (PI.f64) 2)))
(/.f64 (+.f64 (neg.f64 (.f64 (+.f64 (.f64 (PI.f64) 2/3) (.f64 (acos.f64 (neg.f64 (/.f64 g h))) 1/3)) -2)) (neg.f64 (.f64 (+.f64 (.f64 (PI.f64) 2/3) (.f64 (acos.f64 (neg.f64 (/.f64 g h))) 1/3)) -2))) 4)
(+.f64 (.f64 2/3 (PI.f64)) (.f64 1/3 (acos.f64 (neg.f64 (/.f64 g h)))))
(+.f64 (.f64 2/3 (PI.f64)) (.f64 1/3 (acos.f64 (/.f64 (neg.f64 g) h))))
(.f64 1/3 (+.f64 (acos.f64 (/.f64 (neg.f64 g) h)) (.f64 (PI.f64) 2)))
(neg.f64 (neg.f64 (+.f64 (.f64 (PI.f64) 2/3) (.f64 (acos.f64 (neg.f64 (/.f64 g h))) 1/3))))
(+.f64 (.f64 2/3 (PI.f64)) (.f64 1/3 (acos.f64 (neg.f64 (/.f64 g h)))))
(+.f64 (.f64 2/3 (PI.f64)) (.f64 1/3 (acos.f64 (/.f64 (neg.f64 g) h))))
(.f64 1/3 (+.f64 (acos.f64 (/.f64 (neg.f64 g) h)) (.f64 (PI.f64) 2)))
(+.f64 (*.f64 (acos.f64 (neg.f64 (/.f64 g h))) 1/3) 0)
(*.f64 1/3 (acos.f64 (neg.f64 (/.f64 g h))))
(*.f64 1/3 (acos.f64 (/.f64 (neg.f64 g) h)))
(+.f64 0 (*.f64 (acos.f64 (neg.f64 (/.f64 g h))) 1/3))
(*.f64 1/3 (acos.f64 (neg.f64 (/.f64 g h))))
(*.f64 1/3 (acos.f64 (/.f64 (neg.f64 g) h)))
(-.f64 (*.f64 (acos.f64 (neg.f64 (/.f64 g h))) 1/3) 0)
(*.f64 1/3 (acos.f64 (neg.f64 (/.f64 g h))))
(*.f64 1/3 (acos.f64 (/.f64 (neg.f64 g) h)))
(*.f64 (acos.f64 (neg.f64 (/.f64 g h))) 1/3)
(*.f64 1/3 (acos.f64 (neg.f64 (/.f64 g h))))
(*.f64 1/3 (acos.f64 (/.f64 (neg.f64 g) h)))
(.f64 (.f64 (acos.f64 (neg.f64 (/.f64 g h))) 1/3) 1)
(*.f64 1/3 (acos.f64 (neg.f64 (/.f64 g h))))
(*.f64 1/3 (acos.f64 (/.f64 (neg.f64 g) h)))
(.f64 1 (.f64 (acos.f64 (neg.f64 (/.f64 g h))) 1/3))
(*.f64 1/3 (acos.f64 (neg.f64 (/.f64 g h))))
(*.f64 1/3 (acos.f64 (/.f64 (neg.f64 g) h)))
(.f64 (.f64 (acos.f64 (neg.f64 (/.f64 g h))) 2) 1/6)
(*.f64 1/3 (acos.f64 (neg.f64 (/.f64 g h))))
(*.f64 1/3 (acos.f64 (/.f64 (neg.f64 g) h)))
(*.f64 2 (/.f64 (acos.f64 (neg.f64 (/.f64 g h))) 6))
(*.f64 2 (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 6))
(.f64 2 (/.f64 (.f64 (acos.f64 (neg.f64 (/.f64 g h))) 1/3) 2))
(*.f64 1/3 (acos.f64 (neg.f64 (/.f64 g h))))
(*.f64 1/3 (acos.f64 (/.f64 (neg.f64 g) h)))
(.f64 (.f64 2/3 (acos.f64 (neg.f64 (/.f64 g h)))) 1/2)
(*.f64 1/3 (acos.f64 (neg.f64 (/.f64 g h))))
(*.f64 1/3 (acos.f64 (/.f64 (neg.f64 g) h)))
(.f64 (.f64 (acos.f64 (neg.f64 (/.f64 g h))) 4) 1/12)
(*.f64 1/3 (acos.f64 (neg.f64 (/.f64 g h))))
(*.f64 1/3 (acos.f64 (/.f64 (neg.f64 g) h)))
(*.f64 1/3 (acos.f64 (neg.f64 (/.f64 g h))))
(*.f64 1/3 (acos.f64 (/.f64 (neg.f64 g) h)))
(.f64 1/6 (.f64 (acos.f64 (neg.f64 (/.f64 g h))) 2))
(*.f64 1/3 (acos.f64 (neg.f64 (/.f64 g h))))
(*.f64 1/3 (acos.f64 (/.f64 (neg.f64 g) h)))
(.f64 1/2 (.f64 2/3 (acos.f64 (neg.f64 (/.f64 g h)))))
(*.f64 1/3 (acos.f64 (neg.f64 (/.f64 g h))))
(*.f64 1/3 (acos.f64 (/.f64 (neg.f64 g) h)))
(*.f64 (/.f64 (acos.f64 (neg.f64 (/.f64 g h))) 6) 2)
(*.f64 2 (/.f64 (acos.f64 (neg.f64 (/.f64 g h))) 6))
(*.f64 2 (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 6))
(.f64 (/.f64 (.f64 (acos.f64 (neg.f64 (/.f64 g h))) 1/3) 2) 2)
(*.f64 1/3 (acos.f64 (neg.f64 (/.f64 g h))))
(*.f64 1/3 (acos.f64 (/.f64 (neg.f64 g) h)))
(.f64 1/12 (.f64 (acos.f64 (neg.f64 (/.f64 g h))) 4))
(*.f64 1/3 (acos.f64 (neg.f64 (/.f64 g h))))
(*.f64 1/3 (acos.f64 (/.f64 (neg.f64 g) h)))

eval31.0ms (0.6%)

Compiler: Compiled 1278 to 828 computations (35.2% saved)

prune9.0ms (0.2%)

Pruning

1 alts after pruning (0 fresh and 1 done)

	Pruned	Kept	Total
New	74	0	74
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	74	1	75

Error

1.0b

Counts

75 → 1

Alt Table

Click to see full alt table

Status	Error	Program
✓	1.0b	(.f64 2 (cos.f64 (+.f64 (.f64 (PI.f64) 2/3) (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3))))

Compiler

Compiled 16 to 14 computations (12.5% saved)

regimes96.0ms (2%)

Accuracy

Total 0.0b remaining (0%)

Threshold costs 0.0b (0%)

Counts

2 → 1

Calls

Call 1

Inputs
(.f64 2 (cos.f64 (+.f64 (.f64 (PI.f64) 2/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 g) h)) 3))))

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

Calls

9 calls:

75.0ms	h
4.0ms	(neg.f64 g)
3.0ms	g
3.0ms	(/.f64 (neg.f64 g) h)
2.0ms	(.f64 2 (cos.f64 (+.f64 (/.f64 (.f64 2 (PI.f64)) 3) (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3))))

Results

Error	Segments	Branch
1.0b	1	`g`
1.0b	1	`h`
1.0b	1	`(.f64 2 (cos.f64 (+.f64 (/.f64 (.f64 2 (PI.f64)) 3) (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3))))`
1.0b	1	`(cos.f64 (+.f64 (/.f64 (*.f64 2 (PI.f64)) 3) (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3)))`
1.0b	1	`(+.f64 (/.f64 (*.f64 2 (PI.f64)) 3) (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3))`
1.0b	1	`(/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3)`
1.0b	1	`(acos.f64 (/.f64 (neg.f64 g) h))`
1.0b	1	`(/.f64 (neg.f64 g) h)`
1.0b	1	`(neg.f64 g)`

Compiler

Compiled 113 to 90 computations (20.4% saved)

simplify2.0ms (0%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	18	45

Stop Event

1×	done
1×	saturated

Calls

Call 1

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

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

Compiler

Compiled 16 to 14 computations (12.5% saved)

soundness561.0ms (11.5%)

Algorithm

1×	egg-herbie

Rules

1320×	`rational.json-simplify-35`
1300×	`rational.json-simplify-50`
1278×	`rational.json-simplify-52`
966×	`rational.json-simplify-1`
956×	`rational.json-simplify-2`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	18	45
1	40	45
2	72	45
3	126	45
4	236	45
5	459	45
6	1052	45
7	1714	45
8	2867	45
9	3770	45
10	5022	45
11	6740	45

Stop Event

1×	node limit

Compiler

Compiled 48 to 34 computations (29.2% saved)

end17.0ms (0.3%)

Compiler: Compiled 16 to 14 computations (12.5% saved)

Details

analyze99.0ms (2%)

sample3.2s (65.3%)

preprocess115.0ms (2.4%)

simplify94.0ms (1.9%)

eval1.0ms (0%)

prune1.0ms (0%)

localize130.0ms (2.7%)

series7.0ms (0.1%)

rewrite94.0ms (1.9%)

simplify434.0ms (8.9%)

eval31.0ms (0.6%)

prune9.0ms (0.2%)

regimes96.0ms (2%)

simplify2.0ms (0%)

soundness561.0ms (11.5%)

end17.0ms (0.3%)

Profiling