Details

Time bar (total: 9.0s)

analyze813.0ms (9%)

Algorithm
search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%100%0%0%0%0%0
0%0%100%0%0%0%0%1
0%0%100%0%0%0%0%2
0%0%100%0%0%0%0%3
0%0%100%0%0%0%0%4
0%0%100%0%0%0%0%5
0%0%100%0%0%0%0%6
0%0%100%0%0%0%0%7
0%0%100%0%0%0%0%8
0%0%100%0%0%0%0%9
0%0%100%0%0%0%0%10
0%0%100%0%0%0%0%11
0%0%100%0%0%0%0%12
Compiler

Compiled 16 to 11 computations (31.3% saved)

sample6.9s (77%)

Results
3.6s4126×body2048valid
1.7s8553×body256invalid
894.0ms2064×body1024valid
496.0ms1043×body512valid
187.0ms1023×body256valid
Bogosity

preprocess147.0ms (1.6%)

Algorithm
egg-herbie
Rules
1280×rational_best_45_simplify-96
1104×rational_best_45_simplify-98
1052×rational_best_45_simplify-84
918×rational_best_45_simplify-44
752×rational_best_45_simplify-40
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01241
12641
26041
318541
474541
5241341
6662941
011
Stop Event
saturated
node limit
Calls
Call 1
Inputs
0
Outputs
0
Call 2
Inputs
(acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (-.f64 (*.f64 v v) 1)))
Outputs
(acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (-.f64 (*.f64 v v) 1)))
(acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1)))
Compiler

Compiled 16 to 11 computations (31.3% saved)

simplify137.0ms (1.5%)

Algorithm
egg-herbie
Rules
1280×rational_best_45_simplify-96
1104×rational_best_45_simplify-98
1052×rational_best_45_simplify-84
918×rational_best_45_simplify-44
752×rational_best_45_simplify-40
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01241
12641
26041
318541
474541
5241341
6662941
Stop Event
node limit
Counts
1 → 2
Calls
Call 1
Inputs
(acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (-.f64 (*.f64 v v) 1)))
Outputs
(acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (-.f64 (*.f64 v v) 1)))
(acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1)))

eval1.0ms (0%)

Compiler

Compiled 29 to 18 computations (37.9% saved)

prune2.0ms (0%)

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New112
Fresh011
Picked000
Done000
Total123
Error
0.8b
Counts
3 → 1
Alt Table
Click to see full alt table
StatusErrorProgram
0.8b
(acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (-.f64 (*.f64 v v) 1)))
Compiler

Compiled 15 to 10 computations (33.3% saved)

localize30.0ms (0.3%)

Local error

Found 3 expressions with local error:

NewErrorProgram
0.0b
(/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (-.f64 (*.f64 v v) 1))
0.2b
(*.f64 5 (*.f64 v v))
0.8b
(acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (-.f64 (*.f64 v v) 1)))
Compiler

Compiled 51 to 27 computations (47.1% saved)

series6.0ms (0.1%)

Counts
3 → 36
Calls

9 calls:

TimeVariablePointExpression
2.0ms
v
@0
(*.f64 5 (*.f64 v v))
1.0ms
v
@inf
(*.f64 5 (*.f64 v v))
1.0ms
v
@-inf
(/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (-.f64 (*.f64 v v) 1))
1.0ms
v
@inf
(/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (-.f64 (*.f64 v v) 1))
0.0ms
v
@0
(/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (-.f64 (*.f64 v v) 1))

rewrite119.0ms (1.3%)

Algorithm
batch-egg-rewrite
Rules
1548×rational_best-4
1548×rational_best-2
1548×rational_best-3
1548×rational_best-1
796×rational_best_45_simplify-25
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01291
17291
219391
369491
4319191
Stop Event
node limit
Counts
3 → 87
Calls
Call 1
Inputs
(acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (-.f64 (*.f64 v v) 1)))
(*.f64 5 (*.f64 v v))
(/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (-.f64 (*.f64 v v) 1))
Outputs
((#(struct:change #<rule egg-rr> (2) ((x +.f64 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1))) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1))) (*.f64 0 (/.f64 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1))) (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1))))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 0 (/.f64 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1))) (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1))))) (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1))) 0)))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 0 (neg.f64 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1))) (/.f64 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1))) (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1))) (*.f64 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1))) (/.f64 1 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1))))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1))) (*.f64 (/.f64 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1))) (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1)))) (/.f64 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1))) (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1))))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1))) (*.f64 1 (*.f64 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1))) (/.f64 1 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1)))))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1))) (*.f64 (/.f64 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1))) (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1)))) (*.f64 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1))) (/.f64 1 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1)))))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1))) (*.f64 (/.f64 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1))) (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1)))) (*.f64 (/.f64 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1))) (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1)))) (/.f64 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1))) (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1)))))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1))) (*.f64 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1))) (/.f64 (/.f64 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1))) (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1)))) (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1))))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1))) (*.f64 (*.f64 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1))) (/.f64 1 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1))))) (/.f64 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1))) (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1))))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1))) (*.f64 (*.f64 (/.f64 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1))) (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1)))) (/.f64 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1))) (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1))))) (/.f64 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1))) (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1))))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1))) (*.f64 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1))) (/.f64 (*.f64 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1))) (/.f64 1 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1))))) (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1))))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1))) (*.f64 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1))) (/.f64 (*.f64 (/.f64 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1))) (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1)))) (/.f64 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1))) (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1))))) (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1))))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 -1 (neg.f64 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 -1 (*.f64 1 (neg.f64 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1))))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 -1 (*.f64 (/.f64 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1))) (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1)))) (neg.f64 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1))))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1))) (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1)))) (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1))) (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1)))) (*.f64 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1))) (/.f64 1 (/.f64 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1))) (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1)))))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1))) (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1)))) (*.f64 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1))) (/.f64 (/.f64 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1))) (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1)))) (/.f64 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1))) (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1)))))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1))) (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1)))) (*.f64 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1))) (/.f64 (*.f64 (/.f64 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1))) (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1)))) (/.f64 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1))) (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1))))) (/.f64 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1))) (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1)))))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (neg.f64 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1)))) -1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (neg.f64 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1)))) (neg.f64 (/.f64 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1))) (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1))))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1))) (/.f64 1 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1))))) (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (/.f64 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1))) (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1)))) (/.f64 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1))) (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1))))) (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (neg.f64 (/.f64 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1))) (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1))))) (neg.f64 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1))) (/.f64 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1))) (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1))) (/.f64 (/.f64 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1))) (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1)))) (/.f64 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1))) (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1))))))))) (#(struct:change #<rule egg-rr> (2) ((x neg.f64 (neg.f64 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1)))))))))
((#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 5 (*.f64 v v)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 5 (*.f64 v v)) (*.f64 0 (*.f64 5 (/.f64 v v))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 5 (*.f64 v v)) (*.f64 0 (/.f64 (*.f64 5 (*.f64 v v)) (*.f64 5 (*.f64 v v)))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (*.f64 5 (*.f64 v v)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 0 (*.f64 5 (/.f64 v v))) (*.f64 5 (*.f64 v v)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 0 (/.f64 (*.f64 5 (*.f64 v v)) (*.f64 5 (*.f64 v v)))) (*.f64 5 (*.f64 v v)))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (*.f64 5 (*.f64 v v)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 0 (*.f64 v (*.f64 v -5)))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (*.f64 0 (*.f64 5 (/.f64 v v))) (*.f64 (*.f64 5 (/.f64 v v)) (*.f64 v (neg.f64 v))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (*.f64 0 (/.f64 (*.f64 5 (*.f64 v v)) (*.f64 5 (*.f64 v v)))) (*.f64 (/.f64 (*.f64 5 (*.f64 v v)) (*.f64 5 (*.f64 v v))) (*.f64 v (*.f64 v -5))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 5 (*.f64 v v)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 5 (*.f64 v v)) (/.f64 v v))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 5 (*.f64 v v)) (/.f64 (*.f64 5 (*.f64 v v)) (*.f64 5 (*.f64 v v))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 5 (*.f64 v v)) (/.f64 (*.f64 5 v) (*.f64 5 v)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 5 (*.f64 v v)) (/.f64 (*.f64 5 (/.f64 v v)) (*.f64 5 (/.f64 v v))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 5 (*.f64 v v)) (/.f64 (/.f64 (*.f64 5 (*.f64 v v)) (*.f64 5 (*.f64 v v))) (/.f64 (*.f64 5 (*.f64 v v)) (*.f64 5 (*.f64 v v)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 v (*.f64 v -5)) -1)))) (#(struct:change #<rule egg-rr> (2) ((x neg.f64 (*.f64 v (*.f64 v -5)))))) (#(struct:change #<rule egg-rr> (2) ((x fabs.f64 (*.f64 5 (*.f64 v v)))))) (#(struct:change #<rule egg-rr> (2) ((x fabs.f64 (*.f64 v (*.f64 v -5)))))))
((#(struct:change #<rule egg-rr> (2) ((x +.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1)) (*.f64 0 (/.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1)) (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1)))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 0 (/.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1)) (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1)))) (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1)))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 0 (neg.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1)) (/.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1)) (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1)) (*.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1)) (/.f64 1 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1)) (*.f64 (/.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1)) (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1))) (/.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1)) (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1)) (*.f64 1 (*.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1)) (/.f64 1 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1))))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1)) (*.f64 (/.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1)) (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1))) (*.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1)) (/.f64 1 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1))))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1)) (*.f64 (/.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1)) (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1))) (*.f64 (/.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1)) (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1))) (/.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1)) (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1))))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1)) (*.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1)) (/.f64 (/.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1)) (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1))) (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1)) (*.f64 (*.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1)) (/.f64 1 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1)))) (/.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1)) (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1)) (*.f64 (*.f64 (/.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1)) (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1))) (/.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1)) (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1)))) (/.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1)) (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1)) (*.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1)) (/.f64 (*.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1)) (/.f64 1 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1)))) (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1)) (*.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1)) (/.f64 (*.f64 (/.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1)) (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1))) (/.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1)) (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1)))) (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 -1 (neg.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 -1 (*.f64 1 (neg.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 -1 (*.f64 (/.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1)) (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1))) (neg.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1)) (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1))) (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1)) (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1))) (*.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1)) (/.f64 1 (/.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1)) (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1))))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1)) (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1))) (*.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1)) (/.f64 (/.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1)) (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1))) (/.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1)) (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1))))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1)) (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1))) (*.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1)) (/.f64 (*.f64 (/.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1)) (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1))) (/.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1)) (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1)))) (/.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1)) (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1))))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (neg.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1))) -1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (neg.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1))) (neg.f64 (/.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1)) (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1)) (/.f64 1 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1)))) (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (/.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1)) (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1))) (/.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1)) (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1)))) (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (neg.f64 (/.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1)) (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1)))) (neg.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1))))))) (#(struct:change #<rule egg-rr> (2) ((x neg.f64 (neg.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1))))))))

simplify114.0ms (1.3%)

Algorithm
egg-herbie
Rules
1340×rational_best_45_simplify-98
1174×rational_best_45_simplify-84
918×rational_best_45_simplify-71
616×rational_best_45_simplify-100
538×rational_best_45_simplify-73
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
02034177
16984139
234074139
Stop Event
node limit
Counts
123 → 118
Calls
Call 1
Inputs
(acos.f64 (/.f64 (-.f64 1 (*.f64 5 (pow.f64 v 2))) (-.f64 (pow.f64 v 2) 1)))
(acos.f64 (/.f64 (-.f64 1 (*.f64 5 (pow.f64 v 2))) (-.f64 (pow.f64 v 2) 1)))
(acos.f64 (/.f64 (-.f64 1 (*.f64 5 (pow.f64 v 2))) (-.f64 (pow.f64 v 2) 1)))
(acos.f64 (/.f64 (-.f64 1 (*.f64 5 (pow.f64 v 2))) (-.f64 (pow.f64 v 2) 1)))
(acos.f64 (/.f64 (-.f64 1 (*.f64 5 (pow.f64 v 2))) (-.f64 (pow.f64 v 2) 1)))
(acos.f64 (/.f64 (-.f64 1 (*.f64 5 (pow.f64 v 2))) (-.f64 (pow.f64 v 2) 1)))
(acos.f64 (/.f64 (-.f64 1 (*.f64 5 (pow.f64 v 2))) (-.f64 (pow.f64 v 2) 1)))
(acos.f64 (/.f64 (-.f64 1 (*.f64 5 (pow.f64 v 2))) (-.f64 (pow.f64 v 2) 1)))
(acos.f64 (/.f64 (-.f64 1 (*.f64 5 (pow.f64 v 2))) (-.f64 (pow.f64 v 2) 1)))
(acos.f64 (/.f64 (-.f64 1 (*.f64 5 (pow.f64 v 2))) (-.f64 (pow.f64 v 2) 1)))
(acos.f64 (/.f64 (-.f64 1 (*.f64 5 (pow.f64 v 2))) (-.f64 (pow.f64 v 2) 1)))
(acos.f64 (/.f64 (-.f64 1 (*.f64 5 (pow.f64 v 2))) (-.f64 (pow.f64 v 2) 1)))
(*.f64 5 (pow.f64 v 2))
(*.f64 5 (pow.f64 v 2))
(*.f64 5 (pow.f64 v 2))
(*.f64 5 (pow.f64 v 2))
(*.f64 5 (pow.f64 v 2))
(*.f64 5 (pow.f64 v 2))
(*.f64 5 (pow.f64 v 2))
(*.f64 5 (pow.f64 v 2))
(*.f64 5 (pow.f64 v 2))
(*.f64 5 (pow.f64 v 2))
(*.f64 5 (pow.f64 v 2))
(*.f64 5 (pow.f64 v 2))
-1
(-.f64 (*.f64 4 (pow.f64 v 2)) 1)
(-.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) (*.f64 4 (pow.f64 v 4))) 1)
(-.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) (+.f64 (*.f64 4 (pow.f64 v 4)) (*.f64 4 (pow.f64 v 6)))) 1)
-5
(neg.f64 (+.f64 5 (*.f64 4 (/.f64 1 (pow.f64 v 2)))))
(neg.f64 (+.f64 5 (+.f64 (*.f64 4 (/.f64 1 (pow.f64 v 2))) (*.f64 4 (/.f64 1 (pow.f64 v 4))))))
(neg.f64 (+.f64 5 (+.f64 (*.f64 4 (/.f64 1 (pow.f64 v 6))) (+.f64 (*.f64 4 (/.f64 1 (pow.f64 v 2))) (*.f64 4 (/.f64 1 (pow.f64 v 4)))))))
-5
(neg.f64 (+.f64 5 (*.f64 4 (/.f64 1 (pow.f64 v 2)))))
(neg.f64 (+.f64 5 (+.f64 (*.f64 4 (/.f64 1 (pow.f64 v 2))) (*.f64 4 (/.f64 1 (pow.f64 v 4))))))
(neg.f64 (+.f64 5 (+.f64 (*.f64 4 (/.f64 1 (pow.f64 v 6))) (+.f64 (*.f64 4 (/.f64 1 (pow.f64 v 2))) (*.f64 4 (/.f64 1 (pow.f64 v 4)))))))
(+.f64 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1))) 0)
(+.f64 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1))) (*.f64 0 (/.f64 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1))) (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1))))))
(+.f64 0 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1))))
(+.f64 (*.f64 0 (/.f64 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1))) (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1))))) (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1))))
(-.f64 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1))) 0)
(-.f64 0 (neg.f64 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1)))))
(*.f64 1 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1))))
(*.f64 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1))) 1)
(*.f64 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1))) (/.f64 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1))) (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1)))))
(*.f64 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1))) (*.f64 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1))) (/.f64 1 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1))))))
(*.f64 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1))) (*.f64 (/.f64 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1))) (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1)))) (/.f64 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1))) (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1))))))
(*.f64 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1))) (*.f64 1 (*.f64 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1))) (/.f64 1 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1)))))))
(*.f64 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1))) (*.f64 (/.f64 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1))) (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1)))) (*.f64 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1))) (/.f64 1 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1)))))))
(*.f64 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1))) (*.f64 (/.f64 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1))) (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1)))) (*.f64 (/.f64 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1))) (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1)))) (/.f64 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1))) (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1)))))))
(*.f64 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1))) (*.f64 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1))) (/.f64 (/.f64 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1))) (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1)))) (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1))))))
(*.f64 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1))) (*.f64 (*.f64 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1))) (/.f64 1 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1))))) (/.f64 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1))) (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1))))))
(*.f64 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1))) (*.f64 (*.f64 (/.f64 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1))) (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1)))) (/.f64 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1))) (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1))))) (/.f64 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1))) (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1))))))
(*.f64 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1))) (*.f64 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1))) (/.f64 (*.f64 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1))) (/.f64 1 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1))))) (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1))))))
(*.f64 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1))) (*.f64 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1))) (/.f64 (*.f64 (/.f64 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1))) (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1)))) (/.f64 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1))) (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1))))) (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1))))))
(*.f64 -1 (neg.f64 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1)))))
(*.f64 -1 (*.f64 1 (neg.f64 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1))))))
(*.f64 -1 (*.f64 (/.f64 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1))) (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1)))) (neg.f64 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1))))))
(*.f64 (/.f64 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1))) (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1)))) (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1))))
(*.f64 (/.f64 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1))) (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1)))) (*.f64 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1))) (/.f64 1 (/.f64 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1))) (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1)))))))
(*.f64 (/.f64 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1))) (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1)))) (*.f64 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1))) (/.f64 (/.f64 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1))) (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1)))) (/.f64 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1))) (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1)))))))
(*.f64 (/.f64 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1))) (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1)))) (*.f64 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1))) (/.f64 (*.f64 (/.f64 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1))) (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1)))) (/.f64 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1))) (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1))))) (/.f64 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1))) (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1)))))))
(*.f64 (neg.f64 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1)))) -1)
(*.f64 (neg.f64 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1)))) (neg.f64 (/.f64 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1))) (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1))))))
(*.f64 (*.f64 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1))) (/.f64 1 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1))))) (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1))))
(*.f64 (*.f64 (/.f64 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1))) (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1)))) (/.f64 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1))) (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1))))) (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1))))
(*.f64 (neg.f64 (/.f64 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1))) (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1))))) (neg.f64 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1)))))
(/.f64 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1))) 1)
(/.f64 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1))) (/.f64 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1))) (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1)))))
(/.f64 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1))) (/.f64 (/.f64 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1))) (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1)))) (/.f64 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1))) (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1))))))
(neg.f64 (neg.f64 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1)))))
(+.f64 (*.f64 5 (*.f64 v v)) 0)
(+.f64 (*.f64 5 (*.f64 v v)) (*.f64 0 (*.f64 5 (/.f64 v v))))
(+.f64 (*.f64 5 (*.f64 v v)) (*.f64 0 (/.f64 (*.f64 5 (*.f64 v v)) (*.f64 5 (*.f64 v v)))))
(+.f64 0 (*.f64 5 (*.f64 v v)))
(+.f64 (*.f64 0 (*.f64 5 (/.f64 v v))) (*.f64 5 (*.f64 v v)))
(+.f64 (*.f64 0 (/.f64 (*.f64 5 (*.f64 v v)) (*.f64 5 (*.f64 v v)))) (*.f64 5 (*.f64 v v)))
(-.f64 (*.f64 5 (*.f64 v v)) 0)
(-.f64 0 (*.f64 v (*.f64 v -5)))
(-.f64 (*.f64 0 (*.f64 5 (/.f64 v v))) (*.f64 (*.f64 5 (/.f64 v v)) (*.f64 v (neg.f64 v))))
(-.f64 (*.f64 0 (/.f64 (*.f64 5 (*.f64 v v)) (*.f64 5 (*.f64 v v)))) (*.f64 (/.f64 (*.f64 5 (*.f64 v v)) (*.f64 5 (*.f64 v v))) (*.f64 v (*.f64 v -5))))
(/.f64 (*.f64 5 (*.f64 v v)) 1)
(/.f64 (*.f64 5 (*.f64 v v)) (/.f64 v v))
(/.f64 (*.f64 5 (*.f64 v v)) (/.f64 (*.f64 5 (*.f64 v v)) (*.f64 5 (*.f64 v v))))
(/.f64 (*.f64 5 (*.f64 v v)) (/.f64 (*.f64 5 v) (*.f64 5 v)))
(/.f64 (*.f64 5 (*.f64 v v)) (/.f64 (*.f64 5 (/.f64 v v)) (*.f64 5 (/.f64 v v))))
(/.f64 (*.f64 5 (*.f64 v v)) (/.f64 (/.f64 (*.f64 5 (*.f64 v v)) (*.f64 5 (*.f64 v v))) (/.f64 (*.f64 5 (*.f64 v v)) (*.f64 5 (*.f64 v v)))))
(/.f64 (*.f64 v (*.f64 v -5)) -1)
(neg.f64 (*.f64 v (*.f64 v -5)))
(fabs.f64 (*.f64 5 (*.f64 v v)))
(fabs.f64 (*.f64 v (*.f64 v -5)))
(+.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1)) 0)
(+.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1)) (*.f64 0 (/.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1)) (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1)))))
(+.f64 0 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1)))
(+.f64 (*.f64 0 (/.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1)) (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1)))) (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1)))
(-.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1)) 0)
(-.f64 0 (neg.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1))))
(*.f64 1 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1)))
(*.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1)) 1)
(*.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1)) (/.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1)) (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1))))
(*.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1)) (*.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1)) (/.f64 1 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1)))))
(*.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1)) (*.f64 (/.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1)) (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1))) (/.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1)) (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1)))))
(*.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1)) (*.f64 1 (*.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1)) (/.f64 1 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1))))))
(*.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1)) (*.f64 (/.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1)) (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1))) (*.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1)) (/.f64 1 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1))))))
(*.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1)) (*.f64 (/.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1)) (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1))) (*.f64 (/.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1)) (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1))) (/.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1)) (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1))))))
(*.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1)) (*.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1)) (/.f64 (/.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1)) (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1))) (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1)))))
(*.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1)) (*.f64 (*.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1)) (/.f64 1 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1)))) (/.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1)) (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1)))))
(*.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1)) (*.f64 (*.f64 (/.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1)) (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1))) (/.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1)) (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1)))) (/.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1)) (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1)))))
(*.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1)) (*.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1)) (/.f64 (*.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1)) (/.f64 1 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1)))) (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1)))))
(*.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1)) (*.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1)) (/.f64 (*.f64 (/.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1)) (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1))) (/.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1)) (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1)))) (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1)))))
(*.f64 -1 (neg.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1))))
(*.f64 -1 (*.f64 1 (neg.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1)))))
(*.f64 -1 (*.f64 (/.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1)) (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1))) (neg.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1)))))
(*.f64 (/.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1)) (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1))) (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1)))
(*.f64 (/.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1)) (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1))) (*.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1)) (/.f64 1 (/.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1)) (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1))))))
(*.f64 (/.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1)) (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1))) (*.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1)) (/.f64 (/.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1)) (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1))) (/.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1)) (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1))))))
(*.f64 (/.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1)) (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1))) (*.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1)) (/.f64 (*.f64 (/.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1)) (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1))) (/.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1)) (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1)))) (/.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1)) (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1))))))
(*.f64 (neg.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1))) -1)
(*.f64 (neg.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1))) (neg.f64 (/.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1)) (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1)))))
(*.f64 (*.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1)) (/.f64 1 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1)))) (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1)))
(*.f64 (*.f64 (/.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1)) (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1))) (/.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1)) (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1)))) (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1)))
(*.f64 (neg.f64 (/.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1)) (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1)))) (neg.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1))))
(neg.f64 (neg.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1))))
Outputs
(acos.f64 (/.f64 (-.f64 1 (*.f64 5 (pow.f64 v 2))) (-.f64 (pow.f64 v 2) 1)))
(acos.f64 (/.f64 (-.f64 1 (*.f64 5 (pow.f64 v 2))) (+.f64 (pow.f64 v 2) -1)))
(acos.f64 (/.f64 (-.f64 1 (*.f64 5 (pow.f64 v 2))) (-.f64 (pow.f64 v 2) 1)))
(acos.f64 (/.f64 (-.f64 1 (*.f64 5 (pow.f64 v 2))) (+.f64 (pow.f64 v 2) -1)))
(acos.f64 (/.f64 (-.f64 1 (*.f64 5 (pow.f64 v 2))) (-.f64 (pow.f64 v 2) 1)))
(acos.f64 (/.f64 (-.f64 1 (*.f64 5 (pow.f64 v 2))) (+.f64 (pow.f64 v 2) -1)))
(acos.f64 (/.f64 (-.f64 1 (*.f64 5 (pow.f64 v 2))) (-.f64 (pow.f64 v 2) 1)))
(acos.f64 (/.f64 (-.f64 1 (*.f64 5 (pow.f64 v 2))) (+.f64 (pow.f64 v 2) -1)))
(acos.f64 (/.f64 (-.f64 1 (*.f64 5 (pow.f64 v 2))) (-.f64 (pow.f64 v 2) 1)))
(acos.f64 (/.f64 (-.f64 1 (*.f64 5 (pow.f64 v 2))) (+.f64 (pow.f64 v 2) -1)))
(acos.f64 (/.f64 (-.f64 1 (*.f64 5 (pow.f64 v 2))) (-.f64 (pow.f64 v 2) 1)))
(acos.f64 (/.f64 (-.f64 1 (*.f64 5 (pow.f64 v 2))) (+.f64 (pow.f64 v 2) -1)))
(acos.f64 (/.f64 (-.f64 1 (*.f64 5 (pow.f64 v 2))) (-.f64 (pow.f64 v 2) 1)))
(acos.f64 (/.f64 (-.f64 1 (*.f64 5 (pow.f64 v 2))) (+.f64 (pow.f64 v 2) -1)))
(acos.f64 (/.f64 (-.f64 1 (*.f64 5 (pow.f64 v 2))) (-.f64 (pow.f64 v 2) 1)))
(acos.f64 (/.f64 (-.f64 1 (*.f64 5 (pow.f64 v 2))) (+.f64 (pow.f64 v 2) -1)))
(acos.f64 (/.f64 (-.f64 1 (*.f64 5 (pow.f64 v 2))) (-.f64 (pow.f64 v 2) 1)))
(acos.f64 (/.f64 (-.f64 1 (*.f64 5 (pow.f64 v 2))) (+.f64 (pow.f64 v 2) -1)))
(acos.f64 (/.f64 (-.f64 1 (*.f64 5 (pow.f64 v 2))) (-.f64 (pow.f64 v 2) 1)))
(acos.f64 (/.f64 (-.f64 1 (*.f64 5 (pow.f64 v 2))) (+.f64 (pow.f64 v 2) -1)))
(acos.f64 (/.f64 (-.f64 1 (*.f64 5 (pow.f64 v 2))) (-.f64 (pow.f64 v 2) 1)))
(acos.f64 (/.f64 (-.f64 1 (*.f64 5 (pow.f64 v 2))) (+.f64 (pow.f64 v 2) -1)))
(acos.f64 (/.f64 (-.f64 1 (*.f64 5 (pow.f64 v 2))) (-.f64 (pow.f64 v 2) 1)))
(acos.f64 (/.f64 (-.f64 1 (*.f64 5 (pow.f64 v 2))) (+.f64 (pow.f64 v 2) -1)))
(*.f64 5 (pow.f64 v 2))
(*.f64 5 (pow.f64 v 2))
(*.f64 5 (pow.f64 v 2))
(*.f64 5 (pow.f64 v 2))
(*.f64 5 (pow.f64 v 2))
(*.f64 5 (pow.f64 v 2))
(*.f64 5 (pow.f64 v 2))
(*.f64 5 (pow.f64 v 2))
(*.f64 5 (pow.f64 v 2))
(*.f64 5 (pow.f64 v 2))
(*.f64 5 (pow.f64 v 2))
(*.f64 5 (pow.f64 v 2))
-1
(-.f64 (*.f64 4 (pow.f64 v 2)) 1)
(+.f64 (*.f64 (pow.f64 v 2) 4) -1)
(+.f64 -1 (*.f64 (pow.f64 v 2) 4))
(-.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) (*.f64 4 (pow.f64 v 4))) 1)
(+.f64 (*.f64 4 (pow.f64 v 4)) (+.f64 (*.f64 (pow.f64 v 2) 4) -1))
(+.f64 -1 (*.f64 4 (+.f64 (pow.f64 v 2) (pow.f64 v 4))))
(-.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) (+.f64 (*.f64 4 (pow.f64 v 4)) (*.f64 4 (pow.f64 v 6)))) 1)
(+.f64 (+.f64 (*.f64 4 (pow.f64 v 4)) (*.f64 4 (pow.f64 v 6))) (+.f64 (*.f64 (pow.f64 v 2) 4) -1))
(+.f64 -1 (+.f64 (*.f64 (pow.f64 v 2) 4) (*.f64 4 (+.f64 (pow.f64 v 6) (pow.f64 v 4)))))
(+.f64 (+.f64 -1 (*.f64 (pow.f64 v 2) 4)) (*.f64 4 (+.f64 (pow.f64 v 4) (pow.f64 v 6))))
-5
(neg.f64 (+.f64 5 (*.f64 4 (/.f64 1 (pow.f64 v 2)))))
(neg.f64 (+.f64 5 (+.f64 (*.f64 4 (/.f64 1 (pow.f64 v 2))) (*.f64 4 (/.f64 1 (pow.f64 v 4))))))
(neg.f64 (+.f64 5 (*.f64 4 (+.f64 (/.f64 1 (pow.f64 v 2)) (/.f64 1 (pow.f64 v 4))))))
(neg.f64 (+.f64 5 (+.f64 (*.f64 4 (/.f64 1 (pow.f64 v 6))) (+.f64 (*.f64 4 (/.f64 1 (pow.f64 v 2))) (*.f64 4 (/.f64 1 (pow.f64 v 4)))))))
(neg.f64 (+.f64 5 (+.f64 (+.f64 (*.f64 4 (/.f64 1 (pow.f64 v 2))) (*.f64 4 (/.f64 1 (pow.f64 v 4)))) (*.f64 4 (/.f64 1 (pow.f64 v 6))))))
(neg.f64 (+.f64 5 (+.f64 (*.f64 4 (/.f64 1 (pow.f64 v 2))) (*.f64 4 (+.f64 (/.f64 1 (pow.f64 v 6)) (/.f64 1 (pow.f64 v 4)))))))
(neg.f64 (+.f64 5 (+.f64 (*.f64 4 (/.f64 1 (pow.f64 v 2))) (*.f64 4 (+.f64 (/.f64 1 (pow.f64 v 4)) (/.f64 1 (pow.f64 v 6)))))))
-5
(neg.f64 (+.f64 5 (*.f64 4 (/.f64 1 (pow.f64 v 2)))))
(neg.f64 (+.f64 5 (+.f64 (*.f64 4 (/.f64 1 (pow.f64 v 2))) (*.f64 4 (/.f64 1 (pow.f64 v 4))))))
(neg.f64 (+.f64 5 (*.f64 4 (+.f64 (/.f64 1 (pow.f64 v 2)) (/.f64 1 (pow.f64 v 4))))))
(neg.f64 (+.f64 5 (+.f64 (*.f64 4 (/.f64 1 (pow.f64 v 6))) (+.f64 (*.f64 4 (/.f64 1 (pow.f64 v 2))) (*.f64 4 (/.f64 1 (pow.f64 v 4)))))))
(neg.f64 (+.f64 5 (+.f64 (+.f64 (*.f64 4 (/.f64 1 (pow.f64 v 2))) (*.f64 4 (/.f64 1 (pow.f64 v 4)))) (*.f64 4 (/.f64 1 (pow.f64 v 6))))))
(neg.f64 (+.f64 5 (+.f64 (*.f64 4 (/.f64 1 (pow.f64 v 2))) (*.f64 4 (+.f64 (/.f64 1 (pow.f64 v 6)) (/.f64 1 (pow.f64 v 4)))))))
(neg.f64 (+.f64 5 (+.f64 (*.f64 4 (/.f64 1 (pow.f64 v 2))) (*.f64 4 (+.f64 (/.f64 1 (pow.f64 v 4)) (/.f64 1 (pow.f64 v 6)))))))
(+.f64 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1))) 0)
(acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 -1 (*.f64 v v))))
(+.f64 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1))) (*.f64 0 (/.f64 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1))) (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1))))))
(acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 -1 (*.f64 v v))))
(+.f64 0 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1))))
(acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 -1 (*.f64 v v))))
(+.f64 (*.f64 0 (/.f64 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1))) (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1))))) (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1))))
(acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 -1 (*.f64 v v))))
(-.f64 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1))) 0)
(acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 -1 (*.f64 v v))))
(-.f64 0 (neg.f64 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1)))))
(acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 -1 (*.f64 v v))))
(*.f64 1 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1))))
(acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 -1 (*.f64 v v))))
(*.f64 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1))) 1)
(acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 -1 (*.f64 v v))))
(*.f64 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1))) (/.f64 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1))) (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1)))))
(acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 -1 (*.f64 v v))))
(*.f64 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1))) (*.f64 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1))) (/.f64 1 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1))))))
(acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 -1 (*.f64 v v))))
(*.f64 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1))) (*.f64 (/.f64 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1))) (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1)))) (/.f64 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1))) (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1))))))
(acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 -1 (*.f64 v v))))
(*.f64 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1))) (*.f64 1 (*.f64 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1))) (/.f64 1 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1)))))))
(acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 -1 (*.f64 v v))))
(*.f64 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1))) (*.f64 (/.f64 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1))) (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1)))) (*.f64 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1))) (/.f64 1 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1)))))))
(acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 -1 (*.f64 v v))))
(*.f64 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1))) (*.f64 (/.f64 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1))) (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1)))) (*.f64 (/.f64 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1))) (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1)))) (/.f64 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1))) (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1)))))))
(acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 -1 (*.f64 v v))))
(*.f64 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1))) (*.f64 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1))) (/.f64 (/.f64 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1))) (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1)))) (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1))))))
(acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 -1 (*.f64 v v))))
(*.f64 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1))) (*.f64 (*.f64 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1))) (/.f64 1 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1))))) (/.f64 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1))) (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1))))))
(acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 -1 (*.f64 v v))))
(*.f64 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1))) (*.f64 (*.f64 (/.f64 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1))) (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1)))) (/.f64 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1))) (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1))))) (/.f64 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1))) (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1))))))
(acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 -1 (*.f64 v v))))
(*.f64 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1))) (*.f64 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1))) (/.f64 (*.f64 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1))) (/.f64 1 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1))))) (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1))))))
(acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 -1 (*.f64 v v))))
(*.f64 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1))) (*.f64 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1))) (/.f64 (*.f64 (/.f64 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1))) (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1)))) (/.f64 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1))) (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1))))) (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1))))))
(acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 -1 (*.f64 v v))))
(*.f64 -1 (neg.f64 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1)))))
(acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 -1 (*.f64 v v))))
(*.f64 -1 (*.f64 1 (neg.f64 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1))))))
(acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 -1 (*.f64 v v))))
(*.f64 -1 (*.f64 (/.f64 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1))) (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1)))) (neg.f64 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1))))))
(acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 -1 (*.f64 v v))))
(*.f64 (/.f64 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1))) (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1)))) (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1))))
(acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 -1 (*.f64 v v))))
(*.f64 (/.f64 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1))) (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1)))) (*.f64 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1))) (/.f64 1 (/.f64 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1))) (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1)))))))
(acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 -1 (*.f64 v v))))
(*.f64 (/.f64 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1))) (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1)))) (*.f64 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1))) (/.f64 (/.f64 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1))) (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1)))) (/.f64 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1))) (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1)))))))
(acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 -1 (*.f64 v v))))
(*.f64 (/.f64 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1))) (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1)))) (*.f64 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1))) (/.f64 (*.f64 (/.f64 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1))) (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1)))) (/.f64 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1))) (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1))))) (/.f64 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1))) (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1)))))))
(acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 -1 (*.f64 v v))))
(*.f64 (neg.f64 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1)))) -1)
(acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 -1 (*.f64 v v))))
(*.f64 (neg.f64 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1)))) (neg.f64 (/.f64 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1))) (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1))))))
(acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 -1 (*.f64 v v))))
(*.f64 (*.f64 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1))) (/.f64 1 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1))))) (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1))))
(acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 -1 (*.f64 v v))))
(*.f64 (*.f64 (/.f64 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1))) (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1)))) (/.f64 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1))) (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1))))) (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1))))
(acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 -1 (*.f64 v v))))
(*.f64 (neg.f64 (/.f64 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1))) (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1))))) (neg.f64 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1)))))
(acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 -1 (*.f64 v v))))
(/.f64 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1))) 1)
(acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 -1 (*.f64 v v))))
(/.f64 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1))) (/.f64 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1))) (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1)))))
(acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 -1 (*.f64 v v))))
(/.f64 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1))) (/.f64 (/.f64 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1))) (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1)))) (/.f64 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1))) (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1))))))
(acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 -1 (*.f64 v v))))
(neg.f64 (neg.f64 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1)))))
(acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 -1 (*.f64 v v))))
(+.f64 (*.f64 5 (*.f64 v v)) 0)
(*.f64 5 (*.f64 v v))
(+.f64 (*.f64 5 (*.f64 v v)) (*.f64 0 (*.f64 5 (/.f64 v v))))
(*.f64 5 (*.f64 v v))
(+.f64 (*.f64 5 (*.f64 v v)) (*.f64 0 (/.f64 (*.f64 5 (*.f64 v v)) (*.f64 5 (*.f64 v v)))))
(*.f64 5 (*.f64 v v))
(+.f64 0 (*.f64 5 (*.f64 v v)))
(*.f64 5 (*.f64 v v))
(+.f64 (*.f64 0 (*.f64 5 (/.f64 v v))) (*.f64 5 (*.f64 v v)))
(*.f64 5 (*.f64 v v))
(+.f64 (*.f64 0 (/.f64 (*.f64 5 (*.f64 v v)) (*.f64 5 (*.f64 v v)))) (*.f64 5 (*.f64 v v)))
(*.f64 5 (*.f64 v v))
(-.f64 (*.f64 5 (*.f64 v v)) 0)
(*.f64 5 (*.f64 v v))
(-.f64 0 (*.f64 v (*.f64 v -5)))
(neg.f64 (*.f64 v (*.f64 v -5)))
(-.f64 (*.f64 0 (*.f64 5 (/.f64 v v))) (*.f64 (*.f64 5 (/.f64 v v)) (*.f64 v (neg.f64 v))))
(*.f64 (*.f64 5 (/.f64 v v)) (-.f64 0 (*.f64 v (neg.f64 v))))
(*.f64 (*.f64 5 (/.f64 v v)) (neg.f64 (*.f64 v (neg.f64 v))))
(-.f64 (*.f64 0 (/.f64 (*.f64 5 (*.f64 v v)) (*.f64 5 (*.f64 v v)))) (*.f64 (/.f64 (*.f64 5 (*.f64 v v)) (*.f64 5 (*.f64 v v))) (*.f64 v (*.f64 v -5))))
(*.f64 (/.f64 (*.f64 5 (*.f64 v v)) (*.f64 5 (*.f64 v v))) (neg.f64 (*.f64 v (*.f64 v -5))))
(*.f64 (neg.f64 (/.f64 (*.f64 (*.f64 v v) 10) (*.f64 (*.f64 v v) 10))) (*.f64 v (*.f64 v -5)))
(/.f64 (*.f64 5 (*.f64 v v)) 1)
(*.f64 5 (*.f64 v v))
(/.f64 (*.f64 5 (*.f64 v v)) (/.f64 v v))
(*.f64 5 (*.f64 v v))
(/.f64 (*.f64 5 (*.f64 v v)) (/.f64 (*.f64 5 (*.f64 v v)) (*.f64 5 (*.f64 v v))))
(/.f64 (*.f64 5 (*.f64 v v)) (/.f64 (*.f64 (*.f64 v v) 10) (*.f64 (*.f64 v v) 10)))
(/.f64 (*.f64 5 (*.f64 v v)) (/.f64 (*.f64 5 v) (*.f64 5 v)))
(*.f64 5 (*.f64 v v))
(/.f64 (*.f64 5 (*.f64 v v)) (/.f64 (*.f64 5 (/.f64 v v)) (*.f64 5 (/.f64 v v))))
(/.f64 (*.f64 5 (*.f64 v v)) (/.f64 (/.f64 (*.f64 5 (*.f64 v v)) (*.f64 5 (*.f64 v v))) (/.f64 (*.f64 5 (*.f64 v v)) (*.f64 5 (*.f64 v v)))))
(/.f64 (*.f64 5 (*.f64 v v)) (/.f64 (/.f64 (*.f64 (*.f64 v v) 10) (*.f64 (*.f64 v v) 10)) (/.f64 (*.f64 (*.f64 v v) 10) (*.f64 (*.f64 v v) 10))))
(/.f64 (*.f64 v (*.f64 v -5)) -1)
(neg.f64 (*.f64 v (*.f64 v -5)))
(neg.f64 (*.f64 v (*.f64 v -5)))
(fabs.f64 (*.f64 5 (*.f64 v v)))
(*.f64 5 (*.f64 v v))
(fabs.f64 (*.f64 v (*.f64 v -5)))
(*.f64 5 (*.f64 v v))
(+.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1)) 0)
(/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 -1 (*.f64 v v)))
(+.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1)) (*.f64 0 (/.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1)) (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1)))))
(/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 -1 (*.f64 v v)))
(+.f64 0 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1)))
(/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 -1 (*.f64 v v)))
(+.f64 (*.f64 0 (/.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1)) (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1)))) (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1)))
(/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 -1 (*.f64 v v)))
(-.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1)) 0)
(/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 -1 (*.f64 v v)))
(-.f64 0 (neg.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1))))
(/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 -1 (*.f64 v v)))
(*.f64 1 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1)))
(/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 -1 (*.f64 v v)))
(*.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1)) 1)
(/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 -1 (*.f64 v v)))
(*.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1)) (/.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1)) (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1))))
(/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 -1 (*.f64 v v)))
(*.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1)) (*.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1)) (/.f64 1 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1)))))
(/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 -1 (*.f64 v v)))
(*.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1)) (*.f64 (/.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1)) (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1))) (/.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1)) (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1)))))
(/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 -1 (*.f64 v v)))
(*.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1)) (*.f64 1 (*.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1)) (/.f64 1 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1))))))
(/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 -1 (*.f64 v v)))
(*.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1)) (*.f64 (/.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1)) (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1))) (*.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1)) (/.f64 1 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1))))))
(/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 -1 (*.f64 v v)))
(*.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1)) (*.f64 (/.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1)) (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1))) (*.f64 (/.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1)) (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1))) (/.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1)) (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1))))))
(/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 -1 (*.f64 v v)))
(*.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1)) (*.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1)) (/.f64 (/.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1)) (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1))) (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1)))))
(/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 -1 (*.f64 v v)))
(*.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1)) (*.f64 (*.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1)) (/.f64 1 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1)))) (/.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1)) (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1)))))
(/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 -1 (*.f64 v v)))
(*.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1)) (*.f64 (*.f64 (/.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1)) (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1))) (/.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1)) (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1)))) (/.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1)) (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1)))))
(/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 -1 (*.f64 v v)))
(*.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1)) (*.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1)) (/.f64 (*.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1)) (/.f64 1 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1)))) (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1)))))
(/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 -1 (*.f64 v v)))
(*.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1)) (*.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1)) (/.f64 (*.f64 (/.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1)) (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1))) (/.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1)) (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1)))) (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1)))))
(/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 -1 (*.f64 v v)))
(*.f64 -1 (neg.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1))))
(/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 -1 (*.f64 v v)))
(*.f64 -1 (*.f64 1 (neg.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1)))))
(/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 -1 (*.f64 v v)))
(*.f64 -1 (*.f64 (/.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1)) (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1))) (neg.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1)))))
(/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 -1 (*.f64 v v)))
(*.f64 (/.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1)) (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1))) (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1)))
(/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 -1 (*.f64 v v)))
(*.f64 (/.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1)) (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1))) (*.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1)) (/.f64 1 (/.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1)) (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1))))))
(/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 -1 (*.f64 v v)))
(*.f64 (/.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1)) (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1))) (*.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1)) (/.f64 (/.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1)) (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1))) (/.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1)) (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1))))))
(/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 -1 (*.f64 v v)))
(*.f64 (/.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1)) (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1))) (*.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1)) (/.f64 (*.f64 (/.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1)) (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1))) (/.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1)) (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1)))) (/.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1)) (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1))))))
(/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 -1 (*.f64 v v)))
(*.f64 (neg.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1))) -1)
(/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 -1 (*.f64 v v)))
(*.f64 (neg.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1))) (neg.f64 (/.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1)) (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1)))))
(/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 -1 (*.f64 v v)))
(*.f64 (*.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1)) (/.f64 1 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1)))) (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1)))
(/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 -1 (*.f64 v v)))
(*.f64 (*.f64 (/.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1)) (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1))) (/.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1)) (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1)))) (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1)))
(/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 -1 (*.f64 v v)))
(*.f64 (neg.f64 (/.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1)) (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1)))) (neg.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1))))
(/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 -1 (*.f64 v v)))
(neg.f64 (neg.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1))))
(/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 -1 (*.f64 v v)))

eval89.0ms (1%)

Compiler

Compiled 4433 to 2722 computations (38.6% saved)

prune22.0ms (0.2%)

Pruning

3 alts after pruning (2 fresh and 1 done)

PrunedKeptTotal
New1162118
Fresh000
Picked011
Done000
Total1163119
Error
0.8b
Counts
119 → 3
Alt Table
Click to see full alt table
StatusErrorProgram
0.8b
(acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (-.f64 (*.f64 v v) 1)))
0.9b
(acos.f64 (-.f64 (*.f64 4 (pow.f64 v 2)) 1))
1.1b
(acos.f64 -1)
Compiler

Compiled 27 to 21 computations (22.2% saved)

localize2.0ms (0%)

Compiler

Compiled 4 to 4 computations (0% saved)

localize21.0ms (0.2%)

Local error

Found 2 expressions with local error:

NewErrorProgram
0.0b
(*.f64 4 (pow.f64 v 2))
0.8b
(acos.f64 (-.f64 (*.f64 4 (pow.f64 v 2)) 1))
Compiler

Compiled 28 to 23 computations (17.9% saved)

series2.0ms (0%)

Counts
2 → 0
Calls

6 calls:

TimeVariablePointExpression
1.0ms
v
@inf
(*.f64 4 (pow.f64 v 2))
0.0ms
v
@0
(*.f64 4 (pow.f64 v 2))
0.0ms
v
@inf
(acos.f64 (-.f64 (*.f64 4 (pow.f64 v 2)) 1))
0.0ms
v
@0
(acos.f64 (-.f64 (*.f64 4 (pow.f64 v 2)) 1))
0.0ms
v
@-inf
(acos.f64 (-.f64 (*.f64 4 (pow.f64 v 2)) 1))

rewrite107.0ms (1.2%)

Algorithm
batch-egg-rewrite
Rules
1322×rational_best_45_simplify-71
990×rational_best_45_simplify-100
954×rational_best-4
954×rational_best-2
954×rational_best-3
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01136
16036
212536
338836
4179336
Stop Event
node limit
Counts
2 → 81
Calls
Call 1
Inputs
(acos.f64 (-.f64 (*.f64 4 (pow.f64 v 2)) 1))
(*.f64 4 (pow.f64 v 2))
Outputs
((#(struct:change #<rule egg-rr> (2) ((x +.f64 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)) (*.f64 (*.f64 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)) (/.f64 1 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)))) 0))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)) (*.f64 (*.f64 (/.f64 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)) (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1))) (/.f64 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)) (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)))) 0))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)) (*.f64 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)) (/.f64 0 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)) (*.f64 (neg.f64 (/.f64 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)) (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)))) 0))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 0 (neg.f64 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (*.f64 0 (*.f64 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)) (/.f64 1 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1))))) (*.f64 (*.f64 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)) (/.f64 1 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)))) (neg.f64 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (*.f64 0 (*.f64 (/.f64 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)) (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1))) (/.f64 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)) (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1))))) (*.f64 (*.f64 (/.f64 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)) (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1))) (/.f64 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)) (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)))) (neg.f64 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)) (/.f64 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)) (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)) (*.f64 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)) (/.f64 1 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)) (*.f64 (/.f64 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)) (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1))) (/.f64 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)) (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)) (*.f64 (/.f64 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)) (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1))) (*.f64 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)) (/.f64 1 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1))))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)) (*.f64 (/.f64 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)) (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1))) (*.f64 (/.f64 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)) (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1))) (/.f64 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)) (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1))))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)) (/.f64 (/.f64 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)) (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1))) (/.f64 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)) (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)) (*.f64 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)) (/.f64 (/.f64 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)) (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1))) (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)) (*.f64 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)) (/.f64 (*.f64 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)) (/.f64 1 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)))) (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)) (*.f64 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)) (/.f64 (*.f64 (/.f64 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)) (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1))) (/.f64 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)) (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)))) (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)) (*.f64 (*.f64 (/.f64 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)) (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1))) (*.f64 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)) (/.f64 1 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1))))) (/.f64 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)) (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)) (*.f64 (*.f64 (/.f64 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)) (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1))) (*.f64 (/.f64 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)) (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1))) (/.f64 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)) (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1))))) (/.f64 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)) (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)) (*.f64 (*.f64 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)) (/.f64 (/.f64 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)) (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1))) (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)))) (/.f64 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)) (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 -1 (neg.f64 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)) (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1))) (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)) (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1))) (*.f64 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)) (/.f64 1 (/.f64 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)) (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1))))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)) (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1))) (+.f64 0 (*.f64 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)) (/.f64 1 (/.f64 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)) (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)))))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)) (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1))) (*.f64 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)) (/.f64 (*.f64 (/.f64 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)) (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1))) (/.f64 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)) (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)))) (/.f64 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)) (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1))))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)) (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1))) (*.f64 (*.f64 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)) (/.f64 1 (/.f64 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)) (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1))))) (/.f64 (/.f64 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)) (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1))) (/.f64 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)) (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1))))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (neg.f64 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1))) -1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (neg.f64 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1))) (neg.f64 (/.f64 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)) (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (neg.f64 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1))) (*.f64 (neg.f64 (/.f64 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)) (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)))) (/.f64 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)) (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (neg.f64 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1))) (*.f64 -1 (/.f64 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)) (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (neg.f64 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1))) (-.f64 (/.f64 0 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1))) (/.f64 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)) (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (neg.f64 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1))) (-.f64 0 (*.f64 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)) (/.f64 1 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1))))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (neg.f64 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1))) (-.f64 0 (*.f64 (/.f64 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)) (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1))) (/.f64 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)) (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1))))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)) (/.f64 1 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)))) (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)) (/.f64 1 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)))) (*.f64 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)) (/.f64 (*.f64 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)) (/.f64 1 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)))) (*.f64 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)) (/.f64 1 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)))))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (/.f64 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)) (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1))) (/.f64 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)) (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)))) (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (/.f64 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)) (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1))) (*.f64 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)) (/.f64 1 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1))))) (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (/.f64 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)) (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1))) (*.f64 (/.f64 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)) (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1))) (/.f64 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)) (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1))))) (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (/.f64 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)) (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1))) (/.f64 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)) (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)))) (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)) (/.f64 (/.f64 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)) (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1))) (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)))) (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)) (/.f64 1 (/.f64 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)) (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1))))) (/.f64 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)) (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (neg.f64 (/.f64 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)) (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)))) (neg.f64 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (neg.f64 (/.f64 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)) (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)))) (*.f64 (neg.f64 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1))) (/.f64 (/.f64 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)) (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1))) (/.f64 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)) (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1))))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (neg.f64 (*.f64 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)) (/.f64 1 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1))))) (neg.f64 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (neg.f64 (neg.f64 (/.f64 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)) (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1))))) (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (neg.f64 (*.f64 (/.f64 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)) (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1))) (/.f64 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)) (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1))))) (neg.f64 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)) (/.f64 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)) (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)) (/.f64 (/.f64 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)) (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1))) (/.f64 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)) (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)) (/.f64 (*.f64 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)) (/.f64 1 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)))) (*.f64 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)) (/.f64 1 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1))))))))) (#(struct:change #<rule egg-rr> (2) ((x neg.f64 (neg.f64 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1))))))))
((#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 4 (pow.f64 v 2)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (*.f64 4 (pow.f64 v 2)))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (*.f64 4 (pow.f64 v 2)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (*.f64 4 (pow.f64 v 2)) (*.f64 (*.f64 4 (pow.f64 v 2)) (/.f64 0 (*.f64 4 (pow.f64 v 2)))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (*.f64 4 (pow.f64 v 2)) (*.f64 (*.f64 (pow.f64 v 2) (/.f64 4 (pow.f64 v 2))) 0))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (*.f64 4 (pow.f64 v 2)) (*.f64 (*.f64 (*.f64 4 (pow.f64 v 2)) (/.f64 1 (*.f64 4 (pow.f64 v 2)))) 0))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (*.f64 4 (pow.f64 v 2)) (*.f64 (*.f64 (/.f64 (pow.f64 v 2) (pow.f64 v 2)) (*.f64 4 (/.f64 (pow.f64 v 2) (pow.f64 v 2)))) 0))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (*.f64 4 (pow.f64 v 2)) (*.f64 (*.f64 (/.f64 (*.f64 4 (pow.f64 v 2)) (*.f64 4 (pow.f64 v 2))) (/.f64 (*.f64 4 (pow.f64 v 2)) (*.f64 4 (pow.f64 v 2)))) 0))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (*.f64 4 (pow.f64 v 2)) (*.f64 (neg.f64 (*.f64 4 (/.f64 (pow.f64 v 2) (pow.f64 v 2)))) 0))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (*.f64 4 (pow.f64 v 2)) (*.f64 (neg.f64 (/.f64 (*.f64 4 (pow.f64 v 2)) (*.f64 4 (pow.f64 v 2)))) 0))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 0 (*.f64 (pow.f64 v 2) -4))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (*.f64 0 (*.f64 (pow.f64 v 2) (/.f64 4 (pow.f64 v 2)))) (*.f64 (*.f64 (pow.f64 v 2) (/.f64 4 (pow.f64 v 2))) (neg.f64 (pow.f64 v 2))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (*.f64 0 (*.f64 (*.f64 4 (pow.f64 v 2)) (/.f64 1 (*.f64 4 (pow.f64 v 2))))) (*.f64 (*.f64 (*.f64 4 (pow.f64 v 2)) (/.f64 1 (*.f64 4 (pow.f64 v 2)))) (*.f64 (pow.f64 v 2) -4)))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (*.f64 0 (*.f64 (/.f64 (pow.f64 v 2) (pow.f64 v 2)) (*.f64 4 (/.f64 (pow.f64 v 2) (pow.f64 v 2))))) (*.f64 (*.f64 (/.f64 (pow.f64 v 2) (pow.f64 v 2)) (*.f64 4 (/.f64 (pow.f64 v 2) (pow.f64 v 2)))) (neg.f64 (pow.f64 v 2))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (*.f64 0 (*.f64 (/.f64 (*.f64 4 (pow.f64 v 2)) (*.f64 4 (pow.f64 v 2))) (/.f64 (*.f64 4 (pow.f64 v 2)) (*.f64 4 (pow.f64 v 2))))) (*.f64 (*.f64 (/.f64 (*.f64 4 (pow.f64 v 2)) (*.f64 4 (pow.f64 v 2))) (/.f64 (*.f64 4 (pow.f64 v 2)) (*.f64 4 (pow.f64 v 2)))) (*.f64 (pow.f64 v 2) -4)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 4 (pow.f64 v 2)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 4 (pow.f64 v 2)) (/.f64 (pow.f64 v 2) (pow.f64 v 2)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 4 (pow.f64 v 2)) (/.f64 (*.f64 4 (pow.f64 v 2)) (*.f64 4 (pow.f64 v 2))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 4 (pow.f64 v 2)) (/.f64 (/.f64 (pow.f64 v 2) (pow.f64 v 2)) (/.f64 (pow.f64 v 2) (pow.f64 v 2))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 4 (pow.f64 v 2)) (/.f64 (*.f64 4 (/.f64 (pow.f64 v 2) (pow.f64 v 2))) (*.f64 4 (/.f64 (pow.f64 v 2) (pow.f64 v 2)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 4 (pow.f64 v 2)) (/.f64 (/.f64 (*.f64 4 (pow.f64 v 2)) (*.f64 4 (pow.f64 v 2))) (/.f64 (*.f64 4 (pow.f64 v 2)) (*.f64 4 (pow.f64 v 2)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 4 (pow.f64 v 2)) (/.f64 (*.f64 (/.f64 (pow.f64 v 2) (pow.f64 v 2)) (*.f64 4 (/.f64 (pow.f64 v 2) (pow.f64 v 2)))) (*.f64 (/.f64 (pow.f64 v 2) (pow.f64 v 2)) (*.f64 4 (/.f64 (pow.f64 v 2) (pow.f64 v 2))))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 4 (pow.f64 v 2)) (/.f64 (*.f64 (pow.f64 v 2) (/.f64 4 (pow.f64 v 2))) (*.f64 (pow.f64 v 2) (/.f64 4 (pow.f64 v 2)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 4 (pow.f64 v 2)) (/.f64 (*.f64 (*.f64 4 (pow.f64 v 2)) (/.f64 1 (*.f64 4 (pow.f64 v 2)))) (*.f64 (*.f64 4 (pow.f64 v 2)) (/.f64 1 (*.f64 4 (pow.f64 v 2))))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (pow.f64 v 2) -4) -1)))) (#(struct:change #<rule egg-rr> (2) ((x neg.f64 (*.f64 (pow.f64 v 2) -4))))))

simplify119.0ms (1.3%)

Algorithm
egg-herbie
Rules
1156×rational_best_45_simplify-84
1110×rational_best_45_simplify-98
738×rational_best_45_simplify-71
580×rational_best_45_simplify-100
528×rational_best_45_simplify-35
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
01742203
16842199
233072193
Stop Event
node limit
Counts
81 → 89
Calls
Call 1
Inputs
(+.f64 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)) 0)
(+.f64 0 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)))
(-.f64 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)) 0)
(-.f64 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)) (*.f64 (*.f64 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)) (/.f64 1 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)))) 0))
(-.f64 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)) (*.f64 (*.f64 (/.f64 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)) (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1))) (/.f64 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)) (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)))) 0))
(-.f64 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)) (*.f64 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)) (/.f64 0 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)))))
(-.f64 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)) (*.f64 (neg.f64 (/.f64 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)) (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)))) 0))
(-.f64 0 (neg.f64 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1))))
(-.f64 (*.f64 0 (*.f64 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)) (/.f64 1 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1))))) (*.f64 (*.f64 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)) (/.f64 1 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)))) (neg.f64 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)))))
(-.f64 (*.f64 0 (*.f64 (/.f64 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)) (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1))) (/.f64 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)) (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1))))) (*.f64 (*.f64 (/.f64 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)) (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1))) (/.f64 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)) (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)))) (neg.f64 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)))))
(*.f64 1 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)))
(*.f64 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)) 1)
(*.f64 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)) (/.f64 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)) (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1))))
(*.f64 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)) (*.f64 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)) (/.f64 1 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)))))
(*.f64 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)) (*.f64 (/.f64 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)) (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1))) (/.f64 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)) (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)))))
(*.f64 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)) (*.f64 (/.f64 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)) (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1))) (*.f64 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)) (/.f64 1 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1))))))
(*.f64 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)) (*.f64 (/.f64 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)) (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1))) (*.f64 (/.f64 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)) (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1))) (/.f64 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)) (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1))))))
(*.f64 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)) (/.f64 (/.f64 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)) (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1))) (/.f64 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)) (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)))))
(*.f64 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)) (*.f64 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)) (/.f64 (/.f64 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)) (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1))) (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)))))
(*.f64 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)) (*.f64 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)) (/.f64 (*.f64 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)) (/.f64 1 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)))) (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)))))
(*.f64 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)) (*.f64 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)) (/.f64 (*.f64 (/.f64 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)) (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1))) (/.f64 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)) (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)))) (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)))))
(*.f64 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)) (*.f64 (*.f64 (/.f64 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)) (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1))) (*.f64 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)) (/.f64 1 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1))))) (/.f64 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)) (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)))))
(*.f64 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)) (*.f64 (*.f64 (/.f64 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)) (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1))) (*.f64 (/.f64 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)) (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1))) (/.f64 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)) (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1))))) (/.f64 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)) (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)))))
(*.f64 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)) (*.f64 (*.f64 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)) (/.f64 (/.f64 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)) (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1))) (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)))) (/.f64 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)) (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)))))
(*.f64 -1 (neg.f64 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1))))
(*.f64 (/.f64 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)) (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1))) (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)))
(*.f64 (/.f64 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)) (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1))) (*.f64 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)) (/.f64 1 (/.f64 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)) (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1))))))
(*.f64 (/.f64 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)) (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1))) (+.f64 0 (*.f64 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)) (/.f64 1 (/.f64 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)) (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)))))))
(*.f64 (/.f64 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)) (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1))) (*.f64 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)) (/.f64 (*.f64 (/.f64 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)) (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1))) (/.f64 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)) (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)))) (/.f64 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)) (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1))))))
(*.f64 (/.f64 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)) (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1))) (*.f64 (*.f64 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)) (/.f64 1 (/.f64 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)) (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1))))) (/.f64 (/.f64 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)) (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1))) (/.f64 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)) (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1))))))
(*.f64 (neg.f64 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1))) -1)
(*.f64 (neg.f64 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1))) (neg.f64 (/.f64 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)) (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)))))
(*.f64 (neg.f64 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1))) (*.f64 (neg.f64 (/.f64 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)) (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)))) (/.f64 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)) (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)))))
(*.f64 (neg.f64 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1))) (*.f64 -1 (/.f64 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)) (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)))))
(*.f64 (neg.f64 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1))) (-.f64 (/.f64 0 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1))) (/.f64 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)) (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)))))
(*.f64 (neg.f64 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1))) (-.f64 0 (*.f64 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)) (/.f64 1 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1))))))
(*.f64 (neg.f64 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1))) (-.f64 0 (*.f64 (/.f64 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)) (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1))) (/.f64 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)) (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1))))))
(*.f64 (*.f64 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)) (/.f64 1 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)))) (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)))
(*.f64 (*.f64 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)) (/.f64 1 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)))) (*.f64 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)) (/.f64 (*.f64 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)) (/.f64 1 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)))) (*.f64 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)) (/.f64 1 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)))))))
(*.f64 (*.f64 (/.f64 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)) (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1))) (/.f64 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)) (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)))) (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)))
(*.f64 (*.f64 (/.f64 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)) (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1))) (*.f64 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)) (/.f64 1 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1))))) (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)))
(*.f64 (*.f64 (/.f64 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)) (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1))) (*.f64 (/.f64 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)) (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1))) (/.f64 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)) (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1))))) (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)))
(*.f64 (/.f64 (/.f64 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)) (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1))) (/.f64 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)) (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)))) (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)))
(*.f64 (*.f64 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)) (/.f64 (/.f64 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)) (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1))) (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)))) (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)))
(*.f64 (*.f64 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)) (/.f64 1 (/.f64 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)) (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1))))) (/.f64 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)) (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1))))
(*.f64 (neg.f64 (/.f64 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)) (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)))) (neg.f64 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1))))
(*.f64 (neg.f64 (/.f64 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)) (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)))) (*.f64 (neg.f64 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1))) (/.f64 (/.f64 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)) (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1))) (/.f64 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)) (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1))))))
(*.f64 (neg.f64 (*.f64 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)) (/.f64 1 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1))))) (neg.f64 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1))))
(*.f64 (neg.f64 (neg.f64 (/.f64 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)) (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1))))) (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)))
(*.f64 (neg.f64 (*.f64 (/.f64 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)) (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1))) (/.f64 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)) (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1))))) (neg.f64 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1))))
(/.f64 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)) 1)
(/.f64 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)) (/.f64 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)) (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1))))
(/.f64 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)) (/.f64 (/.f64 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)) (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1))) (/.f64 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)) (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)))))
(/.f64 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)) (/.f64 (*.f64 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)) (/.f64 1 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)))) (*.f64 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)) (/.f64 1 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1))))))
(neg.f64 (neg.f64 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1))))
(+.f64 (*.f64 4 (pow.f64 v 2)) 0)
(+.f64 0 (*.f64 4 (pow.f64 v 2)))
(-.f64 (*.f64 4 (pow.f64 v 2)) 0)
(-.f64 (*.f64 4 (pow.f64 v 2)) (*.f64 (*.f64 4 (pow.f64 v 2)) (/.f64 0 (*.f64 4 (pow.f64 v 2)))))
(-.f64 (*.f64 4 (pow.f64 v 2)) (*.f64 (*.f64 (pow.f64 v 2) (/.f64 4 (pow.f64 v 2))) 0))
(-.f64 (*.f64 4 (pow.f64 v 2)) (*.f64 (*.f64 (*.f64 4 (pow.f64 v 2)) (/.f64 1 (*.f64 4 (pow.f64 v 2)))) 0))
(-.f64 (*.f64 4 (pow.f64 v 2)) (*.f64 (*.f64 (/.f64 (pow.f64 v 2) (pow.f64 v 2)) (*.f64 4 (/.f64 (pow.f64 v 2) (pow.f64 v 2)))) 0))
(-.f64 (*.f64 4 (pow.f64 v 2)) (*.f64 (*.f64 (/.f64 (*.f64 4 (pow.f64 v 2)) (*.f64 4 (pow.f64 v 2))) (/.f64 (*.f64 4 (pow.f64 v 2)) (*.f64 4 (pow.f64 v 2)))) 0))
(-.f64 (*.f64 4 (pow.f64 v 2)) (*.f64 (neg.f64 (*.f64 4 (/.f64 (pow.f64 v 2) (pow.f64 v 2)))) 0))
(-.f64 (*.f64 4 (pow.f64 v 2)) (*.f64 (neg.f64 (/.f64 (*.f64 4 (pow.f64 v 2)) (*.f64 4 (pow.f64 v 2)))) 0))
(-.f64 0 (*.f64 (pow.f64 v 2) -4))
(-.f64 (*.f64 0 (*.f64 (pow.f64 v 2) (/.f64 4 (pow.f64 v 2)))) (*.f64 (*.f64 (pow.f64 v 2) (/.f64 4 (pow.f64 v 2))) (neg.f64 (pow.f64 v 2))))
(-.f64 (*.f64 0 (*.f64 (*.f64 4 (pow.f64 v 2)) (/.f64 1 (*.f64 4 (pow.f64 v 2))))) (*.f64 (*.f64 (*.f64 4 (pow.f64 v 2)) (/.f64 1 (*.f64 4 (pow.f64 v 2)))) (*.f64 (pow.f64 v 2) -4)))
(-.f64 (*.f64 0 (*.f64 (/.f64 (pow.f64 v 2) (pow.f64 v 2)) (*.f64 4 (/.f64 (pow.f64 v 2) (pow.f64 v 2))))) (*.f64 (*.f64 (/.f64 (pow.f64 v 2) (pow.f64 v 2)) (*.f64 4 (/.f64 (pow.f64 v 2) (pow.f64 v 2)))) (neg.f64 (pow.f64 v 2))))
(-.f64 (*.f64 0 (*.f64 (/.f64 (*.f64 4 (pow.f64 v 2)) (*.f64 4 (pow.f64 v 2))) (/.f64 (*.f64 4 (pow.f64 v 2)) (*.f64 4 (pow.f64 v 2))))) (*.f64 (*.f64 (/.f64 (*.f64 4 (pow.f64 v 2)) (*.f64 4 (pow.f64 v 2))) (/.f64 (*.f64 4 (pow.f64 v 2)) (*.f64 4 (pow.f64 v 2)))) (*.f64 (pow.f64 v 2) -4)))
(/.f64 (*.f64 4 (pow.f64 v 2)) 1)
(/.f64 (*.f64 4 (pow.f64 v 2)) (/.f64 (pow.f64 v 2) (pow.f64 v 2)))
(/.f64 (*.f64 4 (pow.f64 v 2)) (/.f64 (*.f64 4 (pow.f64 v 2)) (*.f64 4 (pow.f64 v 2))))
(/.f64 (*.f64 4 (pow.f64 v 2)) (/.f64 (/.f64 (pow.f64 v 2) (pow.f64 v 2)) (/.f64 (pow.f64 v 2) (pow.f64 v 2))))
(/.f64 (*.f64 4 (pow.f64 v 2)) (/.f64 (*.f64 4 (/.f64 (pow.f64 v 2) (pow.f64 v 2))) (*.f64 4 (/.f64 (pow.f64 v 2) (pow.f64 v 2)))))
(/.f64 (*.f64 4 (pow.f64 v 2)) (/.f64 (/.f64 (*.f64 4 (pow.f64 v 2)) (*.f64 4 (pow.f64 v 2))) (/.f64 (*.f64 4 (pow.f64 v 2)) (*.f64 4 (pow.f64 v 2)))))
(/.f64 (*.f64 4 (pow.f64 v 2)) (/.f64 (*.f64 (/.f64 (pow.f64 v 2) (pow.f64 v 2)) (*.f64 4 (/.f64 (pow.f64 v 2) (pow.f64 v 2)))) (*.f64 (/.f64 (pow.f64 v 2) (pow.f64 v 2)) (*.f64 4 (/.f64 (pow.f64 v 2) (pow.f64 v 2))))))
(/.f64 (*.f64 4 (pow.f64 v 2)) (/.f64 (*.f64 (pow.f64 v 2) (/.f64 4 (pow.f64 v 2))) (*.f64 (pow.f64 v 2) (/.f64 4 (pow.f64 v 2)))))
(/.f64 (*.f64 4 (pow.f64 v 2)) (/.f64 (*.f64 (*.f64 4 (pow.f64 v 2)) (/.f64 1 (*.f64 4 (pow.f64 v 2)))) (*.f64 (*.f64 4 (pow.f64 v 2)) (/.f64 1 (*.f64 4 (pow.f64 v 2))))))
(/.f64 (*.f64 (pow.f64 v 2) -4) -1)
(neg.f64 (*.f64 (pow.f64 v 2) -4))
Outputs
(+.f64 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)) 0)
(acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1))
(+.f64 0 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)))
(acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1))
(-.f64 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)) 0)
(acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1))
(-.f64 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)) (*.f64 (*.f64 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)) (/.f64 1 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)))) 0))
(acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1))
(-.f64 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)) (*.f64 (*.f64 (/.f64 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)) (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1))) (/.f64 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)) (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)))) 0))
(acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1))
(-.f64 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)) (*.f64 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)) (/.f64 0 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)))))
(acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1))
(-.f64 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)) (*.f64 (neg.f64 (/.f64 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)) (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)))) 0))
(acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1))
(-.f64 0 (neg.f64 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1))))
(acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1))
(-.f64 (*.f64 0 (*.f64 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)) (/.f64 1 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1))))) (*.f64 (*.f64 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)) (/.f64 1 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)))) (neg.f64 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)))))
(acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1))
(-.f64 (*.f64 0 (*.f64 (/.f64 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)) (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1))) (/.f64 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)) (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1))))) (*.f64 (*.f64 (/.f64 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)) (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1))) (/.f64 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)) (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)))) (neg.f64 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)))))
(acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1))
(*.f64 1 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)))
(acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1))
(*.f64 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)) 1)
(acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1))
(*.f64 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)) (/.f64 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)) (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1))))
(acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1))
(*.f64 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)) (*.f64 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)) (/.f64 1 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)))))
(acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1))
(*.f64 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)) (*.f64 (/.f64 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)) (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1))) (/.f64 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)) (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)))))
(acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1))
(*.f64 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)) (*.f64 (/.f64 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)) (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1))) (*.f64 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)) (/.f64 1 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1))))))
(acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1))
(*.f64 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)) (*.f64 (/.f64 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)) (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1))) (*.f64 (/.f64 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)) (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1))) (/.f64 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)) (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1))))))
(acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1))
(*.f64 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)) (/.f64 (/.f64 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)) (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1))) (/.f64 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)) (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)))))
(acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1))
(*.f64 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)) (*.f64 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)) (/.f64 (/.f64 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)) (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1))) (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)))))
(acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1))
(*.f64 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)) (*.f64 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)) (/.f64 (*.f64 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)) (/.f64 1 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)))) (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)))))
(acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1))
(*.f64 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)) (*.f64 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)) (/.f64 (*.f64 (/.f64 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)) (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1))) (/.f64 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)) (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)))) (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)))))
(acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1))
(*.f64 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)) (*.f64 (*.f64 (/.f64 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)) (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1))) (*.f64 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)) (/.f64 1 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1))))) (/.f64 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)) (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)))))
(acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1))
(*.f64 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)) (*.f64 (*.f64 (/.f64 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)) (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1))) (*.f64 (/.f64 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)) (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1))) (/.f64 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)) (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1))))) (/.f64 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)) (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)))))
(acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1))
(*.f64 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)) (*.f64 (*.f64 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)) (/.f64 (/.f64 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)) (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1))) (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)))) (/.f64 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)) (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)))))
(acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1))
(*.f64 -1 (neg.f64 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1))))
(acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1))
(*.f64 (/.f64 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)) (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1))) (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)))
(acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1))
(*.f64 (/.f64 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)) (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1))) (*.f64 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)) (/.f64 1 (/.f64 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)) (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1))))))
(acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1))
(*.f64 (/.f64 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)) (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1))) (+.f64 0 (*.f64 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)) (/.f64 1 (/.f64 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)) (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)))))))
(acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1))
(*.f64 (/.f64 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)) (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1))) (*.f64 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)) (/.f64 (*.f64 (/.f64 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)) (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1))) (/.f64 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)) (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)))) (/.f64 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)) (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1))))))
(acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1))
(*.f64 (/.f64 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)) (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1))) (*.f64 (*.f64 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)) (/.f64 1 (/.f64 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)) (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1))))) (/.f64 (/.f64 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)) (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1))) (/.f64 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)) (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1))))))
(acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1))
(*.f64 (neg.f64 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1))) -1)
(acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1))
(*.f64 (neg.f64 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1))) (neg.f64 (/.f64 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)) (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)))))
(acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1))
(*.f64 (neg.f64 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1))) (*.f64 (neg.f64 (/.f64 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)) (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)))) (/.f64 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)) (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)))))
(acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1))
(*.f64 (neg.f64 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1))) (*.f64 -1 (/.f64 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)) (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)))))
(acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1))
(*.f64 (neg.f64 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1))) (-.f64 (/.f64 0 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1))) (/.f64 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)) (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)))))
(acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1))
(*.f64 (neg.f64 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1))) (-.f64 0 (*.f64 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)) (/.f64 1 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1))))))
(acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1))
(*.f64 (neg.f64 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1))) (-.f64 0 (*.f64 (/.f64 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)) (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1))) (/.f64 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)) (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1))))))
(acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1))
(*.f64 (*.f64 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)) (/.f64 1 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)))) (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)))
(acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1))
(*.f64 (*.f64 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)) (/.f64 1 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)))) (*.f64 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)) (/.f64 (*.f64 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)) (/.f64 1 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)))) (*.f64 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)) (/.f64 1 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)))))))
(acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1))
(*.f64 (*.f64 (/.f64 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)) (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1))) (/.f64 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)) (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)))) (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)))
(acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1))
(*.f64 (*.f64 (/.f64 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)) (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1))) (*.f64 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)) (/.f64 1 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1))))) (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)))
(acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1))
(*.f64 (*.f64 (/.f64 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)) (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1))) (*.f64 (/.f64 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)) (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1))) (/.f64 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)) (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1))))) (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)))
(acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1))
(*.f64 (/.f64 (/.f64 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)) (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1))) (/.f64 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)) (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)))) (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)))
(acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1))
(*.f64 (*.f64 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)) (/.f64 (/.f64 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)) (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1))) (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)))) (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)))
(acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1))
(*.f64 (*.f64 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)) (/.f64 1 (/.f64 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)) (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1))))) (/.f64 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)) (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1))))
(acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1))
(*.f64 (neg.f64 (/.f64 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)) (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)))) (neg.f64 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1))))
(acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1))
(*.f64 (neg.f64 (/.f64 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)) (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)))) (*.f64 (neg.f64 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1))) (/.f64 (/.f64 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)) (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1))) (/.f64 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)) (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1))))))
(acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1))
(*.f64 (neg.f64 (*.f64 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)) (/.f64 1 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1))))) (neg.f64 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1))))
(acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1))
(*.f64 (neg.f64 (neg.f64 (/.f64 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)) (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1))))) (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)))
(acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1))
(*.f64 (neg.f64 (*.f64 (/.f64 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)) (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1))) (/.f64 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)) (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1))))) (neg.f64 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1))))
(acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1))
(/.f64 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)) 1)
(acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1))
(/.f64 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)) (/.f64 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)) (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1))))
(acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1))
(/.f64 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)) (/.f64 (/.f64 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)) (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1))) (/.f64 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)) (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)))))
(acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1))
(/.f64 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)) (/.f64 (*.f64 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)) (/.f64 1 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)))) (*.f64 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1)) (/.f64 1 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1))))))
(acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1))
(neg.f64 (neg.f64 (acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1))))
(acos.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) -1))
(+.f64 (*.f64 4 (pow.f64 v 2)) 0)
(*.f64 4 (pow.f64 v 2))
(+.f64 0 (*.f64 4 (pow.f64 v 2)))
(*.f64 4 (pow.f64 v 2))
(-.f64 (*.f64 4 (pow.f64 v 2)) 0)
(*.f64 4 (pow.f64 v 2))
(-.f64 (*.f64 4 (pow.f64 v 2)) (*.f64 (*.f64 4 (pow.f64 v 2)) (/.f64 0 (*.f64 4 (pow.f64 v 2)))))
(*.f64 4 (pow.f64 v 2))
(-.f64 (*.f64 4 (pow.f64 v 2)) (*.f64 (*.f64 (pow.f64 v 2) (/.f64 4 (pow.f64 v 2))) 0))
(*.f64 4 (pow.f64 v 2))
(-.f64 (*.f64 4 (pow.f64 v 2)) (*.f64 (*.f64 (*.f64 4 (pow.f64 v 2)) (/.f64 1 (*.f64 4 (pow.f64 v 2)))) 0))
(*.f64 4 (pow.f64 v 2))
(-.f64 (*.f64 4 (pow.f64 v 2)) (*.f64 (*.f64 (/.f64 (pow.f64 v 2) (pow.f64 v 2)) (*.f64 4 (/.f64 (pow.f64 v 2) (pow.f64 v 2)))) 0))
(*.f64 4 (pow.f64 v 2))
(-.f64 (*.f64 4 (pow.f64 v 2)) (*.f64 (*.f64 (/.f64 (*.f64 4 (pow.f64 v 2)) (*.f64 4 (pow.f64 v 2))) (/.f64 (*.f64 4 (pow.f64 v 2)) (*.f64 4 (pow.f64 v 2)))) 0))
(*.f64 4 (pow.f64 v 2))
(-.f64 (*.f64 4 (pow.f64 v 2)) (*.f64 (neg.f64 (*.f64 4 (/.f64 (pow.f64 v 2) (pow.f64 v 2)))) 0))
(*.f64 4 (pow.f64 v 2))
(-.f64 (*.f64 4 (pow.f64 v 2)) (*.f64 (neg.f64 (/.f64 (*.f64 4 (pow.f64 v 2)) (*.f64 4 (pow.f64 v 2)))) 0))
(*.f64 4 (pow.f64 v 2))
(-.f64 0 (*.f64 (pow.f64 v 2) -4))
(neg.f64 (*.f64 (pow.f64 v 2) -4))
(-.f64 (*.f64 0 (*.f64 (pow.f64 v 2) (/.f64 4 (pow.f64 v 2)))) (*.f64 (*.f64 (pow.f64 v 2) (/.f64 4 (pow.f64 v 2))) (neg.f64 (pow.f64 v 2))))
(*.f64 4 (pow.f64 v 2))
(-.f64 (*.f64 0 (*.f64 (*.f64 4 (pow.f64 v 2)) (/.f64 1 (*.f64 4 (pow.f64 v 2))))) (*.f64 (*.f64 (*.f64 4 (pow.f64 v 2)) (/.f64 1 (*.f64 4 (pow.f64 v 2)))) (*.f64 (pow.f64 v 2) -4)))
(*.f64 (*.f64 (*.f64 4 (pow.f64 v 2)) (/.f64 1 (*.f64 4 (pow.f64 v 2)))) (neg.f64 (*.f64 (pow.f64 v 2) -4)))
(-.f64 (*.f64 0 (*.f64 (/.f64 (pow.f64 v 2) (pow.f64 v 2)) (*.f64 4 (/.f64 (pow.f64 v 2) (pow.f64 v 2))))) (*.f64 (*.f64 (/.f64 (pow.f64 v 2) (pow.f64 v 2)) (*.f64 4 (/.f64 (pow.f64 v 2) (pow.f64 v 2)))) (neg.f64 (pow.f64 v 2))))
(*.f64 (*.f64 (/.f64 (pow.f64 v 2) (pow.f64 v 2)) (*.f64 4 (/.f64 (pow.f64 v 2) (pow.f64 v 2)))) (-.f64 0 (neg.f64 (pow.f64 v 2))))
(*.f64 (*.f64 (/.f64 (pow.f64 v 2) (pow.f64 v 2)) (*.f64 4 (/.f64 (pow.f64 v 2) (pow.f64 v 2)))) (-.f64 (pow.f64 v 2) 0))
(*.f64 (pow.f64 v 2) (*.f64 4 (*.f64 (/.f64 (pow.f64 v 2) (pow.f64 v 2)) (/.f64 (pow.f64 v 2) (pow.f64 v 2)))))
(-.f64 (*.f64 0 (*.f64 (/.f64 (*.f64 4 (pow.f64 v 2)) (*.f64 4 (pow.f64 v 2))) (/.f64 (*.f64 4 (pow.f64 v 2)) (*.f64 4 (pow.f64 v 2))))) (*.f64 (*.f64 (/.f64 (*.f64 4 (pow.f64 v 2)) (*.f64 4 (pow.f64 v 2))) (/.f64 (*.f64 4 (pow.f64 v 2)) (*.f64 4 (pow.f64 v 2)))) (*.f64 (pow.f64 v 2) -4)))
(*.f64 (*.f64 (/.f64 (*.f64 4 (pow.f64 v 2)) (*.f64 4 (pow.f64 v 2))) (/.f64 (*.f64 4 (pow.f64 v 2)) (*.f64 4 (pow.f64 v 2)))) (neg.f64 (*.f64 (pow.f64 v 2) -4)))
(/.f64 (*.f64 4 (pow.f64 v 2)) 1)
(*.f64 4 (pow.f64 v 2))
(/.f64 (*.f64 4 (pow.f64 v 2)) (/.f64 (pow.f64 v 2) (pow.f64 v 2)))
(*.f64 4 (pow.f64 v 2))
(/.f64 (*.f64 4 (pow.f64 v 2)) (/.f64 (*.f64 4 (pow.f64 v 2)) (*.f64 4 (pow.f64 v 2))))
(/.f64 (*.f64 4 (pow.f64 v 2)) (/.f64 (/.f64 (pow.f64 v 2) (pow.f64 v 2)) (/.f64 (pow.f64 v 2) (pow.f64 v 2))))
(/.f64 (*.f64 4 (pow.f64 v 2)) (/.f64 (*.f64 4 (/.f64 (pow.f64 v 2) (pow.f64 v 2))) (*.f64 4 (/.f64 (pow.f64 v 2) (pow.f64 v 2)))))
(/.f64 (*.f64 4 (pow.f64 v 2)) (/.f64 (/.f64 (*.f64 4 (pow.f64 v 2)) (*.f64 4 (pow.f64 v 2))) (/.f64 (*.f64 4 (pow.f64 v 2)) (*.f64 4 (pow.f64 v 2)))))
(/.f64 (*.f64 4 (pow.f64 v 2)) (/.f64 (*.f64 (/.f64 (pow.f64 v 2) (pow.f64 v 2)) (*.f64 4 (/.f64 (pow.f64 v 2) (pow.f64 v 2)))) (*.f64 (/.f64 (pow.f64 v 2) (pow.f64 v 2)) (*.f64 4 (/.f64 (pow.f64 v 2) (pow.f64 v 2))))))
(/.f64 (*.f64 4 (pow.f64 v 2)) (/.f64 (*.f64 4 (*.f64 (/.f64 (pow.f64 v 2) (pow.f64 v 2)) (/.f64 (pow.f64 v 2) (pow.f64 v 2)))) (*.f64 4 (*.f64 (/.f64 (pow.f64 v 2) (pow.f64 v 2)) (/.f64 (pow.f64 v 2) (pow.f64 v 2))))))
(/.f64 (*.f64 4 (pow.f64 v 2)) (/.f64 (*.f64 (pow.f64 v 2) (/.f64 4 (pow.f64 v 2))) (*.f64 (pow.f64 v 2) (/.f64 4 (pow.f64 v 2)))))
(*.f64 4 (pow.f64 v 2))
(/.f64 (*.f64 4 (pow.f64 v 2)) (/.f64 (*.f64 (*.f64 4 (pow.f64 v 2)) (/.f64 1 (*.f64 4 (pow.f64 v 2)))) (*.f64 (*.f64 4 (pow.f64 v 2)) (/.f64 1 (*.f64 4 (pow.f64 v 2))))))
(/.f64 (*.f64 (pow.f64 v 2) -4) -1)
(neg.f64 (*.f64 (pow.f64 v 2) -4))
(neg.f64 (*.f64 (pow.f64 v 2) -4))

eval81.0ms (0.9%)

Compiler

Compiled 3008 to 2638 computations (12.3% saved)

prune12.0ms (0.1%)

Pruning

3 alts after pruning (0 fresh and 3 done)

PrunedKeptTotal
New89089
Fresh000
Picked011
Done022
Total89392
Error
0.8b
Counts
92 → 3
Alt Table
Click to see full alt table
StatusErrorProgram
0.8b
(acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (-.f64 (*.f64 v v) 1)))
0.9b
(acos.f64 (-.f64 (*.f64 4 (pow.f64 v 2)) 1))
1.1b
(acos.f64 -1)
Compiler

Compiled 27 to 21 computations (22.2% saved)

regimes10.0ms (0.1%)

Accuracy

Total -0.3b remaining (-41.8%)

Threshold costs -0.3b (-41.8%)

Counts
3 → 1
Calls
Call 1
Inputs
(acos.f64 -1)
(acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (-.f64 (*.f64 v v) 1)))
(acos.f64 (-.f64 (*.f64 4 (pow.f64 v 2)) 1))
Outputs
(acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (-.f64 (*.f64 v v) 1)))
Calls

4 calls:

3.0ms
v
2.0ms
(*.f64 v v)
2.0ms
(acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (-.f64 (*.f64 v v) 1)))
2.0ms
(/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (-.f64 (*.f64 v v) 1))
Results
ErrorSegmentsBranch
0.8b1v
0.8b1(acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (-.f64 (*.f64 v v) 1)))
0.8b1(/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (-.f64 (*.f64 v v) 1))
0.8b1(*.f64 v v)
Compiler

Compiled 60 to 41 computations (31.7% saved)

simplify94.0ms (1%)

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01446
Stop Event
done
saturated
Calls
Call 1
Inputs
(acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (-.f64 (*.f64 v v) 1)))
(acos.f64 -1)
Outputs
(acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (-.f64 (*.f64 v v) 1)))
(acos.f64 -1)
Compiler

Compiled 18 to 13 computations (27.8% saved)

soundness0.0ms (0%)

end145.0ms (1.6%)

Compiler

Compiled 17 to 12 computations (29.4% saved)

Profiling

Loading profile data...