Details

Time bar (total: 2.5s)

analyze0.0ms (0%)

Algorithm
1×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%25%75%0%0%0%0
100%25%0%75%0%0%0%1
Compiler

Compiled 12 to 9 computations (25% saved)

sample2.3s (91.1%)

Results
1.5s4102×body1024valid
352.0ms2017×body512valid
257.0ms427×body2048valid
171.0ms1710×body256valid
Bogosity

preprocess3.0ms (0.1%)

Algorithm
2×egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0711
011
Stop Event
1×saturated
1×saturated
Calls
Call 1
Inputs
0
Outputs
0
Call 2
Inputs
(acos.f64 (-.f64 1 x))
Outputs
(acos.f64 (-.f64 1 x))
Compiler

Compiled 6 to 5 computations (16.7% saved)

simplify7.0ms (0.3%)

Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0711
Stop Event
1×saturated
Counts
1 → 1
Calls
Call 1
Inputs
(acos.f64 (-.f64 1 x))
Outputs
(acos.f64 (-.f64 1 x))

eval0.0ms (0%)

Compiler

Compiled 5 to 4 computations (20% saved)

prune1.0ms (0%)

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022
Error
60.1b
Counts
2 → 1
Alt Table
Click to see full alt table
StatusErrorProgram
▶60.1b
(acos.f64 (-.f64 1 x))
Compiler

Compiled 5 to 4 computations (20% saved)

localize4.0ms (0.2%)

Local error

Found 1 expressions with local error:

NewErrorProgram
✓4.9b
(acos.f64 (-.f64 1 x))
Compiler

Compiled 10 to 7 computations (30% saved)

series0.0ms (0%)

Counts
1 → 4
Calls

3 calls:

TimeVariablePointExpression
0.0ms
x
@-inf
(acos.f64 (-.f64 1 x))
0.0ms
x
@0
(acos.f64 (-.f64 1 x))
0.0ms
x
@inf
(acos.f64 (-.f64 1 x))

rewrite94.0ms (3.7%)

Algorithm
1×batch-egg-rewrite
Rules
1020×rational_best_oopsla_all_46_json_45_simplify-35
958×rational_best_oopsla_all_46_json_45_simplify-13
918×rational_best_oopsla_all_46_json_45_simplify-23
906×rational_best_oopsla_all_46_json_45_simplify-37
636×rational_best_oopsla_all_46_json_45_simplify-87
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0711
13611
27811
325911
4118911
5688611
Stop Event
1×node limit
Counts
1 → 64
Calls
Call 1
Inputs
(acos.f64 (-.f64 1 x))
Outputs
((#(struct:change #<rule egg-rr> (2) ((x +.f64 (acos.f64 (-.f64 1 x)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (acos.f64 (-.f64 1 x)) (*.f64 (*.f64 (acos.f64 (-.f64 1 x)) (/.f64 1 (acos.f64 (-.f64 1 x)))) 0))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (acos.f64 (-.f64 1 x)) (*.f64 (*.f64 (/.f64 (acos.f64 (-.f64 1 x)) (acos.f64 (-.f64 1 x))) (/.f64 (acos.f64 (-.f64 1 x)) (acos.f64 (-.f64 1 x)))) 0))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (acos.f64 (-.f64 1 x)) (*.f64 0 (*.f64 (acos.f64 (-.f64 1 x)) (/.f64 1 (acos.f64 (-.f64 1 x))))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (acos.f64 (-.f64 1 x)) (*.f64 0 (*.f64 (/.f64 (acos.f64 (-.f64 1 x)) (acos.f64 (-.f64 1 x))) (/.f64 (acos.f64 (-.f64 1 x)) (acos.f64 (-.f64 1 x))))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (acos.f64 (-.f64 1 x)) (*.f64 (neg.f64 (/.f64 (acos.f64 (-.f64 1 x)) (acos.f64 (-.f64 1 x)))) 0))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (acos.f64 (-.f64 1 x)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 (*.f64 (acos.f64 (-.f64 1 x)) (/.f64 1 (acos.f64 (-.f64 1 x)))) 0) (acos.f64 (-.f64 1 x)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 (*.f64 (/.f64 (acos.f64 (-.f64 1 x)) (acos.f64 (-.f64 1 x))) (/.f64 (acos.f64 (-.f64 1 x)) (acos.f64 (-.f64 1 x)))) 0) (acos.f64 (-.f64 1 x)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 0 (*.f64 (acos.f64 (-.f64 1 x)) (/.f64 1 (acos.f64 (-.f64 1 x))))) (acos.f64 (-.f64 1 x)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 0 (*.f64 (/.f64 (acos.f64 (-.f64 1 x)) (acos.f64 (-.f64 1 x))) (/.f64 (acos.f64 (-.f64 1 x)) (acos.f64 (-.f64 1 x))))) (acos.f64 (-.f64 1 x)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 (neg.f64 (/.f64 (acos.f64 (-.f64 1 x)) (acos.f64 (-.f64 1 x)))) 0) (acos.f64 (-.f64 1 x)))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (acos.f64 (-.f64 1 x)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (acos.f64 (-.f64 1 x)) (*.f64 (*.f64 (acos.f64 (-.f64 1 x)) (/.f64 1 (acos.f64 (-.f64 1 x)))) 0))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (acos.f64 (-.f64 1 x)) (*.f64 (*.f64 (/.f64 (acos.f64 (-.f64 1 x)) (acos.f64 (-.f64 1 x))) (/.f64 (acos.f64 (-.f64 1 x)) (acos.f64 (-.f64 1 x)))) 0))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (acos.f64 (-.f64 1 x)) (*.f64 (neg.f64 (/.f64 (acos.f64 (-.f64 1 x)) (acos.f64 (-.f64 1 x)))) 0))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 0 (neg.f64 (acos.f64 (-.f64 1 x))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (*.f64 0 (*.f64 (acos.f64 (-.f64 1 x)) (/.f64 1 (acos.f64 (-.f64 1 x))))) (*.f64 (*.f64 (acos.f64 (-.f64 1 x)) (/.f64 1 (acos.f64 (-.f64 1 x)))) (neg.f64 (acos.f64 (-.f64 1 x)))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (*.f64 0 (*.f64 (/.f64 (acos.f64 (-.f64 1 x)) (acos.f64 (-.f64 1 x))) (/.f64 (acos.f64 (-.f64 1 x)) (acos.f64 (-.f64 1 x))))) (*.f64 (*.f64 (/.f64 (acos.f64 (-.f64 1 x)) (acos.f64 (-.f64 1 x))) (/.f64 (acos.f64 (-.f64 1 x)) (acos.f64 (-.f64 1 x)))) (neg.f64 (acos.f64 (-.f64 1 x)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (acos.f64 (-.f64 1 x)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (acos.f64 (-.f64 1 x)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (acos.f64 (-.f64 1 x)) (/.f64 (acos.f64 (-.f64 1 x)) (acos.f64 (-.f64 1 x))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (acos.f64 (-.f64 1 x)) (*.f64 (acos.f64 (-.f64 1 x)) (/.f64 1 (acos.f64 (-.f64 1 x)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (acos.f64 (-.f64 1 x)) (*.f64 (/.f64 (acos.f64 (-.f64 1 x)) (acos.f64 (-.f64 1 x))) (/.f64 (acos.f64 (-.f64 1 x)) (acos.f64 (-.f64 1 x)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (acos.f64 (-.f64 1 x)) (/.f64 (/.f64 (acos.f64 (-.f64 1 x)) (acos.f64 (-.f64 1 x))) (/.f64 (acos.f64 (-.f64 1 x)) (acos.f64 (-.f64 1 x)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (acos.f64 (-.f64 1 x)) (*.f64 (acos.f64 (-.f64 1 x)) (/.f64 (/.f64 (acos.f64 (-.f64 1 x)) (acos.f64 (-.f64 1 x))) (acos.f64 (-.f64 1 x)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (acos.f64 (-.f64 1 x)) (*.f64 (/.f64 (acos.f64 (-.f64 1 x)) (acos.f64 (-.f64 1 x))) (*.f64 (acos.f64 (-.f64 1 x)) (/.f64 1 (acos.f64 (-.f64 1 x))))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (acos.f64 (-.f64 1 x)) (*.f64 (/.f64 (acos.f64 (-.f64 1 x)) (acos.f64 (-.f64 1 x))) (*.f64 (/.f64 (acos.f64 (-.f64 1 x)) (acos.f64 (-.f64 1 x))) (/.f64 (acos.f64 (-.f64 1 x)) (acos.f64 (-.f64 1 x))))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (acos.f64 (-.f64 1 x)) (*.f64 (acos.f64 (-.f64 1 x)) (/.f64 (*.f64 (acos.f64 (-.f64 1 x)) (/.f64 1 (acos.f64 (-.f64 1 x)))) (acos.f64 (-.f64 1 x)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (acos.f64 (-.f64 1 x)) (*.f64 (acos.f64 (-.f64 1 x)) (/.f64 (*.f64 (/.f64 (acos.f64 (-.f64 1 x)) (acos.f64 (-.f64 1 x))) (/.f64 (acos.f64 (-.f64 1 x)) (acos.f64 (-.f64 1 x)))) (acos.f64 (-.f64 1 x)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (acos.f64 (-.f64 1 x)) (neg.f64 (neg.f64 (/.f64 (acos.f64 (-.f64 1 x)) (acos.f64 (-.f64 1 x))))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (acos.f64 (-.f64 1 x)) (*.f64 (*.f64 (/.f64 (acos.f64 (-.f64 1 x)) (acos.f64 (-.f64 1 x))) (*.f64 (acos.f64 (-.f64 1 x)) (/.f64 1 (acos.f64 (-.f64 1 x))))) (/.f64 (acos.f64 (-.f64 1 x)) (acos.f64 (-.f64 1 x)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (acos.f64 (-.f64 1 x)) (*.f64 (*.f64 (/.f64 (acos.f64 (-.f64 1 x)) (acos.f64 (-.f64 1 x))) (*.f64 (/.f64 (acos.f64 (-.f64 1 x)) (acos.f64 (-.f64 1 x))) (/.f64 (acos.f64 (-.f64 1 x)) (acos.f64 (-.f64 1 x))))) (/.f64 (acos.f64 (-.f64 1 x)) (acos.f64 (-.f64 1 x)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (acos.f64 (-.f64 1 x)) (*.f64 (*.f64 (acos.f64 (-.f64 1 x)) (/.f64 (/.f64 (acos.f64 (-.f64 1 x)) (acos.f64 (-.f64 1 x))) (acos.f64 (-.f64 1 x)))) (/.f64 (acos.f64 (-.f64 1 x)) (acos.f64 (-.f64 1 x)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (acos.f64 (-.f64 1 x)) (acos.f64 (-.f64 1 x))) (acos.f64 (-.f64 1 x)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (acos.f64 (-.f64 1 x)) (acos.f64 (-.f64 1 x))) (*.f64 (acos.f64 (-.f64 1 x)) (/.f64 1 (/.f64 (acos.f64 (-.f64 1 x)) (acos.f64 (-.f64 1 x))))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (acos.f64 (-.f64 1 x)) (acos.f64 (-.f64 1 x))) (*.f64 (acos.f64 (-.f64 1 x)) (/.f64 (*.f64 (/.f64 (acos.f64 (-.f64 1 x)) (acos.f64 (-.f64 1 x))) (/.f64 (acos.f64 (-.f64 1 x)) (acos.f64 (-.f64 1 x)))) (/.f64 (acos.f64 (-.f64 1 x)) (acos.f64 (-.f64 1 x))))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (acos.f64 (-.f64 1 x)) (acos.f64 (-.f64 1 x))) (*.f64 (*.f64 (acos.f64 (-.f64 1 x)) (/.f64 1 (/.f64 (acos.f64 (-.f64 1 x)) (acos.f64 (-.f64 1 x))))) (/.f64 (/.f64 (acos.f64 (-.f64 1 x)) (acos.f64 (-.f64 1 x))) (/.f64 (acos.f64 (-.f64 1 x)) (acos.f64 (-.f64 1 x))))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 -1 (neg.f64 (acos.f64 (-.f64 1 x))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (acos.f64 (-.f64 1 x)) (/.f64 1 (acos.f64 (-.f64 1 x)))) (acos.f64 (-.f64 1 x)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (acos.f64 (-.f64 1 x)) (/.f64 1 (acos.f64 (-.f64 1 x)))) (*.f64 (acos.f64 (-.f64 1 x)) (/.f64 (*.f64 (acos.f64 (-.f64 1 x)) (/.f64 1 (acos.f64 (-.f64 1 x)))) (*.f64 (acos.f64 (-.f64 1 x)) (/.f64 1 (acos.f64 (-.f64 1 x)))))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (neg.f64 (acos.f64 (-.f64 1 x))) -1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (neg.f64 (acos.f64 (-.f64 1 x))) (neg.f64 (/.f64 (acos.f64 (-.f64 1 x)) (acos.f64 (-.f64 1 x)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (neg.f64 (acos.f64 (-.f64 1 x))) (*.f64 -1 (/.f64 (acos.f64 (-.f64 1 x)) (acos.f64 (-.f64 1 x)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (neg.f64 (acos.f64 (-.f64 1 x))) (*.f64 (neg.f64 (/.f64 (acos.f64 (-.f64 1 x)) (acos.f64 (-.f64 1 x)))) (/.f64 (acos.f64 (-.f64 1 x)) (acos.f64 (-.f64 1 x)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (neg.f64 (acos.f64 (-.f64 1 x))) (neg.f64 (*.f64 (/.f64 (acos.f64 (-.f64 1 x)) (acos.f64 (-.f64 1 x))) (/.f64 (acos.f64 (-.f64 1 x)) (acos.f64 (-.f64 1 x))))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (neg.f64 (acos.f64 (-.f64 1 x))) (-.f64 (/.f64 0 (acos.f64 (-.f64 1 x))) (/.f64 (acos.f64 (-.f64 1 x)) (acos.f64 (-.f64 1 x)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (neg.f64 (acos.f64 (-.f64 1 x))) (neg.f64 (*.f64 (acos.f64 (-.f64 1 x)) (/.f64 1 (acos.f64 (-.f64 1 x))))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (/.f64 (acos.f64 (-.f64 1 x)) (acos.f64 (-.f64 1 x))) (/.f64 (acos.f64 (-.f64 1 x)) (acos.f64 (-.f64 1 x)))) (acos.f64 (-.f64 1 x)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (/.f64 (acos.f64 (-.f64 1 x)) (acos.f64 (-.f64 1 x))) (/.f64 (acos.f64 (-.f64 1 x)) (acos.f64 (-.f64 1 x)))) (acos.f64 (-.f64 1 x)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (acos.f64 (-.f64 1 x)) (/.f64 (/.f64 (acos.f64 (-.f64 1 x)) (acos.f64 (-.f64 1 x))) (acos.f64 (-.f64 1 x)))) (acos.f64 (-.f64 1 x)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (acos.f64 (-.f64 1 x)) (/.f64 1 (/.f64 (acos.f64 (-.f64 1 x)) (acos.f64 (-.f64 1 x))))) (/.f64 (acos.f64 (-.f64 1 x)) (acos.f64 (-.f64 1 x))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (neg.f64 (/.f64 (acos.f64 (-.f64 1 x)) (acos.f64 (-.f64 1 x)))) (neg.f64 (acos.f64 (-.f64 1 x))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (/.f64 (acos.f64 (-.f64 1 x)) (acos.f64 (-.f64 1 x))) (*.f64 (acos.f64 (-.f64 1 x)) (/.f64 1 (acos.f64 (-.f64 1 x))))) (acos.f64 (-.f64 1 x)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (/.f64 (acos.f64 (-.f64 1 x)) (acos.f64 (-.f64 1 x))) (*.f64 (/.f64 (acos.f64 (-.f64 1 x)) (acos.f64 (-.f64 1 x))) (/.f64 (acos.f64 (-.f64 1 x)) (acos.f64 (-.f64 1 x))))) (acos.f64 (-.f64 1 x)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (neg.f64 (*.f64 (/.f64 (acos.f64 (-.f64 1 x)) (acos.f64 (-.f64 1 x))) (/.f64 (acos.f64 (-.f64 1 x)) (acos.f64 (-.f64 1 x))))) (neg.f64 (acos.f64 (-.f64 1 x))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (neg.f64 (*.f64 (acos.f64 (-.f64 1 x)) (/.f64 1 (acos.f64 (-.f64 1 x))))) (neg.f64 (acos.f64 (-.f64 1 x))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (neg.f64 (neg.f64 (/.f64 (acos.f64 (-.f64 1 x)) (acos.f64 (-.f64 1 x))))) (acos.f64 (-.f64 1 x)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (acos.f64 (-.f64 1 x)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (acos.f64 (-.f64 1 x)) (/.f64 (acos.f64 (-.f64 1 x)) (acos.f64 (-.f64 1 x))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (acos.f64 (-.f64 1 x)) (/.f64 (/.f64 (acos.f64 (-.f64 1 x)) (acos.f64 (-.f64 1 x))) (/.f64 (acos.f64 (-.f64 1 x)) (acos.f64 (-.f64 1 x)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (acos.f64 (-.f64 1 x)) (/.f64 (*.f64 (acos.f64 (-.f64 1 x)) (/.f64 1 (acos.f64 (-.f64 1 x)))) (*.f64 (acos.f64 (-.f64 1 x)) (/.f64 1 (acos.f64 (-.f64 1 x))))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (neg.f64 (acos.f64 (-.f64 1 x))) -1)))) (#(struct:change #<rule egg-rr> (2) ((x neg.f64 (neg.f64 (acos.f64 (-.f64 1 x))))))))

simplify69.0ms (2.7%)

Algorithm
1×egg-herbie
Rules
1812×rational_best_oopsla_all_46_json_45_simplify-89
1464×rational_best_oopsla_all_46_json_45_simplify-74
1144×rational_best_oopsla_all_46_json_45_simplify-49
1046×rational_best_oopsla_all_46_json_45_simplify-24
1044×rational_best_oopsla_all_46_json_45_simplify-72
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
0115772
1429764
22552764
Stop Event
1×node limit
Counts
68 → 67
Calls
Call 1
Inputs
(acos.f64 (+.f64 1 (*.f64 -1 x)))
(acos.f64 (+.f64 1 (*.f64 -1 x)))
(acos.f64 (+.f64 1 (*.f64 -1 x)))
(acos.f64 (+.f64 1 (*.f64 -1 x)))
(+.f64 (acos.f64 (-.f64 1 x)) 0)
(+.f64 (acos.f64 (-.f64 1 x)) (*.f64 (*.f64 (acos.f64 (-.f64 1 x)) (/.f64 1 (acos.f64 (-.f64 1 x)))) 0))
(+.f64 (acos.f64 (-.f64 1 x)) (*.f64 (*.f64 (/.f64 (acos.f64 (-.f64 1 x)) (acos.f64 (-.f64 1 x))) (/.f64 (acos.f64 (-.f64 1 x)) (acos.f64 (-.f64 1 x)))) 0))
(+.f64 (acos.f64 (-.f64 1 x)) (*.f64 0 (*.f64 (acos.f64 (-.f64 1 x)) (/.f64 1 (acos.f64 (-.f64 1 x))))))
(+.f64 (acos.f64 (-.f64 1 x)) (*.f64 0 (*.f64 (/.f64 (acos.f64 (-.f64 1 x)) (acos.f64 (-.f64 1 x))) (/.f64 (acos.f64 (-.f64 1 x)) (acos.f64 (-.f64 1 x))))))
(+.f64 (acos.f64 (-.f64 1 x)) (*.f64 (neg.f64 (/.f64 (acos.f64 (-.f64 1 x)) (acos.f64 (-.f64 1 x)))) 0))
(+.f64 0 (acos.f64 (-.f64 1 x)))
(+.f64 (*.f64 (*.f64 (acos.f64 (-.f64 1 x)) (/.f64 1 (acos.f64 (-.f64 1 x)))) 0) (acos.f64 (-.f64 1 x)))
(+.f64 (*.f64 (*.f64 (/.f64 (acos.f64 (-.f64 1 x)) (acos.f64 (-.f64 1 x))) (/.f64 (acos.f64 (-.f64 1 x)) (acos.f64 (-.f64 1 x)))) 0) (acos.f64 (-.f64 1 x)))
(+.f64 (*.f64 0 (*.f64 (acos.f64 (-.f64 1 x)) (/.f64 1 (acos.f64 (-.f64 1 x))))) (acos.f64 (-.f64 1 x)))
(+.f64 (*.f64 0 (*.f64 (/.f64 (acos.f64 (-.f64 1 x)) (acos.f64 (-.f64 1 x))) (/.f64 (acos.f64 (-.f64 1 x)) (acos.f64 (-.f64 1 x))))) (acos.f64 (-.f64 1 x)))
(+.f64 (*.f64 (neg.f64 (/.f64 (acos.f64 (-.f64 1 x)) (acos.f64 (-.f64 1 x)))) 0) (acos.f64 (-.f64 1 x)))
(-.f64 (acos.f64 (-.f64 1 x)) 0)
(-.f64 (acos.f64 (-.f64 1 x)) (*.f64 (*.f64 (acos.f64 (-.f64 1 x)) (/.f64 1 (acos.f64 (-.f64 1 x)))) 0))
(-.f64 (acos.f64 (-.f64 1 x)) (*.f64 (*.f64 (/.f64 (acos.f64 (-.f64 1 x)) (acos.f64 (-.f64 1 x))) (/.f64 (acos.f64 (-.f64 1 x)) (acos.f64 (-.f64 1 x)))) 0))
(-.f64 (acos.f64 (-.f64 1 x)) (*.f64 (neg.f64 (/.f64 (acos.f64 (-.f64 1 x)) (acos.f64 (-.f64 1 x)))) 0))
(-.f64 0 (neg.f64 (acos.f64 (-.f64 1 x))))
(-.f64 (*.f64 0 (*.f64 (acos.f64 (-.f64 1 x)) (/.f64 1 (acos.f64 (-.f64 1 x))))) (*.f64 (*.f64 (acos.f64 (-.f64 1 x)) (/.f64 1 (acos.f64 (-.f64 1 x)))) (neg.f64 (acos.f64 (-.f64 1 x)))))
(-.f64 (*.f64 0 (*.f64 (/.f64 (acos.f64 (-.f64 1 x)) (acos.f64 (-.f64 1 x))) (/.f64 (acos.f64 (-.f64 1 x)) (acos.f64 (-.f64 1 x))))) (*.f64 (*.f64 (/.f64 (acos.f64 (-.f64 1 x)) (acos.f64 (-.f64 1 x))) (/.f64 (acos.f64 (-.f64 1 x)) (acos.f64 (-.f64 1 x)))) (neg.f64 (acos.f64 (-.f64 1 x)))))
(*.f64 1 (acos.f64 (-.f64 1 x)))
(*.f64 (acos.f64 (-.f64 1 x)) 1)
(*.f64 (acos.f64 (-.f64 1 x)) (/.f64 (acos.f64 (-.f64 1 x)) (acos.f64 (-.f64 1 x))))
(*.f64 (acos.f64 (-.f64 1 x)) (*.f64 (acos.f64 (-.f64 1 x)) (/.f64 1 (acos.f64 (-.f64 1 x)))))
(*.f64 (acos.f64 (-.f64 1 x)) (*.f64 (/.f64 (acos.f64 (-.f64 1 x)) (acos.f64 (-.f64 1 x))) (/.f64 (acos.f64 (-.f64 1 x)) (acos.f64 (-.f64 1 x)))))
(*.f64 (acos.f64 (-.f64 1 x)) (/.f64 (/.f64 (acos.f64 (-.f64 1 x)) (acos.f64 (-.f64 1 x))) (/.f64 (acos.f64 (-.f64 1 x)) (acos.f64 (-.f64 1 x)))))
(*.f64 (acos.f64 (-.f64 1 x)) (*.f64 (acos.f64 (-.f64 1 x)) (/.f64 (/.f64 (acos.f64 (-.f64 1 x)) (acos.f64 (-.f64 1 x))) (acos.f64 (-.f64 1 x)))))
(*.f64 (acos.f64 (-.f64 1 x)) (*.f64 (/.f64 (acos.f64 (-.f64 1 x)) (acos.f64 (-.f64 1 x))) (*.f64 (acos.f64 (-.f64 1 x)) (/.f64 1 (acos.f64 (-.f64 1 x))))))
(*.f64 (acos.f64 (-.f64 1 x)) (*.f64 (/.f64 (acos.f64 (-.f64 1 x)) (acos.f64 (-.f64 1 x))) (*.f64 (/.f64 (acos.f64 (-.f64 1 x)) (acos.f64 (-.f64 1 x))) (/.f64 (acos.f64 (-.f64 1 x)) (acos.f64 (-.f64 1 x))))))
(*.f64 (acos.f64 (-.f64 1 x)) (*.f64 (acos.f64 (-.f64 1 x)) (/.f64 (*.f64 (acos.f64 (-.f64 1 x)) (/.f64 1 (acos.f64 (-.f64 1 x)))) (acos.f64 (-.f64 1 x)))))
(*.f64 (acos.f64 (-.f64 1 x)) (*.f64 (acos.f64 (-.f64 1 x)) (/.f64 (*.f64 (/.f64 (acos.f64 (-.f64 1 x)) (acos.f64 (-.f64 1 x))) (/.f64 (acos.f64 (-.f64 1 x)) (acos.f64 (-.f64 1 x)))) (acos.f64 (-.f64 1 x)))))
(*.f64 (acos.f64 (-.f64 1 x)) (neg.f64 (neg.f64 (/.f64 (acos.f64 (-.f64 1 x)) (acos.f64 (-.f64 1 x))))))
(*.f64 (acos.f64 (-.f64 1 x)) (*.f64 (*.f64 (/.f64 (acos.f64 (-.f64 1 x)) (acos.f64 (-.f64 1 x))) (*.f64 (acos.f64 (-.f64 1 x)) (/.f64 1 (acos.f64 (-.f64 1 x))))) (/.f64 (acos.f64 (-.f64 1 x)) (acos.f64 (-.f64 1 x)))))
(*.f64 (acos.f64 (-.f64 1 x)) (*.f64 (*.f64 (/.f64 (acos.f64 (-.f64 1 x)) (acos.f64 (-.f64 1 x))) (*.f64 (/.f64 (acos.f64 (-.f64 1 x)) (acos.f64 (-.f64 1 x))) (/.f64 (acos.f64 (-.f64 1 x)) (acos.f64 (-.f64 1 x))))) (/.f64 (acos.f64 (-.f64 1 x)) (acos.f64 (-.f64 1 x)))))
(*.f64 (acos.f64 (-.f64 1 x)) (*.f64 (*.f64 (acos.f64 (-.f64 1 x)) (/.f64 (/.f64 (acos.f64 (-.f64 1 x)) (acos.f64 (-.f64 1 x))) (acos.f64 (-.f64 1 x)))) (/.f64 (acos.f64 (-.f64 1 x)) (acos.f64 (-.f64 1 x)))))
(*.f64 (/.f64 (acos.f64 (-.f64 1 x)) (acos.f64 (-.f64 1 x))) (acos.f64 (-.f64 1 x)))
(*.f64 (/.f64 (acos.f64 (-.f64 1 x)) (acos.f64 (-.f64 1 x))) (*.f64 (acos.f64 (-.f64 1 x)) (/.f64 1 (/.f64 (acos.f64 (-.f64 1 x)) (acos.f64 (-.f64 1 x))))))
(*.f64 (/.f64 (acos.f64 (-.f64 1 x)) (acos.f64 (-.f64 1 x))) (*.f64 (acos.f64 (-.f64 1 x)) (/.f64 (*.f64 (/.f64 (acos.f64 (-.f64 1 x)) (acos.f64 (-.f64 1 x))) (/.f64 (acos.f64 (-.f64 1 x)) (acos.f64 (-.f64 1 x)))) (/.f64 (acos.f64 (-.f64 1 x)) (acos.f64 (-.f64 1 x))))))
(*.f64 (/.f64 (acos.f64 (-.f64 1 x)) (acos.f64 (-.f64 1 x))) (*.f64 (*.f64 (acos.f64 (-.f64 1 x)) (/.f64 1 (/.f64 (acos.f64 (-.f64 1 x)) (acos.f64 (-.f64 1 x))))) (/.f64 (/.f64 (acos.f64 (-.f64 1 x)) (acos.f64 (-.f64 1 x))) (/.f64 (acos.f64 (-.f64 1 x)) (acos.f64 (-.f64 1 x))))))
(*.f64 -1 (neg.f64 (acos.f64 (-.f64 1 x))))
(*.f64 (*.f64 (acos.f64 (-.f64 1 x)) (/.f64 1 (acos.f64 (-.f64 1 x)))) (acos.f64 (-.f64 1 x)))
(*.f64 (*.f64 (acos.f64 (-.f64 1 x)) (/.f64 1 (acos.f64 (-.f64 1 x)))) (*.f64 (acos.f64 (-.f64 1 x)) (/.f64 (*.f64 (acos.f64 (-.f64 1 x)) (/.f64 1 (acos.f64 (-.f64 1 x)))) (*.f64 (acos.f64 (-.f64 1 x)) (/.f64 1 (acos.f64 (-.f64 1 x)))))))
(*.f64 (neg.f64 (acos.f64 (-.f64 1 x))) -1)
(*.f64 (neg.f64 (acos.f64 (-.f64 1 x))) (neg.f64 (/.f64 (acos.f64 (-.f64 1 x)) (acos.f64 (-.f64 1 x)))))
(*.f64 (neg.f64 (acos.f64 (-.f64 1 x))) (*.f64 -1 (/.f64 (acos.f64 (-.f64 1 x)) (acos.f64 (-.f64 1 x)))))
(*.f64 (neg.f64 (acos.f64 (-.f64 1 x))) (*.f64 (neg.f64 (/.f64 (acos.f64 (-.f64 1 x)) (acos.f64 (-.f64 1 x)))) (/.f64 (acos.f64 (-.f64 1 x)) (acos.f64 (-.f64 1 x)))))
(*.f64 (neg.f64 (acos.f64 (-.f64 1 x))) (neg.f64 (*.f64 (/.f64 (acos.f64 (-.f64 1 x)) (acos.f64 (-.f64 1 x))) (/.f64 (acos.f64 (-.f64 1 x)) (acos.f64 (-.f64 1 x))))))
(*.f64 (neg.f64 (acos.f64 (-.f64 1 x))) (-.f64 (/.f64 0 (acos.f64 (-.f64 1 x))) (/.f64 (acos.f64 (-.f64 1 x)) (acos.f64 (-.f64 1 x)))))
(*.f64 (neg.f64 (acos.f64 (-.f64 1 x))) (neg.f64 (*.f64 (acos.f64 (-.f64 1 x)) (/.f64 1 (acos.f64 (-.f64 1 x))))))
(*.f64 (*.f64 (/.f64 (acos.f64 (-.f64 1 x)) (acos.f64 (-.f64 1 x))) (/.f64 (acos.f64 (-.f64 1 x)) (acos.f64 (-.f64 1 x)))) (acos.f64 (-.f64 1 x)))
(*.f64 (/.f64 (/.f64 (acos.f64 (-.f64 1 x)) (acos.f64 (-.f64 1 x))) (/.f64 (acos.f64 (-.f64 1 x)) (acos.f64 (-.f64 1 x)))) (acos.f64 (-.f64 1 x)))
(*.f64 (*.f64 (acos.f64 (-.f64 1 x)) (/.f64 (/.f64 (acos.f64 (-.f64 1 x)) (acos.f64 (-.f64 1 x))) (acos.f64 (-.f64 1 x)))) (acos.f64 (-.f64 1 x)))
(*.f64 (*.f64 (acos.f64 (-.f64 1 x)) (/.f64 1 (/.f64 (acos.f64 (-.f64 1 x)) (acos.f64 (-.f64 1 x))))) (/.f64 (acos.f64 (-.f64 1 x)) (acos.f64 (-.f64 1 x))))
(*.f64 (neg.f64 (/.f64 (acos.f64 (-.f64 1 x)) (acos.f64 (-.f64 1 x)))) (neg.f64 (acos.f64 (-.f64 1 x))))
(*.f64 (*.f64 (/.f64 (acos.f64 (-.f64 1 x)) (acos.f64 (-.f64 1 x))) (*.f64 (acos.f64 (-.f64 1 x)) (/.f64 1 (acos.f64 (-.f64 1 x))))) (acos.f64 (-.f64 1 x)))
(*.f64 (*.f64 (/.f64 (acos.f64 (-.f64 1 x)) (acos.f64 (-.f64 1 x))) (*.f64 (/.f64 (acos.f64 (-.f64 1 x)) (acos.f64 (-.f64 1 x))) (/.f64 (acos.f64 (-.f64 1 x)) (acos.f64 (-.f64 1 x))))) (acos.f64 (-.f64 1 x)))
(*.f64 (neg.f64 (*.f64 (/.f64 (acos.f64 (-.f64 1 x)) (acos.f64 (-.f64 1 x))) (/.f64 (acos.f64 (-.f64 1 x)) (acos.f64 (-.f64 1 x))))) (neg.f64 (acos.f64 (-.f64 1 x))))
(*.f64 (neg.f64 (*.f64 (acos.f64 (-.f64 1 x)) (/.f64 1 (acos.f64 (-.f64 1 x))))) (neg.f64 (acos.f64 (-.f64 1 x))))
(*.f64 (neg.f64 (neg.f64 (/.f64 (acos.f64 (-.f64 1 x)) (acos.f64 (-.f64 1 x))))) (acos.f64 (-.f64 1 x)))
(/.f64 (acos.f64 (-.f64 1 x)) 1)
(/.f64 (acos.f64 (-.f64 1 x)) (/.f64 (acos.f64 (-.f64 1 x)) (acos.f64 (-.f64 1 x))))
(/.f64 (acos.f64 (-.f64 1 x)) (/.f64 (/.f64 (acos.f64 (-.f64 1 x)) (acos.f64 (-.f64 1 x))) (/.f64 (acos.f64 (-.f64 1 x)) (acos.f64 (-.f64 1 x)))))
(/.f64 (acos.f64 (-.f64 1 x)) (/.f64 (*.f64 (acos.f64 (-.f64 1 x)) (/.f64 1 (acos.f64 (-.f64 1 x)))) (*.f64 (acos.f64 (-.f64 1 x)) (/.f64 1 (acos.f64 (-.f64 1 x))))))
(/.f64 (neg.f64 (acos.f64 (-.f64 1 x))) -1)
(neg.f64 (neg.f64 (acos.f64 (-.f64 1 x))))
Outputs
(acos.f64 (+.f64 1 (*.f64 -1 x)))
(acos.f64 (+.f64 1 (neg.f64 x)))
(acos.f64 (+.f64 1 (*.f64 -1 x)))
(acos.f64 (+.f64 1 (neg.f64 x)))
(acos.f64 (+.f64 1 (*.f64 -1 x)))
(acos.f64 (+.f64 1 (neg.f64 x)))
(acos.f64 (+.f64 1 (*.f64 -1 x)))
(acos.f64 (+.f64 1 (neg.f64 x)))
(+.f64 (acos.f64 (-.f64 1 x)) 0)
(acos.f64 (-.f64 1 x))
(+.f64 (acos.f64 (-.f64 1 x)) (*.f64 (*.f64 (acos.f64 (-.f64 1 x)) (/.f64 1 (acos.f64 (-.f64 1 x)))) 0))
(acos.f64 (-.f64 1 x))
(+.f64 (acos.f64 (-.f64 1 x)) (*.f64 (*.f64 (/.f64 (acos.f64 (-.f64 1 x)) (acos.f64 (-.f64 1 x))) (/.f64 (acos.f64 (-.f64 1 x)) (acos.f64 (-.f64 1 x)))) 0))
(acos.f64 (-.f64 1 x))
(+.f64 (acos.f64 (-.f64 1 x)) (*.f64 0 (*.f64 (acos.f64 (-.f64 1 x)) (/.f64 1 (acos.f64 (-.f64 1 x))))))
(acos.f64 (-.f64 1 x))
(+.f64 (acos.f64 (-.f64 1 x)) (*.f64 0 (*.f64 (/.f64 (acos.f64 (-.f64 1 x)) (acos.f64 (-.f64 1 x))) (/.f64 (acos.f64 (-.f64 1 x)) (acos.f64 (-.f64 1 x))))))
(acos.f64 (-.f64 1 x))
(+.f64 (acos.f64 (-.f64 1 x)) (*.f64 (neg.f64 (/.f64 (acos.f64 (-.f64 1 x)) (acos.f64 (-.f64 1 x)))) 0))
(acos.f64 (-.f64 1 x))
(+.f64 0 (acos.f64 (-.f64 1 x)))
(acos.f64 (-.f64 1 x))
(+.f64 (*.f64 (*.f64 (acos.f64 (-.f64 1 x)) (/.f64 1 (acos.f64 (-.f64 1 x)))) 0) (acos.f64 (-.f64 1 x)))
(acos.f64 (-.f64 1 x))
(+.f64 (*.f64 (*.f64 (/.f64 (acos.f64 (-.f64 1 x)) (acos.f64 (-.f64 1 x))) (/.f64 (acos.f64 (-.f64 1 x)) (acos.f64 (-.f64 1 x)))) 0) (acos.f64 (-.f64 1 x)))
(acos.f64 (-.f64 1 x))
(+.f64 (*.f64 0 (*.f64 (acos.f64 (-.f64 1 x)) (/.f64 1 (acos.f64 (-.f64 1 x))))) (acos.f64 (-.f64 1 x)))
(acos.f64 (-.f64 1 x))
(+.f64 (*.f64 0 (*.f64 (/.f64 (acos.f64 (-.f64 1 x)) (acos.f64 (-.f64 1 x))) (/.f64 (acos.f64 (-.f64 1 x)) (acos.f64 (-.f64 1 x))))) (acos.f64 (-.f64 1 x)))
(acos.f64 (-.f64 1 x))
(+.f64 (*.f64 (neg.f64 (/.f64 (acos.f64 (-.f64 1 x)) (acos.f64 (-.f64 1 x)))) 0) (acos.f64 (-.f64 1 x)))
(acos.f64 (-.f64 1 x))
(-.f64 (acos.f64 (-.f64 1 x)) 0)
(acos.f64 (-.f64 1 x))
(-.f64 (acos.f64 (-.f64 1 x)) (*.f64 (*.f64 (acos.f64 (-.f64 1 x)) (/.f64 1 (acos.f64 (-.f64 1 x)))) 0))
(acos.f64 (-.f64 1 x))
(-.f64 (acos.f64 (-.f64 1 x)) (*.f64 (*.f64 (/.f64 (acos.f64 (-.f64 1 x)) (acos.f64 (-.f64 1 x))) (/.f64 (acos.f64 (-.f64 1 x)) (acos.f64 (-.f64 1 x)))) 0))
(acos.f64 (-.f64 1 x))
(-.f64 (acos.f64 (-.f64 1 x)) (*.f64 (neg.f64 (/.f64 (acos.f64 (-.f64 1 x)) (acos.f64 (-.f64 1 x)))) 0))
(acos.f64 (-.f64 1 x))
(-.f64 0 (neg.f64 (acos.f64 (-.f64 1 x))))
(acos.f64 (-.f64 1 x))
(-.f64 (*.f64 0 (*.f64 (acos.f64 (-.f64 1 x)) (/.f64 1 (acos.f64 (-.f64 1 x))))) (*.f64 (*.f64 (acos.f64 (-.f64 1 x)) (/.f64 1 (acos.f64 (-.f64 1 x)))) (neg.f64 (acos.f64 (-.f64 1 x)))))
(acos.f64 (-.f64 1 x))
(-.f64 (*.f64 0 (*.f64 (/.f64 (acos.f64 (-.f64 1 x)) (acos.f64 (-.f64 1 x))) (/.f64 (acos.f64 (-.f64 1 x)) (acos.f64 (-.f64 1 x))))) (*.f64 (*.f64 (/.f64 (acos.f64 (-.f64 1 x)) (acos.f64 (-.f64 1 x))) (/.f64 (acos.f64 (-.f64 1 x)) (acos.f64 (-.f64 1 x)))) (neg.f64 (acos.f64 (-.f64 1 x)))))
(acos.f64 (-.f64 1 x))
(*.f64 1 (acos.f64 (-.f64 1 x)))
(acos.f64 (-.f64 1 x))
(*.f64 (acos.f64 (-.f64 1 x)) 1)
(acos.f64 (-.f64 1 x))
(*.f64 (acos.f64 (-.f64 1 x)) (/.f64 (acos.f64 (-.f64 1 x)) (acos.f64 (-.f64 1 x))))
(acos.f64 (-.f64 1 x))
(*.f64 (acos.f64 (-.f64 1 x)) (*.f64 (acos.f64 (-.f64 1 x)) (/.f64 1 (acos.f64 (-.f64 1 x)))))
(acos.f64 (-.f64 1 x))
(*.f64 (acos.f64 (-.f64 1 x)) (*.f64 (/.f64 (acos.f64 (-.f64 1 x)) (acos.f64 (-.f64 1 x))) (/.f64 (acos.f64 (-.f64 1 x)) (acos.f64 (-.f64 1 x)))))
(acos.f64 (-.f64 1 x))
(*.f64 (acos.f64 (-.f64 1 x)) (/.f64 (/.f64 (acos.f64 (-.f64 1 x)) (acos.f64 (-.f64 1 x))) (/.f64 (acos.f64 (-.f64 1 x)) (acos.f64 (-.f64 1 x)))))
(acos.f64 (-.f64 1 x))
(*.f64 (acos.f64 (-.f64 1 x)) (*.f64 (acos.f64 (-.f64 1 x)) (/.f64 (/.f64 (acos.f64 (-.f64 1 x)) (acos.f64 (-.f64 1 x))) (acos.f64 (-.f64 1 x)))))
(acos.f64 (-.f64 1 x))
(*.f64 (acos.f64 (-.f64 1 x)) (*.f64 (/.f64 (acos.f64 (-.f64 1 x)) (acos.f64 (-.f64 1 x))) (*.f64 (acos.f64 (-.f64 1 x)) (/.f64 1 (acos.f64 (-.f64 1 x))))))
(acos.f64 (-.f64 1 x))
(*.f64 (acos.f64 (-.f64 1 x)) (*.f64 (/.f64 (acos.f64 (-.f64 1 x)) (acos.f64 (-.f64 1 x))) (*.f64 (/.f64 (acos.f64 (-.f64 1 x)) (acos.f64 (-.f64 1 x))) (/.f64 (acos.f64 (-.f64 1 x)) (acos.f64 (-.f64 1 x))))))
(acos.f64 (-.f64 1 x))
(*.f64 (acos.f64 (-.f64 1 x)) (*.f64 (acos.f64 (-.f64 1 x)) (/.f64 (*.f64 (acos.f64 (-.f64 1 x)) (/.f64 1 (acos.f64 (-.f64 1 x)))) (acos.f64 (-.f64 1 x)))))
(acos.f64 (-.f64 1 x))
(*.f64 (acos.f64 (-.f64 1 x)) (*.f64 (acos.f64 (-.f64 1 x)) (/.f64 (*.f64 (/.f64 (acos.f64 (-.f64 1 x)) (acos.f64 (-.f64 1 x))) (/.f64 (acos.f64 (-.f64 1 x)) (acos.f64 (-.f64 1 x)))) (acos.f64 (-.f64 1 x)))))
(acos.f64 (-.f64 1 x))
(*.f64 (acos.f64 (-.f64 1 x)) (neg.f64 (neg.f64 (/.f64 (acos.f64 (-.f64 1 x)) (acos.f64 (-.f64 1 x))))))
(acos.f64 (-.f64 1 x))
(*.f64 (acos.f64 (-.f64 1 x)) (*.f64 (*.f64 (/.f64 (acos.f64 (-.f64 1 x)) (acos.f64 (-.f64 1 x))) (*.f64 (acos.f64 (-.f64 1 x)) (/.f64 1 (acos.f64 (-.f64 1 x))))) (/.f64 (acos.f64 (-.f64 1 x)) (acos.f64 (-.f64 1 x)))))
(acos.f64 (-.f64 1 x))
(*.f64 (acos.f64 (-.f64 1 x)) (*.f64 (*.f64 (/.f64 (acos.f64 (-.f64 1 x)) (acos.f64 (-.f64 1 x))) (*.f64 (/.f64 (acos.f64 (-.f64 1 x)) (acos.f64 (-.f64 1 x))) (/.f64 (acos.f64 (-.f64 1 x)) (acos.f64 (-.f64 1 x))))) (/.f64 (acos.f64 (-.f64 1 x)) (acos.f64 (-.f64 1 x)))))
(acos.f64 (-.f64 1 x))
(*.f64 (acos.f64 (-.f64 1 x)) (*.f64 (*.f64 (acos.f64 (-.f64 1 x)) (/.f64 (/.f64 (acos.f64 (-.f64 1 x)) (acos.f64 (-.f64 1 x))) (acos.f64 (-.f64 1 x)))) (/.f64 (acos.f64 (-.f64 1 x)) (acos.f64 (-.f64 1 x)))))
(acos.f64 (-.f64 1 x))
(*.f64 (/.f64 (acos.f64 (-.f64 1 x)) (acos.f64 (-.f64 1 x))) (acos.f64 (-.f64 1 x)))
(acos.f64 (-.f64 1 x))
(*.f64 (/.f64 (acos.f64 (-.f64 1 x)) (acos.f64 (-.f64 1 x))) (*.f64 (acos.f64 (-.f64 1 x)) (/.f64 1 (/.f64 (acos.f64 (-.f64 1 x)) (acos.f64 (-.f64 1 x))))))
(acos.f64 (-.f64 1 x))
(*.f64 (/.f64 (acos.f64 (-.f64 1 x)) (acos.f64 (-.f64 1 x))) (*.f64 (acos.f64 (-.f64 1 x)) (/.f64 (*.f64 (/.f64 (acos.f64 (-.f64 1 x)) (acos.f64 (-.f64 1 x))) (/.f64 (acos.f64 (-.f64 1 x)) (acos.f64 (-.f64 1 x)))) (/.f64 (acos.f64 (-.f64 1 x)) (acos.f64 (-.f64 1 x))))))
(acos.f64 (-.f64 1 x))
(*.f64 (/.f64 (acos.f64 (-.f64 1 x)) (acos.f64 (-.f64 1 x))) (*.f64 (*.f64 (acos.f64 (-.f64 1 x)) (/.f64 1 (/.f64 (acos.f64 (-.f64 1 x)) (acos.f64 (-.f64 1 x))))) (/.f64 (/.f64 (acos.f64 (-.f64 1 x)) (acos.f64 (-.f64 1 x))) (/.f64 (acos.f64 (-.f64 1 x)) (acos.f64 (-.f64 1 x))))))
(acos.f64 (-.f64 1 x))
(*.f64 -1 (neg.f64 (acos.f64 (-.f64 1 x))))
(acos.f64 (-.f64 1 x))
(*.f64 (*.f64 (acos.f64 (-.f64 1 x)) (/.f64 1 (acos.f64 (-.f64 1 x)))) (acos.f64 (-.f64 1 x)))
(acos.f64 (-.f64 1 x))
(*.f64 (*.f64 (acos.f64 (-.f64 1 x)) (/.f64 1 (acos.f64 (-.f64 1 x)))) (*.f64 (acos.f64 (-.f64 1 x)) (/.f64 (*.f64 (acos.f64 (-.f64 1 x)) (/.f64 1 (acos.f64 (-.f64 1 x)))) (*.f64 (acos.f64 (-.f64 1 x)) (/.f64 1 (acos.f64 (-.f64 1 x)))))))
(acos.f64 (-.f64 1 x))
(*.f64 (neg.f64 (acos.f64 (-.f64 1 x))) -1)
(acos.f64 (-.f64 1 x))
(*.f64 (neg.f64 (acos.f64 (-.f64 1 x))) (neg.f64 (/.f64 (acos.f64 (-.f64 1 x)) (acos.f64 (-.f64 1 x)))))
(acos.f64 (-.f64 1 x))
(*.f64 (neg.f64 (acos.f64 (-.f64 1 x))) (*.f64 -1 (/.f64 (acos.f64 (-.f64 1 x)) (acos.f64 (-.f64 1 x)))))
(acos.f64 (-.f64 1 x))
(*.f64 (neg.f64 (acos.f64 (-.f64 1 x))) (*.f64 (neg.f64 (/.f64 (acos.f64 (-.f64 1 x)) (acos.f64 (-.f64 1 x)))) (/.f64 (acos.f64 (-.f64 1 x)) (acos.f64 (-.f64 1 x)))))
(acos.f64 (-.f64 1 x))
(*.f64 (neg.f64 (acos.f64 (-.f64 1 x))) (neg.f64 (*.f64 (/.f64 (acos.f64 (-.f64 1 x)) (acos.f64 (-.f64 1 x))) (/.f64 (acos.f64 (-.f64 1 x)) (acos.f64 (-.f64 1 x))))))
(acos.f64 (-.f64 1 x))
(*.f64 (neg.f64 (acos.f64 (-.f64 1 x))) (-.f64 (/.f64 0 (acos.f64 (-.f64 1 x))) (/.f64 (acos.f64 (-.f64 1 x)) (acos.f64 (-.f64 1 x)))))
(acos.f64 (-.f64 1 x))
(*.f64 (neg.f64 (acos.f64 (-.f64 1 x))) (neg.f64 (*.f64 (acos.f64 (-.f64 1 x)) (/.f64 1 (acos.f64 (-.f64 1 x))))))
(acos.f64 (-.f64 1 x))
(*.f64 (*.f64 (/.f64 (acos.f64 (-.f64 1 x)) (acos.f64 (-.f64 1 x))) (/.f64 (acos.f64 (-.f64 1 x)) (acos.f64 (-.f64 1 x)))) (acos.f64 (-.f64 1 x)))
(acos.f64 (-.f64 1 x))
(*.f64 (/.f64 (/.f64 (acos.f64 (-.f64 1 x)) (acos.f64 (-.f64 1 x))) (/.f64 (acos.f64 (-.f64 1 x)) (acos.f64 (-.f64 1 x)))) (acos.f64 (-.f64 1 x)))
(acos.f64 (-.f64 1 x))
(*.f64 (*.f64 (acos.f64 (-.f64 1 x)) (/.f64 (/.f64 (acos.f64 (-.f64 1 x)) (acos.f64 (-.f64 1 x))) (acos.f64 (-.f64 1 x)))) (acos.f64 (-.f64 1 x)))
(acos.f64 (-.f64 1 x))
(*.f64 (*.f64 (acos.f64 (-.f64 1 x)) (/.f64 1 (/.f64 (acos.f64 (-.f64 1 x)) (acos.f64 (-.f64 1 x))))) (/.f64 (acos.f64 (-.f64 1 x)) (acos.f64 (-.f64 1 x))))
(acos.f64 (-.f64 1 x))
(*.f64 (neg.f64 (/.f64 (acos.f64 (-.f64 1 x)) (acos.f64 (-.f64 1 x)))) (neg.f64 (acos.f64 (-.f64 1 x))))
(acos.f64 (-.f64 1 x))
(*.f64 (*.f64 (/.f64 (acos.f64 (-.f64 1 x)) (acos.f64 (-.f64 1 x))) (*.f64 (acos.f64 (-.f64 1 x)) (/.f64 1 (acos.f64 (-.f64 1 x))))) (acos.f64 (-.f64 1 x)))
(acos.f64 (-.f64 1 x))
(*.f64 (*.f64 (/.f64 (acos.f64 (-.f64 1 x)) (acos.f64 (-.f64 1 x))) (*.f64 (/.f64 (acos.f64 (-.f64 1 x)) (acos.f64 (-.f64 1 x))) (/.f64 (acos.f64 (-.f64 1 x)) (acos.f64 (-.f64 1 x))))) (acos.f64 (-.f64 1 x)))
(acos.f64 (-.f64 1 x))
(*.f64 (neg.f64 (*.f64 (/.f64 (acos.f64 (-.f64 1 x)) (acos.f64 (-.f64 1 x))) (/.f64 (acos.f64 (-.f64 1 x)) (acos.f64 (-.f64 1 x))))) (neg.f64 (acos.f64 (-.f64 1 x))))
(acos.f64 (-.f64 1 x))
(*.f64 (neg.f64 (*.f64 (acos.f64 (-.f64 1 x)) (/.f64 1 (acos.f64 (-.f64 1 x))))) (neg.f64 (acos.f64 (-.f64 1 x))))
(acos.f64 (-.f64 1 x))
(*.f64 (neg.f64 (neg.f64 (/.f64 (acos.f64 (-.f64 1 x)) (acos.f64 (-.f64 1 x))))) (acos.f64 (-.f64 1 x)))
(acos.f64 (-.f64 1 x))
(/.f64 (acos.f64 (-.f64 1 x)) 1)
(acos.f64 (-.f64 1 x))
(/.f64 (acos.f64 (-.f64 1 x)) (/.f64 (acos.f64 (-.f64 1 x)) (acos.f64 (-.f64 1 x))))
(acos.f64 (-.f64 1 x))
(/.f64 (acos.f64 (-.f64 1 x)) (/.f64 (/.f64 (acos.f64 (-.f64 1 x)) (acos.f64 (-.f64 1 x))) (/.f64 (acos.f64 (-.f64 1 x)) (acos.f64 (-.f64 1 x)))))
(acos.f64 (-.f64 1 x))
(/.f64 (acos.f64 (-.f64 1 x)) (/.f64 (*.f64 (acos.f64 (-.f64 1 x)) (/.f64 1 (acos.f64 (-.f64 1 x)))) (*.f64 (acos.f64 (-.f64 1 x)) (/.f64 1 (acos.f64 (-.f64 1 x))))))
(acos.f64 (-.f64 1 x))
(/.f64 (neg.f64 (acos.f64 (-.f64 1 x))) -1)
(acos.f64 (-.f64 1 x))
(neg.f64 (neg.f64 (acos.f64 (-.f64 1 x))))
(acos.f64 (-.f64 1 x))

eval24.0ms (0.9%)

Compiler

Compiled 1398 to 1132 computations (19% saved)

prune8.0ms (0.3%)

Pruning

1 alts after pruning (0 fresh and 1 done)

PrunedKeptTotal
New67067
Fresh000
Picked011
Done000
Total67168
Error
60.1b
Counts
68 → 1
Alt Table
Click to see full alt table
StatusErrorProgram
✓60.1b
(acos.f64 (-.f64 1 x))
Compiler

Compiled 10 to 8 computations (20% saved)

simplify1.0ms (0.1%)

Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0711
Stop Event
1×done
1×saturated
Calls
Call 1
Inputs
(acos.f64 (-.f64 1 x))
Outputs
(acos.f64 (-.f64 1 x))
Compiler

Compiled 5 to 4 computations (20% saved)

soundness0.0ms (0%)

end13.0ms (0.5%)

Compiler

Compiled 5 to 4 computations (20% saved)

Profiling

Loading profile data...