Expression 2, p15

Time bar (total: 1.4s)

start0.0ms (0%)

Memory
0.1MiB live, 0.1MiB allocated

analyze1.0ms (0.1%)

Memory
2.1MiB live, 2.1MiB allocated
Algorithm
1×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%25%75%0%0%0%0
100%25%0%75%0%0%0%1
Compiler

Compiled 13 to 9 computations (30.8% saved)

sample976.0ms (71.7%)

Memory
2.8MiB live, 1 152.1MiB allocated
Samples
680.0ms8 256×0valid
Precisions
Click to see histograms. Total time spent on operations: 296.0ms
ival-<=: 123.0ms (41.6% of total)
ival-mult: 98.0ms (33.1% of total)
ival-add: 52.0ms (17.6% of total)
ival-and: 10.0ms (3.4% of total)
exact: 9.0ms (3% of total)
ival-assert: 3.0ms (1% of total)
Bogosity

explain118.0ms (8.6%)

Memory
-6.2MiB live, 96.0MiB allocated
FPErrors
Click to see full error table
Ground TruthOverpredictionsExampleUnderpredictionsExampleSubexpression
00-0-(*.f32 x x)
00-0-(+.f32 x (*.f32 x x))
00-0-x
Confusion
Predicted +Predicted -
+00
-0256
Precision
0/0
Recall
0/0
Confusion?
Predicted +Predicted MaybePredicted -
+000
-00256
Precision?
0/0
Recall?
0/0
Freqs
test
numberfreq
0256
Total Confusion?
Predicted +Predicted MaybePredicted -
+000
-001
Precision?
0/0
Recall?
0/0
Samples
86.0ms512×0valid
Compiler

Compiled 27 to 13 computations (51.9% saved)

Precisions
Click to see histograms. Total time spent on operations: 6.0ms
ival-mult: 3.0ms (47.5% of total)
ival-add: 2.0ms (31.6% of total)
ival-true: 0.0ms (0% of total)
ival-assert: 0.0ms (0% of total)

preprocess19.0ms (1.4%)

Memory
-13.3MiB live, 33.1MiB allocated
Algorithm
1×egg-herbie
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
046
1206
2546
3775
41265
51955
62515
73195
83275
035
055
1155
2395
3735
41095
51615
62285
73085
83085
03085
Stop Event
1×iter limit
1×saturated
1×iter limit
1×saturated
Calls
Call 1
Inputs
(+.f32 x (*.f32 x x))
Outputs
(+.f32 x (*.f32 x x))
(+.f32 (*.f32 x x) x)
Compiler

Compiled 5 to 3 computations (40% saved)

eval0.0ms (0%)

Memory
0.2MiB live, 0.2MiB allocated
Compiler

Compiled 0 to 1 computations (-∞% saved)

prune0.0ms (0%)

Memory
1.3MiB live, 1.3MiB allocated
Alt Table
Click to see full alt table
StatusAccuracyProgram
▶100.0%
(+.f32 x (*.f32 x x))
Compiler

Compiled 5 to 3 computations (40% saved)

simplify7.0ms (0.5%)

Memory
13.7MiB live, 13.7MiB allocated
Algorithm
1×egg-herbie
Localize:

Found 2 expressions of interest:

NewMetricScoreProgram
cost-diff0
(*.f32 x x)
cost-diff0
(+.f32 x (*.f32 x x))
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
039
059
1159
2399
3739
41099
51619
62289
73089
83089
03089
Stop Event
1×iter limit
1×saturated
1×iter limit
Calls
Call 1
Inputs
(+.f32 x (*.f32 x x))
x
(*.f32 x x)
Outputs
(+.f32 x (*.f32 x x))
(+.f32 (*.f32 x x) x)
x
(*.f32 x x)

localize10.0ms (0.8%)

Memory
24.4MiB live, 24.4MiB allocated
Localize:

Found 2 expressions of interest:

NewMetricScoreProgram
accuracy0.0
(+.f32 x (*.f32 x x))
accuracy0.0
(*.f32 x x)
Samples
7.0ms256×0valid
Compiler

Compiled 11 to 5 computations (54.5% saved)

Precisions
Click to see histograms. Total time spent on operations: 3.0ms
ival-mult: 2.0ms (66.9% of total)
ival-add: 1.0ms (33.4% of total)
ival-true: 0.0ms (0% of total)
ival-assert: 0.0ms (0% of total)

series10.0ms (0.7%)

Memory
-39.8MiB live, 5.2MiB allocated
Counts
2 → 4
Calls
Call 1
Inputs
(+.f32 x (*.f32 x x))
(*.f32 x x)
Outputs
x
(* x (+ 1 x))
(pow x 2)
(* (pow x 2) (+ 1 (/ 1 x)))
Calls

3 calls:

TimeVariablePointExpression
9.0ms
x
@-inf
((+ x (* x x)) (* x x))
1.0ms
x
@inf
((+ x (* x x)) (* x x))
0.0ms
x
@0
((+ x (* x x)) (* x x))

simplify68.0ms (5%)

Memory
8.5MiB live, 105.1MiB allocated
Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0914
12714
26014
320314
4157414
5423214
6660514
0813414
Stop Event
1×iter limit
1×node limit
Counts
4 → 3
Calls
Call 1
Inputs
x
(* x (+ 1 x))
(pow x 2)
(* (pow x 2) (+ 1 (/ 1 x)))
Outputs
x
(* x (+ 1 x))
(*.f32 (-.f32 x #s(literal -1 binary32)) x)
(pow x 2)
(*.f32 x x)
(* (pow x 2) (+ 1 (/ 1 x)))
(*.f32 (-.f32 x #s(literal -1 binary32)) x)

rewrite106.0ms (7.8%)

Memory
23.9MiB live, 156.5MiB allocated
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
038
058
1298
22198
323488
083938
Stop Event
1×iter limit
1×node limit
1×iter limit
Counts
2 → 117
Calls
Call 1
Inputs
(+.f32 x (*.f32 x x))
(*.f32 x x)
Outputs
(*.f32 (+.f32 x (sqrt.f32 x)) (-.f32 x (sqrt.f32 x)))
(*.f32 (+.f32 (sqrt.f32 x) x) (-.f32 (sqrt.f32 x) x))
(*.f32 (/.f32 (*.f32 (-.f32 #s(literal 1 binary32) (*.f32 (*.f32 x x) x)) (*.f32 (*.f32 x x) x)) (-.f32 (*.f32 (*.f32 (+.f32 (*.f32 x x) #s(literal 1 binary32)) (*.f32 x x)) (*.f32 (*.f32 (*.f32 x x) x) x)) (*.f32 (*.f32 (*.f32 x x) x) x))) (-.f32 (*.f32 (-.f32 #s(literal 1 binary32) x) (*.f32 (*.f32 x x) x)) (*.f32 x x)))
(*.f32 (/.f32 (*.f32 (-.f32 #s(literal 1 binary32) (*.f32 (*.f32 x x) x)) (*.f32 (*.f32 x x) x)) (-.f32 (*.f32 (*.f32 (*.f32 (+.f32 (*.f32 x x) #s(literal 1 binary32)) (*.f32 x x)) (-.f32 (*.f32 x x) x)) (*.f32 (*.f32 (*.f32 (*.f32 (*.f32 x x) x) x) x) x)) (*.f32 (*.f32 (*.f32 (*.f32 (*.f32 x x) x) x) x) x))) (-.f32 (*.f32 (*.f32 (-.f32 #s(literal 1 binary32) x) (*.f32 (*.f32 x x) x)) (-.f32 (*.f32 (-.f32 #s(literal 1 binary32) x) (*.f32 (*.f32 x x) x)) (*.f32 x x))) (*.f32 (*.f32 (*.f32 x x) x) x)))
(*.f32 (/.f32 (*.f32 (+.f32 (*.f32 x x) #s(literal 1 binary32)) (*.f32 x x)) (*.f32 (+.f32 (*.f32 x x) #s(literal 1 binary32)) (*.f32 x x))) (-.f32 (*.f32 x x) x))
(*.f32 (/.f32 (*.f32 (+.f32 (*.f32 x x) #s(literal 1 binary32)) (*.f32 x x)) (*.f32 (-.f32 #s(literal 1 binary32) (*.f32 (*.f32 x x) x)) (*.f32 (*.f32 x x) x))) (-.f32 (*.f32 (-.f32 #s(literal 1 binary32) x) (*.f32 (*.f32 x x) x)) (*.f32 x x)))
(*.f32 (/.f32 (-.f32 (*.f32 x x) x) (-.f32 #s(literal 1 binary32) x)) (/.f32 (-.f32 (*.f32 x x) x) x))
(*.f32 (/.f32 (-.f32 (*.f32 x x) x) x) (/.f32 (-.f32 (*.f32 x x) x) (-.f32 #s(literal 1 binary32) x)))
(*.f32 (-.f32 #s(literal 1 binary32) x) x)
(*.f32 (-.f32 (*.f32 (-.f32 #s(literal 1 binary32) x) (*.f32 (*.f32 x x) x)) (*.f32 x x)) (/.f32 (-.f32 (*.f32 x x) x) (-.f32 (*.f32 (-.f32 #s(literal 1 binary32) x) (*.f32 (*.f32 x x) x)) (*.f32 x x))))
(*.f32 (-.f32 (*.f32 x x) x) (/.f32 (-.f32 (*.f32 x x) x) (-.f32 (*.f32 x x) x)))
(*.f32 x (-.f32 #s(literal 1 binary32) x))
(-.f32 (/.f32 (*.f32 (*.f32 x (/.f32 x (-.f32 (*.f32 x x) x))) (*.f32 x (/.f32 x (-.f32 (*.f32 x x) x)))) (-.f32 (*.f32 x x) x)) (/.f32 (*.f32 (*.f32 (*.f32 (*.f32 x x) x) (/.f32 x (-.f32 (*.f32 x x) x))) (*.f32 (*.f32 (*.f32 x x) x) (/.f32 x (-.f32 (*.f32 x x) x)))) (-.f32 (*.f32 x x) x)))
(-.f32 (/.f32 (*.f32 (/.f32 (*.f32 (*.f32 x x) x) (-.f32 (*.f32 (-.f32 #s(literal 1 binary32) x) (*.f32 (*.f32 x x) x)) (*.f32 x x))) (/.f32 (*.f32 (*.f32 x x) x) (-.f32 (*.f32 (-.f32 #s(literal 1 binary32) x) (*.f32 (*.f32 x x) x)) (*.f32 x x)))) (-.f32 (*.f32 x x) x)) (/.f32 (*.f32 (*.f32 (*.f32 (*.f32 x x) x) (/.f32 (*.f32 (*.f32 x x) x) (-.f32 (*.f32 (-.f32 #s(literal 1 binary32) x) (*.f32 (*.f32 x x) x)) (*.f32 x x)))) (*.f32 (*.f32 (*.f32 x x) x) (/.f32 (*.f32 (*.f32 x x) x) (-.f32 (*.f32 (-.f32 #s(literal 1 binary32) x) (*.f32 (*.f32 x x) x)) (*.f32 x x))))) (-.f32 (*.f32 x x) x)))
(-.f32 (/.f32 (/.f32 (*.f32 (*.f32 (*.f32 (*.f32 (*.f32 x x) x) x) x) x) (*.f32 (*.f32 (+.f32 (*.f32 x x) #s(literal 1 binary32)) (*.f32 x x)) (-.f32 (*.f32 x x) x))) (+.f32 (*.f32 (*.f32 x (/.f32 x (-.f32 (*.f32 x x) x))) (*.f32 x (/.f32 x (-.f32 (*.f32 x x) x)))) (-.f32 (*.f32 (*.f32 (*.f32 (*.f32 x x) x) (/.f32 x (-.f32 (*.f32 x x) x))) (*.f32 (*.f32 (*.f32 x x) x) (/.f32 x (-.f32 (*.f32 x x) x)))) (*.f32 (*.f32 x (/.f32 x (-.f32 (*.f32 x x) x))) (*.f32 (*.f32 (*.f32 x x) x) (/.f32 x (-.f32 (*.f32 x x) x))))))) (/.f32 (*.f32 (*.f32 (*.f32 (*.f32 (*.f32 (*.f32 x x) x) x) x) x) (/.f32 (*.f32 (*.f32 (*.f32 (*.f32 (*.f32 x x) x) x) x) x) (*.f32 (*.f32 (+.f32 (*.f32 x x) #s(literal 1 binary32)) (*.f32 x x)) (-.f32 (*.f32 x x) x)))) (+.f32 (*.f32 (*.f32 x (/.f32 x (-.f32 (*.f32 x x) x))) (*.f32 x (/.f32 x (-.f32 (*.f32 x x) x)))) (-.f32 (*.f32 (*.f32 (*.f32 (*.f32 x x) x) (/.f32 x (-.f32 (*.f32 x x) x))) (*.f32 (*.f32 (*.f32 x x) x) (/.f32 x (-.f32 (*.f32 x x) x)))) (*.f32 (*.f32 x (/.f32 x (-.f32 (*.f32 x x) x))) (*.f32 (*.f32 (*.f32 x x) x) (/.f32 x (-.f32 (*.f32 x x) x))))))))
(-.f32 (/.f32 (*.f32 (-.f32 #s(literal 1 binary32) x) (*.f32 (*.f32 x x) x)) (*.f32 (+.f32 (*.f32 x x) #s(literal 1 binary32)) (*.f32 x x))) (/.f32 (*.f32 (-.f32 (*.f32 x x) x) (*.f32 (*.f32 (*.f32 x x) x) x)) (*.f32 (+.f32 (*.f32 x x) #s(literal 1 binary32)) (*.f32 x x))))
(-.f32 (/.f32 (*.f32 (*.f32 (*.f32 x x) x) x) (*.f32 (*.f32 (+.f32 (*.f32 x x) #s(literal 1 binary32)) (*.f32 x x)) (-.f32 (*.f32 x x) x))) (/.f32 (*.f32 (*.f32 (*.f32 (*.f32 (*.f32 x x) x) x) x) (*.f32 (*.f32 x x) x)) (*.f32 (*.f32 (+.f32 (*.f32 x x) #s(literal 1 binary32)) (*.f32 x x)) (-.f32 (*.f32 x x) x))))
(-.f32 (/.f32 (*.f32 (*.f32 (*.f32 (*.f32 (*.f32 x x) x) x) x) x) (*.f32 (*.f32 (-.f32 #s(literal 1 binary32) (*.f32 (*.f32 x x) x)) (*.f32 (*.f32 x x) x)) (-.f32 (*.f32 (-.f32 #s(literal 1 binary32) x) (*.f32 (*.f32 x x) x)) (*.f32 x x)))) (/.f32 (*.f32 (*.f32 (*.f32 (*.f32 (*.f32 (*.f32 x x) x) x) x) (*.f32 (*.f32 (*.f32 x x) x) x)) (*.f32 (*.f32 x x) x)) (*.f32 (*.f32 (-.f32 #s(literal 1 binary32) (*.f32 (*.f32 x x) x)) (*.f32 (*.f32 x x) x)) (-.f32 (*.f32 (-.f32 #s(literal 1 binary32) x) (*.f32 (*.f32 x x) x)) (*.f32 x x)))))
(-.f32 (/.f32 (*.f32 (*.f32 (*.f32 (*.f32 (*.f32 x x) x) x) x) x) (*.f32 (-.f32 (*.f32 (*.f32 (+.f32 (*.f32 x x) #s(literal 1 binary32)) (*.f32 x x)) (*.f32 (*.f32 (*.f32 x x) x) x)) (*.f32 (*.f32 (*.f32 x x) x) x)) (-.f32 (*.f32 x x) x))) (/.f32 (*.f32 (*.f32 (*.f32 (*.f32 (*.f32 (*.f32 x x) x) x) x) (*.f32 (*.f32 (*.f32 x x) x) x)) (*.f32 (*.f32 x x) x)) (*.f32 (-.f32 (*.f32 (*.f32 (+.f32 (*.f32 x x) #s(literal 1 binary32)) (*.f32 x x)) (*.f32 (*.f32 (*.f32 x x) x) x)) (*.f32 (*.f32 (*.f32 x x) x) x)) (-.f32 (*.f32 x x) x))))
(-.f32 (/.f32 (/.f32 (*.f32 (*.f32 (*.f32 (*.f32 (*.f32 x x) x) x) x) x) (*.f32 (-.f32 #s(literal 1 binary32) (*.f32 (*.f32 x x) x)) (*.f32 (*.f32 x x) x))) (-.f32 (*.f32 (-.f32 #s(literal 1 binary32) x) (*.f32 (*.f32 x x) x)) (*.f32 x x))) (/.f32 (/.f32 (*.f32 (*.f32 (*.f32 (*.f32 (*.f32 (*.f32 x x) x) x) x) (*.f32 (*.f32 (*.f32 x x) x) x)) (*.f32 (*.f32 x x) x)) (*.f32 (-.f32 #s(literal 1 binary32) (*.f32 (*.f32 x x) x)) (*.f32 (*.f32 x x) x))) (-.f32 (*.f32 (-.f32 #s(literal 1 binary32) x) (*.f32 (*.f32 x x) x)) (*.f32 x x))))
(-.f32 (/.f32 (/.f32 (*.f32 (*.f32 (*.f32 (*.f32 (*.f32 x x) x) x) x) x) (-.f32 (*.f32 (*.f32 (+.f32 (*.f32 x x) #s(literal 1 binary32)) (*.f32 x x)) (*.f32 (*.f32 (*.f32 x x) x) x)) (*.f32 (*.f32 (*.f32 x x) x) x))) (-.f32 (*.f32 x x) x)) (/.f32 (/.f32 (*.f32 (*.f32 (*.f32 (*.f32 (*.f32 (*.f32 x x) x) x) x) (*.f32 (*.f32 (*.f32 x x) x) x)) (*.f32 (*.f32 x x) x)) (-.f32 (*.f32 (*.f32 (+.f32 (*.f32 x x) #s(literal 1 binary32)) (*.f32 x x)) (*.f32 (*.f32 (*.f32 x x) x) x)) (*.f32 (*.f32 (*.f32 x x) x) x))) (-.f32 (*.f32 x x) x)))
(-.f32 (/.f32 (/.f32 (*.f32 (*.f32 (*.f32 x x) x) x) (*.f32 (+.f32 (*.f32 x x) #s(literal 1 binary32)) (*.f32 x x))) (-.f32 (*.f32 x x) x)) (/.f32 (/.f32 (*.f32 (*.f32 (*.f32 (*.f32 (*.f32 x x) x) x) x) (*.f32 (*.f32 x x) x)) (*.f32 (+.f32 (*.f32 x x) #s(literal 1 binary32)) (*.f32 x x))) (-.f32 (*.f32 x x) x)))
(-.f32 (*.f32 (*.f32 (*.f32 x x) x) (/.f32 (*.f32 (*.f32 x x) x) (-.f32 (*.f32 (-.f32 #s(literal 1 binary32) x) (*.f32 (*.f32 x x) x)) (*.f32 x x)))) (*.f32 (neg.f32 (/.f32 (*.f32 (*.f32 x x) x) (-.f32 (*.f32 (*.f32 (+.f32 (*.f32 x x) #s(literal 1 binary32)) (*.f32 x x)) (*.f32 (*.f32 (*.f32 x x) x) x)) (*.f32 (*.f32 (*.f32 x x) x) x)))) (-.f32 (*.f32 (-.f32 #s(literal 1 binary32) x) (*.f32 (*.f32 x x) x)) (*.f32 x x))))
(-.f32 (*.f32 (*.f32 (*.f32 x x) x) (/.f32 (*.f32 (*.f32 x x) x) (-.f32 (*.f32 (-.f32 #s(literal 1 binary32) x) (*.f32 (*.f32 x x) x)) (*.f32 x x)))) (*.f32 (neg.f32 (/.f32 (*.f32 (*.f32 x x) x) (-.f32 (*.f32 (*.f32 (*.f32 (+.f32 (*.f32 x x) #s(literal 1 binary32)) (*.f32 x x)) (-.f32 (*.f32 x x) x)) (*.f32 (*.f32 (*.f32 (*.f32 (*.f32 x x) x) x) x) x)) (*.f32 (*.f32 (*.f32 (*.f32 (*.f32 x x) x) x) x) x)))) (-.f32 (*.f32 (*.f32 (-.f32 #s(literal 1 binary32) x) (*.f32 (*.f32 x x) x)) (-.f32 (*.f32 (-.f32 #s(literal 1 binary32) x) (*.f32 (*.f32 x x) x)) (*.f32 x x))) (*.f32 (*.f32 (*.f32 x x) x) x))))
(-.f32 (*.f32 (*.f32 (*.f32 x x) x) (/.f32 (*.f32 (*.f32 x x) x) (-.f32 (*.f32 (-.f32 #s(literal 1 binary32) x) (*.f32 (*.f32 x x) x)) (*.f32 x x)))) (*.f32 (neg.f32 (sqrt.f32 (*.f32 (*.f32 x x) x))) (/.f32 (sqrt.f32 (*.f32 (*.f32 x x) x)) (-.f32 (*.f32 (-.f32 #s(literal 1 binary32) x) (*.f32 (*.f32 x x) x)) (*.f32 x x)))))
(-.f32 (*.f32 (*.f32 (*.f32 x x) x) (/.f32 (*.f32 (*.f32 x x) x) (-.f32 (*.f32 (-.f32 #s(literal 1 binary32) x) (*.f32 (*.f32 x x) x)) (*.f32 x x)))) (/.f32 (*.f32 (neg.f32 (sqrt.f32 (*.f32 (*.f32 x x) x))) (sqrt.f32 (*.f32 (*.f32 x x) x))) (-.f32 (*.f32 (-.f32 #s(literal 1 binary32) x) (*.f32 (*.f32 x x) x)) (*.f32 x x))))
(-.f32 (*.f32 (*.f32 (*.f32 x x) x) (/.f32 (*.f32 (*.f32 x x) x) (-.f32 (*.f32 (-.f32 #s(literal 1 binary32) x) (*.f32 (*.f32 x x) x)) (*.f32 x x)))) (/.f32 (*.f32 (*.f32 x x) x) (-.f32 (*.f32 (-.f32 #s(literal 1 binary32) x) (*.f32 (*.f32 x x) x)) (*.f32 x x))))
(-.f32 (/.f32 (*.f32 (*.f32 x x) x) (-.f32 (*.f32 (-.f32 #s(literal 1 binary32) x) (*.f32 (*.f32 x x) x)) (*.f32 x x))) (*.f32 (neg.f32 (/.f32 (*.f32 (*.f32 (*.f32 (*.f32 (*.f32 x x) x) x) x) x) (-.f32 (*.f32 (*.f32 (+.f32 (*.f32 x x) #s(literal 1 binary32)) (*.f32 x x)) (*.f32 (*.f32 (*.f32 x x) x) x)) (*.f32 (*.f32 (*.f32 x x) x) x)))) (-.f32 (*.f32 (-.f32 #s(literal 1 binary32) x) (*.f32 (*.f32 x x) x)) (*.f32 x x))))
(-.f32 (/.f32 (*.f32 (*.f32 x x) x) (-.f32 (*.f32 (-.f32 #s(literal 1 binary32) x) (*.f32 (*.f32 x x) x)) (*.f32 x x))) (*.f32 (neg.f32 (/.f32 (*.f32 (*.f32 (*.f32 (*.f32 (*.f32 x x) x) x) x) x) (-.f32 (*.f32 (*.f32 (*.f32 (+.f32 (*.f32 x x) #s(literal 1 binary32)) (*.f32 x x)) (-.f32 (*.f32 x x) x)) (*.f32 (*.f32 (*.f32 (*.f32 (*.f32 x x) x) x) x) x)) (*.f32 (*.f32 (*.f32 (*.f32 (*.f32 x x) x) x) x) x)))) (-.f32 (*.f32 (*.f32 (-.f32 #s(literal 1 binary32) x) (*.f32 (*.f32 x x) x)) (-.f32 (*.f32 (-.f32 #s(literal 1 binary32) x) (*.f32 (*.f32 x x) x)) (*.f32 x x))) (*.f32 (*.f32 (*.f32 x x) x) x))))
(-.f32 (/.f32 (*.f32 (*.f32 x x) x) (-.f32 (*.f32 (-.f32 #s(literal 1 binary32) x) (*.f32 (*.f32 x x) x)) (*.f32 x x))) (*.f32 (*.f32 (*.f32 x x) x) (/.f32 (*.f32 (*.f32 x x) x) (-.f32 (*.f32 (-.f32 #s(literal 1 binary32) x) (*.f32 (*.f32 x x) x)) (*.f32 x x)))))
(-.f32 (*.f32 (*.f32 (*.f32 x x) x) (/.f32 x (-.f32 (*.f32 x x) x))) (*.f32 x (/.f32 x (-.f32 (*.f32 x x) x))))
(-.f32 (*.f32 x (/.f32 x (-.f32 (*.f32 x x) x))) (*.f32 (neg.f32 (/.f32 (*.f32 (*.f32 (*.f32 x x) x) x) (*.f32 (-.f32 #s(literal 1 binary32) (*.f32 (*.f32 x x) x)) (*.f32 (*.f32 x x) x)))) (-.f32 (*.f32 (-.f32 #s(literal 1 binary32) x) (*.f32 (*.f32 x x) x)) (*.f32 x x))))
(-.f32 (*.f32 x (/.f32 x (-.f32 (*.f32 x x) x))) (*.f32 (neg.f32 (/.f32 (*.f32 (*.f32 (*.f32 x x) x) x) (*.f32 (+.f32 (*.f32 x x) #s(literal 1 binary32)) (*.f32 x x)))) (-.f32 (*.f32 x x) x)))
(-.f32 (*.f32 x (/.f32 x (-.f32 (*.f32 x x) x))) (*.f32 (*.f32 (*.f32 x x) x) (/.f32 x (-.f32 (*.f32 x x) x))))
(-.f32 (*.f32 x x) (*.f32 (neg.f32 (sqrt.f32 x)) (sqrt.f32 x)))
(-.f32 (*.f32 x x) (*.f32 #s(literal -1 binary32) x))
(-.f32 (*.f32 x x) x)
(-.f32 x (*.f32 x x))
(/.f32 (-.f32 (*.f32 (*.f32 (*.f32 (*.f32 x x) x) (/.f32 x (-.f32 (*.f32 x x) x))) (*.f32 (*.f32 (*.f32 x x) x) (/.f32 x (-.f32 (*.f32 x x) x)))) (*.f32 (*.f32 x (/.f32 x (-.f32 (*.f32 x x) x))) (*.f32 x (/.f32 x (-.f32 (*.f32 x x) x))))) (-.f32 (*.f32 x x) x))
(/.f32 (-.f32 (*.f32 (*.f32 (*.f32 (*.f32 x x) x) (/.f32 (*.f32 (*.f32 x x) x) (-.f32 (*.f32 (-.f32 #s(literal 1 binary32) x) (*.f32 (*.f32 x x) x)) (*.f32 x x)))) (*.f32 (*.f32 (*.f32 x x) x) (/.f32 (*.f32 (*.f32 x x) x) (-.f32 (*.f32 (-.f32 #s(literal 1 binary32) x) (*.f32 (*.f32 x x) x)) (*.f32 x x))))) (*.f32 (/.f32 (*.f32 (*.f32 x x) x) (-.f32 (*.f32 (-.f32 #s(literal 1 binary32) x) (*.f32 (*.f32 x x) x)) (*.f32 x x))) (/.f32 (*.f32 (*.f32 x x) x) (-.f32 (*.f32 (-.f32 #s(literal 1 binary32) x) (*.f32 (*.f32 x x) x)) (*.f32 x x))))) (-.f32 (*.f32 x x) x))
(/.f32 (-.f32 (*.f32 (*.f32 (/.f32 (*.f32 (*.f32 x x) x) (-.f32 (*.f32 (-.f32 #s(literal 1 binary32) x) (*.f32 (*.f32 x x) x)) (*.f32 x x))) (/.f32 (*.f32 (*.f32 x x) x) (-.f32 (*.f32 (-.f32 #s(literal 1 binary32) x) (*.f32 (*.f32 x x) x)) (*.f32 x x)))) (/.f32 (*.f32 (*.f32 x x) x) (-.f32 (*.f32 (-.f32 #s(literal 1 binary32) x) (*.f32 (*.f32 x x) x)) (*.f32 x x)))) (*.f32 (*.f32 (*.f32 (*.f32 (*.f32 x x) x) (/.f32 (*.f32 (*.f32 x x) x) (-.f32 (*.f32 (-.f32 #s(literal 1 binary32) x) (*.f32 (*.f32 x x) x)) (*.f32 x x)))) (*.f32 (*.f32 (*.f32 x x) x) (/.f32 (*.f32 (*.f32 x x) x) (-.f32 (*.f32 (-.f32 #s(literal 1 binary32) x) (*.f32 (*.f32 x x) x)) (*.f32 x x))))) (*.f32 (*.f32 (*.f32 x x) x) (/.f32 (*.f32 (*.f32 x x) x) (-.f32 (*.f32 (-.f32 #s(literal 1 binary32) x) (*.f32 (*.f32 x x) x)) (*.f32 x x)))))) (+.f32 (*.f32 (/.f32 (*.f32 (*.f32 x x) x) (-.f32 (*.f32 (-.f32 #s(literal 1 binary32) x) (*.f32 (*.f32 x x) x)) (*.f32 x x))) (/.f32 (*.f32 (*.f32 x x) x) (-.f32 (*.f32 (-.f32 #s(literal 1 binary32) x) (*.f32 (*.f32 x x) x)) (*.f32 x x)))) (+.f32 (*.f32 (*.f32 (*.f32 (*.f32 x x) x) (/.f32 (*.f32 (*.f32 x x) x) (-.f32 (*.f32 (-.f32 #s(literal 1 binary32) x) (*.f32 (*.f32 x x) x)) (*.f32 x x)))) (*.f32 (*.f32 (*.f32 x x) x) (/.f32 (*.f32 (*.f32 x x) x) (-.f32 (*.f32 (-.f32 #s(literal 1 binary32) x) (*.f32 (*.f32 x x) x)) (*.f32 x x))))) (*.f32 (/.f32 (*.f32 (*.f32 x x) x) (-.f32 (*.f32 (-.f32 #s(literal 1 binary32) x) (*.f32 (*.f32 x x) x)) (*.f32 x x))) (*.f32 (*.f32 (*.f32 x x) x) (/.f32 (*.f32 (*.f32 x x) x) (-.f32 (*.f32 (-.f32 #s(literal 1 binary32) x) (*.f32 (*.f32 x x) x)) (*.f32 x x))))))))
(/.f32 (-.f32 (*.f32 (*.f32 (*.f32 (*.f32 (*.f32 (*.f32 x x) x) x) x) x) (/.f32 (*.f32 (*.f32 (*.f32 (*.f32 (*.f32 x x) x) x) x) x) (*.f32 (*.f32 (+.f32 (*.f32 x x) #s(literal 1 binary32)) (*.f32 x x)) (-.f32 (*.f32 x x) x)))) (/.f32 (*.f32 (*.f32 (*.f32 (*.f32 (*.f32 x x) x) x) x) x) (*.f32 (*.f32 (+.f32 (*.f32 x x) #s(literal 1 binary32)) (*.f32 x x)) (-.f32 (*.f32 x x) x)))) (+.f32 (*.f32 (*.f32 (*.f32 (*.f32 x x) x) (/.f32 x (-.f32 (*.f32 x x) x))) (*.f32 (*.f32 (*.f32 x x) x) (/.f32 x (-.f32 (*.f32 x x) x)))) (+.f32 (*.f32 (*.f32 x (/.f32 x (-.f32 (*.f32 x x) x))) (*.f32 x (/.f32 x (-.f32 (*.f32 x x) x)))) (*.f32 (*.f32 (*.f32 (*.f32 x x) x) (/.f32 x (-.f32 (*.f32 x x) x))) (*.f32 x (/.f32 x (-.f32 (*.f32 x x) x)))))))
(/.f32 (+.f32 (*.f32 (*.f32 (*.f32 (*.f32 (*.f32 x x) x) (/.f32 (*.f32 (*.f32 x x) x) (-.f32 (*.f32 (-.f32 #s(literal 1 binary32) x) (*.f32 (*.f32 x x) x)) (*.f32 x x)))) (*.f32 (*.f32 (*.f32 x x) x) (/.f32 (*.f32 (*.f32 x x) x) (-.f32 (*.f32 (-.f32 #s(literal 1 binary32) x) (*.f32 (*.f32 x x) x)) (*.f32 x x))))) (*.f32 (*.f32 (*.f32 x x) x) (/.f32 (*.f32 (*.f32 x x) x) (-.f32 (*.f32 (-.f32 #s(literal 1 binary32) x) (*.f32 (*.f32 x x) x)) (*.f32 x x))))) (*.f32 (*.f32 (/.f32 (*.f32 (*.f32 x x) x) (-.f32 (*.f32 (-.f32 #s(literal 1 binary32) x) (*.f32 (*.f32 x x) x)) (*.f32 x x))) (/.f32 (*.f32 (*.f32 x x) x) (-.f32 (*.f32 (-.f32 #s(literal 1 binary32) x) (*.f32 (*.f32 x x) x)) (*.f32 x x)))) (/.f32 (*.f32 (*.f32 x x) x) (-.f32 (*.f32 (-.f32 #s(literal 1 binary32) x) (*.f32 (*.f32 x x) x)) (*.f32 x x))))) (+.f32 (*.f32 (*.f32 (*.f32 (*.f32 x x) x) (/.f32 (*.f32 (*.f32 x x) x) (-.f32 (*.f32 (-.f32 #s(literal 1 binary32) x) (*.f32 (*.f32 x x) x)) (*.f32 x x)))) (*.f32 (*.f32 (*.f32 x x) x) (/.f32 (*.f32 (*.f32 x x) x) (-.f32 (*.f32 (-.f32 #s(literal 1 binary32) x) (*.f32 (*.f32 x x) x)) (*.f32 x x))))) (-.f32 (*.f32 (/.f32 (*.f32 (*.f32 x x) x) (-.f32 (*.f32 (-.f32 #s(literal 1 binary32) x) (*.f32 (*.f32 x x) x)) (*.f32 x x))) (/.f32 (*.f32 (*.f32 x x) x) (-.f32 (*.f32 (-.f32 #s(literal 1 binary32) x) (*.f32 (*.f32 x x) x)) (*.f32 x x)))) (*.f32 (*.f32 (*.f32 (*.f32 x x) x) (/.f32 (*.f32 (*.f32 x x) x) (-.f32 (*.f32 (-.f32 #s(literal 1 binary32) x) (*.f32 (*.f32 x x) x)) (*.f32 x x)))) (/.f32 (*.f32 (*.f32 x x) x) (-.f32 (*.f32 (-.f32 #s(literal 1 binary32) x) (*.f32 (*.f32 x x) x)) (*.f32 x x)))))))
(/.f32 (+.f32 (/.f32 (*.f32 (*.f32 (*.f32 (*.f32 (*.f32 x x) x) x) x) x) (*.f32 (*.f32 (+.f32 (*.f32 x x) #s(literal 1 binary32)) (*.f32 x x)) (-.f32 (*.f32 x x) x))) (*.f32 (*.f32 (*.f32 (*.f32 (*.f32 (*.f32 x x) x) x) x) x) (/.f32 (*.f32 (*.f32 (*.f32 (*.f32 (*.f32 x x) x) x) x) x) (*.f32 (*.f32 (+.f32 (*.f32 x x) #s(literal 1 binary32)) (*.f32 x x)) (-.f32 (*.f32 x x) x))))) (+.f32 (*.f32 (*.f32 x (/.f32 x (-.f32 (*.f32 x x) x))) (*.f32 x (/.f32 x (-.f32 (*.f32 x x) x)))) (-.f32 (*.f32 (*.f32 (*.f32 (*.f32 x x) x) (/.f32 x (-.f32 (*.f32 x x) x))) (*.f32 (*.f32 (*.f32 x x) x) (/.f32 x (-.f32 (*.f32 x x) x)))) (*.f32 (*.f32 x (/.f32 x (-.f32 (*.f32 x x) x))) (*.f32 (*.f32 (*.f32 x x) x) (/.f32 x (-.f32 (*.f32 x x) x)))))))
(/.f32 (neg.f32 (/.f32 (*.f32 (+.f32 (*.f32 x x) #s(literal 1 binary32)) (*.f32 x x)) (-.f32 #s(literal 1 binary32) x))) x)
(/.f32 (neg.f32 (/.f32 (*.f32 (+.f32 (*.f32 x x) #s(literal 1 binary32)) (*.f32 x x)) x)) (neg.f32 (-.f32 #s(literal 1 binary32) x)))
(/.f32 (neg.f32 (*.f32 (-.f32 (*.f32 x x) #s(literal 1 binary32)) x)) (neg.f32 (-.f32 x #s(literal 1 binary32))))
(/.f32 (neg.f32 (*.f32 (-.f32 #s(literal 1 binary32) (*.f32 (*.f32 x x) x)) x)) (neg.f32 (-.f32 (+.f32 (*.f32 x x) #s(literal 1 binary32)) x)))
(/.f32 (neg.f32 (*.f32 x (-.f32 (*.f32 x x) #s(literal 1 binary32)))) (neg.f32 (-.f32 x #s(literal 1 binary32))))
(/.f32 (neg.f32 (*.f32 x (-.f32 #s(literal 1 binary32) (*.f32 (*.f32 x x) x)))) (neg.f32 (-.f32 (+.f32 (*.f32 x x) #s(literal 1 binary32)) x)))
(/.f32 (neg.f32 (-.f32 (/.f32 (*.f32 (*.f32 (*.f32 (*.f32 (*.f32 x x) x) x) x) x) (*.f32 (*.f32 (+.f32 (*.f32 x x) #s(literal 1 binary32)) (*.f32 x x)) (-.f32 (*.f32 x x) x))) (*.f32 (*.f32 (*.f32 (*.f32 (*.f32 (*.f32 x x) x) x) x) x) (/.f32 (*.f32 (*.f32 (*.f32 (*.f32 (*.f32 x x) x) x) x) x) (*.f32 (*.f32 (+.f32 (*.f32 x x) #s(literal 1 binary32)) (*.f32 x x)) (-.f32 (*.f32 x x) x)))))) (neg.f32 (+.f32 (*.f32 (*.f32 x (/.f32 x (-.f32 (*.f32 x x) x))) (*.f32 x (/.f32 x (-.f32 (*.f32 x x) x)))) (-.f32 (*.f32 (*.f32 (*.f32 (*.f32 x x) x) (/.f32 x (-.f32 (*.f32 x x) x))) (*.f32 (*.f32 (*.f32 x x) x) (/.f32 x (-.f32 (*.f32 x x) x)))) (*.f32 (*.f32 x (/.f32 x (-.f32 (*.f32 x x) x))) (*.f32 (*.f32 (*.f32 x x) x) (/.f32 x (-.f32 (*.f32 x x) x))))))))
(/.f32 (neg.f32 (+.f32 (*.f32 (*.f32 (/.f32 (*.f32 (*.f32 x x) x) (-.f32 (*.f32 (-.f32 #s(literal 1 binary32) x) (*.f32 (*.f32 x x) x)) (*.f32 x x))) (/.f32 (*.f32 (*.f32 x x) x) (-.f32 (*.f32 (-.f32 #s(literal 1 binary32) x) (*.f32 (*.f32 x x) x)) (*.f32 x x)))) (/.f32 (*.f32 (*.f32 x x) x) (-.f32 (*.f32 (-.f32 #s(literal 1 binary32) x) (*.f32 (*.f32 x x) x)) (*.f32 x x)))) (*.f32 (*.f32 (*.f32 (*.f32 (*.f32 x x) x) (/.f32 (*.f32 (*.f32 x x) x) (-.f32 (*.f32 (-.f32 #s(literal 1 binary32) x) (*.f32 (*.f32 x x) x)) (*.f32 x x)))) (*.f32 (*.f32 (*.f32 x x) x) (/.f32 (*.f32 (*.f32 x x) x) (-.f32 (*.f32 (-.f32 #s(literal 1 binary32) x) (*.f32 (*.f32 x x) x)) (*.f32 x x))))) (*.f32 (*.f32 (*.f32 x x) x) (/.f32 (*.f32 (*.f32 x x) x) (-.f32 (*.f32 (-.f32 #s(literal 1 binary32) x) (*.f32 (*.f32 x x) x)) (*.f32 x x))))))) (neg.f32 (+.f32 (*.f32 (/.f32 (*.f32 (*.f32 x x) x) (-.f32 (*.f32 (-.f32 #s(literal 1 binary32) x) (*.f32 (*.f32 x x) x)) (*.f32 x x))) (/.f32 (*.f32 (*.f32 x x) x) (-.f32 (*.f32 (-.f32 #s(literal 1 binary32) x) (*.f32 (*.f32 x x) x)) (*.f32 x x)))) (-.f32 (*.f32 (*.f32 (*.f32 (*.f32 x x) x) (/.f32 (*.f32 (*.f32 x x) x) (-.f32 (*.f32 (-.f32 #s(literal 1 binary32) x) (*.f32 (*.f32 x x) x)) (*.f32 x x)))) (*.f32 (*.f32 (*.f32 x x) x) (/.f32 (*.f32 (*.f32 x x) x) (-.f32 (*.f32 (-.f32 #s(literal 1 binary32) x) (*.f32 (*.f32 x x) x)) (*.f32 x x))))) (*.f32 (/.f32 (*.f32 (*.f32 x x) x) (-.f32 (*.f32 (-.f32 #s(literal 1 binary32) x) (*.f32 (*.f32 x x) x)) (*.f32 x x))) (*.f32 (*.f32 (*.f32 x x) x) (/.f32 (*.f32 (*.f32 x x) x) (-.f32 (*.f32 (-.f32 #s(literal 1 binary32) x) (*.f32 (*.f32 x x) x)) (*.f32 x x)))))))))
(/.f32 (neg.f32 (-.f32 (*.f32 (-.f32 #s(literal 1 binary32) x) (*.f32 (*.f32 x x) x)) (*.f32 (-.f32 (*.f32 x x) x) (*.f32 (*.f32 (*.f32 x x) x) x)))) (*.f32 (+.f32 (*.f32 x x) #s(literal 1 binary32)) (*.f32 x x)))
(/.f32 (neg.f32 (-.f32 (*.f32 (*.f32 (*.f32 x x) x) (-.f32 (*.f32 (-.f32 #s(literal 1 binary32) x) (*.f32 (*.f32 x x) x)) (*.f32 x x))) (*.f32 (-.f32 (*.f32 (-.f32 #s(literal 1 binary32) x) (*.f32 (*.f32 x x) x)) (*.f32 x x)) (*.f32 (*.f32 (*.f32 (*.f32 (*.f32 x x) x) x) x) x)))) (neg.f32 (-.f32 (*.f32 (*.f32 (+.f32 (*.f32 x x) #s(literal 1 binary32)) (*.f32 x x)) (*.f32 (*.f32 (*.f32 x x) x) x)) (*.f32 (*.f32 (*.f32 x x) x) x))))
(/.f32 (-.f32 (*.f32 (*.f32 (-.f32 #s(literal 1 binary32) x) (*.f32 (*.f32 x x) x)) (*.f32 x x)) (*.f32 (-.f32 #s(literal 1 binary32) x) (*.f32 (*.f32 x x) x))) (*.f32 (+.f32 (*.f32 x x) #s(literal 1 binary32)) (*.f32 x x)))
(/.f32 (+.f32 (*.f32 (*.f32 (*.f32 (*.f32 (*.f32 (*.f32 x x) x) x) x) x) (-.f32 (*.f32 (-.f32 #s(literal 1 binary32) x) (*.f32 (*.f32 x x) x)) (*.f32 x x))) (*.f32 (-.f32 (*.f32 (-.f32 #s(literal 1 binary32) x) (*.f32 (*.f32 x x) x)) (*.f32 x x)) (*.f32 (*.f32 x x) x))) (-.f32 (*.f32 (*.f32 (+.f32 (*.f32 x x) #s(literal 1 binary32)) (*.f32 x x)) (*.f32 (*.f32 (*.f32 x x) x) x)) (*.f32 (*.f32 (*.f32 x x) x) x)))
(/.f32 (/.f32 (*.f32 (+.f32 (*.f32 x x) #s(literal 1 binary32)) (*.f32 x x)) (-.f32 #s(literal 1 binary32) x)) x)
(/.f32 (/.f32 (*.f32 (+.f32 (*.f32 x x) #s(literal 1 binary32)) (*.f32 x x)) x) (-.f32 #s(literal 1 binary32) x))
(/.f32 (*.f32 (-.f32 (*.f32 x x) #s(literal 1 binary32)) x) (-.f32 x #s(literal 1 binary32)))
(/.f32 (*.f32 (-.f32 #s(literal 1 binary32) (*.f32 (*.f32 x x) x)) x) (-.f32 (+.f32 (*.f32 x x) #s(literal 1 binary32)) x))
(/.f32 (*.f32 x (-.f32 (*.f32 x x) #s(literal 1 binary32))) (-.f32 x #s(literal 1 binary32)))
(/.f32 (*.f32 x (-.f32 #s(literal 1 binary32) (*.f32 (*.f32 x x) x))) (-.f32 (+.f32 (*.f32 x x) #s(literal 1 binary32)) x))
(/.f32 (-.f32 (/.f32 (*.f32 (*.f32 (*.f32 (*.f32 (*.f32 x x) x) x) x) x) (*.f32 (*.f32 (+.f32 (*.f32 x x) #s(literal 1 binary32)) (*.f32 x x)) (-.f32 (*.f32 x x) x))) (*.f32 (*.f32 (*.f32 (*.f32 (*.f32 (*.f32 x x) x) x) x) x) (/.f32 (*.f32 (*.f32 (*.f32 (*.f32 (*.f32 x x) x) x) x) x) (*.f32 (*.f32 (+.f32 (*.f32 x x) #s(literal 1 binary32)) (*.f32 x x)) (-.f32 (*.f32 x x) x))))) (+.f32 (*.f32 (*.f32 x (/.f32 x (-.f32 (*.f32 x x) x))) (*.f32 x (/.f32 x (-.f32 (*.f32 x x) x)))) (-.f32 (*.f32 (*.f32 (*.f32 (*.f32 x x) x) (/.f32 x (-.f32 (*.f32 x x) x))) (*.f32 (*.f32 (*.f32 x x) x) (/.f32 x (-.f32 (*.f32 x x) x)))) (*.f32 (*.f32 x (/.f32 x (-.f32 (*.f32 x x) x))) (*.f32 (*.f32 (*.f32 x x) x) (/.f32 x (-.f32 (*.f32 x x) x)))))))
(/.f32 (+.f32 (*.f32 (*.f32 (/.f32 (*.f32 (*.f32 x x) x) (-.f32 (*.f32 (-.f32 #s(literal 1 binary32) x) (*.f32 (*.f32 x x) x)) (*.f32 x x))) (/.f32 (*.f32 (*.f32 x x) x) (-.f32 (*.f32 (-.f32 #s(literal 1 binary32) x) (*.f32 (*.f32 x x) x)) (*.f32 x x)))) (/.f32 (*.f32 (*.f32 x x) x) (-.f32 (*.f32 (-.f32 #s(literal 1 binary32) x) (*.f32 (*.f32 x x) x)) (*.f32 x x)))) (*.f32 (*.f32 (*.f32 (*.f32 (*.f32 x x) x) (/.f32 (*.f32 (*.f32 x x) x) (-.f32 (*.f32 (-.f32 #s(literal 1 binary32) x) (*.f32 (*.f32 x x) x)) (*.f32 x x)))) (*.f32 (*.f32 (*.f32 x x) x) (/.f32 (*.f32 (*.f32 x x) x) (-.f32 (*.f32 (-.f32 #s(literal 1 binary32) x) (*.f32 (*.f32 x x) x)) (*.f32 x x))))) (*.f32 (*.f32 (*.f32 x x) x) (/.f32 (*.f32 (*.f32 x x) x) (-.f32 (*.f32 (-.f32 #s(literal 1 binary32) x) (*.f32 (*.f32 x x) x)) (*.f32 x x)))))) (+.f32 (*.f32 (/.f32 (*.f32 (*.f32 x x) x) (-.f32 (*.f32 (-.f32 #s(literal 1 binary32) x) (*.f32 (*.f32 x x) x)) (*.f32 x x))) (/.f32 (*.f32 (*.f32 x x) x) (-.f32 (*.f32 (-.f32 #s(literal 1 binary32) x) (*.f32 (*.f32 x x) x)) (*.f32 x x)))) (-.f32 (*.f32 (*.f32 (*.f32 (*.f32 x x) x) (/.f32 (*.f32 (*.f32 x x) x) (-.f32 (*.f32 (-.f32 #s(literal 1 binary32) x) (*.f32 (*.f32 x x) x)) (*.f32 x x)))) (*.f32 (*.f32 (*.f32 x x) x) (/.f32 (*.f32 (*.f32 x x) x) (-.f32 (*.f32 (-.f32 #s(literal 1 binary32) x) (*.f32 (*.f32 x x) x)) (*.f32 x x))))) (*.f32 (/.f32 (*.f32 (*.f32 x x) x) (-.f32 (*.f32 (-.f32 #s(literal 1 binary32) x) (*.f32 (*.f32 x x) x)) (*.f32 x x))) (*.f32 (*.f32 (*.f32 x x) x) (/.f32 (*.f32 (*.f32 x x) x) (-.f32 (*.f32 (-.f32 #s(literal 1 binary32) x) (*.f32 (*.f32 x x) x)) (*.f32 x x))))))))
(/.f32 (neg.f32 (*.f32 (-.f32 (*.f32 (*.f32 (*.f32 (*.f32 (*.f32 (*.f32 x x) x) x) x) x) (*.f32 (-.f32 #s(literal 1 binary32) (*.f32 (*.f32 x x) x)) (*.f32 (*.f32 x x) x))) (*.f32 (*.f32 (*.f32 (*.f32 (*.f32 x x) x) x) x) x)) (*.f32 (-.f32 #s(literal 1 binary32) (*.f32 (*.f32 x x) x)) (*.f32 (*.f32 x x) x)))) (neg.f32 (*.f32 (-.f32 (*.f32 (*.f32 (*.f32 (*.f32 (*.f32 (*.f32 x x) x) x) x) x) (*.f32 (-.f32 #s(literal 1 binary32) (*.f32 (*.f32 x x) x)) (*.f32 (*.f32 x x) x))) (*.f32 (*.f32 (*.f32 (*.f32 (*.f32 x x) x) x) x) x)) (-.f32 (*.f32 (-.f32 #s(literal 1 binary32) x) (*.f32 (*.f32 x x) x)) (*.f32 x x)))))
(/.f32 (neg.f32 (*.f32 (*.f32 (+.f32 (*.f32 x x) #s(literal 1 binary32)) (+.f32 (*.f32 x x) #s(literal 1 binary32))) (*.f32 (*.f32 (*.f32 x x) x) x))) (*.f32 (*.f32 (+.f32 (*.f32 x x) #s(literal 1 binary32)) (*.f32 x x)) (-.f32 (*.f32 x x) x)))
(/.f32 (neg.f32 (*.f32 (*.f32 (-.f32 #s(literal 1 binary32) (*.f32 (*.f32 x x) x)) (-.f32 #s(literal 1 binary32) (*.f32 (*.f32 x x) x))) (*.f32 (*.f32 (*.f32 (*.f32 (*.f32 x x) x) x) x) x))) (neg.f32 (*.f32 (*.f32 (-.f32 #s(literal 1 binary32) (*.f32 (*.f32 x x) x)) (*.f32 (*.f32 x x) x)) (-.f32 (*.f32 (-.f32 #s(literal 1 binary32) x) (*.f32 (*.f32 x x) x)) (*.f32 x x)))))
(/.f32 (neg.f32 (*.f32 (*.f32 (-.f32 #s(literal 1 binary32) (*.f32 (*.f32 x x) x)) (-.f32 #s(literal 1 binary32) (*.f32 (*.f32 x x) x))) (*.f32 (*.f32 (*.f32 (*.f32 (*.f32 x x) x) x) x) x))) (neg.f32 (*.f32 (-.f32 (*.f32 (*.f32 (+.f32 (*.f32 x x) #s(literal 1 binary32)) (*.f32 x x)) (*.f32 (*.f32 (*.f32 x x) x) x)) (*.f32 (*.f32 (*.f32 x x) x) x)) (-.f32 (*.f32 x x) x))))
(/.f32 (-.f32 (*.f32 (-.f32 #s(literal 1 binary32) x) (*.f32 (*.f32 x x) x)) (*.f32 (-.f32 (*.f32 x x) x) (*.f32 (*.f32 (*.f32 x x) x) x))) (*.f32 (+.f32 (*.f32 x x) #s(literal 1 binary32)) (*.f32 x x)))
(/.f32 (-.f32 (*.f32 (*.f32 (*.f32 x x) x) (-.f32 (*.f32 (-.f32 #s(literal 1 binary32) x) (*.f32 (*.f32 x x) x)) (*.f32 x x))) (*.f32 (-.f32 (*.f32 (-.f32 #s(literal 1 binary32) x) (*.f32 (*.f32 x x) x)) (*.f32 x x)) (*.f32 (*.f32 (*.f32 (*.f32 (*.f32 x x) x) x) x) x))) (-.f32 (*.f32 (*.f32 (+.f32 (*.f32 x x) #s(literal 1 binary32)) (*.f32 x x)) (*.f32 (*.f32 (*.f32 x x) x) x)) (*.f32 (*.f32 (*.f32 x x) x) x)))
(/.f32 (*.f32 (*.f32 (+.f32 (*.f32 x x) #s(literal 1 binary32)) (+.f32 (*.f32 x x) #s(literal 1 binary32))) (*.f32 (*.f32 (*.f32 x x) x) x)) (*.f32 (*.f32 (+.f32 (*.f32 x x) #s(literal 1 binary32)) (*.f32 x x)) (-.f32 (*.f32 x x) x)))
(/.f32 (*.f32 (*.f32 (-.f32 #s(literal 1 binary32) (*.f32 (*.f32 x x) x)) (-.f32 #s(literal 1 binary32) (*.f32 (*.f32 x x) x))) (*.f32 (*.f32 (*.f32 (*.f32 (*.f32 x x) x) x) x) x)) (*.f32 (*.f32 (-.f32 #s(literal 1 binary32) (*.f32 (*.f32 x x) x)) (*.f32 (*.f32 x x) x)) (-.f32 (*.f32 (-.f32 #s(literal 1 binary32) x) (*.f32 (*.f32 x x) x)) (*.f32 x x))))
(/.f32 (*.f32 (*.f32 (-.f32 #s(literal 1 binary32) (*.f32 (*.f32 x x) x)) (-.f32 #s(literal 1 binary32) (*.f32 (*.f32 x x) x))) (*.f32 (*.f32 (*.f32 (*.f32 (*.f32 x x) x) x) x) x)) (*.f32 (-.f32 (*.f32 (*.f32 (+.f32 (*.f32 x x) #s(literal 1 binary32)) (*.f32 x x)) (*.f32 (*.f32 (*.f32 x x) x) x)) (*.f32 (*.f32 (*.f32 x x) x) x)) (-.f32 (*.f32 x x) x)))
(/.f32 (*.f32 (-.f32 #s(literal 1 binary32) (*.f32 (*.f32 x x) x)) (*.f32 (*.f32 x x) x)) (-.f32 (*.f32 (-.f32 #s(literal 1 binary32) x) (*.f32 (*.f32 x x) x)) (*.f32 x x)))
(/.f32 (*.f32 (-.f32 (*.f32 (*.f32 (*.f32 (*.f32 (*.f32 (*.f32 x x) x) x) x) x) (*.f32 (-.f32 #s(literal 1 binary32) (*.f32 (*.f32 x x) x)) (*.f32 (*.f32 x x) x))) (*.f32 (*.f32 (*.f32 (*.f32 (*.f32 x x) x) x) x) x)) (*.f32 (-.f32 #s(literal 1 binary32) (*.f32 (*.f32 x x) x)) (*.f32 (*.f32 x x) x))) (*.f32 (-.f32 (*.f32 (*.f32 (*.f32 (*.f32 (*.f32 (*.f32 x x) x) x) x) x) (*.f32 (-.f32 #s(literal 1 binary32) (*.f32 (*.f32 x x) x)) (*.f32 (*.f32 x x) x))) (*.f32 (*.f32 (*.f32 (*.f32 (*.f32 x x) x) x) x) x)) (-.f32 (*.f32 (-.f32 #s(literal 1 binary32) x) (*.f32 (*.f32 x x) x)) (*.f32 x x))))
(/.f32 (*.f32 (+.f32 (*.f32 x x) #s(literal 1 binary32)) (*.f32 x x)) (-.f32 (*.f32 x x) x))
(+.f32 (/.f32 (*.f32 (*.f32 (/.f32 (*.f32 (*.f32 x x) x) (-.f32 (*.f32 (-.f32 #s(literal 1 binary32) x) (*.f32 (*.f32 x x) x)) (*.f32 x x))) (/.f32 (*.f32 (*.f32 x x) x) (-.f32 (*.f32 (-.f32 #s(literal 1 binary32) x) (*.f32 (*.f32 x x) x)) (*.f32 x x)))) (/.f32 (*.f32 (*.f32 x x) x) (-.f32 (*.f32 (-.f32 #s(literal 1 binary32) x) (*.f32 (*.f32 x x) x)) (*.f32 x x)))) (+.f32 (*.f32 (/.f32 (*.f32 (*.f32 x x) x) (-.f32 (*.f32 (-.f32 #s(literal 1 binary32) x) (*.f32 (*.f32 x x) x)) (*.f32 x x))) (/.f32 (*.f32 (*.f32 x x) x) (-.f32 (*.f32 (-.f32 #s(literal 1 binary32) x) (*.f32 (*.f32 x x) x)) (*.f32 x x)))) (-.f32 (*.f32 (*.f32 (*.f32 (*.f32 x x) x) (/.f32 (*.f32 (*.f32 x x) x) (-.f32 (*.f32 (-.f32 #s(literal 1 binary32) x) (*.f32 (*.f32 x x) x)) (*.f32 x x)))) (*.f32 (*.f32 (*.f32 x x) x) (/.f32 (*.f32 (*.f32 x x) x) (-.f32 (*.f32 (-.f32 #s(literal 1 binary32) x) (*.f32 (*.f32 x x) x)) (*.f32 x x))))) (*.f32 (/.f32 (*.f32 (*.f32 x x) x) (-.f32 (*.f32 (-.f32 #s(literal 1 binary32) x) (*.f32 (*.f32 x x) x)) (*.f32 x x))) (*.f32 (*.f32 (*.f32 x x) x) (/.f32 (*.f32 (*.f32 x x) x) (-.f32 (*.f32 (-.f32 #s(literal 1 binary32) x) (*.f32 (*.f32 x x) x)) (*.f32 x x)))))))) (/.f32 (*.f32 (*.f32 (*.f32 (*.f32 (*.f32 x x) x) (/.f32 (*.f32 (*.f32 x x) x) (-.f32 (*.f32 (-.f32 #s(literal 1 binary32) x) (*.f32 (*.f32 x x) x)) (*.f32 x x)))) (*.f32 (*.f32 (*.f32 x x) x) (/.f32 (*.f32 (*.f32 x x) x) (-.f32 (*.f32 (-.f32 #s(literal 1 binary32) x) (*.f32 (*.f32 x x) x)) (*.f32 x x))))) (*.f32 (*.f32 (*.f32 x x) x) (/.f32 (*.f32 (*.f32 x x) x) (-.f32 (*.f32 (-.f32 #s(literal 1 binary32) x) (*.f32 (*.f32 x x) x)) (*.f32 x x))))) (+.f32 (*.f32 (/.f32 (*.f32 (*.f32 x x) x) (-.f32 (*.f32 (-.f32 #s(literal 1 binary32) x) (*.f32 (*.f32 x x) x)) (*.f32 x x))) (/.f32 (*.f32 (*.f32 x x) x) (-.f32 (*.f32 (-.f32 #s(literal 1 binary32) x) (*.f32 (*.f32 x x) x)) (*.f32 x x)))) (-.f32 (*.f32 (*.f32 (*.f32 (*.f32 x x) x) (/.f32 (*.f32 (*.f32 x x) x) (-.f32 (*.f32 (-.f32 #s(literal 1 binary32) x) (*.f32 (*.f32 x x) x)) (*.f32 x x)))) (*.f32 (*.f32 (*.f32 x x) x) (/.f32 (*.f32 (*.f32 x x) x) (-.f32 (*.f32 (-.f32 #s(literal 1 binary32) x) (*.f32 (*.f32 x x) x)) (*.f32 x x))))) (*.f32 (/.f32 (*.f32 (*.f32 x x) x) (-.f32 (*.f32 (-.f32 #s(literal 1 binary32) x) (*.f32 (*.f32 x x) x)) (*.f32 x x))) (*.f32 (*.f32 (*.f32 x x) x) (/.f32 (*.f32 (*.f32 x x) x) (-.f32 (*.f32 (-.f32 #s(literal 1 binary32) x) (*.f32 (*.f32 x x) x)) (*.f32 x x)))))))))
(+.f32 (/.f32 (*.f32 (*.f32 (*.f32 x x) x) (-.f32 (*.f32 (-.f32 #s(literal 1 binary32) x) (*.f32 (*.f32 x x) x)) (*.f32 x x))) (-.f32 (*.f32 (*.f32 (+.f32 (*.f32 x x) #s(literal 1 binary32)) (*.f32 x x)) (*.f32 (*.f32 (*.f32 x x) x) x)) (*.f32 (*.f32 (*.f32 x x) x) x))) (/.f32 (*.f32 (-.f32 (*.f32 (-.f32 #s(literal 1 binary32) x) (*.f32 (*.f32 x x) x)) (*.f32 x x)) (*.f32 (*.f32 (*.f32 (*.f32 (*.f32 x x) x) x) x) x)) (-.f32 (*.f32 (*.f32 (+.f32 (*.f32 x x) #s(literal 1 binary32)) (*.f32 x x)) (*.f32 (*.f32 (*.f32 x x) x) x)) (*.f32 (*.f32 (*.f32 x x) x) x))))
(+.f32 (/.f32 (*.f32 (/.f32 (*.f32 (*.f32 x x) x) (-.f32 (*.f32 (-.f32 #s(literal 1 binary32) x) (*.f32 (*.f32 x x) x)) (*.f32 x x))) (-.f32 (*.f32 (-.f32 #s(literal 1 binary32) x) (*.f32 (*.f32 x x) x)) (*.f32 x x))) (-.f32 (*.f32 (-.f32 #s(literal 1 binary32) x) (*.f32 (*.f32 x x) x)) (*.f32 x x))) (/.f32 (*.f32 (*.f32 (*.f32 (*.f32 x x) x) (/.f32 (*.f32 (*.f32 x x) x) (-.f32 (*.f32 (-.f32 #s(literal 1 binary32) x) (*.f32 (*.f32 x x) x)) (*.f32 x x)))) (-.f32 (*.f32 (-.f32 #s(literal 1 binary32) x) (*.f32 (*.f32 x x) x)) (*.f32 x x))) (-.f32 (*.f32 (-.f32 #s(literal 1 binary32) x) (*.f32 (*.f32 x x) x)) (*.f32 x x))))
(+.f32 (/.f32 (*.f32 (*.f32 x x) (-.f32 (*.f32 (-.f32 #s(literal 1 binary32) x) (*.f32 (*.f32 x x) x)) (*.f32 x x))) (-.f32 (*.f32 (-.f32 #s(literal 1 binary32) x) (*.f32 (*.f32 x x) x)) (*.f32 x x))) (/.f32 (*.f32 x (-.f32 (*.f32 (-.f32 #s(literal 1 binary32) x) (*.f32 (*.f32 x x) x)) (*.f32 x x))) (-.f32 (*.f32 (-.f32 #s(literal 1 binary32) x) (*.f32 (*.f32 x x) x)) (*.f32 x x))))
(+.f32 (/.f32 (*.f32 x (-.f32 (*.f32 (-.f32 #s(literal 1 binary32) x) (*.f32 (*.f32 x x) x)) (*.f32 x x))) (-.f32 (*.f32 (-.f32 #s(literal 1 binary32) x) (*.f32 (*.f32 x x) x)) (*.f32 x x))) (/.f32 (*.f32 (*.f32 x x) (-.f32 (*.f32 (-.f32 #s(literal 1 binary32) x) (*.f32 (*.f32 x x) x)) (*.f32 x x))) (-.f32 (*.f32 (-.f32 #s(literal 1 binary32) x) (*.f32 (*.f32 x x) x)) (*.f32 x x))))
(+.f32 (/.f32 (*.f32 (-.f32 (*.f32 (-.f32 #s(literal 1 binary32) x) (*.f32 (*.f32 x x) x)) (*.f32 x x)) (/.f32 (*.f32 (*.f32 x x) x) (-.f32 (*.f32 (-.f32 #s(literal 1 binary32) x) (*.f32 (*.f32 x x) x)) (*.f32 x x)))) (-.f32 (*.f32 (-.f32 #s(literal 1 binary32) x) (*.f32 (*.f32 x x) x)) (*.f32 x x))) (/.f32 (*.f32 (-.f32 (*.f32 (-.f32 #s(literal 1 binary32) x) (*.f32 (*.f32 x x) x)) (*.f32 x x)) (*.f32 (*.f32 (*.f32 x x) x) (/.f32 (*.f32 (*.f32 x x) x) (-.f32 (*.f32 (-.f32 #s(literal 1 binary32) x) (*.f32 (*.f32 x x) x)) (*.f32 x x))))) (-.f32 (*.f32 (-.f32 #s(literal 1 binary32) x) (*.f32 (*.f32 x x) x)) (*.f32 x x))))
(+.f32 (/.f32 (*.f32 (-.f32 (*.f32 (-.f32 #s(literal 1 binary32) x) (*.f32 (*.f32 x x) x)) (*.f32 x x)) (*.f32 x x)) (-.f32 (*.f32 (-.f32 #s(literal 1 binary32) x) (*.f32 (*.f32 x x) x)) (*.f32 x x))) (/.f32 (*.f32 (-.f32 (*.f32 (-.f32 #s(literal 1 binary32) x) (*.f32 (*.f32 x x) x)) (*.f32 x x)) x) (-.f32 (*.f32 (-.f32 #s(literal 1 binary32) x) (*.f32 (*.f32 x x) x)) (*.f32 x x))))
(+.f32 (/.f32 (*.f32 (-.f32 (*.f32 (-.f32 #s(literal 1 binary32) x) (*.f32 (*.f32 x x) x)) (*.f32 x x)) x) (-.f32 (*.f32 (-.f32 #s(literal 1 binary32) x) (*.f32 (*.f32 x x) x)) (*.f32 x x))) (/.f32 (*.f32 (-.f32 (*.f32 (-.f32 #s(literal 1 binary32) x) (*.f32 (*.f32 x x) x)) (*.f32 x x)) (*.f32 x x)) (-.f32 (*.f32 (-.f32 #s(literal 1 binary32) x) (*.f32 (*.f32 x x) x)) (*.f32 x x))))
(+.f32 (/.f32 (/.f32 (*.f32 (*.f32 (*.f32 (*.f32 (*.f32 x x) x) x) x) (*.f32 (*.f32 (*.f32 x x) x) x)) (-.f32 (*.f32 (*.f32 (*.f32 (*.f32 (*.f32 (*.f32 x x) x) x) x) x) (*.f32 (-.f32 #s(literal 1 binary32) (*.f32 (*.f32 x x) x)) (*.f32 (*.f32 x x) x))) (*.f32 (*.f32 (*.f32 (*.f32 (*.f32 x x) x) x) x) x))) (-.f32 (*.f32 (-.f32 #s(literal 1 binary32) x) (*.f32 (*.f32 x x) x)) (*.f32 x x))) (/.f32 (/.f32 (*.f32 (*.f32 (*.f32 (*.f32 (*.f32 (*.f32 x x) x) x) x) (*.f32 (*.f32 (*.f32 (*.f32 x x) x) x) x)) (*.f32 (*.f32 (*.f32 (*.f32 (*.f32 x x) x) x) x) (*.f32 (*.f32 x x) x))) (-.f32 (*.f32 (*.f32 (*.f32 (*.f32 (*.f32 (*.f32 x x) x) x) x) x) (*.f32 (-.f32 #s(literal 1 binary32) (*.f32 (*.f32 x x) x)) (*.f32 (*.f32 x x) x))) (*.f32 (*.f32 (*.f32 (*.f32 (*.f32 x x) x) x) x) x))) (-.f32 (*.f32 (-.f32 #s(literal 1 binary32) x) (*.f32 (*.f32 x x) x)) (*.f32 x x))))
(+.f32 (/.f32 (*.f32 (*.f32 (*.f32 (*.f32 (*.f32 (*.f32 x x) x) x) x) (*.f32 (*.f32 (*.f32 (*.f32 x x) x) x) x)) (*.f32 (*.f32 (*.f32 (*.f32 (*.f32 x x) x) x) x) (*.f32 (*.f32 x x) x))) (*.f32 (-.f32 (*.f32 (*.f32 (*.f32 (*.f32 (*.f32 (*.f32 x x) x) x) x) x) (*.f32 (-.f32 #s(literal 1 binary32) (*.f32 (*.f32 x x) x)) (*.f32 (*.f32 x x) x))) (*.f32 (*.f32 (*.f32 (*.f32 (*.f32 x x) x) x) x) x)) (-.f32 (*.f32 (-.f32 #s(literal 1 binary32) x) (*.f32 (*.f32 x x) x)) (*.f32 x x)))) (/.f32 (*.f32 (*.f32 (*.f32 (*.f32 (*.f32 x x) x) x) x) (*.f32 (*.f32 (*.f32 x x) x) x)) (*.f32 (-.f32 (*.f32 (*.f32 (*.f32 (*.f32 (*.f32 (*.f32 x x) x) x) x) x) (*.f32 (-.f32 #s(literal 1 binary32) (*.f32 (*.f32 x x) x)) (*.f32 (*.f32 x x) x))) (*.f32 (*.f32 (*.f32 (*.f32 (*.f32 x x) x) x) x) x)) (-.f32 (*.f32 (-.f32 #s(literal 1 binary32) x) (*.f32 (*.f32 x x) x)) (*.f32 x x)))))
(+.f32 (/.f32 (*.f32 (*.f32 (*.f32 (*.f32 (*.f32 x x) x) x) x) (*.f32 (*.f32 (*.f32 x x) x) x)) (*.f32 (-.f32 (*.f32 (*.f32 (*.f32 (*.f32 (*.f32 (*.f32 x x) x) x) x) x) (*.f32 (-.f32 #s(literal 1 binary32) (*.f32 (*.f32 x x) x)) (*.f32 (*.f32 x x) x))) (*.f32 (*.f32 (*.f32 (*.f32 (*.f32 x x) x) x) x) x)) (-.f32 (*.f32 (-.f32 #s(literal 1 binary32) x) (*.f32 (*.f32 x x) x)) (*.f32 x x)))) (/.f32 (*.f32 (*.f32 (*.f32 (*.f32 (*.f32 (*.f32 x x) x) x) x) (*.f32 (*.f32 (*.f32 (*.f32 x x) x) x) x)) (*.f32 (*.f32 (*.f32 (*.f32 (*.f32 x x) x) x) x) (*.f32 (*.f32 x x) x))) (*.f32 (-.f32 (*.f32 (*.f32 (*.f32 (*.f32 (*.f32 (*.f32 x x) x) x) x) x) (*.f32 (-.f32 #s(literal 1 binary32) (*.f32 (*.f32 x x) x)) (*.f32 (*.f32 x x) x))) (*.f32 (*.f32 (*.f32 (*.f32 (*.f32 x x) x) x) x) x)) (-.f32 (*.f32 (-.f32 #s(literal 1 binary32) x) (*.f32 (*.f32 x x) x)) (*.f32 x x)))))
(+.f32 (/.f32 (*.f32 (-.f32 (*.f32 x x) x) x) (-.f32 (*.f32 x x) x)) (/.f32 (*.f32 (-.f32 #s(literal 1 binary32) x) (*.f32 (*.f32 x x) x)) (-.f32 (*.f32 x x) x)))
(+.f32 (/.f32 (*.f32 x (-.f32 (*.f32 x x) x)) (-.f32 (*.f32 x x) x)) (/.f32 (*.f32 (-.f32 #s(literal 1 binary32) x) (*.f32 (*.f32 x x) x)) (-.f32 (*.f32 x x) x)))
(+.f32 (/.f32 (*.f32 (*.f32 (*.f32 x x) x) x) (*.f32 (*.f32 (+.f32 (*.f32 x x) #s(literal 1 binary32)) (*.f32 x x)) (-.f32 (*.f32 x x) x))) (/.f32 (*.f32 (*.f32 (*.f32 (*.f32 (*.f32 x x) x) x) x) (*.f32 (*.f32 x x) x)) (*.f32 (*.f32 (+.f32 (*.f32 x x) #s(literal 1 binary32)) (*.f32 x x)) (-.f32 (*.f32 x x) x))))
(+.f32 (/.f32 (*.f32 (*.f32 (*.f32 (*.f32 (*.f32 x x) x) x) x) x) (*.f32 (*.f32 (-.f32 #s(literal 1 binary32) (*.f32 (*.f32 x x) x)) (*.f32 (*.f32 x x) x)) (-.f32 (*.f32 (-.f32 #s(literal 1 binary32) x) (*.f32 (*.f32 x x) x)) (*.f32 x x)))) (/.f32 (*.f32 (*.f32 (*.f32 (*.f32 (*.f32 (*.f32 x x) x) x) x) (*.f32 (*.f32 (*.f32 x x) x) x)) (*.f32 (*.f32 x x) x)) (*.f32 (*.f32 (-.f32 #s(literal 1 binary32) (*.f32 (*.f32 x x) x)) (*.f32 (*.f32 x x) x)) (-.f32 (*.f32 (-.f32 #s(literal 1 binary32) x) (*.f32 (*.f32 x x) x)) (*.f32 x x)))))
(+.f32 (/.f32 (*.f32 (*.f32 (*.f32 (*.f32 (*.f32 x x) x) x) x) x) (*.f32 (-.f32 (*.f32 (*.f32 (+.f32 (*.f32 x x) #s(literal 1 binary32)) (*.f32 x x)) (*.f32 (*.f32 (*.f32 x x) x) x)) (*.f32 (*.f32 (*.f32 x x) x) x)) (-.f32 (*.f32 x x) x))) (/.f32 (*.f32 (*.f32 (*.f32 (*.f32 (*.f32 (*.f32 x x) x) x) x) (*.f32 (*.f32 (*.f32 x x) x) x)) (*.f32 (*.f32 x x) x)) (*.f32 (-.f32 (*.f32 (*.f32 (+.f32 (*.f32 x x) #s(literal 1 binary32)) (*.f32 x x)) (*.f32 (*.f32 (*.f32 x x) x) x)) (*.f32 (*.f32 (*.f32 x x) x) x)) (-.f32 (*.f32 x x) x))))
(+.f32 (*.f32 (*.f32 (*.f32 x x) x) (/.f32 (*.f32 (*.f32 x x) x) (-.f32 (*.f32 (-.f32 #s(literal 1 binary32) x) (*.f32 (*.f32 x x) x)) (*.f32 x x)))) (/.f32 (*.f32 (*.f32 x x) x) (-.f32 (*.f32 (-.f32 #s(literal 1 binary32) x) (*.f32 (*.f32 x x) x)) (*.f32 x x))))
(+.f32 (/.f32 (*.f32 (*.f32 x x) x) (-.f32 (*.f32 (-.f32 #s(literal 1 binary32) x) (*.f32 (*.f32 x x) x)) (*.f32 x x))) (*.f32 (neg.f32 (/.f32 (*.f32 (*.f32 (*.f32 (*.f32 (*.f32 x x) x) x) x) x) (-.f32 (*.f32 (*.f32 (+.f32 (*.f32 x x) #s(literal 1 binary32)) (*.f32 x x)) (*.f32 (*.f32 (*.f32 x x) x) x)) (*.f32 (*.f32 (*.f32 x x) x) x)))) (-.f32 (*.f32 (-.f32 #s(literal 1 binary32) x) (*.f32 (*.f32 x x) x)) (*.f32 x x))))
(+.f32 (/.f32 (*.f32 (*.f32 x x) x) (-.f32 (*.f32 (-.f32 #s(literal 1 binary32) x) (*.f32 (*.f32 x x) x)) (*.f32 x x))) (*.f32 (neg.f32 (/.f32 (*.f32 (*.f32 (*.f32 (*.f32 (*.f32 x x) x) x) x) x) (-.f32 (*.f32 (*.f32 (*.f32 (+.f32 (*.f32 x x) #s(literal 1 binary32)) (*.f32 x x)) (-.f32 (*.f32 x x) x)) (*.f32 (*.f32 (*.f32 (*.f32 (*.f32 x x) x) x) x) x)) (*.f32 (*.f32 (*.f32 (*.f32 (*.f32 x x) x) x) x) x)))) (-.f32 (*.f32 (*.f32 (-.f32 #s(literal 1 binary32) x) (*.f32 (*.f32 x x) x)) (-.f32 (*.f32 (-.f32 #s(literal 1 binary32) x) (*.f32 (*.f32 x x) x)) (*.f32 x x))) (*.f32 (*.f32 (*.f32 x x) x) x))))
(+.f32 (/.f32 (*.f32 (*.f32 x x) x) (-.f32 (*.f32 (-.f32 #s(literal 1 binary32) x) (*.f32 (*.f32 x x) x)) (*.f32 x x))) (*.f32 (*.f32 (*.f32 x x) x) (/.f32 (*.f32 (*.f32 x x) x) (-.f32 (*.f32 (-.f32 #s(literal 1 binary32) x) (*.f32 (*.f32 x x) x)) (*.f32 x x)))))
(+.f32 (*.f32 (*.f32 (*.f32 x x) x) (/.f32 x (-.f32 (*.f32 x x) x))) (*.f32 (neg.f32 (/.f32 (*.f32 x x) (*.f32 (-.f32 #s(literal 1 binary32) (*.f32 (*.f32 x x) x)) (*.f32 (*.f32 x x) x)))) (-.f32 (*.f32 (-.f32 #s(literal 1 binary32) x) (*.f32 (*.f32 x x) x)) (*.f32 x x))))
(+.f32 (*.f32 (*.f32 (*.f32 x x) x) (/.f32 x (-.f32 (*.f32 x x) x))) (*.f32 (neg.f32 (/.f32 (*.f32 x x) (*.f32 (+.f32 (*.f32 x x) #s(literal 1 binary32)) (*.f32 x x)))) (-.f32 (*.f32 x x) x)))
(+.f32 (*.f32 (*.f32 (*.f32 x x) x) (/.f32 x (-.f32 (*.f32 x x) x))) (*.f32 x (/.f32 x (-.f32 (*.f32 x x) x))))
(+.f32 (*.f32 x (/.f32 x (-.f32 (*.f32 x x) x))) (*.f32 (neg.f32 (/.f32 (*.f32 (*.f32 (*.f32 x x) x) x) (*.f32 (-.f32 #s(literal 1 binary32) (*.f32 (*.f32 x x) x)) (*.f32 (*.f32 x x) x)))) (-.f32 (*.f32 (-.f32 #s(literal 1 binary32) x) (*.f32 (*.f32 x x) x)) (*.f32 x x))))
(+.f32 (*.f32 x (/.f32 x (-.f32 (*.f32 x x) x))) (*.f32 (neg.f32 (/.f32 (*.f32 (*.f32 (*.f32 x x) x) x) (*.f32 (+.f32 (*.f32 x x) #s(literal 1 binary32)) (*.f32 x x)))) (-.f32 (*.f32 x x) x)))
(+.f32 (*.f32 x (/.f32 x (-.f32 (*.f32 x x) x))) (*.f32 (*.f32 (*.f32 x x) x) (/.f32 x (-.f32 (*.f32 x x) x))))
(+.f32 (*.f32 x x) (*.f32 (neg.f32 (sqrt.f32 x)) (sqrt.f32 x)))
(+.f32 (*.f32 x x) (*.f32 #s(literal -1 binary32) x))
(+.f32 (*.f32 x x) x)
(+.f32 x (*.f32 x x))
(neg.f32 (-.f32 (*.f32 x x) x))
(*.f32 (sqrt.f32 (*.f32 (sqrt.f32 (*.f32 (*.f32 x x) x)) x)) (sqrt.f32 (sqrt.f32 (*.f32 (*.f32 x x) x))))
(*.f32 (sqrt.f32 (sqrt.f32 (*.f32 (*.f32 x x) x))) (sqrt.f32 (*.f32 (sqrt.f32 (*.f32 (*.f32 x x) x)) x)))
(*.f32 (sqrt.f32 x) (sqrt.f32 (*.f32 (*.f32 x x) x)))
(*.f32 (sqrt.f32 (*.f32 (*.f32 x x) x)) (sqrt.f32 x))
(*.f32 #s(literal 1 binary32) (*.f32 x x))
(*.f32 (*.f32 x x) #s(literal 1 binary32))
(*.f32 x x)
(sqrt.f32 (*.f32 (*.f32 (*.f32 x x) x) x))
(fabs.f32 (*.f32 x x))
(neg.f32 (*.f32 x x))

eval26.0ms (1.9%)

Memory
-23.4MiB live, 40.8MiB allocated
Compiler

Compiled 7 138 to 349 computations (95.1% saved)

prune2.0ms (0.2%)

Memory
8.0MiB live, 8.0MiB allocated
Pruning

1 alts after pruning (0 fresh and 1 done)

PrunedKeptTotal
New1190119
Fresh000
Picked011
Done000
Total1191120
Accuracy
100.0%
Counts
120 → 1
Alt Table
Click to see full alt table
StatusAccuracyProgram
✓100.0%
(+.f32 x (*.f32 x x))
Compiler

Compiled 10 to 6 computations (40% saved)

simplify5.0ms (0.4%)

Memory
15.4MiB live, 15.4MiB allocated
Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
035
Stop Event
1×saturated
Calls
Call 1
Inputs
(+.f32 x (*.f32 x x))
Outputs
(+.f32 x (*.f32 x x))

soundness0.0ms (0%)

Memory
0.6MiB live, 0.6MiB allocated
Stop Event
1×done
Compiler

Compiled 5 to 3 computations (40% saved)

preprocess11.0ms (0.8%)

Memory
-12.6MiB live, 32.6MiB allocated
Compiler

Compiled 20 to 12 computations (40% saved)

end0.0ms (0%)

Memory
0.0MiB live, 0.0MiB allocated

Profiling

Loading profile data...