Details

Time bar (total: 4.8s)

analyze5.0ms (0.1%)

Algorithm
1×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
62.5%62.5%37.5%0%0%0%0%4
81.3%81.2%18.7%0%0%0%0%5
90.6%90.6%9.4%0%0%0%0%6
95.3%95.3%4.7%0%0%0%0%7
97.7%97.6%2.3%0%0%0%0%8
98.8%98.8%1.2%0%0%0%0%9
99.4%99.4%0.6%0%0%0%0%10
99.7%99.7%0.3%0%0%0%0%11
99.9%99.8%0.1%0%0%0%0%12
Compiler

Compiled 14 to 9 computations (35.7% saved)

sample4.1s (85.1%)

Results
3.4s4182×body2048valid
599.0ms4074×body256valid
Bogosity

preprocess126.0ms (2.7%)

Algorithm
2×egg-herbie
Rules
1482×rational_best_oopsla_all_46_json_45_simplify-10
1298×rational_best_oopsla_all_46_json_45_simplify-30
954×rational_best_oopsla_all_46_json_45_simplify-89
768×rational_best_oopsla_all_46_json_45_simplify-74
762×rational_best_oopsla_all_46_json_45_simplify-23
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01135
12535
27135
327435
4113535
5426235
6649935
011
Stop Event
1×saturated
1×node limit
Calls
Call 1
Inputs
0
Outputs
0
Call 2
Inputs
(-.f64 (/.f64 x x) (*.f64 (/.f64 1 x) (sqrt.f64 (*.f64 x x))))
Outputs
(-.f64 (/.f64 x x) (*.f64 (/.f64 1 x) (sqrt.f64 (*.f64 x x))))
Compiler

Compiled 14 to 9 computations (35.7% saved)

simplify131.0ms (2.7%)

Algorithm
1×egg-herbie
Rules
1482×rational_best_oopsla_all_46_json_45_simplify-10
1298×rational_best_oopsla_all_46_json_45_simplify-30
954×rational_best_oopsla_all_46_json_45_simplify-89
768×rational_best_oopsla_all_46_json_45_simplify-74
762×rational_best_oopsla_all_46_json_45_simplify-23
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01135
12535
27135
327435
4113535
5426235
6649935
Stop Event
1×node limit
Counts
1 → 1
Calls
Call 1
Inputs
(-.f64 (/.f64 x x) (*.f64 (/.f64 1 x) (sqrt.f64 (*.f64 x x))))
Outputs
(-.f64 (/.f64 x x) (*.f64 (/.f64 1 x) (sqrt.f64 (*.f64 x x))))

eval0.0ms (0%)

Compiler

Compiled 13 to 8 computations (38.5% saved)

prune1.0ms (0%)

Pruning

2 alts after pruning (2 fresh and 0 done)

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

Compiled 13 to 8 computations (38.5% saved)

localize13.0ms (0.3%)

Local error

Found 3 expressions with local error:

NewErrorProgram
✓0.1b
(*.f64 (/.f64 1 x) (sqrt.f64 (*.f64 x x)))
✓4.6b
(-.f64 (/.f64 x x) (*.f64 (/.f64 1 x) (sqrt.f64 (*.f64 x x))))
✓28.6b
(sqrt.f64 (*.f64 x x))
Compiler

Compiled 36 to 14 computations (61.1% saved)

series1.0ms (0%)

Counts
3 → 36
Calls

9 calls:

TimeVariablePointExpression
0.0ms
x
@inf
(sqrt.f64 (*.f64 x x))
0.0ms
x
@inf
(-.f64 (/.f64 x x) (*.f64 (/.f64 1 x) (sqrt.f64 (*.f64 x x))))
0.0ms
x
@0
(sqrt.f64 (*.f64 x x))
0.0ms
x
@-inf
(sqrt.f64 (*.f64 x x))
0.0ms
x
@-inf
(-.f64 (/.f64 x x) (*.f64 (/.f64 1 x) (sqrt.f64 (*.f64 x x))))

rewrite128.0ms (2.7%)

Algorithm
1×batch-egg-rewrite
Rules
1852×rational_best_oopsla_all_46_json-2
1852×rational_best_oopsla_all_46_json-1
1852×rational_best_oopsla_all_46_json-4
1852×rational_best_oopsla_all_46_json-3
628×rational_best_oopsla_all_46_json_45_simplify-35
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01169
17069
222669
397169
4439369
Stop Event
1×node limit
Counts
3 → 114
Calls
Call 1
Inputs
(sqrt.f64 (*.f64 x x))
(-.f64 (/.f64 x x) (*.f64 (/.f64 1 x) (sqrt.f64 (*.f64 x x))))
(*.f64 (/.f64 1 x) (sqrt.f64 (*.f64 x x)))
Outputs
((#(struct:change #<rule egg-rr> (2) ((x +.f64 (sqrt.f64 (*.f64 x x)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (sqrt.f64 (*.f64 x x)))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (sqrt.f64 (*.f64 x x)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 0 (neg.f64 (sqrt.f64 (*.f64 x x))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sqrt.f64 (*.f64 x x)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sqrt.f64 (*.f64 x x)) (/.f64 (sqrt.f64 (*.f64 x x)) (sqrt.f64 (*.f64 x x))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sqrt.f64 (*.f64 x x)) (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 (sqrt.f64 (*.f64 x x)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sqrt.f64 (*.f64 x x)) (*.f64 (/.f64 (sqrt.f64 (*.f64 x x)) (sqrt.f64 (*.f64 x x))) (/.f64 (sqrt.f64 (*.f64 x x)) (sqrt.f64 (*.f64 x x)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sqrt.f64 (*.f64 x x)) (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 (/.f64 (sqrt.f64 (*.f64 x x)) (sqrt.f64 (*.f64 x x))) (sqrt.f64 (*.f64 x x)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sqrt.f64 (*.f64 x x)) (*.f64 (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 (sqrt.f64 (*.f64 x x)))) (/.f64 (sqrt.f64 (*.f64 x x)) (sqrt.f64 (*.f64 x x)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sqrt.f64 (*.f64 x x)) (*.f64 (*.f64 (/.f64 (sqrt.f64 (*.f64 x x)) (sqrt.f64 (*.f64 x x))) (/.f64 (sqrt.f64 (*.f64 x x)) (sqrt.f64 (*.f64 x x)))) (/.f64 (sqrt.f64 (*.f64 x x)) (sqrt.f64 (*.f64 x x)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (sqrt.f64 (*.f64 x x)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (sqrt.f64 (*.f64 x x)) (sqrt.f64 (*.f64 x x))) (sqrt.f64 (*.f64 x x)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (sqrt.f64 (*.f64 x x)) (sqrt.f64 (*.f64 x x))) (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 (/.f64 (sqrt.f64 (*.f64 x x)) (sqrt.f64 (*.f64 x x))))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (sqrt.f64 (*.f64 x x)) (sqrt.f64 (*.f64 x x))) (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 (/.f64 (sqrt.f64 (*.f64 x x)) (sqrt.f64 (*.f64 x x))) (/.f64 (sqrt.f64 (*.f64 x x)) (sqrt.f64 (*.f64 x x))))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (neg.f64 (sqrt.f64 (*.f64 x x))) -1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (neg.f64 (sqrt.f64 (*.f64 x x))) (neg.f64 (/.f64 (sqrt.f64 (*.f64 x x)) (sqrt.f64 (*.f64 x x)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 -1 (neg.f64 (sqrt.f64 (*.f64 x x))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 (sqrt.f64 (*.f64 x x)))) (sqrt.f64 (*.f64 x x)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (/.f64 (sqrt.f64 (*.f64 x x)) (sqrt.f64 (*.f64 x x))) (/.f64 (sqrt.f64 (*.f64 x x)) (sqrt.f64 (*.f64 x x)))) (sqrt.f64 (*.f64 x x)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (neg.f64 (/.f64 (sqrt.f64 (*.f64 x x)) (sqrt.f64 (*.f64 x x)))) (neg.f64 (sqrt.f64 (*.f64 x x))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (sqrt.f64 (*.f64 x x)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (sqrt.f64 (*.f64 x x)) (/.f64 (sqrt.f64 (*.f64 x x)) (sqrt.f64 (*.f64 x x))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (sqrt.f64 (*.f64 x x)) (/.f64 (/.f64 (sqrt.f64 (*.f64 x x)) (sqrt.f64 (*.f64 x x))) (/.f64 (sqrt.f64 (*.f64 x x)) (sqrt.f64 (*.f64 x x)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (neg.f64 (sqrt.f64 (*.f64 x x))) -1)))) (#(struct:change #<rule egg-rr> (2) ((x neg.f64 (neg.f64 (sqrt.f64 (*.f64 x x))))))))
((#(struct:change #<rule egg-rr> (2) ((x +.f64 (/.f64 x x) (neg.f64 (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (/.f64 x x) (*.f64 1 (neg.f64 (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x)))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (/.f64 x x) (*.f64 (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x)) -1))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (-.f64 (/.f64 x x) (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x))) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (-.f64 (/.f64 x x) (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x))) (*.f64 (-.f64 (/.f64 x x) (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x))) 0))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (-.f64 (/.f64 x x) (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x))) (*.f64 (/.f64 (-.f64 (/.f64 x x) (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x))) (-.f64 (/.f64 x x) (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x)))) 0))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (-.f64 (/.f64 x x) (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x))) (*.f64 0 (/.f64 (-.f64 (/.f64 x x) (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x))) (-.f64 (/.f64 x x) (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x))))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (-.f64 (/.f64 x x) (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (neg.f64 (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x))) (/.f64 x x))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 1 (neg.f64 (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x)))) (/.f64 x x))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 (-.f64 (/.f64 x x) (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x))) 0) (-.f64 (/.f64 x x) (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 (/.f64 x x) (/.f64 (-.f64 (/.f64 x x) (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x))) (-.f64 (/.f64 x x) (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x))))) (*.f64 (/.f64 (-.f64 (/.f64 x x) (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x))) (-.f64 (/.f64 x x) (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x)))) (neg.f64 (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x)))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 (/.f64 (-.f64 (/.f64 x x) (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x))) (-.f64 (/.f64 x x) (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x)))) 0) (-.f64 (/.f64 x x) (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 0 (/.f64 (-.f64 (/.f64 x x) (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x))) (-.f64 (/.f64 x x) (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x))))) (-.f64 (/.f64 x x) (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x)) -1) (/.f64 x x))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 (/.f64 (-.f64 (/.f64 x x) (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x))) (-.f64 (/.f64 x x) (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x)))) (neg.f64 (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x)))) (*.f64 (/.f64 x x) (/.f64 (-.f64 (/.f64 x x) (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x))) (-.f64 (/.f64 x x) (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x))))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (-.f64 (/.f64 x x) (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (-.f64 (/.f64 x x) (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (-.f64 (/.f64 x x) (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x))) (/.f64 (-.f64 (/.f64 x x) (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x))) (-.f64 (/.f64 x x) (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (-.f64 (/.f64 x x) (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x))) (*.f64 (-.f64 (/.f64 x x) (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x))) (/.f64 1 (-.f64 (/.f64 x x) (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x))))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (-.f64 (/.f64 x x) (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x))) (*.f64 (/.f64 (-.f64 (/.f64 x x) (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x))) (-.f64 (/.f64 x x) (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x)))) (/.f64 (-.f64 (/.f64 x x) (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x))) (-.f64 (/.f64 x x) (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x))))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (-.f64 (/.f64 x x) (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x))) (*.f64 (-.f64 (/.f64 x x) (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x))) (/.f64 (/.f64 (-.f64 (/.f64 x x) (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x))) (-.f64 (/.f64 x x) (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x)))) (-.f64 (/.f64 x x) (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x))))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (-.f64 (/.f64 x x) (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x))) (*.f64 (*.f64 (-.f64 (/.f64 x x) (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x))) (/.f64 1 (-.f64 (/.f64 x x) (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x))))) (/.f64 (-.f64 (/.f64 x x) (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x))) (-.f64 (/.f64 x x) (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x))))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (-.f64 (/.f64 x x) (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x))) (*.f64 (*.f64 (/.f64 (-.f64 (/.f64 x x) (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x))) (-.f64 (/.f64 x x) (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x)))) (/.f64 (-.f64 (/.f64 x x) (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x))) (-.f64 (/.f64 x x) (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x))))) (/.f64 (-.f64 (/.f64 x x) (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x))) (-.f64 (/.f64 x x) (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x))))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (-.f64 (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x)) (/.f64 x x)) -1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (-.f64 (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x)) (/.f64 x x)) (neg.f64 (/.f64 (-.f64 (/.f64 x x) (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x))) (-.f64 (/.f64 x x) (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x))))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (-.f64 (/.f64 x x) (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x))) (-.f64 (/.f64 x x) (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x)))) (-.f64 (/.f64 x x) (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (-.f64 (/.f64 x x) (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x))) (-.f64 (/.f64 x x) (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x)))) (*.f64 (-.f64 (/.f64 x x) (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x))) (/.f64 1 (/.f64 (-.f64 (/.f64 x x) (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x))) (-.f64 (/.f64 x x) (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x)))))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (-.f64 (/.f64 x x) (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x))) (-.f64 (/.f64 x x) (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x)))) (*.f64 (-.f64 (/.f64 x x) (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x))) (/.f64 (/.f64 (-.f64 (/.f64 x x) (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x))) (-.f64 (/.f64 x x) (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x)))) (/.f64 (-.f64 (/.f64 x x) (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x))) (-.f64 (/.f64 x x) (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x)))))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 -1 (-.f64 (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x)) (/.f64 x x)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (-.f64 (/.f64 x x) (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x))) (/.f64 1 (-.f64 (/.f64 x x) (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x))))) (-.f64 (/.f64 x x) (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (/.f64 (-.f64 (/.f64 x x) (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x))) (-.f64 (/.f64 x x) (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x)))) (/.f64 (-.f64 (/.f64 x x) (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x))) (-.f64 (/.f64 x x) (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x))))) (-.f64 (/.f64 x x) (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (neg.f64 (/.f64 (-.f64 (/.f64 x x) (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x))) (-.f64 (/.f64 x x) (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x))))) (-.f64 (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x)) (/.f64 x x)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (/.f64 x x) (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (/.f64 x x) (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x))) (/.f64 (-.f64 (/.f64 x x) (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x))) (-.f64 (/.f64 x x) (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (/.f64 x x) (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x))) (/.f64 (/.f64 (-.f64 (/.f64 x x) (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x))) (-.f64 (/.f64 x x) (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x)))) (/.f64 (-.f64 (/.f64 x x) (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x))) (-.f64 (/.f64 x x) (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x))))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x)) (/.f64 x x)) -1)))) (#(struct:change #<rule egg-rr> (2) ((x neg.f64 (-.f64 (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x)) (/.f64 x x)))))))
((#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x)) (*.f64 (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x)) 0))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x)) (*.f64 (/.f64 (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x)) (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x))) 0))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x)) (*.f64 0 (/.f64 (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x)) (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x)))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x)) (*.f64 (*.f64 (/.f64 1 x) (/.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x))) 0))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x)) (*.f64 (*.f64 (/.f64 1 x) (/.f64 (sqrt.f64 (*.f64 x x)) (sqrt.f64 (*.f64 x x)))) 0))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x)) (*.f64 (*.f64 (/.f64 (/.f64 1 x) (/.f64 1 x)) (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 (/.f64 1 x) (/.f64 1 x)))) 0))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x)) (*.f64 (neg.f64 (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 (/.f64 1 x) (/.f64 1 x)))) 0))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x)) (*.f64 0 (*.f64 (/.f64 1 x) (/.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x)))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x)) (*.f64 0 (*.f64 (/.f64 1 x) (/.f64 (sqrt.f64 (*.f64 x x)) (sqrt.f64 (*.f64 x x))))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x)) (*.f64 0 (*.f64 (/.f64 (/.f64 1 x) (/.f64 1 x)) (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 (/.f64 1 x) (/.f64 1 x))))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x)) 0) (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 (/.f64 (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x)) (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x))) 0) (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 0 (/.f64 (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x)) (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x)))) (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 (*.f64 (/.f64 1 x) (/.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x))) 0) (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 (*.f64 (/.f64 1 x) (/.f64 (sqrt.f64 (*.f64 x x)) (sqrt.f64 (*.f64 x x)))) 0) (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 (*.f64 (/.f64 (/.f64 1 x) (/.f64 1 x)) (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 (/.f64 1 x) (/.f64 1 x)))) 0) (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 (neg.f64 (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 (/.f64 1 x) (/.f64 1 x)))) 0) (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 0 (*.f64 (/.f64 1 x) (/.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x)))) (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 0 (*.f64 (/.f64 1 x) (/.f64 (sqrt.f64 (*.f64 x x)) (sqrt.f64 (*.f64 x x))))) (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 0 (*.f64 (/.f64 (/.f64 1 x) (/.f64 1 x)) (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 (/.f64 1 x) (/.f64 1 x))))) (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x)))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x)) (*.f64 (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x)) 0))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x)) (*.f64 (/.f64 (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x)) (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x))) 0))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x)) (*.f64 (*.f64 (/.f64 1 x) (/.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x))) 0))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x)) (*.f64 (*.f64 (/.f64 1 x) (/.f64 (sqrt.f64 (*.f64 x x)) (sqrt.f64 (*.f64 x x)))) 0))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x)) (*.f64 (*.f64 (/.f64 (/.f64 1 x) (/.f64 1 x)) (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 (/.f64 1 x) (/.f64 1 x)))) 0))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x)) (*.f64 (neg.f64 (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 (/.f64 1 x) (/.f64 1 x)))) 0))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 0 (neg.f64 (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 0 (*.f64 1 (neg.f64 (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x)))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 0 (*.f64 (/.f64 (/.f64 1 x) (/.f64 1 x)) (neg.f64 (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x)))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 0 (*.f64 -1 (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 0 (*.f64 (neg.f64 (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 (/.f64 1 x) (/.f64 1 x)))) (/.f64 1 x)))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (*.f64 0 (/.f64 (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x)) (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x)))) (*.f64 (/.f64 (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x)) (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x))) (neg.f64 (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x)) (/.f64 (/.f64 1 x) (/.f64 1 x)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x)) (/.f64 (sqrt.f64 (*.f64 x x)) (sqrt.f64 (*.f64 x x))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x)) (/.f64 (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x)) (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x)) (/.f64 (/.f64 (/.f64 1 x) (/.f64 1 x)) (/.f64 (/.f64 1 x) (/.f64 1 x))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x)) (/.f64 (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 (/.f64 1 x) (/.f64 1 x))) (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 (/.f64 1 x) (/.f64 1 x)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x)) (/.f64 (/.f64 (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x)) (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x))) (/.f64 (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x)) (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x)) (/.f64 (*.f64 (/.f64 1 x) (/.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x))) (*.f64 (/.f64 1 x) (/.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x)) (/.f64 (*.f64 (/.f64 1 x) (/.f64 (sqrt.f64 (*.f64 x x)) (sqrt.f64 (*.f64 x x)))) (*.f64 (/.f64 1 x) (/.f64 (sqrt.f64 (*.f64 x x)) (sqrt.f64 (*.f64 x x))))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x)) (/.f64 (*.f64 (/.f64 (/.f64 1 x) (/.f64 1 x)) (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 (/.f64 1 x) (/.f64 1 x)))) (*.f64 (/.f64 (/.f64 1 x) (/.f64 1 x)) (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 (/.f64 1 x) (/.f64 1 x))))))))) (#(struct:change #<rule egg-rr> (2) ((x neg.f64 (neg.f64 (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x))))))) (#(struct:change #<rule egg-rr> (2) ((x neg.f64 (*.f64 1 (neg.f64 (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x)))))))) (#(struct:change #<rule egg-rr> (2) ((x neg.f64 (*.f64 (/.f64 (/.f64 1 x) (/.f64 1 x)) (neg.f64 (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x)))))))) (#(struct:change #<rule egg-rr> (2) ((x neg.f64 (*.f64 -1 (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x))))))) (#(struct:change #<rule egg-rr> (2) ((x neg.f64 (*.f64 (neg.f64 (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 (/.f64 1 x) (/.f64 1 x)))) (/.f64 1 x)))))))

simplify93.0ms (2%)

Algorithm
1×egg-herbie
Rules
1294×rational_best_oopsla_all_46_json_45_simplify-108
1160×rational_best_oopsla_all_46_json_45_simplify-72
1002×rational_best_oopsla_all_46_json_45_simplify-49
890×rational_best_oopsla_all_46_json_45_simplify-7
596×rational_best_oopsla_all_46_json_45_simplify-93
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
01933378
16273218
230733218
Stop Event
1×node limit
Counts
150 → 129
Calls
Call 1
Inputs
x
x
x
x
x
x
x
x
(*.f64 -1 x)
(*.f64 -1 x)
(*.f64 -1 x)
(*.f64 -1 x)
0
0
0
0
0
0
0
0
2
2
2
2
1
1
1
1
1
1
1
1
-1
-1
-1
-1
(+.f64 (sqrt.f64 (*.f64 x x)) 0)
(+.f64 0 (sqrt.f64 (*.f64 x x)))
(-.f64 (sqrt.f64 (*.f64 x x)) 0)
(-.f64 0 (neg.f64 (sqrt.f64 (*.f64 x x))))
(*.f64 (sqrt.f64 (*.f64 x x)) 1)
(*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 (sqrt.f64 (*.f64 x x)) (sqrt.f64 (*.f64 x x))))
(*.f64 (sqrt.f64 (*.f64 x x)) (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 (sqrt.f64 (*.f64 x x)))))
(*.f64 (sqrt.f64 (*.f64 x x)) (*.f64 (/.f64 (sqrt.f64 (*.f64 x x)) (sqrt.f64 (*.f64 x x))) (/.f64 (sqrt.f64 (*.f64 x x)) (sqrt.f64 (*.f64 x x)))))
(*.f64 (sqrt.f64 (*.f64 x x)) (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 (/.f64 (sqrt.f64 (*.f64 x x)) (sqrt.f64 (*.f64 x x))) (sqrt.f64 (*.f64 x x)))))
(*.f64 (sqrt.f64 (*.f64 x x)) (*.f64 (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 (sqrt.f64 (*.f64 x x)))) (/.f64 (sqrt.f64 (*.f64 x x)) (sqrt.f64 (*.f64 x x)))))
(*.f64 (sqrt.f64 (*.f64 x x)) (*.f64 (*.f64 (/.f64 (sqrt.f64 (*.f64 x x)) (sqrt.f64 (*.f64 x x))) (/.f64 (sqrt.f64 (*.f64 x x)) (sqrt.f64 (*.f64 x x)))) (/.f64 (sqrt.f64 (*.f64 x x)) (sqrt.f64 (*.f64 x x)))))
(*.f64 1 (sqrt.f64 (*.f64 x x)))
(*.f64 (/.f64 (sqrt.f64 (*.f64 x x)) (sqrt.f64 (*.f64 x x))) (sqrt.f64 (*.f64 x x)))
(*.f64 (/.f64 (sqrt.f64 (*.f64 x x)) (sqrt.f64 (*.f64 x x))) (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 (/.f64 (sqrt.f64 (*.f64 x x)) (sqrt.f64 (*.f64 x x))))))
(*.f64 (/.f64 (sqrt.f64 (*.f64 x x)) (sqrt.f64 (*.f64 x x))) (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 (/.f64 (sqrt.f64 (*.f64 x x)) (sqrt.f64 (*.f64 x x))) (/.f64 (sqrt.f64 (*.f64 x x)) (sqrt.f64 (*.f64 x x))))))
(*.f64 (neg.f64 (sqrt.f64 (*.f64 x x))) -1)
(*.f64 (neg.f64 (sqrt.f64 (*.f64 x x))) (neg.f64 (/.f64 (sqrt.f64 (*.f64 x x)) (sqrt.f64 (*.f64 x x)))))
(*.f64 -1 (neg.f64 (sqrt.f64 (*.f64 x x))))
(*.f64 (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 (sqrt.f64 (*.f64 x x)))) (sqrt.f64 (*.f64 x x)))
(*.f64 (*.f64 (/.f64 (sqrt.f64 (*.f64 x x)) (sqrt.f64 (*.f64 x x))) (/.f64 (sqrt.f64 (*.f64 x x)) (sqrt.f64 (*.f64 x x)))) (sqrt.f64 (*.f64 x x)))
(*.f64 (neg.f64 (/.f64 (sqrt.f64 (*.f64 x x)) (sqrt.f64 (*.f64 x x)))) (neg.f64 (sqrt.f64 (*.f64 x x))))
(/.f64 (sqrt.f64 (*.f64 x x)) 1)
(/.f64 (sqrt.f64 (*.f64 x x)) (/.f64 (sqrt.f64 (*.f64 x x)) (sqrt.f64 (*.f64 x x))))
(/.f64 (sqrt.f64 (*.f64 x x)) (/.f64 (/.f64 (sqrt.f64 (*.f64 x x)) (sqrt.f64 (*.f64 x x))) (/.f64 (sqrt.f64 (*.f64 x x)) (sqrt.f64 (*.f64 x x)))))
(/.f64 (neg.f64 (sqrt.f64 (*.f64 x x))) -1)
(neg.f64 (neg.f64 (sqrt.f64 (*.f64 x x))))
(+.f64 (/.f64 x x) (neg.f64 (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x))))
(+.f64 (/.f64 x x) (*.f64 1 (neg.f64 (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x)))))
(+.f64 (/.f64 x x) (*.f64 (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x)) -1))
(+.f64 (-.f64 (/.f64 x x) (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x))) 0)
(+.f64 (-.f64 (/.f64 x x) (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x))) (*.f64 (-.f64 (/.f64 x x) (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x))) 0))
(+.f64 (-.f64 (/.f64 x x) (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x))) (*.f64 (/.f64 (-.f64 (/.f64 x x) (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x))) (-.f64 (/.f64 x x) (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x)))) 0))
(+.f64 (-.f64 (/.f64 x x) (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x))) (*.f64 0 (/.f64 (-.f64 (/.f64 x x) (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x))) (-.f64 (/.f64 x x) (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x))))))
(+.f64 0 (-.f64 (/.f64 x x) (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x))))
(+.f64 (neg.f64 (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x))) (/.f64 x x))
(+.f64 (*.f64 1 (neg.f64 (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x)))) (/.f64 x x))
(+.f64 (*.f64 (-.f64 (/.f64 x x) (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x))) 0) (-.f64 (/.f64 x x) (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x))))
(+.f64 (*.f64 (/.f64 x x) (/.f64 (-.f64 (/.f64 x x) (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x))) (-.f64 (/.f64 x x) (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x))))) (*.f64 (/.f64 (-.f64 (/.f64 x x) (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x))) (-.f64 (/.f64 x x) (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x)))) (neg.f64 (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x)))))
(+.f64 (*.f64 (/.f64 (-.f64 (/.f64 x x) (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x))) (-.f64 (/.f64 x x) (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x)))) 0) (-.f64 (/.f64 x x) (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x))))
(+.f64 (*.f64 0 (/.f64 (-.f64 (/.f64 x x) (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x))) (-.f64 (/.f64 x x) (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x))))) (-.f64 (/.f64 x x) (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x))))
(+.f64 (*.f64 (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x)) -1) (/.f64 x x))
(+.f64 (*.f64 (/.f64 (-.f64 (/.f64 x x) (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x))) (-.f64 (/.f64 x x) (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x)))) (neg.f64 (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x)))) (*.f64 (/.f64 x x) (/.f64 (-.f64 (/.f64 x x) (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x))) (-.f64 (/.f64 x x) (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x))))))
(*.f64 1 (-.f64 (/.f64 x x) (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x))))
(*.f64 (-.f64 (/.f64 x x) (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x))) 1)
(*.f64 (-.f64 (/.f64 x x) (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x))) (/.f64 (-.f64 (/.f64 x x) (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x))) (-.f64 (/.f64 x x) (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x)))))
(*.f64 (-.f64 (/.f64 x x) (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x))) (*.f64 (-.f64 (/.f64 x x) (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x))) (/.f64 1 (-.f64 (/.f64 x x) (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x))))))
(*.f64 (-.f64 (/.f64 x x) (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x))) (*.f64 (/.f64 (-.f64 (/.f64 x x) (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x))) (-.f64 (/.f64 x x) (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x)))) (/.f64 (-.f64 (/.f64 x x) (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x))) (-.f64 (/.f64 x x) (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x))))))
(*.f64 (-.f64 (/.f64 x x) (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x))) (*.f64 (-.f64 (/.f64 x x) (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x))) (/.f64 (/.f64 (-.f64 (/.f64 x x) (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x))) (-.f64 (/.f64 x x) (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x)))) (-.f64 (/.f64 x x) (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x))))))
(*.f64 (-.f64 (/.f64 x x) (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x))) (*.f64 (*.f64 (-.f64 (/.f64 x x) (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x))) (/.f64 1 (-.f64 (/.f64 x x) (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x))))) (/.f64 (-.f64 (/.f64 x x) (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x))) (-.f64 (/.f64 x x) (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x))))))
(*.f64 (-.f64 (/.f64 x x) (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x))) (*.f64 (*.f64 (/.f64 (-.f64 (/.f64 x x) (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x))) (-.f64 (/.f64 x x) (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x)))) (/.f64 (-.f64 (/.f64 x x) (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x))) (-.f64 (/.f64 x x) (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x))))) (/.f64 (-.f64 (/.f64 x x) (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x))) (-.f64 (/.f64 x x) (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x))))))
(*.f64 (-.f64 (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x)) (/.f64 x x)) -1)
(*.f64 (-.f64 (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x)) (/.f64 x x)) (neg.f64 (/.f64 (-.f64 (/.f64 x x) (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x))) (-.f64 (/.f64 x x) (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x))))))
(*.f64 (/.f64 (-.f64 (/.f64 x x) (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x))) (-.f64 (/.f64 x x) (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x)))) (-.f64 (/.f64 x x) (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x))))
(*.f64 (/.f64 (-.f64 (/.f64 x x) (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x))) (-.f64 (/.f64 x x) (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x)))) (*.f64 (-.f64 (/.f64 x x) (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x))) (/.f64 1 (/.f64 (-.f64 (/.f64 x x) (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x))) (-.f64 (/.f64 x x) (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x)))))))
(*.f64 (/.f64 (-.f64 (/.f64 x x) (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x))) (-.f64 (/.f64 x x) (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x)))) (*.f64 (-.f64 (/.f64 x x) (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x))) (/.f64 (/.f64 (-.f64 (/.f64 x x) (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x))) (-.f64 (/.f64 x x) (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x)))) (/.f64 (-.f64 (/.f64 x x) (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x))) (-.f64 (/.f64 x x) (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x)))))))
(*.f64 -1 (-.f64 (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x)) (/.f64 x x)))
(*.f64 (*.f64 (-.f64 (/.f64 x x) (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x))) (/.f64 1 (-.f64 (/.f64 x x) (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x))))) (-.f64 (/.f64 x x) (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x))))
(*.f64 (*.f64 (/.f64 (-.f64 (/.f64 x x) (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x))) (-.f64 (/.f64 x x) (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x)))) (/.f64 (-.f64 (/.f64 x x) (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x))) (-.f64 (/.f64 x x) (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x))))) (-.f64 (/.f64 x x) (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x))))
(*.f64 (neg.f64 (/.f64 (-.f64 (/.f64 x x) (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x))) (-.f64 (/.f64 x x) (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x))))) (-.f64 (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x)) (/.f64 x x)))
(/.f64 (-.f64 (/.f64 x x) (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x))) 1)
(/.f64 (-.f64 (/.f64 x x) (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x))) (/.f64 (-.f64 (/.f64 x x) (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x))) (-.f64 (/.f64 x x) (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x)))))
(/.f64 (-.f64 (/.f64 x x) (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x))) (/.f64 (/.f64 (-.f64 (/.f64 x x) (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x))) (-.f64 (/.f64 x x) (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x)))) (/.f64 (-.f64 (/.f64 x x) (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x))) (-.f64 (/.f64 x x) (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x))))))
(/.f64 (-.f64 (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x)) (/.f64 x x)) -1)
(neg.f64 (-.f64 (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x)) (/.f64 x x)))
(+.f64 (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x)) 0)
(+.f64 (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x)) (*.f64 (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x)) 0))
(+.f64 (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x)) (*.f64 (/.f64 (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x)) (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x))) 0))
(+.f64 (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x)) (*.f64 0 (/.f64 (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x)) (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x)))))
(+.f64 (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x)) (*.f64 (*.f64 (/.f64 1 x) (/.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x))) 0))
(+.f64 (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x)) (*.f64 (*.f64 (/.f64 1 x) (/.f64 (sqrt.f64 (*.f64 x x)) (sqrt.f64 (*.f64 x x)))) 0))
(+.f64 (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x)) (*.f64 (*.f64 (/.f64 (/.f64 1 x) (/.f64 1 x)) (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 (/.f64 1 x) (/.f64 1 x)))) 0))
(+.f64 (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x)) (*.f64 (neg.f64 (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 (/.f64 1 x) (/.f64 1 x)))) 0))
(+.f64 (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x)) (*.f64 0 (*.f64 (/.f64 1 x) (/.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x)))))
(+.f64 (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x)) (*.f64 0 (*.f64 (/.f64 1 x) (/.f64 (sqrt.f64 (*.f64 x x)) (sqrt.f64 (*.f64 x x))))))
(+.f64 (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x)) (*.f64 0 (*.f64 (/.f64 (/.f64 1 x) (/.f64 1 x)) (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 (/.f64 1 x) (/.f64 1 x))))))
(+.f64 0 (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x)))
(+.f64 (*.f64 (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x)) 0) (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x)))
(+.f64 (*.f64 (/.f64 (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x)) (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x))) 0) (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x)))
(+.f64 (*.f64 0 (/.f64 (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x)) (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x)))) (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x)))
(+.f64 (*.f64 (*.f64 (/.f64 1 x) (/.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x))) 0) (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x)))
(+.f64 (*.f64 (*.f64 (/.f64 1 x) (/.f64 (sqrt.f64 (*.f64 x x)) (sqrt.f64 (*.f64 x x)))) 0) (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x)))
(+.f64 (*.f64 (*.f64 (/.f64 (/.f64 1 x) (/.f64 1 x)) (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 (/.f64 1 x) (/.f64 1 x)))) 0) (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x)))
(+.f64 (*.f64 (neg.f64 (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 (/.f64 1 x) (/.f64 1 x)))) 0) (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x)))
(+.f64 (*.f64 0 (*.f64 (/.f64 1 x) (/.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x)))) (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x)))
(+.f64 (*.f64 0 (*.f64 (/.f64 1 x) (/.f64 (sqrt.f64 (*.f64 x x)) (sqrt.f64 (*.f64 x x))))) (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x)))
(+.f64 (*.f64 0 (*.f64 (/.f64 (/.f64 1 x) (/.f64 1 x)) (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 (/.f64 1 x) (/.f64 1 x))))) (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x)))
(-.f64 (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x)) 0)
(-.f64 (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x)) (*.f64 (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x)) 0))
(-.f64 (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x)) (*.f64 (/.f64 (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x)) (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x))) 0))
(-.f64 (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x)) (*.f64 (*.f64 (/.f64 1 x) (/.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x))) 0))
(-.f64 (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x)) (*.f64 (*.f64 (/.f64 1 x) (/.f64 (sqrt.f64 (*.f64 x x)) (sqrt.f64 (*.f64 x x)))) 0))
(-.f64 (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x)) (*.f64 (*.f64 (/.f64 (/.f64 1 x) (/.f64 1 x)) (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 (/.f64 1 x) (/.f64 1 x)))) 0))
(-.f64 (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x)) (*.f64 (neg.f64 (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 (/.f64 1 x) (/.f64 1 x)))) 0))
(-.f64 0 (neg.f64 (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x))))
(-.f64 0 (*.f64 1 (neg.f64 (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x)))))
(-.f64 0 (*.f64 (/.f64 (/.f64 1 x) (/.f64 1 x)) (neg.f64 (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x)))))
(-.f64 0 (*.f64 -1 (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x))))
(-.f64 0 (*.f64 (neg.f64 (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 (/.f64 1 x) (/.f64 1 x)))) (/.f64 1 x)))
(-.f64 (*.f64 0 (/.f64 (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x)) (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x)))) (*.f64 (/.f64 (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x)) (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x))) (neg.f64 (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x)))))
(/.f64 (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x)) 1)
(/.f64 (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x)) (/.f64 (/.f64 1 x) (/.f64 1 x)))
(/.f64 (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x)) (/.f64 (sqrt.f64 (*.f64 x x)) (sqrt.f64 (*.f64 x x))))
(/.f64 (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x)) (/.f64 (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x)) (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x))))
(/.f64 (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x)) (/.f64 (/.f64 (/.f64 1 x) (/.f64 1 x)) (/.f64 (/.f64 1 x) (/.f64 1 x))))
(/.f64 (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x)) (/.f64 (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 (/.f64 1 x) (/.f64 1 x))) (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 (/.f64 1 x) (/.f64 1 x)))))
(/.f64 (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x)) (/.f64 (/.f64 (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x)) (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x))) (/.f64 (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x)) (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x)))))
(/.f64 (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x)) (/.f64 (*.f64 (/.f64 1 x) (/.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x))) (*.f64 (/.f64 1 x) (/.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x)))))
(/.f64 (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x)) (/.f64 (*.f64 (/.f64 1 x) (/.f64 (sqrt.f64 (*.f64 x x)) (sqrt.f64 (*.f64 x x)))) (*.f64 (/.f64 1 x) (/.f64 (sqrt.f64 (*.f64 x x)) (sqrt.f64 (*.f64 x x))))))
(/.f64 (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x)) (/.f64 (*.f64 (/.f64 (/.f64 1 x) (/.f64 1 x)) (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 (/.f64 1 x) (/.f64 1 x)))) (*.f64 (/.f64 (/.f64 1 x) (/.f64 1 x)) (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 (/.f64 1 x) (/.f64 1 x))))))
(neg.f64 (neg.f64 (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x))))
(neg.f64 (*.f64 1 (neg.f64 (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x)))))
(neg.f64 (*.f64 (/.f64 (/.f64 1 x) (/.f64 1 x)) (neg.f64 (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x)))))
(neg.f64 (*.f64 -1 (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x))))
(neg.f64 (*.f64 (neg.f64 (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 (/.f64 1 x) (/.f64 1 x)))) (/.f64 1 x)))
Outputs
x
x
x
x
x
x
x
x
(*.f64 -1 x)
(*.f64 x -1)
(neg.f64 x)
(*.f64 -1 x)
(*.f64 x -1)
(neg.f64 x)
(*.f64 -1 x)
(*.f64 x -1)
(neg.f64 x)
(*.f64 -1 x)
(*.f64 x -1)
(neg.f64 x)
0
0
0
0
0
0
0
0
2
2
2
2
1
1
1
1
1
1
1
1
-1
-1
-1
-1
(+.f64 (sqrt.f64 (*.f64 x x)) 0)
(sqrt.f64 (*.f64 x x))
(+.f64 0 (sqrt.f64 (*.f64 x x)))
(sqrt.f64 (*.f64 x x))
(-.f64 (sqrt.f64 (*.f64 x x)) 0)
(sqrt.f64 (*.f64 x x))
(-.f64 0 (neg.f64 (sqrt.f64 (*.f64 x x))))
(sqrt.f64 (*.f64 x x))
(*.f64 (sqrt.f64 (*.f64 x x)) 1)
(sqrt.f64 (*.f64 x x))
(*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 (sqrt.f64 (*.f64 x x)) (sqrt.f64 (*.f64 x x))))
(sqrt.f64 (*.f64 x x))
(*.f64 (sqrt.f64 (*.f64 x x)) (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 (sqrt.f64 (*.f64 x x)))))
(sqrt.f64 (*.f64 x x))
(*.f64 (sqrt.f64 (*.f64 x x)) (*.f64 (/.f64 (sqrt.f64 (*.f64 x x)) (sqrt.f64 (*.f64 x x))) (/.f64 (sqrt.f64 (*.f64 x x)) (sqrt.f64 (*.f64 x x)))))
(sqrt.f64 (*.f64 x x))
(*.f64 (sqrt.f64 (*.f64 x x)) (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 (/.f64 (sqrt.f64 (*.f64 x x)) (sqrt.f64 (*.f64 x x))) (sqrt.f64 (*.f64 x x)))))
(sqrt.f64 (*.f64 x x))
(*.f64 (sqrt.f64 (*.f64 x x)) (*.f64 (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 (sqrt.f64 (*.f64 x x)))) (/.f64 (sqrt.f64 (*.f64 x x)) (sqrt.f64 (*.f64 x x)))))
(sqrt.f64 (*.f64 x x))
(*.f64 (sqrt.f64 (*.f64 x x)) (*.f64 (*.f64 (/.f64 (sqrt.f64 (*.f64 x x)) (sqrt.f64 (*.f64 x x))) (/.f64 (sqrt.f64 (*.f64 x x)) (sqrt.f64 (*.f64 x x)))) (/.f64 (sqrt.f64 (*.f64 x x)) (sqrt.f64 (*.f64 x x)))))
(sqrt.f64 (*.f64 x x))
(*.f64 1 (sqrt.f64 (*.f64 x x)))
(sqrt.f64 (*.f64 x x))
(*.f64 (/.f64 (sqrt.f64 (*.f64 x x)) (sqrt.f64 (*.f64 x x))) (sqrt.f64 (*.f64 x x)))
(sqrt.f64 (*.f64 x x))
(*.f64 (/.f64 (sqrt.f64 (*.f64 x x)) (sqrt.f64 (*.f64 x x))) (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 (/.f64 (sqrt.f64 (*.f64 x x)) (sqrt.f64 (*.f64 x x))))))
(sqrt.f64 (*.f64 x x))
(*.f64 (/.f64 (sqrt.f64 (*.f64 x x)) (sqrt.f64 (*.f64 x x))) (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 (/.f64 (sqrt.f64 (*.f64 x x)) (sqrt.f64 (*.f64 x x))) (/.f64 (sqrt.f64 (*.f64 x x)) (sqrt.f64 (*.f64 x x))))))
(sqrt.f64 (*.f64 x x))
(*.f64 (neg.f64 (sqrt.f64 (*.f64 x x))) -1)
(sqrt.f64 (*.f64 x x))
(*.f64 (neg.f64 (sqrt.f64 (*.f64 x x))) (neg.f64 (/.f64 (sqrt.f64 (*.f64 x x)) (sqrt.f64 (*.f64 x x)))))
(sqrt.f64 (*.f64 x x))
(*.f64 -1 (neg.f64 (sqrt.f64 (*.f64 x x))))
(sqrt.f64 (*.f64 x x))
(*.f64 (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 (sqrt.f64 (*.f64 x x)))) (sqrt.f64 (*.f64 x x)))
(sqrt.f64 (*.f64 x x))
(*.f64 (*.f64 (/.f64 (sqrt.f64 (*.f64 x x)) (sqrt.f64 (*.f64 x x))) (/.f64 (sqrt.f64 (*.f64 x x)) (sqrt.f64 (*.f64 x x)))) (sqrt.f64 (*.f64 x x)))
(sqrt.f64 (*.f64 x x))
(*.f64 (neg.f64 (/.f64 (sqrt.f64 (*.f64 x x)) (sqrt.f64 (*.f64 x x)))) (neg.f64 (sqrt.f64 (*.f64 x x))))
(sqrt.f64 (*.f64 x x))
(/.f64 (sqrt.f64 (*.f64 x x)) 1)
(sqrt.f64 (*.f64 x x))
(/.f64 (sqrt.f64 (*.f64 x x)) (/.f64 (sqrt.f64 (*.f64 x x)) (sqrt.f64 (*.f64 x x))))
(sqrt.f64 (*.f64 x x))
(/.f64 (sqrt.f64 (*.f64 x x)) (/.f64 (/.f64 (sqrt.f64 (*.f64 x x)) (sqrt.f64 (*.f64 x x))) (/.f64 (sqrt.f64 (*.f64 x x)) (sqrt.f64 (*.f64 x x)))))
(sqrt.f64 (*.f64 x x))
(/.f64 (neg.f64 (sqrt.f64 (*.f64 x x))) -1)
(sqrt.f64 (*.f64 x x))
(neg.f64 (neg.f64 (sqrt.f64 (*.f64 x x))))
(sqrt.f64 (*.f64 x x))
(+.f64 (/.f64 x x) (neg.f64 (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x))))
(-.f64 (/.f64 x x) (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x)))
(+.f64 (/.f64 x x) (*.f64 1 (neg.f64 (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x)))))
(+.f64 (/.f64 x x) (neg.f64 (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x))))
(-.f64 (/.f64 x x) (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x)))
(+.f64 (/.f64 x x) (*.f64 (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x)) -1))
(+.f64 (/.f64 x x) (neg.f64 (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x))))
(-.f64 (/.f64 x x) (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x)))
(+.f64 (-.f64 (/.f64 x x) (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x))) 0)
(+.f64 (/.f64 x x) (neg.f64 (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x))))
(-.f64 (/.f64 x x) (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x)))
(+.f64 (-.f64 (/.f64 x x) (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x))) (*.f64 (-.f64 (/.f64 x x) (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x))) 0))
(+.f64 (/.f64 x x) (neg.f64 (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x))))
(-.f64 (/.f64 x x) (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x)))
(+.f64 (-.f64 (/.f64 x x) (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x))) (*.f64 (/.f64 (-.f64 (/.f64 x x) (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x))) (-.f64 (/.f64 x x) (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x)))) 0))
(+.f64 (/.f64 x x) (neg.f64 (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x))))
(-.f64 (/.f64 x x) (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x)))
(+.f64 (-.f64 (/.f64 x x) (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x))) (*.f64 0 (/.f64 (-.f64 (/.f64 x x) (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x))) (-.f64 (/.f64 x x) (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x))))))
(+.f64 (/.f64 x x) (neg.f64 (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x))))
(-.f64 (/.f64 x x) (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x)))
(+.f64 0 (-.f64 (/.f64 x x) (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x))))
(+.f64 (/.f64 x x) (neg.f64 (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x))))
(-.f64 (/.f64 x x) (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x)))
(+.f64 (neg.f64 (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x))) (/.f64 x x))
(+.f64 (/.f64 x x) (neg.f64 (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x))))
(-.f64 (/.f64 x x) (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x)))
(+.f64 (*.f64 1 (neg.f64 (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x)))) (/.f64 x x))
(+.f64 (/.f64 x x) (neg.f64 (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x))))
(-.f64 (/.f64 x x) (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x)))
(+.f64 (*.f64 (-.f64 (/.f64 x x) (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x))) 0) (-.f64 (/.f64 x x) (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x))))
(+.f64 (/.f64 x x) (neg.f64 (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x))))
(-.f64 (/.f64 x x) (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x)))
(+.f64 (*.f64 (/.f64 x x) (/.f64 (-.f64 (/.f64 x x) (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x))) (-.f64 (/.f64 x x) (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x))))) (*.f64 (/.f64 (-.f64 (/.f64 x x) (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x))) (-.f64 (/.f64 x x) (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x)))) (neg.f64 (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x)))))
(+.f64 (/.f64 x x) (neg.f64 (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x))))
(-.f64 (/.f64 x x) (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x)))
(+.f64 (*.f64 (/.f64 (-.f64 (/.f64 x x) (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x))) (-.f64 (/.f64 x x) (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x)))) 0) (-.f64 (/.f64 x x) (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x))))
(+.f64 (/.f64 x x) (neg.f64 (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x))))
(-.f64 (/.f64 x x) (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x)))
(+.f64 (*.f64 0 (/.f64 (-.f64 (/.f64 x x) (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x))) (-.f64 (/.f64 x x) (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x))))) (-.f64 (/.f64 x x) (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x))))
(+.f64 (/.f64 x x) (neg.f64 (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x))))
(-.f64 (/.f64 x x) (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x)))
(+.f64 (*.f64 (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x)) -1) (/.f64 x x))
(+.f64 (/.f64 x x) (neg.f64 (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x))))
(-.f64 (/.f64 x x) (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x)))
(+.f64 (*.f64 (/.f64 (-.f64 (/.f64 x x) (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x))) (-.f64 (/.f64 x x) (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x)))) (neg.f64 (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x)))) (*.f64 (/.f64 x x) (/.f64 (-.f64 (/.f64 x x) (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x))) (-.f64 (/.f64 x x) (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x))))))
(+.f64 (/.f64 x x) (neg.f64 (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x))))
(-.f64 (/.f64 x x) (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x)))
(*.f64 1 (-.f64 (/.f64 x x) (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x))))
(+.f64 (/.f64 x x) (neg.f64 (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x))))
(-.f64 (/.f64 x x) (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x)))
(*.f64 (-.f64 (/.f64 x x) (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x))) 1)
(+.f64 (/.f64 x x) (neg.f64 (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x))))
(-.f64 (/.f64 x x) (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x)))
(*.f64 (-.f64 (/.f64 x x) (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x))) (/.f64 (-.f64 (/.f64 x x) (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x))) (-.f64 (/.f64 x x) (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x)))))
(+.f64 (/.f64 x x) (neg.f64 (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x))))
(-.f64 (/.f64 x x) (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x)))
(*.f64 (-.f64 (/.f64 x x) (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x))) (*.f64 (-.f64 (/.f64 x x) (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x))) (/.f64 1 (-.f64 (/.f64 x x) (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x))))))
(+.f64 (/.f64 x x) (neg.f64 (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x))))
(-.f64 (/.f64 x x) (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x)))
(*.f64 (-.f64 (/.f64 x x) (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x))) (*.f64 (/.f64 (-.f64 (/.f64 x x) (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x))) (-.f64 (/.f64 x x) (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x)))) (/.f64 (-.f64 (/.f64 x x) (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x))) (-.f64 (/.f64 x x) (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x))))))
(+.f64 (/.f64 x x) (neg.f64 (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x))))
(-.f64 (/.f64 x x) (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x)))
(*.f64 (-.f64 (/.f64 x x) (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x))) (*.f64 (-.f64 (/.f64 x x) (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x))) (/.f64 (/.f64 (-.f64 (/.f64 x x) (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x))) (-.f64 (/.f64 x x) (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x)))) (-.f64 (/.f64 x x) (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x))))))
(+.f64 (/.f64 x x) (neg.f64 (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x))))
(-.f64 (/.f64 x x) (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x)))
(*.f64 (-.f64 (/.f64 x x) (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x))) (*.f64 (*.f64 (-.f64 (/.f64 x x) (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x))) (/.f64 1 (-.f64 (/.f64 x x) (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x))))) (/.f64 (-.f64 (/.f64 x x) (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x))) (-.f64 (/.f64 x x) (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x))))))
(+.f64 (/.f64 x x) (neg.f64 (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x))))
(-.f64 (/.f64 x x) (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x)))
(*.f64 (-.f64 (/.f64 x x) (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x))) (*.f64 (*.f64 (/.f64 (-.f64 (/.f64 x x) (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x))) (-.f64 (/.f64 x x) (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x)))) (/.f64 (-.f64 (/.f64 x x) (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x))) (-.f64 (/.f64 x x) (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x))))) (/.f64 (-.f64 (/.f64 x x) (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x))) (-.f64 (/.f64 x x) (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x))))))
(+.f64 (/.f64 x x) (neg.f64 (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x))))
(-.f64 (/.f64 x x) (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x)))
(*.f64 (-.f64 (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x)) (/.f64 x x)) -1)
(+.f64 (/.f64 x x) (neg.f64 (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x))))
(-.f64 (/.f64 x x) (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x)))
(*.f64 (-.f64 (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x)) (/.f64 x x)) (neg.f64 (/.f64 (-.f64 (/.f64 x x) (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x))) (-.f64 (/.f64 x x) (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x))))))
(+.f64 (/.f64 x x) (neg.f64 (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x))))
(-.f64 (/.f64 x x) (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x)))
(*.f64 (/.f64 (-.f64 (/.f64 x x) (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x))) (-.f64 (/.f64 x x) (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x)))) (-.f64 (/.f64 x x) (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x))))
(+.f64 (/.f64 x x) (neg.f64 (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x))))
(-.f64 (/.f64 x x) (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x)))
(*.f64 (/.f64 (-.f64 (/.f64 x x) (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x))) (-.f64 (/.f64 x x) (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x)))) (*.f64 (-.f64 (/.f64 x x) (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x))) (/.f64 1 (/.f64 (-.f64 (/.f64 x x) (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x))) (-.f64 (/.f64 x x) (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x)))))))
(+.f64 (/.f64 x x) (neg.f64 (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x))))
(-.f64 (/.f64 x x) (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x)))
(*.f64 (/.f64 (-.f64 (/.f64 x x) (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x))) (-.f64 (/.f64 x x) (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x)))) (*.f64 (-.f64 (/.f64 x x) (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x))) (/.f64 (/.f64 (-.f64 (/.f64 x x) (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x))) (-.f64 (/.f64 x x) (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x)))) (/.f64 (-.f64 (/.f64 x x) (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x))) (-.f64 (/.f64 x x) (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x)))))))
(+.f64 (/.f64 x x) (neg.f64 (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x))))
(-.f64 (/.f64 x x) (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x)))
(*.f64 -1 (-.f64 (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x)) (/.f64 x x)))
(+.f64 (/.f64 x x) (neg.f64 (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x))))
(-.f64 (/.f64 x x) (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x)))
(*.f64 (*.f64 (-.f64 (/.f64 x x) (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x))) (/.f64 1 (-.f64 (/.f64 x x) (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x))))) (-.f64 (/.f64 x x) (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x))))
(+.f64 (/.f64 x x) (neg.f64 (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x))))
(-.f64 (/.f64 x x) (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x)))
(*.f64 (*.f64 (/.f64 (-.f64 (/.f64 x x) (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x))) (-.f64 (/.f64 x x) (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x)))) (/.f64 (-.f64 (/.f64 x x) (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x))) (-.f64 (/.f64 x x) (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x))))) (-.f64 (/.f64 x x) (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x))))
(+.f64 (/.f64 x x) (neg.f64 (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x))))
(-.f64 (/.f64 x x) (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x)))
(*.f64 (neg.f64 (/.f64 (-.f64 (/.f64 x x) (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x))) (-.f64 (/.f64 x x) (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x))))) (-.f64 (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x)) (/.f64 x x)))
(+.f64 (/.f64 x x) (neg.f64 (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x))))
(-.f64 (/.f64 x x) (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x)))
(/.f64 (-.f64 (/.f64 x x) (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x))) 1)
(+.f64 (/.f64 x x) (neg.f64 (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x))))
(-.f64 (/.f64 x x) (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x)))
(/.f64 (-.f64 (/.f64 x x) (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x))) (/.f64 (-.f64 (/.f64 x x) (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x))) (-.f64 (/.f64 x x) (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x)))))
(+.f64 (/.f64 x x) (neg.f64 (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x))))
(-.f64 (/.f64 x x) (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x)))
(/.f64 (-.f64 (/.f64 x x) (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x))) (/.f64 (/.f64 (-.f64 (/.f64 x x) (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x))) (-.f64 (/.f64 x x) (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x)))) (/.f64 (-.f64 (/.f64 x x) (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x))) (-.f64 (/.f64 x x) (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x))))))
(+.f64 (/.f64 x x) (neg.f64 (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x))))
(-.f64 (/.f64 x x) (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x)))
(/.f64 (-.f64 (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x)) (/.f64 x x)) -1)
(+.f64 (/.f64 x x) (neg.f64 (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x))))
(-.f64 (/.f64 x x) (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x)))
(neg.f64 (-.f64 (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x)) (/.f64 x x)))
(+.f64 (/.f64 x x) (neg.f64 (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x))))
(-.f64 (/.f64 x x) (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x)))
(+.f64 (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x)) 0)
(*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x))
(+.f64 (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x)) (*.f64 (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x)) 0))
(*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x))
(+.f64 (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x)) (*.f64 (/.f64 (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x)) (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x))) 0))
(*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x))
(+.f64 (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x)) (*.f64 0 (/.f64 (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x)) (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x)))))
(*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x))
(+.f64 (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x)) (*.f64 (*.f64 (/.f64 1 x) (/.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x))) 0))
(*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x))
(+.f64 (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x)) (*.f64 (*.f64 (/.f64 1 x) (/.f64 (sqrt.f64 (*.f64 x x)) (sqrt.f64 (*.f64 x x)))) 0))
(*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x))
(+.f64 (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x)) (*.f64 (*.f64 (/.f64 (/.f64 1 x) (/.f64 1 x)) (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 (/.f64 1 x) (/.f64 1 x)))) 0))
(*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x))
(+.f64 (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x)) (*.f64 (neg.f64 (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 (/.f64 1 x) (/.f64 1 x)))) 0))
(*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x))
(+.f64 (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x)) (*.f64 0 (*.f64 (/.f64 1 x) (/.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x)))))
(*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x))
(+.f64 (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x)) (*.f64 0 (*.f64 (/.f64 1 x) (/.f64 (sqrt.f64 (*.f64 x x)) (sqrt.f64 (*.f64 x x))))))
(*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x))
(+.f64 (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x)) (*.f64 0 (*.f64 (/.f64 (/.f64 1 x) (/.f64 1 x)) (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 (/.f64 1 x) (/.f64 1 x))))))
(*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x))
(+.f64 0 (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x)))
(*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x))
(+.f64 (*.f64 (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x)) 0) (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x)))
(*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x))
(+.f64 (*.f64 (/.f64 (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x)) (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x))) 0) (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x)))
(*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x))
(+.f64 (*.f64 0 (/.f64 (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x)) (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x)))) (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x)))
(*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x))
(+.f64 (*.f64 (*.f64 (/.f64 1 x) (/.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x))) 0) (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x)))
(*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x))
(+.f64 (*.f64 (*.f64 (/.f64 1 x) (/.f64 (sqrt.f64 (*.f64 x x)) (sqrt.f64 (*.f64 x x)))) 0) (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x)))
(*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x))
(+.f64 (*.f64 (*.f64 (/.f64 (/.f64 1 x) (/.f64 1 x)) (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 (/.f64 1 x) (/.f64 1 x)))) 0) (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x)))
(*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x))
(+.f64 (*.f64 (neg.f64 (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 (/.f64 1 x) (/.f64 1 x)))) 0) (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x)))
(*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x))
(+.f64 (*.f64 0 (*.f64 (/.f64 1 x) (/.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x)))) (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x)))
(*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x))
(+.f64 (*.f64 0 (*.f64 (/.f64 1 x) (/.f64 (sqrt.f64 (*.f64 x x)) (sqrt.f64 (*.f64 x x))))) (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x)))
(*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x))
(+.f64 (*.f64 0 (*.f64 (/.f64 (/.f64 1 x) (/.f64 1 x)) (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 (/.f64 1 x) (/.f64 1 x))))) (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x)))
(*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x))
(-.f64 (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x)) 0)
(*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x))
(-.f64 (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x)) (*.f64 (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x)) 0))
(*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x))
(-.f64 (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x)) (*.f64 (/.f64 (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x)) (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x))) 0))
(*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x))
(-.f64 (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x)) (*.f64 (*.f64 (/.f64 1 x) (/.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x))) 0))
(*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x))
(-.f64 (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x)) (*.f64 (*.f64 (/.f64 1 x) (/.f64 (sqrt.f64 (*.f64 x x)) (sqrt.f64 (*.f64 x x)))) 0))
(*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x))
(-.f64 (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x)) (*.f64 (*.f64 (/.f64 (/.f64 1 x) (/.f64 1 x)) (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 (/.f64 1 x) (/.f64 1 x)))) 0))
(*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x))
(-.f64 (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x)) (*.f64 (neg.f64 (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 (/.f64 1 x) (/.f64 1 x)))) 0))
(*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x))
(-.f64 0 (neg.f64 (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x))))
(*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x))
(-.f64 0 (*.f64 1 (neg.f64 (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x)))))
(*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x))
(-.f64 0 (*.f64 (/.f64 (/.f64 1 x) (/.f64 1 x)) (neg.f64 (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x)))))
(neg.f64 (*.f64 (neg.f64 (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x))) (/.f64 (/.f64 1 x) (/.f64 1 x))))
(neg.f64 (*.f64 (*.f64 (/.f64 1 x) (neg.f64 (sqrt.f64 (*.f64 x x)))) (/.f64 (/.f64 1 x) (/.f64 1 x))))
(neg.f64 (*.f64 (sqrt.f64 (*.f64 x x)) (*.f64 (/.f64 (/.f64 1 x) (/.f64 1 x)) (neg.f64 (/.f64 1 x)))))
(-.f64 0 (*.f64 -1 (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x))))
(*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x))
(-.f64 0 (*.f64 (neg.f64 (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 (/.f64 1 x) (/.f64 1 x)))) (/.f64 1 x)))
(*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x))
(-.f64 (*.f64 0 (/.f64 (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x)) (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x)))) (*.f64 (/.f64 (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x)) (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x))) (neg.f64 (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x)))))
(*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x))
(/.f64 (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x)) 1)
(*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x))
(/.f64 (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x)) (/.f64 (/.f64 1 x) (/.f64 1 x)))
(*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x))
(/.f64 (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x)) (/.f64 (sqrt.f64 (*.f64 x x)) (sqrt.f64 (*.f64 x x))))
(*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x))
(/.f64 (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x)) (/.f64 (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x)) (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x))))
(*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x))
(/.f64 (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x)) (/.f64 (/.f64 (/.f64 1 x) (/.f64 1 x)) (/.f64 (/.f64 1 x) (/.f64 1 x))))
(/.f64 (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x)) (/.f64 (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 (/.f64 1 x) (/.f64 1 x))) (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 (/.f64 1 x) (/.f64 1 x)))))
(/.f64 (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x)) (/.f64 (/.f64 (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x)) (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x))) (/.f64 (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x)) (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x)))))
(*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x))
(/.f64 (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x)) (/.f64 (*.f64 (/.f64 1 x) (/.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x))) (*.f64 (/.f64 1 x) (/.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x)))))
(/.f64 (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x)) (/.f64 (*.f64 (/.f64 1 x) (/.f64 (sqrt.f64 (*.f64 x x)) (sqrt.f64 (*.f64 x x)))) (*.f64 (/.f64 1 x) (/.f64 (sqrt.f64 (*.f64 x x)) (sqrt.f64 (*.f64 x x))))))
(*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x))
(/.f64 (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x)) (/.f64 (*.f64 (/.f64 (/.f64 1 x) (/.f64 1 x)) (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 (/.f64 1 x) (/.f64 1 x)))) (*.f64 (/.f64 (/.f64 1 x) (/.f64 1 x)) (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 (/.f64 1 x) (/.f64 1 x))))))
(/.f64 (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x)) (/.f64 (*.f64 (sqrt.f64 (*.f64 x x)) (*.f64 (/.f64 (/.f64 1 x) (/.f64 1 x)) (/.f64 (/.f64 1 x) (/.f64 1 x)))) (*.f64 (sqrt.f64 (*.f64 x x)) (*.f64 (/.f64 (/.f64 1 x) (/.f64 1 x)) (/.f64 (/.f64 1 x) (/.f64 1 x))))))
(neg.f64 (neg.f64 (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x))))
(*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x))
(neg.f64 (*.f64 1 (neg.f64 (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x)))))
(*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x))
(neg.f64 (*.f64 (/.f64 (/.f64 1 x) (/.f64 1 x)) (neg.f64 (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x)))))
(neg.f64 (*.f64 (neg.f64 (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x))) (/.f64 (/.f64 1 x) (/.f64 1 x))))
(neg.f64 (*.f64 (*.f64 (/.f64 1 x) (neg.f64 (sqrt.f64 (*.f64 x x)))) (/.f64 (/.f64 1 x) (/.f64 1 x))))
(neg.f64 (*.f64 (sqrt.f64 (*.f64 x x)) (*.f64 (/.f64 (/.f64 1 x) (/.f64 1 x)) (neg.f64 (/.f64 1 x)))))
(neg.f64 (*.f64 -1 (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x))))
(*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x))
(neg.f64 (*.f64 (neg.f64 (*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 (/.f64 1 x) (/.f64 1 x)))) (/.f64 1 x)))
(*.f64 (sqrt.f64 (*.f64 x x)) (/.f64 1 x))

eval65.0ms (1.4%)

Compiler

Compiled 3574 to 1450 computations (59.4% saved)

prune18.0ms (0.4%)

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New1272129
Fresh000
Picked101
Done000
Total1282130
Error
0b
Counts
130 → 2
Alt Table
Click to see full alt table
StatusErrorProgram
28.3b
2
33.7b
0
Compiler

Compiled 4 to 4 computations (0% saved)

eval0.0ms (0%)

Compiler

Compiled 1 to 1 computations (0% saved)

prune1.0ms (0%)

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New000
Fresh022
Picked000
Done000
Total022
Error
0b
Counts
2 → 2
Alt Table
Click to see full alt table
StatusErrorProgram
28.3b
2
33.7b
0
Compiler

Compiled 4 to 4 computations (0% saved)

eval0.0ms (0%)

Compiler

Compiled 1 to 1 computations (0% saved)

prune1.0ms (0%)

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New000
Fresh022
Picked000
Done000
Total022
Error
0b
Counts
2 → 2
Alt Table
Click to see full alt table
StatusErrorProgram
28.3b
2
33.7b
0
Compiler

Compiled 4 to 4 computations (0% saved)

eval0.0ms (0%)

Compiler

Compiled 1 to 1 computations (0% saved)

prune1.0ms (0%)

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New000
Fresh022
Picked000
Done000
Total022
Error
0b
Counts
2 → 2
Alt Table
Click to see full alt table
StatusErrorProgram
28.3b
2
33.7b
0
Compiler

Compiled 4 to 4 computations (0% saved)

regimes48.0ms (1%)

Accuracy

Total -62.6b remaining (-∞%)

Threshold costs -62.6b (-∞%)

Counts
3 → 2
Calls
Call 1
Inputs
0
2
(-.f64 (/.f64 x x) (*.f64 (/.f64 1 x) (sqrt.f64 (*.f64 x x))))
Outputs
2
0
Calls

2 calls:

41.0ms
(-.f64 (/.f64 x x) (*.f64 (/.f64 1 x) (sqrt.f64 (*.f64 x x))))
6.0ms
x
Results
ErrorSegmentsBranch
0b2x
5.1b2(-.f64 (/.f64 x x) (*.f64 (/.f64 1 x) (sqrt.f64 (*.f64 x x))))
Compiler

Compiled 30 to 19 computations (36.7% saved)

bsearch58.0ms (1.2%)

Algorithm
1×binary-search
Steps
TimeLeftRight
58.0ms
-1.6380139611840062e-306
2.7078376455717418e-297
Results
40.0ms112×body2048valid
17.0ms48×body256valid
Compiler

Compiled 77 to 71 computations (7.8% saved)

simplify2.0ms (0%)

Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01012
Stop Event
1×fuel
1×saturated
Calls
Call 1
Inputs
(if (<=.f64 x -101201126653655/202402253307310618352495346718917307049556649764142118356901358027430339567995346891960383701437124495187077864316811911389808737385793476867013399940738509921517424276566361364466907742093216341239767678472745068562007483424692698618103355649159556340810056512358769552333414615230502532186327508646006263307707741093494784) 2 0)
0
Outputs
(if (<=.f64 x -101201126653655/202402253307310618352495346718917307049556649764142118356901358027430339567995346891960383701437124495187077864316811911389808737385793476867013399940738509921517424276566361364466907742093216341239767678472745068562007483424692698618103355649159556340810056512358769552333414615230502532186327508646006263307707741093494784) 2 0)
0
Compiler

Compiled 9 to 8 computations (11.1% saved)

soundness0.0ms (0%)

end14.0ms (0.3%)

Compiler

Compiled 8 to 7 computations (12.5% saved)

Profiling

Loading profile data...