(* PI z0)

Time bar (total: 1.3s)

start0.0ms (0.0%)

Memory
0.1MiB live, 0.1MiB allocated; 0ms collecting garbage

analyze0.0ms (0.0%)

Memory
0.6MiB live, 0.6MiB allocated; 0ms collecting garbage
Algorithm
search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0.0%0.0%100.0%0.0%0.0%0.0%0.0%0
100.0%100.0%0.0%0.0%0.0%0.0%0.0%1
Compiler

Compiled 5 to 5 computations (0.0% saved)

sample477.0ms (38.0%)

Memory
-20.6MiB live, 790.5MiB allocated; 183ms collecting garbage
Samples
259.0ms8 256×0valid
Precisions
Click to see histograms. Total time spent on operations: 67.0ms
ival-mult!: 56.0ms (83.6% of total)
adjust: 11.0ms (16.4% of total)
Bogosity

preprocess47.0ms (3.7%)

Memory
-17.0MiB live, 28.7MiB allocated; 12ms collecting garbage
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0610
12310
29610
350110
4268810
Stop Event
node-limit
Alt Table
Click to see full alt table
StatusAccuracyProgram
99.6%
(*.f64 (PI.f64) z0)
Symmetry

(negabs z0)

Compiler

Compiled 6 to 6 computations (0.0% saved)

rewrite105.0ms (8.4%)

Memory
4.8MiB live, 194.7MiB allocated; 28ms collecting garbage
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
035
055
1205
2845
35365
042845
Stop Event
iter-limit
node-limit
iter-limit
Counts
3 → 28
Calls
Call 1
Inputs
(PI.f64)
z0
(*.f64 (PI.f64) z0)
Outputs
(PI.f64)
z0
(*.f64 (*.f64 z0 (pow.f64 (cbrt.f64 (PI.f64)) #s(literal 8/3 binary64))) (pow.f64 (PI.f64) #s(literal 1/9 binary64)))
(*.f64 (neg.f64 (*.f64 (cbrt.f64 (PI.f64)) z0)) (neg.f64 (pow.f64 (PI.f64) #s(literal 2/3 binary64))))
(*.f64 (pow.f64 (PI.f64) #s(literal 4/9 binary64)) (*.f64 (pow.f64 (PI.f64) #s(literal 2/9 binary64)) (*.f64 (cbrt.f64 (PI.f64)) z0)))
(*.f64 (neg.f64 (pow.f64 (PI.f64) #s(literal 2/9 binary64))) (*.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64)) (neg.f64 (*.f64 (pow.f64 (PI.f64) #s(literal 2/3 binary64)) z0))))
(*.f64 (neg.f64 (pow.f64 (PI.f64) #s(literal 2/3 binary64))) (*.f64 (neg.f64 (cbrt.f64 (PI.f64))) z0))
(*.f64 (pow.f64 (cbrt.f64 (PI.f64)) #s(literal 5/3 binary64)) (*.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64)) (*.f64 (cbrt.f64 (PI.f64)) z0)))
(*.f64 (pow.f64 (cbrt.f64 (PI.f64)) #s(literal 8/3 binary64)) (*.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64)) z0))
(*.f64 (*.f64 (pow.f64 (PI.f64) #s(literal 2/3 binary64)) z0) (cbrt.f64 (PI.f64)))
(*.f64 (*.f64 (cbrt.f64 (PI.f64)) z0) (pow.f64 (PI.f64) #s(literal 2/3 binary64)))
(*.f64 (neg.f64 (cbrt.f64 (PI.f64))) (*.f64 (neg.f64 (pow.f64 (PI.f64) #s(literal 2/3 binary64))) z0))
(*.f64 (neg.f64 (cbrt.f64 (PI.f64))) (neg.f64 (*.f64 (pow.f64 (PI.f64) #s(literal 2/3 binary64)) z0)))
(*.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64)) (*.f64 (pow.f64 (PI.f64) #s(literal 2/9 binary64)) (*.f64 (pow.f64 (PI.f64) #s(literal 2/3 binary64)) z0)))
(*.f64 (pow.f64 (PI.f64) #s(literal 2/9 binary64)) (*.f64 (*.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64)) z0) (pow.f64 (PI.f64) #s(literal 2/3 binary64))))
(*.f64 (pow.f64 (PI.f64) #s(literal 2/9 binary64)) (*.f64 (neg.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64))) (neg.f64 (*.f64 (pow.f64 (PI.f64) #s(literal 2/3 binary64)) z0))))
(*.f64 (pow.f64 (PI.f64) #s(literal 2/9 binary64)) (*.f64 (pow.f64 (PI.f64) #s(literal 4/9 binary64)) (*.f64 (cbrt.f64 (PI.f64)) z0)))
(*.f64 (pow.f64 (PI.f64) #s(literal 2/9 binary64)) (*.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64)) (*.f64 (pow.f64 (PI.f64) #s(literal 2/3 binary64)) z0)))
(*.f64 (pow.f64 (PI.f64) #s(literal 2/9 binary64)) (*.f64 (pow.f64 (PI.f64) #s(literal 7/9 binary64)) z0))
(*.f64 (pow.f64 (PI.f64) #s(literal 2/3 binary64)) (*.f64 (cbrt.f64 (PI.f64)) z0))
(*.f64 (cbrt.f64 (PI.f64)) (*.f64 (pow.f64 (PI.f64) #s(literal 2/3 binary64)) z0))
(*.f64 z0 (log.f64 (exp.f64 (PI.f64))))
(*.f64 z0 (PI.f64))
(*.f64 (PI.f64) z0)
(neg.f64 (*.f64 (cbrt.f64 (PI.f64)) (neg.f64 (*.f64 (pow.f64 (PI.f64) #s(literal 2/3 binary64)) z0))))
(neg.f64 (*.f64 (neg.f64 (pow.f64 (PI.f64) #s(literal 2/3 binary64))) (*.f64 (cbrt.f64 (PI.f64)) z0)))
(neg.f64 (*.f64 (*.f64 (cbrt.f64 (PI.f64)) z0) (neg.f64 (pow.f64 (PI.f64) #s(literal 2/3 binary64)))))
(log.f64 (exp.f64 (*.f64 z0 (PI.f64))))

eval2.0ms (0.2%)

Memory
5.8MiB live, 5.8MiB allocated; 0ms collecting garbage
Compiler

Compiled 253 to 70 computations (72.3% saved)

prune2.0ms (0.1%)

Memory
4.6MiB live, 4.6MiB allocated; 0ms collecting garbage
Pruning

4 alts after pruning (3 fresh and 1 done)

PrunedKeptTotal
New23326
Fresh000
Picked101
Done-110
Total23427
Accuracy
99.7%
Counts
27 → 4
Alt Table
Click to see full alt table
StatusAccuracyProgram
98.8%
(*.f64 (pow.f64 (PI.f64) #s(literal 2/9 binary64)) (*.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64)) (*.f64 (pow.f64 (PI.f64) #s(literal 2/3 binary64)) z0)))
98.8%
(*.f64 (pow.f64 (PI.f64) #s(literal 2/9 binary64)) (*.f64 (*.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64)) z0) (pow.f64 (PI.f64) #s(literal 2/3 binary64))))
98.9%
(*.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64)) (*.f64 (pow.f64 (PI.f64) #s(literal 2/9 binary64)) (*.f64 (pow.f64 (PI.f64) #s(literal 2/3 binary64)) z0)))
99.6%
(*.f64 (PI.f64) z0)
Compiler

Compiled 42 to 36 computations (14.3% saved)

rewrite114.0ms (9.1%)

Memory
6.7MiB live, 245.1MiB allocated; 20ms collecting garbage
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01690
02890
17775
218754
388654
0461548
Stop Event
iter-limit
node-limit
iter-limit
Counts
16 → 248
Calls
Call 1
Inputs
(PI.f64)
#s(literal 1/9 binary64)
(pow.f64 (PI.f64) #s(literal 1/9 binary64))
#s(literal 2/9 binary64)
(pow.f64 (PI.f64) #s(literal 2/9 binary64))
#s(literal 2/3 binary64)
(pow.f64 (PI.f64) #s(literal 2/3 binary64))
z0
(*.f64 (pow.f64 (PI.f64) #s(literal 2/3 binary64)) z0)
(*.f64 (pow.f64 (PI.f64) #s(literal 2/9 binary64)) (*.f64 (pow.f64 (PI.f64) #s(literal 2/3 binary64)) z0))
(*.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64)) (*.f64 (pow.f64 (PI.f64) #s(literal 2/9 binary64)) (*.f64 (pow.f64 (PI.f64) #s(literal 2/3 binary64)) z0)))
(*.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64)) z0)
(*.f64 (*.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64)) z0) (pow.f64 (PI.f64) #s(literal 2/3 binary64)))
(*.f64 (pow.f64 (PI.f64) #s(literal 2/9 binary64)) (*.f64 (*.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64)) z0) (pow.f64 (PI.f64) #s(literal 2/3 binary64))))
(*.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64)) (*.f64 (pow.f64 (PI.f64) #s(literal 2/3 binary64)) z0))
(*.f64 (pow.f64 (PI.f64) #s(literal 2/9 binary64)) (*.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64)) (*.f64 (pow.f64 (PI.f64) #s(literal 2/3 binary64)) z0)))
Outputs
(PI.f64)
#s(literal 1/9 binary64)
(*.f64 (pow.f64 (cbrt.f64 (PI.f64)) (/.f64 #s(literal 1/3 binary64) #s(literal 2 binary64))) (pow.f64 (cbrt.f64 (PI.f64)) (/.f64 #s(literal 1/3 binary64) #s(literal 2 binary64))))
(*.f64 (fabs.f64 (pow.f64 (PI.f64) #s(literal 2/27 binary64))) (fabs.f64 (pow.f64 (PI.f64) #s(literal 1/27 binary64))))
(*.f64 (fabs.f64 (pow.f64 (PI.f64) #s(literal 1/27 binary64))) (fabs.f64 (pow.f64 (PI.f64) #s(literal 2/27 binary64))))
(*.f64 (pow.f64 (*.f64 (pow.f64 (PI.f64) #s(literal 8/3 binary64)) (pow.f64 (PI.f64) #s(literal 2/9 binary64))) #s(literal 1/27 binary64)) (pow.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64)) #s(literal 1/27 binary64)))
(*.f64 (pow.f64 (*.f64 (pow.f64 (PI.f64) #s(literal 8/3 binary64)) (pow.f64 (PI.f64) #s(literal 1/9 binary64))) #s(literal 1/27 binary64)) (pow.f64 (pow.f64 (PI.f64) #s(literal 2/9 binary64)) #s(literal 1/27 binary64)))
(*.f64 (pow.f64 (*.f64 (PI.f64) (neg.f64 (PI.f64))) #s(literal 1/27 binary64)) (pow.f64 (neg.f64 (PI.f64)) #s(literal 1/27 binary64)))
(*.f64 (pow.f64 (pow.f64 (PI.f64) #s(literal 5/3 binary64)) #s(literal 1/27 binary64)) (pow.f64 (pow.f64 (PI.f64) #s(literal 4/3 binary64)) #s(literal 1/27 binary64)))
(*.f64 (pow.f64 (pow.f64 (PI.f64) #s(literal 4/3 binary64)) #s(literal 1/27 binary64)) (pow.f64 (pow.f64 (PI.f64) #s(literal 5/3 binary64)) #s(literal 1/27 binary64)))
(*.f64 (pow.f64 (neg.f64 (PI.f64)) #s(literal 1/27 binary64)) (pow.f64 (*.f64 (neg.f64 (PI.f64)) (PI.f64)) #s(literal 1/27 binary64)))
(*.f64 (pow.f64 (pow.f64 (PI.f64) #s(literal 7/3 binary64)) #s(literal 1/27 binary64)) (pow.f64 (pow.f64 (PI.f64) #s(literal 2/3 binary64)) #s(literal 1/27 binary64)))
(*.f64 (pow.f64 (pow.f64 (PI.f64) #s(literal 2/3 binary64)) #s(literal 1/27 binary64)) (pow.f64 (pow.f64 (PI.f64) #s(literal 7/3 binary64)) #s(literal 1/27 binary64)))
(*.f64 (pow.f64 (cbrt.f64 (*.f64 (PI.f64) (neg.f64 (PI.f64)))) #s(literal 1/9 binary64)) (pow.f64 (neg.f64 (cbrt.f64 (PI.f64))) #s(literal 1/9 binary64)))
(*.f64 (pow.f64 (neg.f64 (cbrt.f64 (PI.f64))) #s(literal 1/9 binary64)) (pow.f64 (cbrt.f64 (*.f64 (neg.f64 (PI.f64)) (PI.f64))) #s(literal 1/9 binary64)))
(*.f64 (pow.f64 (pow.f64 (PI.f64) #s(literal 7/9 binary64)) #s(literal 1/9 binary64)) (pow.f64 (pow.f64 (PI.f64) #s(literal 2/9 binary64)) #s(literal 1/9 binary64)))
(*.f64 (pow.f64 (pow.f64 (PI.f64) #s(literal 8/9 binary64)) #s(literal 1/9 binary64)) (pow.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64)) #s(literal 1/9 binary64)))
(*.f64 (pow.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64)) #s(literal 1/9 binary64)) (pow.f64 (pow.f64 (PI.f64) #s(literal 8/9 binary64)) #s(literal 1/9 binary64)))
(*.f64 (pow.f64 (pow.f64 (PI.f64) #s(literal 2/9 binary64)) #s(literal 1/9 binary64)) (pow.f64 (pow.f64 (PI.f64) #s(literal 7/9 binary64)) #s(literal 1/9 binary64)))
(*.f64 (pow.f64 (*.f64 (*.f64 (PI.f64) (PI.f64)) (PI.f64)) (/.f64 #s(literal 1/27 binary64) #s(literal 2 binary64))) (pow.f64 (*.f64 (*.f64 (PI.f64) (PI.f64)) (PI.f64)) (/.f64 #s(literal 1/27 binary64) #s(literal 2 binary64))))
(*.f64 (pow.f64 (PI.f64) #s(literal 2/27 binary64)) (pow.f64 (PI.f64) #s(literal 1/27 binary64)))
(*.f64 (pow.f64 (PI.f64) #s(literal 1/27 binary64)) (pow.f64 (PI.f64) #s(literal 2/27 binary64)))
(*.f64 (pow.f64 (PI.f64) #s(literal 1/27 binary64)) (pow.f64 (*.f64 (PI.f64) (PI.f64)) #s(literal 1/27 binary64)))
(*.f64 (pow.f64 (cbrt.f64 (PI.f64)) #s(literal 1/27 binary64)) (pow.f64 (pow.f64 (PI.f64) #s(literal 8/3 binary64)) #s(literal 1/27 binary64)))
(*.f64 (pow.f64 (pow.f64 (PI.f64) #s(literal 8/3 binary64)) #s(literal 1/27 binary64)) (pow.f64 (cbrt.f64 (PI.f64)) #s(literal 1/27 binary64)))
(*.f64 (pow.f64 (*.f64 (PI.f64) (PI.f64)) #s(literal 1/27 binary64)) (pow.f64 (PI.f64) #s(literal 1/27 binary64)))
(*.f64 (pow.f64 (PI.f64) (/.f64 #s(literal 1/9 binary64) #s(literal 2 binary64))) (pow.f64 (PI.f64) (/.f64 #s(literal 1/9 binary64) #s(literal 2 binary64))))
(pow.f64 (*.f64 (*.f64 (*.f64 (*.f64 (*.f64 (PI.f64) (PI.f64)) (PI.f64)) (PI.f64)) (*.f64 (PI.f64) (PI.f64))) (*.f64 (*.f64 (PI.f64) (PI.f64)) (PI.f64))) #s(literal 1/81 binary64))
(pow.f64 (cbrt.f64 (PI.f64)) #s(literal 1/3 binary64))
(pow.f64 (*.f64 (*.f64 (PI.f64) (PI.f64)) (PI.f64)) #s(literal 1/27 binary64))
(pow.f64 (PI.f64) #s(literal 1/9 binary64))
(/.f64 (pow.f64 (PI.f64) #s(literal 2/27 binary64)) (pow.f64 (cbrt.f64 (PI.f64)) #s(literal -1/9 binary64)))
(/.f64 (pow.f64 (PI.f64) #s(literal 1/27 binary64)) (pow.f64 (cbrt.f64 (PI.f64)) #s(literal -2/9 binary64)))
(cbrt.f64 (cbrt.f64 (PI.f64)))
(sqrt.f64 (pow.f64 (PI.f64) #s(literal 2/9 binary64)))
(fabs.f64 (neg.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64))))
(fabs.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64)))
(exp.f64 (*.f64 (log.f64 (cbrt.f64 (PI.f64))) #s(literal 1/3 binary64)))
(exp.f64 (*.f64 (log.f64 (*.f64 (*.f64 (PI.f64) (PI.f64)) (PI.f64))) #s(literal 1/27 binary64)))
(exp.f64 (*.f64 (log.f64 (PI.f64)) #s(literal 1/9 binary64)))
#s(literal 2/9 binary64)
(*.f64 (pow.f64 (pow.f64 (PI.f64) #s(literal 2/3 binary64)) (/.f64 #s(literal 1/3 binary64) #s(literal 2 binary64))) (pow.f64 (pow.f64 (PI.f64) #s(literal 2/3 binary64)) (/.f64 #s(literal 1/3 binary64) #s(literal 2 binary64))))
(*.f64 (pow.f64 (cbrt.f64 (PI.f64)) (/.f64 #s(literal 2/3 binary64) #s(literal 2 binary64))) (pow.f64 (cbrt.f64 (PI.f64)) (/.f64 #s(literal 2/3 binary64) #s(literal 2 binary64))))
(*.f64 (neg.f64 (neg.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64)))) (neg.f64 (neg.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64)))))
(*.f64 (cbrt.f64 (neg.f64 (neg.f64 (cbrt.f64 (PI.f64))))) (cbrt.f64 (neg.f64 (neg.f64 (cbrt.f64 (PI.f64))))))
(*.f64 (cbrt.f64 (pow.f64 (PI.f64) #s(literal 4/9 binary64))) (pow.f64 (PI.f64) #s(literal 2/27 binary64)))
(*.f64 (cbrt.f64 (pow.f64 (PI.f64) #s(literal 5/9 binary64))) (pow.f64 (PI.f64) #s(literal 1/27 binary64)))
(*.f64 (pow.f64 (pow.f64 (PI.f64) #s(literal 5/9 binary64)) #s(literal 1/3 binary64)) (pow.f64 (PI.f64) #s(literal 1/27 binary64)))
(*.f64 (pow.f64 (neg.f64 (neg.f64 (cbrt.f64 (PI.f64)))) #s(literal 1/3 binary64)) (pow.f64 (neg.f64 (neg.f64 (cbrt.f64 (PI.f64)))) #s(literal 1/3 binary64)))
(*.f64 (pow.f64 (pow.f64 (PI.f64) #s(literal 4/9 binary64)) #s(literal 1/3 binary64)) (pow.f64 (PI.f64) #s(literal 2/27 binary64)))
(*.f64 (pow.f64 (*.f64 (pow.f64 (PI.f64) #s(literal 8/3 binary64)) (pow.f64 (PI.f64) #s(literal 2/9 binary64))) #s(literal 2/27 binary64)) (pow.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64)) #s(literal 2/27 binary64)))
(*.f64 (pow.f64 (*.f64 (pow.f64 (PI.f64) #s(literal 8/3 binary64)) (pow.f64 (PI.f64) #s(literal 1/9 binary64))) #s(literal 2/27 binary64)) (pow.f64 (pow.f64 (PI.f64) #s(literal 2/9 binary64)) #s(literal 2/27 binary64)))
(*.f64 (pow.f64 (*.f64 (PI.f64) (neg.f64 (PI.f64))) #s(literal 2/27 binary64)) (pow.f64 (neg.f64 (PI.f64)) #s(literal 2/27 binary64)))
(*.f64 (pow.f64 (pow.f64 (PI.f64) #s(literal 5/3 binary64)) #s(literal 2/27 binary64)) (pow.f64 (pow.f64 (PI.f64) #s(literal 4/3 binary64)) #s(literal 2/27 binary64)))
(*.f64 (pow.f64 (pow.f64 (PI.f64) #s(literal 4/3 binary64)) #s(literal 2/27 binary64)) (pow.f64 (pow.f64 (PI.f64) #s(literal 5/3 binary64)) #s(literal 2/27 binary64)))
(*.f64 (pow.f64 (neg.f64 (PI.f64)) #s(literal 2/27 binary64)) (pow.f64 (*.f64 (neg.f64 (PI.f64)) (PI.f64)) #s(literal 2/27 binary64)))
(*.f64 (pow.f64 (pow.f64 (PI.f64) #s(literal 7/3 binary64)) #s(literal 2/27 binary64)) (pow.f64 (pow.f64 (PI.f64) #s(literal 2/3 binary64)) #s(literal 2/27 binary64)))
(*.f64 (pow.f64 (pow.f64 (PI.f64) #s(literal 2/3 binary64)) #s(literal 2/27 binary64)) (pow.f64 (pow.f64 (PI.f64) #s(literal 7/3 binary64)) #s(literal 2/27 binary64)))
(*.f64 (pow.f64 (cbrt.f64 (*.f64 (PI.f64) (neg.f64 (PI.f64)))) #s(literal 2/9 binary64)) (pow.f64 (neg.f64 (cbrt.f64 (PI.f64))) #s(literal 2/9 binary64)))
(*.f64 (pow.f64 (neg.f64 (cbrt.f64 (PI.f64))) #s(literal 2/9 binary64)) (pow.f64 (cbrt.f64 (*.f64 (neg.f64 (PI.f64)) (PI.f64))) #s(literal 2/9 binary64)))
(*.f64 (pow.f64 (pow.f64 (PI.f64) #s(literal 7/9 binary64)) #s(literal 2/9 binary64)) (pow.f64 (pow.f64 (PI.f64) #s(literal 2/9 binary64)) #s(literal 2/9 binary64)))
(*.f64 (pow.f64 (pow.f64 (PI.f64) #s(literal 8/9 binary64)) #s(literal 2/9 binary64)) (pow.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64)) #s(literal 2/9 binary64)))
(*.f64 (pow.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64)) #s(literal 2/9 binary64)) (pow.f64 (pow.f64 (PI.f64) #s(literal 8/9 binary64)) #s(literal 2/9 binary64)))
(*.f64 (pow.f64 (pow.f64 (PI.f64) #s(literal 2/9 binary64)) #s(literal 2/9 binary64)) (pow.f64 (pow.f64 (PI.f64) #s(literal 7/9 binary64)) #s(literal 2/9 binary64)))
(*.f64 (pow.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64)) #s(literal 2/3 binary64)) (pow.f64 (pow.f64 (PI.f64) #s(literal 2/9 binary64)) #s(literal 2/3 binary64)))
(*.f64 (pow.f64 (pow.f64 (PI.f64) #s(literal 2/9 binary64)) #s(literal 2/3 binary64)) (pow.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64)) #s(literal 2/3 binary64)))
(*.f64 (neg.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64))) (neg.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64))))
(*.f64 (pow.f64 (*.f64 (*.f64 (PI.f64) (PI.f64)) (PI.f64)) (/.f64 #s(literal 2/27 binary64) #s(literal 2 binary64))) (pow.f64 (*.f64 (*.f64 (PI.f64) (PI.f64)) (PI.f64)) (/.f64 #s(literal 2/27 binary64) #s(literal 2 binary64))))
(*.f64 (pow.f64 (PI.f64) #s(literal 2/27 binary64)) (cbrt.f64 (pow.f64 (PI.f64) #s(literal 4/9 binary64))))
(*.f64 (pow.f64 (PI.f64) #s(literal 2/27 binary64)) (pow.f64 (pow.f64 (PI.f64) #s(literal 4/9 binary64)) #s(literal 1/3 binary64)))
(*.f64 (pow.f64 (PI.f64) #s(literal 2/27 binary64)) (pow.f64 (*.f64 (PI.f64) (PI.f64)) #s(literal 2/27 binary64)))
(*.f64 (pow.f64 (PI.f64) #s(literal 2/27 binary64)) (pow.f64 (pow.f64 (PI.f64) #s(literal 2/3 binary64)) #s(literal 2/9 binary64)))
(*.f64 (pow.f64 (PI.f64) #s(literal 1/27 binary64)) (cbrt.f64 (pow.f64 (PI.f64) #s(literal 5/9 binary64))))
(*.f64 (pow.f64 (PI.f64) #s(literal 1/27 binary64)) (pow.f64 (pow.f64 (PI.f64) #s(literal 5/9 binary64)) #s(literal 1/3 binary64)))
(*.f64 (pow.f64 (cbrt.f64 (PI.f64)) #s(literal 2/27 binary64)) (pow.f64 (pow.f64 (PI.f64) #s(literal 8/3 binary64)) #s(literal 2/27 binary64)))
(*.f64 (pow.f64 (pow.f64 (PI.f64) #s(literal 8/3 binary64)) #s(literal 2/27 binary64)) (pow.f64 (cbrt.f64 (PI.f64)) #s(literal 2/27 binary64)))
(*.f64 (pow.f64 (*.f64 (PI.f64) (PI.f64)) #s(literal 2/27 binary64)) (pow.f64 (PI.f64) #s(literal 2/27 binary64)))
(*.f64 (pow.f64 (pow.f64 (PI.f64) #s(literal 2/3 binary64)) #s(literal 2/9 binary64)) (pow.f64 (PI.f64) #s(literal 2/27 binary64)))
(*.f64 (pow.f64 (PI.f64) (/.f64 #s(literal 2/9 binary64) #s(literal 2 binary64))) (pow.f64 (PI.f64) (/.f64 #s(literal 2/9 binary64) #s(literal 2 binary64))))
(*.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64)) (pow.f64 (PI.f64) #s(literal 1/9 binary64)))
(pow.f64 (neg.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64))) #s(literal 2 binary64))
(pow.f64 (*.f64 (*.f64 (*.f64 (*.f64 (*.f64 (PI.f64) (PI.f64)) (PI.f64)) (PI.f64)) (*.f64 (PI.f64) (PI.f64))) (*.f64 (*.f64 (PI.f64) (PI.f64)) (PI.f64))) #s(literal 2/81 binary64))
(pow.f64 (neg.f64 (cbrt.f64 (PI.f64))) #s(literal 2/3 binary64))
(pow.f64 (*.f64 (*.f64 (*.f64 (*.f64 (PI.f64) (PI.f64)) (PI.f64)) (PI.f64)) (*.f64 (PI.f64) (PI.f64))) #s(literal 1/27 binary64))
(pow.f64 (pow.f64 (PI.f64) #s(literal 2/3 binary64)) #s(literal 1/3 binary64))
(pow.f64 (cbrt.f64 (PI.f64)) #s(literal 2/3 binary64))
(pow.f64 (*.f64 (*.f64 (PI.f64) (PI.f64)) (PI.f64)) #s(literal 2/27 binary64))
(pow.f64 (*.f64 (PI.f64) (PI.f64)) #s(literal 1/9 binary64))
(pow.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64)) #s(literal 2 binary64))
(pow.f64 (PI.f64) #s(literal 2/9 binary64))
(/.f64 (pow.f64 (PI.f64) #s(literal 2/27 binary64)) (pow.f64 (pow.f64 (PI.f64) #s(literal 2/3 binary64)) #s(literal -2/9 binary64)))
(/.f64 (pow.f64 (pow.f64 (PI.f64) #s(literal 2/3 binary64)) #s(literal 2/9 binary64)) (pow.f64 (pow.f64 (PI.f64) #s(literal 2/3 binary64)) #s(literal -1/9 binary64)))
(neg.f64 (cbrt.f64 (cbrt.f64 (*.f64 (neg.f64 (PI.f64)) (PI.f64)))))
(neg.f64 (cbrt.f64 (cbrt.f64 (*.f64 (PI.f64) (neg.f64 (PI.f64))))))
(cbrt.f64 (pow.f64 (PI.f64) #s(literal 2/3 binary64)))
(sqrt.f64 (pow.f64 (PI.f64) #s(literal 4/9 binary64)))
(fabs.f64 (neg.f64 (pow.f64 (PI.f64) #s(literal 2/9 binary64))))
(fabs.f64 (pow.f64 (PI.f64) #s(literal 2/9 binary64)))
(exp.f64 (*.f64 (log.f64 (pow.f64 (PI.f64) #s(literal 2/3 binary64))) #s(literal 1/3 binary64)))
(exp.f64 (*.f64 (log.f64 (cbrt.f64 (PI.f64))) #s(literal 2/3 binary64)))
(exp.f64 (*.f64 (log.f64 (*.f64 (*.f64 (PI.f64) (PI.f64)) (PI.f64))) #s(literal 2/27 binary64)))
(exp.f64 (*.f64 (log.f64 (PI.f64)) #s(literal 2/9 binary64)))
#s(literal 2/3 binary64)
(*.f64 (pow.f64 (neg.f64 (cbrt.f64 (PI.f64))) (/.f64 #s(literal 2 binary64) #s(literal 2 binary64))) (pow.f64 (neg.f64 (cbrt.f64 (PI.f64))) (/.f64 #s(literal 2 binary64) #s(literal 2 binary64))))
(*.f64 (pow.f64 (*.f64 (PI.f64) (PI.f64)) (/.f64 #s(literal 1/3 binary64) #s(literal 2 binary64))) (pow.f64 (*.f64 (PI.f64) (PI.f64)) (/.f64 #s(literal 1/3 binary64) #s(literal 2 binary64))))
(*.f64 (pow.f64 (pow.f64 (PI.f64) #s(literal 2/9 binary64)) (/.f64 #s(literal 3 binary64) #s(literal 2 binary64))) (pow.f64 (pow.f64 (PI.f64) #s(literal 2/9 binary64)) (/.f64 #s(literal 3 binary64) #s(literal 2 binary64))))
(*.f64 (neg.f64 (neg.f64 (neg.f64 (cbrt.f64 (PI.f64))))) (neg.f64 (neg.f64 (neg.f64 (cbrt.f64 (PI.f64))))))
(*.f64 (fabs.f64 (pow.f64 (PI.f64) #s(literal 4/9 binary64))) (pow.f64 (PI.f64) #s(literal 2/9 binary64)))
(*.f64 (fabs.f64 (pow.f64 (PI.f64) #s(literal 5/9 binary64))) (pow.f64 (PI.f64) #s(literal 1/9 binary64)))
(*.f64 (cbrt.f64 (pow.f64 (cbrt.f64 (PI.f64)) #s(literal 17/3 binary64))) (pow.f64 (PI.f64) #s(literal 1/27 binary64)))
(*.f64 (cbrt.f64 (pow.f64 (cbrt.f64 (PI.f64)) #s(literal 16/3 binary64))) (pow.f64 (PI.f64) #s(literal 2/27 binary64)))
(*.f64 (cbrt.f64 (cbrt.f64 (*.f64 (*.f64 (*.f64 (*.f64 (PI.f64) (PI.f64)) (PI.f64)) (PI.f64)) (neg.f64 (PI.f64))))) (neg.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64))))
(*.f64 (pow.f64 (neg.f64 (pow.f64 (PI.f64) #s(literal 2/9 binary64))) #s(literal 2 binary64)) (pow.f64 (PI.f64) #s(literal 2/9 binary64)))
(*.f64 (pow.f64 (*.f64 (pow.f64 (PI.f64) #s(literal 8/3 binary64)) (pow.f64 (PI.f64) #s(literal 2/9 binary64))) #s(literal 2/9 binary64)) (pow.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64)) #s(literal 2/9 binary64)))
(*.f64 (pow.f64 (*.f64 (pow.f64 (PI.f64) #s(literal 8/3 binary64)) (pow.f64 (PI.f64) #s(literal 1/9 binary64))) #s(literal 2/9 binary64)) (pow.f64 (pow.f64 (PI.f64) #s(literal 2/9 binary64)) #s(literal 2/9 binary64)))
(*.f64 (pow.f64 (*.f64 (PI.f64) (neg.f64 (PI.f64))) #s(literal 2/9 binary64)) (pow.f64 (neg.f64 (PI.f64)) #s(literal 2/9 binary64)))
(*.f64 (pow.f64 (pow.f64 (PI.f64) #s(literal 5/3 binary64)) #s(literal 2/9 binary64)) (pow.f64 (pow.f64 (PI.f64) #s(literal 4/3 binary64)) #s(literal 2/9 binary64)))
(*.f64 (pow.f64 (pow.f64 (PI.f64) #s(literal 4/3 binary64)) #s(literal 2/9 binary64)) (pow.f64 (pow.f64 (PI.f64) #s(literal 5/3 binary64)) #s(literal 2/9 binary64)))
(*.f64 (pow.f64 (neg.f64 (PI.f64)) #s(literal 2/9 binary64)) (pow.f64 (*.f64 (neg.f64 (PI.f64)) (PI.f64)) #s(literal 2/9 binary64)))
(*.f64 (pow.f64 (pow.f64 (PI.f64) #s(literal 7/3 binary64)) #s(literal 2/9 binary64)) (pow.f64 (pow.f64 (PI.f64) #s(literal 2/3 binary64)) #s(literal 2/9 binary64)))
(*.f64 (pow.f64 (pow.f64 (cbrt.f64 (PI.f64)) #s(literal 17/3 binary64)) #s(literal 1/3 binary64)) (pow.f64 (PI.f64) #s(literal 1/27 binary64)))
(*.f64 (pow.f64 (pow.f64 (cbrt.f64 (PI.f64)) #s(literal 16/3 binary64)) #s(literal 1/3 binary64)) (pow.f64 (PI.f64) #s(literal 2/27 binary64)))
(*.f64 (pow.f64 (cbrt.f64 (*.f64 (*.f64 (*.f64 (*.f64 (PI.f64) (PI.f64)) (PI.f64)) (PI.f64)) (neg.f64 (PI.f64)))) #s(literal 1/3 binary64)) (neg.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64))))
(*.f64 (pow.f64 (neg.f64 (neg.f64 (PI.f64))) #s(literal 1/3 binary64)) (pow.f64 (neg.f64 (neg.f64 (PI.f64))) #s(literal 1/3 binary64)))
(*.f64 (pow.f64 (cbrt.f64 (*.f64 (PI.f64) (neg.f64 (PI.f64)))) #s(literal 2/3 binary64)) (pow.f64 (PI.f64) #s(literal 2/9 binary64)))
(*.f64 (pow.f64 (pow.f64 (PI.f64) #s(literal 7/9 binary64)) #s(literal 2/3 binary64)) (pow.f64 (pow.f64 (PI.f64) #s(literal 2/9 binary64)) #s(literal 2/3 binary64)))
(*.f64 (pow.f64 (pow.f64 (PI.f64) #s(literal 8/9 binary64)) #s(literal 2/3 binary64)) (pow.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64)) #s(literal 2/3 binary64)))
(*.f64 (pow.f64 (neg.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64))) #s(literal 3 binary64)) (pow.f64 (neg.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64))) #s(literal 3 binary64)))
(*.f64 (pow.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64)) #s(literal 2/3 binary64)) (pow.f64 (pow.f64 (PI.f64) #s(literal 8/9 binary64)) #s(literal 2/3 binary64)))
(*.f64 (pow.f64 (pow.f64 (PI.f64) #s(literal 2/9 binary64)) #s(literal 2/3 binary64)) (pow.f64 (pow.f64 (PI.f64) #s(literal 7/9 binary64)) #s(literal 2/3 binary64)))
(*.f64 (pow.f64 (pow.f64 (PI.f64) #s(literal 2/9 binary64)) #s(literal 1 binary64)) (pow.f64 (PI.f64) #s(literal 4/9 binary64)))
(*.f64 (pow.f64 (PI.f64) #s(literal 5/9 binary64)) (pow.f64 (PI.f64) #s(literal 1/9 binary64)))
(*.f64 (neg.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64))) (cbrt.f64 (cbrt.f64 (*.f64 (neg.f64 (PI.f64)) (*.f64 (*.f64 (*.f64 (PI.f64) (PI.f64)) (PI.f64)) (PI.f64))))))
(*.f64 (neg.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64))) (pow.f64 (cbrt.f64 (*.f64 (neg.f64 (PI.f64)) (*.f64 (*.f64 (*.f64 (PI.f64) (PI.f64)) (PI.f64)) (PI.f64)))) #s(literal 1/3 binary64)))
(*.f64 (pow.f64 (PI.f64) #s(literal 4/9 binary64)) (pow.f64 (pow.f64 (PI.f64) #s(literal 2/9 binary64)) #s(literal 1 binary64)))
(*.f64 (pow.f64 (PI.f64) #s(literal 4/9 binary64)) (pow.f64 (PI.f64) #s(literal 2/9 binary64)))
(*.f64 (pow.f64 (*.f64 (*.f64 (PI.f64) (PI.f64)) (PI.f64)) (/.f64 #s(literal 2/9 binary64) #s(literal 2 binary64))) (pow.f64 (*.f64 (*.f64 (PI.f64) (PI.f64)) (PI.f64)) (/.f64 #s(literal 2/9 binary64) #s(literal 2 binary64))))
(*.f64 (pow.f64 (cbrt.f64 (PI.f64)) (/.f64 #s(literal 2 binary64) #s(literal 2 binary64))) (pow.f64 (cbrt.f64 (PI.f64)) (/.f64 #s(literal 2 binary64) #s(literal 2 binary64))))
(*.f64 (neg.f64 (neg.f64 (cbrt.f64 (PI.f64)))) (neg.f64 (neg.f64 (cbrt.f64 (PI.f64)))))
(*.f64 (pow.f64 (PI.f64) #s(literal 2/27 binary64)) (pow.f64 (pow.f64 (PI.f64) #s(literal 8/3 binary64)) #s(literal 2/9 binary64)))
(*.f64 (pow.f64 (pow.f64 (PI.f64) #s(literal 8/3 binary64)) #s(literal 2/9 binary64)) (pow.f64 (PI.f64) #s(literal 2/27 binary64)))
(*.f64 (neg.f64 (cbrt.f64 (PI.f64))) (neg.f64 (cbrt.f64 (PI.f64))))
(*.f64 (pow.f64 (pow.f64 (PI.f64) #s(literal 2/3 binary64)) #s(literal 2/9 binary64)) (pow.f64 (pow.f64 (PI.f64) #s(literal 7/3 binary64)) #s(literal 2/9 binary64)))
(*.f64 (pow.f64 (PI.f64) (/.f64 #s(literal 2/3 binary64) #s(literal 2 binary64))) (pow.f64 (PI.f64) (/.f64 #s(literal 2/3 binary64) #s(literal 2 binary64))))
(*.f64 (cbrt.f64 (PI.f64)) (cbrt.f64 (PI.f64)))
(*.f64 (pow.f64 (PI.f64) #s(literal 2/9 binary64)) (fabs.f64 (pow.f64 (PI.f64) #s(literal 4/9 binary64))))
(*.f64 (pow.f64 (PI.f64) #s(literal 2/9 binary64)) (pow.f64 (neg.f64 (pow.f64 (PI.f64) #s(literal 2/9 binary64))) #s(literal 2 binary64)))
(*.f64 (pow.f64 (PI.f64) #s(literal 2/9 binary64)) (pow.f64 (cbrt.f64 (*.f64 (neg.f64 (PI.f64)) (PI.f64))) #s(literal 2/3 binary64)))
(*.f64 (pow.f64 (PI.f64) #s(literal 2/9 binary64)) (pow.f64 (PI.f64) #s(literal 4/9 binary64)))
(*.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64)) (fabs.f64 (pow.f64 (PI.f64) #s(literal 5/9 binary64))))
(*.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64)) (pow.f64 (PI.f64) #s(literal 5/9 binary64)))
(pow.f64 (neg.f64 (neg.f64 (cbrt.f64 (PI.f64)))) #s(literal 2 binary64))
(pow.f64 (*.f64 (*.f64 (*.f64 (*.f64 (*.f64 (PI.f64) (PI.f64)) (PI.f64)) (PI.f64)) (*.f64 (PI.f64) (PI.f64))) (*.f64 (*.f64 (PI.f64) (PI.f64)) (PI.f64))) #s(literal 2/27 binary64))
(pow.f64 (neg.f64 (PI.f64)) #s(literal 2/3 binary64))
(pow.f64 (neg.f64 (cbrt.f64 (PI.f64))) #s(literal 2 binary64))
(pow.f64 (*.f64 (*.f64 (*.f64 (*.f64 (PI.f64) (PI.f64)) (PI.f64)) (PI.f64)) (*.f64 (PI.f64) (PI.f64))) #s(literal 1/9 binary64))
(pow.f64 (pow.f64 (PI.f64) #s(literal 2/3 binary64)) #s(literal 1 binary64))
(pow.f64 (cbrt.f64 (PI.f64)) #s(literal 2 binary64))
(pow.f64 (*.f64 (*.f64 (PI.f64) (PI.f64)) (PI.f64)) #s(literal 2/9 binary64))
(pow.f64 (*.f64 (PI.f64) (PI.f64)) #s(literal 1/3 binary64))
(pow.f64 (pow.f64 (PI.f64) #s(literal 2/9 binary64)) #s(literal 3 binary64))
(pow.f64 (PI.f64) #s(literal 2/3 binary64))
(/.f64 (pow.f64 (PI.f64) #s(literal 4/9 binary64)) (pow.f64 (*.f64 (PI.f64) (PI.f64)) #s(literal -1/9 binary64)))
(/.f64 (neg.f64 (cbrt.f64 (PI.f64))) (pow.f64 (neg.f64 (cbrt.f64 (PI.f64))) #s(literal -1 binary64)))
(/.f64 (cbrt.f64 (PI.f64)) (pow.f64 (cbrt.f64 (PI.f64)) #s(literal -1 binary64)))
(/.f64 (pow.f64 (PI.f64) #s(literal 2/9 binary64)) (pow.f64 (*.f64 (PI.f64) (PI.f64)) #s(literal -2/9 binary64)))
(neg.f64 (cbrt.f64 (*.f64 (neg.f64 (PI.f64)) (PI.f64))))
(neg.f64 (cbrt.f64 (*.f64 (PI.f64) (neg.f64 (PI.f64)))))
(cbrt.f64 (*.f64 (PI.f64) (PI.f64)))
(sqrt.f64 (pow.f64 (PI.f64) #s(literal 4/3 binary64)))
(fabs.f64 (cbrt.f64 (*.f64 (neg.f64 (PI.f64)) (PI.f64))))
(fabs.f64 (cbrt.f64 (*.f64 (PI.f64) (neg.f64 (PI.f64)))))
(fabs.f64 (neg.f64 (pow.f64 (PI.f64) #s(literal 2/3 binary64))))
(fabs.f64 (pow.f64 (PI.f64) #s(literal 2/3 binary64)))
(exp.f64 (*.f64 (log.f64 (neg.f64 (cbrt.f64 (PI.f64)))) #s(literal 2 binary64)))
(exp.f64 (*.f64 (log.f64 (*.f64 (PI.f64) (PI.f64))) #s(literal 1/3 binary64)))
(exp.f64 (*.f64 (log.f64 (pow.f64 (PI.f64) #s(literal 2/9 binary64))) #s(literal 3 binary64)))
(exp.f64 (*.f64 (log.f64 (*.f64 (*.f64 (PI.f64) (PI.f64)) (PI.f64))) #s(literal 2/9 binary64)))
(exp.f64 (*.f64 (log.f64 (cbrt.f64 (PI.f64))) #s(literal 2 binary64)))
(exp.f64 (*.f64 (log.f64 (PI.f64)) #s(literal 2/3 binary64)))
z0
(*.f64 (pow.f64 (PI.f64) #s(literal 2/3 binary64)) z0)
(*.f64 z0 (pow.f64 (PI.f64) #s(literal 2/3 binary64)))
(*.f64 (*.f64 (pow.f64 (PI.f64) #s(literal 2/3 binary64)) z0) (pow.f64 (PI.f64) #s(literal 2/9 binary64)))
(*.f64 (pow.f64 (PI.f64) #s(literal 8/9 binary64)) z0)
(*.f64 (*.f64 z0 (pow.f64 (PI.f64) #s(literal 2/9 binary64))) (pow.f64 (PI.f64) #s(literal 2/3 binary64)))
(*.f64 (pow.f64 (PI.f64) #s(literal 2/3 binary64)) (*.f64 z0 (pow.f64 (PI.f64) #s(literal 2/9 binary64))))
(*.f64 z0 (pow.f64 (PI.f64) #s(literal 8/9 binary64)))
(*.f64 (pow.f64 (PI.f64) #s(literal 2/9 binary64)) (*.f64 (pow.f64 (PI.f64) #s(literal 2/3 binary64)) z0))
(*.f64 (*.f64 (pow.f64 (PI.f64) #s(literal 8/9 binary64)) z0) (pow.f64 (PI.f64) #s(literal 1/9 binary64)))
(*.f64 (*.f64 (pow.f64 (PI.f64) #s(literal 2/3 binary64)) z0) (cbrt.f64 (PI.f64)))
(*.f64 (pow.f64 (PI.f64) #s(literal 7/9 binary64)) (*.f64 z0 (pow.f64 (PI.f64) #s(literal 2/9 binary64))))
(*.f64 (pow.f64 (PI.f64) #s(literal 8/9 binary64)) (*.f64 z0 (pow.f64 (PI.f64) #s(literal 1/9 binary64))))
(*.f64 (*.f64 z0 (pow.f64 (PI.f64) #s(literal 2/9 binary64))) (pow.f64 (PI.f64) #s(literal 7/9 binary64)))
(*.f64 (*.f64 (cbrt.f64 (PI.f64)) z0) (pow.f64 (PI.f64) #s(literal 2/3 binary64)))
(*.f64 (pow.f64 (PI.f64) #s(literal 2/3 binary64)) (*.f64 (cbrt.f64 (PI.f64)) z0))
(*.f64 (cbrt.f64 (PI.f64)) (*.f64 (pow.f64 (PI.f64) #s(literal 2/3 binary64)) z0))
(*.f64 (*.f64 (pow.f64 (PI.f64) #s(literal 7/9 binary64)) z0) (pow.f64 (PI.f64) #s(literal 2/9 binary64)))
(*.f64 (*.f64 z0 (pow.f64 (PI.f64) #s(literal 1/9 binary64))) (pow.f64 (PI.f64) #s(literal 8/9 binary64)))
(*.f64 z0 (PI.f64))
(*.f64 (pow.f64 (PI.f64) #s(literal 2/9 binary64)) (*.f64 (pow.f64 (PI.f64) #s(literal 7/9 binary64)) z0))
(*.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64)) (*.f64 (pow.f64 (PI.f64) #s(literal 8/9 binary64)) z0))
(*.f64 (PI.f64) z0)
(log.f64 (pow.f64 (exp.f64 (PI.f64)) z0))
(*.f64 z0 (pow.f64 (PI.f64) #s(literal 1/9 binary64)))
(*.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64)) z0)
(*.f64 (*.f64 (pow.f64 (PI.f64) #s(literal 2/3 binary64)) z0) (pow.f64 (PI.f64) #s(literal 1/9 binary64)))
(*.f64 (pow.f64 (PI.f64) #s(literal 7/9 binary64)) z0)
(*.f64 (pow.f64 (PI.f64) #s(literal 2/3 binary64)) (*.f64 z0 (pow.f64 (PI.f64) #s(literal 1/9 binary64))))
(*.f64 (*.f64 z0 (pow.f64 (PI.f64) #s(literal 1/9 binary64))) (pow.f64 (PI.f64) #s(literal 2/3 binary64)))
(*.f64 z0 (pow.f64 (PI.f64) #s(literal 7/9 binary64)))
(*.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64)) (*.f64 (pow.f64 (PI.f64) #s(literal 2/3 binary64)) z0))
(*.f64 (*.f64 (pow.f64 (PI.f64) #s(literal 8/9 binary64)) z0) (pow.f64 (PI.f64) #s(literal 1/9 binary64)))
(*.f64 (*.f64 (pow.f64 (PI.f64) #s(literal 2/3 binary64)) z0) (cbrt.f64 (PI.f64)))
(*.f64 (pow.f64 (PI.f64) #s(literal 7/9 binary64)) (*.f64 z0 (pow.f64 (PI.f64) #s(literal 2/9 binary64))))
(*.f64 (pow.f64 (PI.f64) #s(literal 8/9 binary64)) (*.f64 z0 (pow.f64 (PI.f64) #s(literal 1/9 binary64))))
(*.f64 (*.f64 z0 (pow.f64 (PI.f64) #s(literal 2/9 binary64))) (pow.f64 (PI.f64) #s(literal 7/9 binary64)))
(*.f64 (*.f64 (cbrt.f64 (PI.f64)) z0) (pow.f64 (PI.f64) #s(literal 2/3 binary64)))
(*.f64 (pow.f64 (PI.f64) #s(literal 2/3 binary64)) (*.f64 (cbrt.f64 (PI.f64)) z0))
(*.f64 (cbrt.f64 (PI.f64)) (*.f64 (pow.f64 (PI.f64) #s(literal 2/3 binary64)) z0))
(*.f64 (*.f64 (pow.f64 (PI.f64) #s(literal 7/9 binary64)) z0) (pow.f64 (PI.f64) #s(literal 2/9 binary64)))
(*.f64 (*.f64 z0 (pow.f64 (PI.f64) #s(literal 1/9 binary64))) (pow.f64 (PI.f64) #s(literal 8/9 binary64)))
(*.f64 z0 (PI.f64))
(*.f64 (pow.f64 (PI.f64) #s(literal 2/9 binary64)) (*.f64 (pow.f64 (PI.f64) #s(literal 7/9 binary64)) z0))
(*.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64)) (*.f64 (pow.f64 (PI.f64) #s(literal 8/9 binary64)) z0))
(*.f64 (PI.f64) z0)
(log.f64 (pow.f64 (exp.f64 (PI.f64)) z0))
(*.f64 (*.f64 (pow.f64 (PI.f64) #s(literal 2/3 binary64)) z0) (pow.f64 (PI.f64) #s(literal 1/9 binary64)))
(*.f64 (pow.f64 (PI.f64) #s(literal 7/9 binary64)) z0)
(*.f64 (pow.f64 (PI.f64) #s(literal 2/3 binary64)) (*.f64 z0 (pow.f64 (PI.f64) #s(literal 1/9 binary64))))
(*.f64 (*.f64 z0 (pow.f64 (PI.f64) #s(literal 1/9 binary64))) (pow.f64 (PI.f64) #s(literal 2/3 binary64)))
(*.f64 z0 (pow.f64 (PI.f64) #s(literal 7/9 binary64)))
(*.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64)) (*.f64 (pow.f64 (PI.f64) #s(literal 2/3 binary64)) z0))
(*.f64 (*.f64 (pow.f64 (PI.f64) #s(literal 8/9 binary64)) z0) (pow.f64 (PI.f64) #s(literal 1/9 binary64)))
(*.f64 (*.f64 (pow.f64 (PI.f64) #s(literal 2/3 binary64)) z0) (cbrt.f64 (PI.f64)))
(*.f64 (pow.f64 (PI.f64) #s(literal 7/9 binary64)) (*.f64 z0 (pow.f64 (PI.f64) #s(literal 2/9 binary64))))
(*.f64 (pow.f64 (PI.f64) #s(literal 8/9 binary64)) (*.f64 z0 (pow.f64 (PI.f64) #s(literal 1/9 binary64))))
(*.f64 (*.f64 z0 (pow.f64 (PI.f64) #s(literal 2/9 binary64))) (pow.f64 (PI.f64) #s(literal 7/9 binary64)))
(*.f64 (*.f64 (cbrt.f64 (PI.f64)) z0) (pow.f64 (PI.f64) #s(literal 2/3 binary64)))
(*.f64 (pow.f64 (PI.f64) #s(literal 2/3 binary64)) (*.f64 (cbrt.f64 (PI.f64)) z0))
(*.f64 (cbrt.f64 (PI.f64)) (*.f64 (pow.f64 (PI.f64) #s(literal 2/3 binary64)) z0))
(*.f64 (*.f64 (pow.f64 (PI.f64) #s(literal 7/9 binary64)) z0) (pow.f64 (PI.f64) #s(literal 2/9 binary64)))
(*.f64 (*.f64 z0 (pow.f64 (PI.f64) #s(literal 1/9 binary64))) (pow.f64 (PI.f64) #s(literal 8/9 binary64)))
(*.f64 z0 (PI.f64))
(*.f64 (pow.f64 (PI.f64) #s(literal 2/9 binary64)) (*.f64 (pow.f64 (PI.f64) #s(literal 7/9 binary64)) z0))
(*.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64)) (*.f64 (pow.f64 (PI.f64) #s(literal 8/9 binary64)) z0))
(*.f64 (PI.f64) z0)
(log.f64 (pow.f64 (exp.f64 (PI.f64)) z0))

eval61.0ms (4.9%)

Memory
-11.3MiB live, 89.4MiB allocated; 17ms collecting garbage
Compiler

Compiled 10 410 to 1 415 computations (86.4% saved)

prune11.0ms (0.8%)

Memory
31.4MiB live, 31.4MiB allocated; 0ms collecting garbage
Pruning

9 alts after pruning (5 fresh and 4 done)

PrunedKeptTotal
New5425547
Fresh000
Picked303
Done-341
Total5429551
Accuracy
100.0%
Counts
551 → 9
Alt Table
Click to see full alt table
StatusAccuracyProgram
99.3%
(*.f64 (pow.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64)) #s(literal 2 binary64)) (*.f64 (*.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64)) z0) (pow.f64 (PI.f64) #s(literal 2/3 binary64))))
99.1%
(*.f64 (pow.f64 (PI.f64) #s(literal 8/9 binary64)) (*.f64 z0 (pow.f64 (PI.f64) #s(literal 1/9 binary64))))
98.8%
(*.f64 (pow.f64 (PI.f64) #s(literal 2/9 binary64)) (*.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64)) (*.f64 (pow.f64 (PI.f64) #s(literal 2/3 binary64)) z0)))
98.8%
(*.f64 (pow.f64 (PI.f64) #s(literal 2/9 binary64)) (*.f64 (*.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64)) z0) (pow.f64 (PI.f64) #s(literal 2/3 binary64))))
99.3%
(*.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64)) (*.f64 (pow.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64)) #s(literal 2 binary64)) (*.f64 (pow.f64 (PI.f64) #s(literal 2/3 binary64)) z0)))
99.2%
(*.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64)) (*.f64 (pow.f64 (PI.f64) #s(literal 8/9 binary64)) z0))
98.9%
(*.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64)) (*.f64 (pow.f64 (PI.f64) #s(literal 2/3 binary64)) (*.f64 z0 (pow.f64 (PI.f64) #s(literal 2/9 binary64)))))
98.9%
(*.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64)) (*.f64 (pow.f64 (PI.f64) #s(literal 2/9 binary64)) (*.f64 (pow.f64 (PI.f64) #s(literal 2/3 binary64)) z0)))
99.6%
(*.f64 (PI.f64) z0)
Compiler

Compiled 164 to 134 computations (18.3% saved)

rewrite156.0ms (12.4%)

Memory
-9.9MiB live, 272.2MiB allocated; 16ms collecting garbage
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
025139
044145
1113121
227679
3110479
0424277
Stop Event
iter-limit
node-limit
iter-limit
Counts
25 → 590
Calls
Call 1
Inputs
(PI.f64)
#s(literal 1/9 binary64)
(pow.f64 (PI.f64) #s(literal 1/9 binary64))
#s(literal 2 binary64)
(pow.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64)) #s(literal 2 binary64))
z0
(*.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64)) z0)
#s(literal 2/3 binary64)
(pow.f64 (PI.f64) #s(literal 2/3 binary64))
(*.f64 (*.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64)) z0) (pow.f64 (PI.f64) #s(literal 2/3 binary64)))
(*.f64 (pow.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64)) #s(literal 2 binary64)) (*.f64 (*.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64)) z0) (pow.f64 (PI.f64) #s(literal 2/3 binary64))))
#s(literal 8/9 binary64)
(pow.f64 (PI.f64) #s(literal 8/9 binary64))
(*.f64 (pow.f64 (PI.f64) #s(literal 8/9 binary64)) z0)
(*.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64)) (*.f64 (pow.f64 (PI.f64) #s(literal 8/9 binary64)) z0))
(*.f64 z0 (pow.f64 (PI.f64) #s(literal 1/9 binary64)))
(*.f64 (pow.f64 (PI.f64) #s(literal 8/9 binary64)) (*.f64 z0 (pow.f64 (PI.f64) #s(literal 1/9 binary64))))
#s(literal 2/9 binary64)
(pow.f64 (PI.f64) #s(literal 2/9 binary64))
(*.f64 z0 (pow.f64 (PI.f64) #s(literal 2/9 binary64)))
(*.f64 (pow.f64 (PI.f64) #s(literal 2/3 binary64)) (*.f64 z0 (pow.f64 (PI.f64) #s(literal 2/9 binary64))))
(*.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64)) (*.f64 (pow.f64 (PI.f64) #s(literal 2/3 binary64)) (*.f64 z0 (pow.f64 (PI.f64) #s(literal 2/9 binary64)))))
(*.f64 (pow.f64 (PI.f64) #s(literal 2/3 binary64)) z0)
(*.f64 (pow.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64)) #s(literal 2 binary64)) (*.f64 (pow.f64 (PI.f64) #s(literal 2/3 binary64)) z0))
(*.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64)) (*.f64 (pow.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64)) #s(literal 2 binary64)) (*.f64 (pow.f64 (PI.f64) #s(literal 2/3 binary64)) z0)))
Outputs
(PI.f64)
#s(literal 1/9 binary64)
(*.f64 (sqrt.f64 (neg.f64 (neg.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64))))) (sqrt.f64 (neg.f64 (neg.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64))))))
(*.f64 (sqrt.f64 (neg.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64)))) (sqrt.f64 (neg.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64)))))
(*.f64 (sqrt.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64))) (sqrt.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64))))
(*.f64 (cbrt.f64 (pow.f64 (PI.f64) #s(literal 8/27 binary64))) (cbrt.f64 (pow.f64 (PI.f64) #s(literal 1/27 binary64))))
(*.f64 (cbrt.f64 (pow.f64 (PI.f64) #s(literal 1/27 binary64))) (cbrt.f64 (pow.f64 (PI.f64) #s(literal 8/27 binary64))))
(*.f64 (cbrt.f64 (neg.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64)))) (cbrt.f64 (*.f64 (neg.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64))) (pow.f64 (PI.f64) #s(literal 1/9 binary64)))))
(*.f64 (cbrt.f64 (*.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64)) (neg.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64))))) (cbrt.f64 (neg.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64)))))
(*.f64 (pow.f64 (*.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64)) (neg.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64)))) #s(literal 1/3 binary64)) (pow.f64 (neg.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64))) #s(literal 1/3 binary64)))
(*.f64 (pow.f64 (pow.f64 (PI.f64) #s(literal 8/27 binary64)) #s(literal 1/3 binary64)) (pow.f64 (pow.f64 (PI.f64) #s(literal 1/27 binary64)) #s(literal 1/3 binary64)))
(*.f64 (pow.f64 (pow.f64 (PI.f64) #s(literal 1/27 binary64)) #s(literal 1/3 binary64)) (pow.f64 (pow.f64 (PI.f64) #s(literal 8/27 binary64)) #s(literal 1/3 binary64)))
(*.f64 (pow.f64 (*.f64 (pow.f64 (PI.f64) #s(literal 8/3 binary64)) (pow.f64 (PI.f64) #s(literal 2/9 binary64))) #s(literal 1/27 binary64)) (pow.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64)) #s(literal 1/27 binary64)))
(*.f64 (pow.f64 (pow.f64 (PI.f64) #s(literal 7/3 binary64)) #s(literal 1/27 binary64)) (pow.f64 (pow.f64 (PI.f64) #s(literal 2/3 binary64)) #s(literal 1/27 binary64)))
(*.f64 (pow.f64 (pow.f64 (PI.f64) #s(literal 19/9 binary64)) #s(literal 1/27 binary64)) (pow.f64 (pow.f64 (PI.f64) #s(literal 8/9 binary64)) #s(literal 1/27 binary64)))
(*.f64 (pow.f64 (*.f64 (PI.f64) (neg.f64 (PI.f64))) #s(literal 1/27 binary64)) (pow.f64 (neg.f64 (PI.f64)) #s(literal 1/27 binary64)))
(*.f64 (pow.f64 (pow.f64 (PI.f64) #s(literal 5/3 binary64)) #s(literal 1/27 binary64)) (pow.f64 (pow.f64 (PI.f64) #s(literal 4/3 binary64)) #s(literal 1/27 binary64)))
(*.f64 (pow.f64 (pow.f64 (PI.f64) #s(literal 4/3 binary64)) #s(literal 1/27 binary64)) (pow.f64 (pow.f64 (PI.f64) #s(literal 5/3 binary64)) #s(literal 1/27 binary64)))
(*.f64 (pow.f64 (neg.f64 (PI.f64)) #s(literal 1/27 binary64)) (pow.f64 (*.f64 (neg.f64 (PI.f64)) (PI.f64)) #s(literal 1/27 binary64)))
(*.f64 (pow.f64 (pow.f64 (PI.f64) #s(literal 8/9 binary64)) #s(literal 1/27 binary64)) (pow.f64 (pow.f64 (PI.f64) #s(literal 19/9 binary64)) #s(literal 1/27 binary64)))
(*.f64 (pow.f64 (pow.f64 (PI.f64) #s(literal 2/3 binary64)) #s(literal 1/27 binary64)) (pow.f64 (pow.f64 (PI.f64) #s(literal 7/3 binary64)) #s(literal 1/27 binary64)))
(*.f64 (pow.f64 (pow.f64 (PI.f64) #s(literal 26/9 binary64)) #s(literal 1/27 binary64)) (pow.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64)) #s(literal 1/27 binary64)))
(*.f64 (pow.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64)) #s(literal 1/27 binary64)) (pow.f64 (pow.f64 (PI.f64) #s(literal 26/9 binary64)) #s(literal 1/27 binary64)))
(*.f64 (pow.f64 (*.f64 (pow.f64 (PI.f64) #s(literal 7/9 binary64)) (neg.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64)))) #s(literal 1/9 binary64)) (pow.f64 (neg.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64))) #s(literal 1/9 binary64)))
(*.f64 (pow.f64 (cbrt.f64 (*.f64 (PI.f64) (neg.f64 (PI.f64)))) #s(literal 1/9 binary64)) (pow.f64 (neg.f64 (cbrt.f64 (PI.f64))) #s(literal 1/9 binary64)))
(*.f64 (pow.f64 (neg.f64 (cbrt.f64 (PI.f64))) #s(literal 1/9 binary64)) (pow.f64 (cbrt.f64 (*.f64 (neg.f64 (PI.f64)) (PI.f64))) #s(literal 1/9 binary64)))
(*.f64 (pow.f64 (pow.f64 (PI.f64) #s(literal 7/9 binary64)) #s(literal 1/9 binary64)) (pow.f64 (pow.f64 (PI.f64) #s(literal 2/9 binary64)) #s(literal 1/9 binary64)))
(*.f64 (pow.f64 (pow.f64 (PI.f64) #s(literal 2/9 binary64)) #s(literal 1/9 binary64)) (pow.f64 (pow.f64 (PI.f64) #s(literal 7/9 binary64)) #s(literal 1/9 binary64)))
(*.f64 (pow.f64 (neg.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64))) #s(literal 1/3 binary64)) (pow.f64 (*.f64 (neg.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64))) (pow.f64 (PI.f64) #s(literal 1/9 binary64))) #s(literal 1/3 binary64)))
(*.f64 (pow.f64 (*.f64 (*.f64 (PI.f64) (PI.f64)) (PI.f64)) (/.f64 #s(literal 1/27 binary64) #s(literal 2 binary64))) (pow.f64 (*.f64 (*.f64 (PI.f64) (PI.f64)) (PI.f64)) (/.f64 #s(literal 1/27 binary64) #s(literal 2 binary64))))
(*.f64 (pow.f64 (PI.f64) #s(literal 1/27 binary64)) (pow.f64 (PI.f64) #s(literal 2/27 binary64)))
(*.f64 (pow.f64 (PI.f64) #s(literal 2/27 binary64)) (fabs.f64 (pow.f64 (PI.f64) #s(literal 1/27 binary64))))
(*.f64 (pow.f64 (PI.f64) #s(literal 2/27 binary64)) (pow.f64 (PI.f64) #s(literal 1/27 binary64)))
(*.f64 (pow.f64 (cbrt.f64 (PI.f64)) #s(literal 8/27 binary64)) (pow.f64 (cbrt.f64 (PI.f64)) #s(literal 1/27 binary64)))
(*.f64 (pow.f64 (cbrt.f64 (PI.f64)) #s(literal 1/27 binary64)) (pow.f64 (cbrt.f64 (PI.f64)) #s(literal 8/27 binary64)))
(*.f64 (pow.f64 (cbrt.f64 (PI.f64)) #s(literal 1/27 binary64)) (pow.f64 (pow.f64 (PI.f64) #s(literal 8/3 binary64)) #s(literal 1/27 binary64)))
(*.f64 (pow.f64 (pow.f64 (PI.f64) #s(literal 8/3 binary64)) #s(literal 1/27 binary64)) (pow.f64 (cbrt.f64 (PI.f64)) #s(literal 1/27 binary64)))
(*.f64 (pow.f64 (pow.f64 (PI.f64) #s(literal 8/9 binary64)) #s(literal 1/9 binary64)) (pow.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64)) #s(literal 1/9 binary64)))
(*.f64 (pow.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64)) #s(literal 1/9 binary64)) (pow.f64 (pow.f64 (PI.f64) #s(literal 8/9 binary64)) #s(literal 1/9 binary64)))
(*.f64 (pow.f64 (PI.f64) (/.f64 #s(literal 1/9 binary64) #s(literal 2 binary64))) (pow.f64 (PI.f64) (/.f64 #s(literal 1/9 binary64) #s(literal 2 binary64))))
(pow.f64 (*.f64 (*.f64 (*.f64 (*.f64 (*.f64 (PI.f64) (PI.f64)) (PI.f64)) (PI.f64)) (*.f64 (PI.f64) (PI.f64))) (*.f64 (*.f64 (PI.f64) (PI.f64)) (PI.f64))) #s(literal 1/81 binary64))
(pow.f64 (cbrt.f64 (PI.f64)) #s(literal 1/3 binary64))
(pow.f64 (*.f64 (*.f64 (PI.f64) (PI.f64)) (PI.f64)) #s(literal 1/27 binary64))
(pow.f64 (pow.f64 (PI.f64) #s(literal 2/9 binary64)) #s(literal 1/2 binary64))
(pow.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64)) #s(literal 1 binary64))
(pow.f64 (PI.f64) #s(literal 1/9 binary64))
(cbrt.f64 (cbrt.f64 (PI.f64)))
(sqrt.f64 (pow.f64 (PI.f64) #s(literal 2/9 binary64)))
(fabs.f64 (neg.f64 (neg.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64)))))
(fabs.f64 (neg.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64))))
(fabs.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64)))
(exp.f64 (*.f64 (log.f64 (cbrt.f64 (PI.f64))) #s(literal 1/3 binary64)))
(exp.f64 (*.f64 (log.f64 (*.f64 (*.f64 (PI.f64) (PI.f64)) (PI.f64))) #s(literal 1/27 binary64)))
(exp.f64 (*.f64 (log.f64 (PI.f64)) #s(literal 1/9 binary64)))
#s(literal 2 binary64)
(*.f64 (neg.f64 (neg.f64 (neg.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64))))) (neg.f64 (neg.f64 (neg.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64))))))
(*.f64 (cbrt.f64 (neg.f64 (neg.f64 (cbrt.f64 (PI.f64))))) (cbrt.f64 (neg.f64 (neg.f64 (cbrt.f64 (PI.f64))))))
(*.f64 (cbrt.f64 (pow.f64 (PI.f64) #s(literal 5/9 binary64))) (pow.f64 (PI.f64) #s(literal 1/27 binary64)))
(*.f64 (cbrt.f64 (pow.f64 (PI.f64) #s(literal 4/9 binary64))) (pow.f64 (PI.f64) #s(literal 2/27 binary64)))
(*.f64 (pow.f64 (neg.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64))) #s(literal 10/9 binary64)) (pow.f64 (neg.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64))) #s(literal 8/9 binary64)))
(*.f64 (pow.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64)) #s(literal 10/9 binary64)) (pow.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64)) #s(literal 8/9 binary64)))
(*.f64 (pow.f64 (pow.f64 (PI.f64) #s(literal 2/3 binary64)) #s(literal 8/27 binary64)) (pow.f64 (pow.f64 (PI.f64) #s(literal 2/3 binary64)) #s(literal 1/27 binary64)))
(*.f64 (pow.f64 (*.f64 (*.f64 (*.f64 (PI.f64) (PI.f64)) (PI.f64)) (pow.f64 (PI.f64) #s(literal 8/3 binary64))) #s(literal 1/27 binary64)) (pow.f64 (cbrt.f64 (PI.f64)) #s(literal 1/27 binary64)))
(*.f64 (pow.f64 (cbrt.f64 (*.f64 (*.f64 (*.f64 (*.f64 (*.f64 (*.f64 (PI.f64) (PI.f64)) (PI.f64)) (PI.f64)) (*.f64 (PI.f64) (PI.f64))) (*.f64 (PI.f64) (PI.f64))) (*.f64 (*.f64 (*.f64 (*.f64 (*.f64 (PI.f64) (PI.f64)) (PI.f64)) (PI.f64)) (*.f64 (PI.f64) (PI.f64))) (*.f64 (PI.f64) (PI.f64))))) #s(literal 1/27 binary64)) (pow.f64 (pow.f64 (PI.f64) #s(literal 2/3 binary64)) #s(literal 1/27 binary64)))
(*.f64 (pow.f64 (*.f64 (*.f64 (*.f64 (PI.f64) (PI.f64)) (PI.f64)) (*.f64 (PI.f64) (PI.f64))) #s(literal 1/27 binary64)) (pow.f64 (PI.f64) #s(literal 1/27 binary64)))
(*.f64 (pow.f64 (neg.f64 (*.f64 (*.f64 (PI.f64) (PI.f64)) (PI.f64))) #s(literal 1/27 binary64)) (pow.f64 (neg.f64 (*.f64 (*.f64 (PI.f64) (PI.f64)) (PI.f64))) #s(literal 1/27 binary64)))
(*.f64 (pow.f64 (*.f64 (*.f64 (*.f64 (PI.f64) (PI.f64)) (PI.f64)) (PI.f64)) #s(literal 1/27 binary64)) (pow.f64 (PI.f64) #s(literal 2/27 binary64)))
(*.f64 (pow.f64 (*.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64)) (neg.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64)))) #s(literal 2/3 binary64)) (pow.f64 (PI.f64) #s(literal 2/27 binary64)))
(*.f64 (pow.f64 (pow.f64 (PI.f64) #s(literal 8/27 binary64)) #s(literal 2/3 binary64)) (pow.f64 (pow.f64 (PI.f64) #s(literal 1/27 binary64)) #s(literal 2/3 binary64)))
(*.f64 (pow.f64 (pow.f64 (PI.f64) #s(literal 1/27 binary64)) #s(literal 2/3 binary64)) (pow.f64 (pow.f64 (PI.f64) #s(literal 8/27 binary64)) #s(literal 2/3 binary64)))
(*.f64 (pow.f64 (*.f64 (pow.f64 (PI.f64) #s(literal 8/3 binary64)) (pow.f64 (PI.f64) #s(literal 2/9 binary64))) #s(literal 2/27 binary64)) (pow.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64)) #s(literal 2/27 binary64)))
(*.f64 (pow.f64 (pow.f64 (PI.f64) #s(literal 7/3 binary64)) #s(literal 2/27 binary64)) (pow.f64 (pow.f64 (PI.f64) #s(literal 2/3 binary64)) #s(literal 2/27 binary64)))
(*.f64 (pow.f64 (pow.f64 (PI.f64) #s(literal 19/9 binary64)) #s(literal 2/27 binary64)) (pow.f64 (pow.f64 (PI.f64) #s(literal 8/9 binary64)) #s(literal 2/27 binary64)))
(*.f64 (pow.f64 (*.f64 (PI.f64) (neg.f64 (PI.f64))) #s(literal 2/27 binary64)) (pow.f64 (neg.f64 (PI.f64)) #s(literal 2/27 binary64)))
(*.f64 (pow.f64 (pow.f64 (PI.f64) #s(literal 5/3 binary64)) #s(literal 2/27 binary64)) (pow.f64 (pow.f64 (PI.f64) #s(literal 4/3 binary64)) #s(literal 2/27 binary64)))
(*.f64 (pow.f64 (pow.f64 (PI.f64) #s(literal 4/3 binary64)) #s(literal 2/27 binary64)) (pow.f64 (pow.f64 (PI.f64) #s(literal 5/3 binary64)) #s(literal 2/27 binary64)))
(*.f64 (pow.f64 (neg.f64 (PI.f64)) #s(literal 2/27 binary64)) (pow.f64 (*.f64 (neg.f64 (PI.f64)) (PI.f64)) #s(literal 2/27 binary64)))
(*.f64 (pow.f64 (pow.f64 (PI.f64) #s(literal 8/9 binary64)) #s(literal 2/27 binary64)) (pow.f64 (pow.f64 (PI.f64) #s(literal 19/9 binary64)) #s(literal 2/27 binary64)))
(*.f64 (pow.f64 (pow.f64 (PI.f64) #s(literal 2/3 binary64)) #s(literal 2/27 binary64)) (pow.f64 (pow.f64 (PI.f64) #s(literal 7/3 binary64)) #s(literal 2/27 binary64)))
(*.f64 (pow.f64 (pow.f64 (PI.f64) #s(literal 26/9 binary64)) #s(literal 2/27 binary64)) (pow.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64)) #s(literal 2/27 binary64)))
(*.f64 (pow.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64)) #s(literal 2/27 binary64)) (pow.f64 (pow.f64 (PI.f64) #s(literal 26/9 binary64)) #s(literal 2/27 binary64)))
(*.f64 (pow.f64 (pow.f64 (cbrt.f64 (PI.f64)) #s(literal 17/3 binary64)) #s(literal 1/9 binary64)) (pow.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64)) #s(literal 1/9 binary64)))
(*.f64 (pow.f64 (cbrt.f64 (*.f64 (*.f64 (*.f64 (*.f64 (PI.f64) (PI.f64)) (PI.f64)) (PI.f64)) (neg.f64 (PI.f64)))) #s(literal 1/9 binary64)) (pow.f64 (neg.f64 (cbrt.f64 (PI.f64))) #s(literal 1/9 binary64)))
(*.f64 (pow.f64 (pow.f64 (PI.f64) #s(literal 17/9 binary64)) #s(literal 1/9 binary64)) (pow.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64)) #s(literal 1/9 binary64)))
(*.f64 (pow.f64 (neg.f64 (neg.f64 (PI.f64))) #s(literal 1/9 binary64)) (pow.f64 (neg.f64 (neg.f64 (PI.f64))) #s(literal 1/9 binary64)))
(*.f64 (pow.f64 (pow.f64 (PI.f64) #s(literal 10/9 binary64)) #s(literal 1/9 binary64)) (pow.f64 (pow.f64 (PI.f64) #s(literal 8/9 binary64)) #s(literal 1/9 binary64)))
(*.f64 (pow.f64 (pow.f64 (PI.f64) #s(literal 16/9 binary64)) #s(literal 1/9 binary64)) (pow.f64 (pow.f64 (PI.f64) #s(literal 2/9 binary64)) #s(literal 1/9 binary64)))
(*.f64 (pow.f64 (neg.f64 (neg.f64 (cbrt.f64 (PI.f64)))) #s(literal 1/3 binary64)) (pow.f64 (neg.f64 (neg.f64 (cbrt.f64 (PI.f64)))) #s(literal 1/3 binary64)))
(*.f64 (pow.f64 (pow.f64 (PI.f64) #s(literal 5/9 binary64)) #s(literal 1/3 binary64)) (pow.f64 (PI.f64) #s(literal 1/27 binary64)))
(*.f64 (pow.f64 (pow.f64 (PI.f64) #s(literal 4/9 binary64)) #s(literal 1/3 binary64)) (pow.f64 (PI.f64) #s(literal 2/27 binary64)))
(*.f64 (pow.f64 (pow.f64 (PI.f64) #s(literal 2/27 binary64)) #s(literal 2 binary64)) (pow.f64 (pow.f64 (PI.f64) #s(literal 1/27 binary64)) #s(literal 2 binary64)))
(*.f64 (pow.f64 (neg.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64))) #s(literal 2/9 binary64)) (pow.f64 (neg.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64))) #s(literal 16/9 binary64)))
(*.f64 (pow.f64 (*.f64 (pow.f64 (PI.f64) #s(literal 7/9 binary64)) (neg.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64)))) #s(literal 2/9 binary64)) (pow.f64 (neg.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64))) #s(literal 2/9 binary64)))
(*.f64 (pow.f64 (cbrt.f64 (*.f64 (PI.f64) (neg.f64 (PI.f64)))) #s(literal 2/9 binary64)) (pow.f64 (neg.f64 (cbrt.f64 (PI.f64))) #s(literal 2/9 binary64)))
(*.f64 (pow.f64 (neg.f64 (cbrt.f64 (PI.f64))) #s(literal 2/9 binary64)) (pow.f64 (cbrt.f64 (*.f64 (neg.f64 (PI.f64)) (PI.f64))) #s(literal 2/9 binary64)))
(*.f64 (pow.f64 (pow.f64 (PI.f64) #s(literal 7/9 binary64)) #s(literal 2/9 binary64)) (pow.f64 (pow.f64 (PI.f64) #s(literal 2/9 binary64)) #s(literal 2/9 binary64)))
(*.f64 (pow.f64 (pow.f64 (PI.f64) #s(literal 2/9 binary64)) #s(literal 2/9 binary64)) (pow.f64 (pow.f64 (PI.f64) #s(literal 7/9 binary64)) #s(literal 2/9 binary64)))
(*.f64 (pow.f64 (pow.f64 (PI.f64) #s(literal 2/3 binary64)) #s(literal 1/27 binary64)) (pow.f64 (pow.f64 (PI.f64) #s(literal 2/3 binary64)) #s(literal 8/27 binary64)))
(*.f64 (pow.f64 (neg.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64))) #s(literal 1/9 binary64)) (pow.f64 (neg.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64))) #s(literal 17/9 binary64)))
(*.f64 (pow.f64 (neg.f64 (cbrt.f64 (PI.f64))) #s(literal 1/9 binary64)) (pow.f64 (cbrt.f64 (*.f64 (neg.f64 (PI.f64)) (*.f64 (*.f64 (*.f64 (PI.f64) (PI.f64)) (PI.f64)) (PI.f64)))) #s(literal 1/9 binary64)))
(*.f64 (pow.f64 (pow.f64 (PI.f64) #s(literal 2/9 binary64)) #s(literal 1/9 binary64)) (pow.f64 (pow.f64 (PI.f64) #s(literal 16/9 binary64)) #s(literal 1/9 binary64)))
(*.f64 (pow.f64 (pow.f64 (PI.f64) #s(literal 2/9 binary64)) #s(literal 2/3 binary64)) (pow.f64 (PI.f64) #s(literal 2/27 binary64)))
(*.f64 (pow.f64 (neg.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64))) #s(literal 1 binary64)) (pow.f64 (neg.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64))) #s(literal 1 binary64)))
(*.f64 (pow.f64 (neg.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64))) #s(literal 1 binary64)) (neg.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64))))
(*.f64 (pow.f64 (*.f64 (*.f64 (PI.f64) (PI.f64)) (PI.f64)) (/.f64 #s(literal 2/27 binary64) #s(literal 2 binary64))) (pow.f64 (*.f64 (*.f64 (PI.f64) (PI.f64)) (PI.f64)) (/.f64 #s(literal 2/27 binary64) #s(literal 2 binary64))))
(*.f64 (pow.f64 (*.f64 (PI.f64) (PI.f64)) (/.f64 #s(literal 1/9 binary64) #s(literal 2 binary64))) (pow.f64 (*.f64 (PI.f64) (PI.f64)) (/.f64 #s(literal 1/9 binary64) #s(literal 2 binary64))))
(*.f64 (neg.f64 (neg.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64)))) (neg.f64 (neg.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64)))))
(*.f64 (pow.f64 (PI.f64) #s(literal 1/27 binary64)) (pow.f64 (*.f64 (*.f64 (*.f64 (PI.f64) (PI.f64)) (PI.f64)) (*.f64 (PI.f64) (PI.f64))) #s(literal 1/27 binary64)))
(*.f64 (pow.f64 (PI.f64) #s(literal 1/27 binary64)) (pow.f64 (pow.f64 (PI.f64) #s(literal 5/3 binary64)) #s(literal 1/9 binary64)))
(*.f64 (pow.f64 (PI.f64) #s(literal 2/27 binary64)) (cbrt.f64 (pow.f64 (PI.f64) #s(literal 4/9 binary64))))
(*.f64 (pow.f64 (PI.f64) #s(literal 2/27 binary64)) (pow.f64 (*.f64 (*.f64 (*.f64 (PI.f64) (PI.f64)) (PI.f64)) (PI.f64)) #s(literal 1/27 binary64)))
(*.f64 (pow.f64 (PI.f64) #s(literal 2/27 binary64)) (pow.f64 (*.f64 (neg.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64))) (pow.f64 (PI.f64) #s(literal 1/9 binary64))) #s(literal 2/3 binary64)))
(*.f64 (pow.f64 (PI.f64) #s(literal 2/27 binary64)) (pow.f64 (pow.f64 (PI.f64) #s(literal 4/9 binary64)) #s(literal 1/3 binary64)))
(*.f64 (pow.f64 (PI.f64) #s(literal 2/27 binary64)) (pow.f64 (pow.f64 (PI.f64) #s(literal 2/9 binary64)) #s(literal 2/3 binary64)))
(*.f64 (pow.f64 (PI.f64) #s(literal 2/27 binary64)) (pow.f64 (*.f64 (PI.f64) (PI.f64)) #s(literal 2/27 binary64)))
(*.f64 (pow.f64 (PI.f64) #s(literal 2/27 binary64)) (pow.f64 (pow.f64 (PI.f64) #s(literal 4/3 binary64)) #s(literal 1/9 binary64)))
(*.f64 (pow.f64 (PI.f64) #s(literal 2/27 binary64)) (pow.f64 (pow.f64 (PI.f64) #s(literal 2/3 binary64)) #s(literal 2/9 binary64)))
(*.f64 (pow.f64 (pow.f64 (PI.f64) #s(literal 8/3 binary64)) #s(literal 1/27 binary64)) (pow.f64 (pow.f64 (PI.f64) #s(literal 10/3 binary64)) #s(literal 1/27 binary64)))
(*.f64 (pow.f64 (pow.f64 (PI.f64) #s(literal 8/9 binary64)) #s(literal 1/9 binary64)) (pow.f64 (pow.f64 (PI.f64) #s(literal 10/9 binary64)) #s(literal 1/9 binary64)))
(*.f64 (pow.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64)) #s(literal 1/9 binary64)) (pow.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64)) #s(literal 17/9 binary64)))
(*.f64 (pow.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64)) #s(literal 1/9 binary64)) (pow.f64 (pow.f64 (PI.f64) #s(literal 17/9 binary64)) #s(literal 1/9 binary64)))
(*.f64 (pow.f64 (cbrt.f64 (PI.f64)) #s(literal 2/27 binary64)) (pow.f64 (pow.f64 (PI.f64) #s(literal 8/3 binary64)) #s(literal 2/27 binary64)))
(*.f64 (pow.f64 (pow.f64 (PI.f64) #s(literal 8/3 binary64)) #s(literal 2/27 binary64)) (pow.f64 (cbrt.f64 (PI.f64)) #s(literal 2/27 binary64)))
(*.f64 (pow.f64 (*.f64 (PI.f64) (PI.f64)) #s(literal 2/27 binary64)) (pow.f64 (PI.f64) #s(literal 2/27 binary64)))
(*.f64 (pow.f64 (pow.f64 (PI.f64) #s(literal 5/3 binary64)) #s(literal 1/9 binary64)) (pow.f64 (PI.f64) #s(literal 1/27 binary64)))
(*.f64 (pow.f64 (neg.f64 (PI.f64)) #s(literal 1/9 binary64)) (pow.f64 (neg.f64 (PI.f64)) #s(literal 1/9 binary64)))
(*.f64 (pow.f64 (pow.f64 (PI.f64) #s(literal 4/3 binary64)) #s(literal 1/9 binary64)) (pow.f64 (PI.f64) #s(literal 2/27 binary64)))
(*.f64 (pow.f64 (pow.f64 (PI.f64) #s(literal 8/9 binary64)) #s(literal 2/9 binary64)) (pow.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64)) #s(literal 2/9 binary64)))
(*.f64 (pow.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64)) #s(literal 2/9 binary64)) (pow.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64)) #s(literal 16/9 binary64)))
(*.f64 (pow.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64)) #s(literal 2/9 binary64)) (pow.f64 (pow.f64 (PI.f64) #s(literal 8/9 binary64)) #s(literal 2/9 binary64)))
(*.f64 (neg.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64))) (neg.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64))))
(*.f64 (pow.f64 (pow.f64 (PI.f64) #s(literal 2/3 binary64)) #s(literal 2/9 binary64)) (pow.f64 (PI.f64) #s(literal 2/27 binary64)))
(*.f64 (pow.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64)) (/.f64 #s(literal 2 binary64) #s(literal 2 binary64))) (pow.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64)) (/.f64 #s(literal 2 binary64) #s(literal 2 binary64))))
(*.f64 (pow.f64 (PI.f64) (/.f64 #s(literal 2/9 binary64) #s(literal 2 binary64))) (pow.f64 (PI.f64) (/.f64 #s(literal 2/9 binary64) #s(literal 2 binary64))))
(*.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64)) (pow.f64 (PI.f64) #s(literal 1/9 binary64)))
(pow.f64 (neg.f64 (neg.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64)))) #s(literal 2 binary64))
(pow.f64 (*.f64 (*.f64 (*.f64 (*.f64 (*.f64 (PI.f64) (PI.f64)) (PI.f64)) (PI.f64)) (*.f64 (PI.f64) (PI.f64))) (*.f64 (*.f64 (PI.f64) (PI.f64)) (PI.f64))) #s(literal 2/81 binary64))
(pow.f64 (neg.f64 (cbrt.f64 (PI.f64))) #s(literal 2/3 binary64))
(pow.f64 (neg.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64))) #s(literal 2 binary64))
(pow.f64 (*.f64 (*.f64 (*.f64 (*.f64 (PI.f64) (PI.f64)) (PI.f64)) (PI.f64)) (*.f64 (PI.f64) (PI.f64))) #s(literal 1/27 binary64))
(pow.f64 (cbrt.f64 (PI.f64)) #s(literal 2/3 binary64))
(pow.f64 (*.f64 (*.f64 (PI.f64) (PI.f64)) (PI.f64)) #s(literal 2/27 binary64))
(pow.f64 (*.f64 (PI.f64) (PI.f64)) #s(literal 1/9 binary64))
(pow.f64 (pow.f64 (PI.f64) #s(literal 2/3 binary64)) #s(literal 1/3 binary64))
(pow.f64 (pow.f64 (PI.f64) #s(literal 2/9 binary64)) #s(literal 1 binary64))
(pow.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64)) #s(literal 2 binary64))
(pow.f64 (PI.f64) #s(literal 2/9 binary64))
(/.f64 (pow.f64 (neg.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64))) #s(literal 1 binary64)) (pow.f64 (neg.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64))) #s(literal -1 binary64)))
(/.f64 #s(literal 1 binary64) (pow.f64 (neg.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64))) #s(literal -2 binary64)))
(/.f64 #s(literal 1 binary64) (pow.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64)) #s(literal -2 binary64)))
(/.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64)) (pow.f64 (PI.f64) #s(literal -1/9 binary64)))
(/.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64)) (pow.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64)) #s(literal -1 binary64)))
(neg.f64 (cbrt.f64 (cbrt.f64 (*.f64 (neg.f64 (PI.f64)) (PI.f64)))))
(neg.f64 (cbrt.f64 (cbrt.f64 (*.f64 (PI.f64) (neg.f64 (PI.f64))))))
(neg.f64 (*.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64)) (neg.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64)))))
(neg.f64 (*.f64 (neg.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64))) (pow.f64 (PI.f64) #s(literal 1/9 binary64))))
(cbrt.f64 (pow.f64 (PI.f64) #s(literal 2/3 binary64)))
(sqrt.f64 (pow.f64 (PI.f64) #s(literal 4/9 binary64)))
(fabs.f64 (neg.f64 (pow.f64 (PI.f64) #s(literal 2/9 binary64))))
(fabs.f64 (*.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64)) (neg.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64)))))
(fabs.f64 (*.f64 (neg.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64))) (pow.f64 (PI.f64) #s(literal 1/9 binary64))))
(fabs.f64 (pow.f64 (PI.f64) #s(literal 2/9 binary64)))
(exp.f64 (*.f64 (log.f64 (neg.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64)))) #s(literal 2 binary64)))
(exp.f64 (*.f64 (log.f64 (*.f64 (*.f64 (*.f64 (*.f64 (PI.f64) (PI.f64)) (PI.f64)) (PI.f64)) (*.f64 (PI.f64) (PI.f64)))) #s(literal 1/27 binary64)))
(exp.f64 (*.f64 (log.f64 (cbrt.f64 (PI.f64))) #s(literal 2/3 binary64)))
(exp.f64 (*.f64 (log.f64 (pow.f64 (PI.f64) #s(literal 2/3 binary64))) #s(literal 1/3 binary64)))
(exp.f64 (*.f64 (log.f64 (*.f64 (*.f64 (PI.f64) (PI.f64)) (PI.f64))) #s(literal 2/27 binary64)))
(exp.f64 (*.f64 (log.f64 (*.f64 (PI.f64) (PI.f64))) #s(literal 1/9 binary64)))
(exp.f64 (*.f64 (log.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64))) #s(literal 2 binary64)))
(exp.f64 (*.f64 (log.f64 (PI.f64)) #s(literal 2/9 binary64)))
z0
(*.f64 z0 (pow.f64 (PI.f64) #s(literal 1/9 binary64)))
(*.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64)) z0)
#s(literal 2/3 binary64)
(*.f64 (neg.f64 (neg.f64 (neg.f64 (cbrt.f64 (PI.f64))))) (neg.f64 (neg.f64 (neg.f64 (cbrt.f64 (PI.f64))))))
(*.f64 (fabs.f64 (pow.f64 (PI.f64) #s(literal 5/9 binary64))) (pow.f64 (PI.f64) #s(literal 1/9 binary64)))
(*.f64 (cbrt.f64 (pow.f64 (cbrt.f64 (PI.f64)) #s(literal 17/3 binary64))) (pow.f64 (PI.f64) #s(literal 1/27 binary64)))
(*.f64 (cbrt.f64 (cbrt.f64 (*.f64 (*.f64 (*.f64 (*.f64 (PI.f64) (PI.f64)) (PI.f64)) (PI.f64)) (neg.f64 (PI.f64))))) (neg.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64))))
(*.f64 (cbrt.f64 (pow.f64 (PI.f64) #s(literal 10/9 binary64))) (pow.f64 (PI.f64) #s(literal 8/27 binary64)))
(*.f64 (cbrt.f64 (pow.f64 (PI.f64) #s(literal 16/9 binary64))) (pow.f64 (PI.f64) #s(literal 2/27 binary64)))
(*.f64 (cbrt.f64 (pow.f64 (PI.f64) #s(literal 17/9 binary64))) (pow.f64 (PI.f64) #s(literal 1/27 binary64)))
(*.f64 (pow.f64 (neg.f64 (cbrt.f64 (PI.f64))) #s(literal 10/9 binary64)) (pow.f64 (neg.f64 (cbrt.f64 (PI.f64))) #s(literal 8/9 binary64)))
(*.f64 (pow.f64 (cbrt.f64 (PI.f64)) #s(literal 10/9 binary64)) (pow.f64 (cbrt.f64 (PI.f64)) #s(literal 8/9 binary64)))
(*.f64 (pow.f64 (neg.f64 (cbrt.f64 (PI.f64))) #s(literal 2/9 binary64)) (pow.f64 (neg.f64 (cbrt.f64 (PI.f64))) #s(literal 16/9 binary64)))
(*.f64 (pow.f64 (neg.f64 (neg.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64)))) #s(literal 3 binary64)) (pow.f64 (neg.f64 (neg.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64)))) #s(literal 3 binary64)))
(*.f64 (pow.f64 (neg.f64 (cbrt.f64 (PI.f64))) #s(literal 1/9 binary64)) (pow.f64 (neg.f64 (cbrt.f64 (PI.f64))) #s(literal 17/9 binary64)))
(*.f64 (pow.f64 (neg.f64 (pow.f64 (PI.f64) #s(literal 2/9 binary64))) #s(literal 2 binary64)) (pow.f64 (PI.f64) #s(literal 2/9 binary64)))
(*.f64 (pow.f64 (pow.f64 (PI.f64) #s(literal 8/27 binary64)) #s(literal 2 binary64)) (pow.f64 (pow.f64 (PI.f64) #s(literal 1/27 binary64)) #s(literal 2 binary64)))
(*.f64 (pow.f64 (pow.f64 (PI.f64) #s(literal 1/27 binary64)) #s(literal 2 binary64)) (pow.f64 (pow.f64 (PI.f64) #s(literal 8/27 binary64)) #s(literal 2 binary64)))
(*.f64 (pow.f64 (*.f64 (pow.f64 (PI.f64) #s(literal 8/3 binary64)) (pow.f64 (PI.f64) #s(literal 2/9 binary64))) #s(literal 2/9 binary64)) (pow.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64)) #s(literal 2/9 binary64)))
(*.f64 (pow.f64 (pow.f64 (PI.f64) #s(literal 7/3 binary64)) #s(literal 2/9 binary64)) (pow.f64 (pow.f64 (PI.f64) #s(literal 2/3 binary64)) #s(literal 2/9 binary64)))
(*.f64 (pow.f64 (pow.f64 (PI.f64) #s(literal 19/9 binary64)) #s(literal 2/9 binary64)) (pow.f64 (pow.f64 (PI.f64) #s(literal 8/9 binary64)) #s(literal 2/9 binary64)))
(*.f64 (pow.f64 (*.f64 (PI.f64) (neg.f64 (PI.f64))) #s(literal 2/9 binary64)) (pow.f64 (neg.f64 (PI.f64)) #s(literal 2/9 binary64)))
(*.f64 (pow.f64 (pow.f64 (PI.f64) #s(literal 5/3 binary64)) #s(literal 2/9 binary64)) (pow.f64 (pow.f64 (PI.f64) #s(literal 4/3 binary64)) #s(literal 2/9 binary64)))
(*.f64 (pow.f64 (pow.f64 (PI.f64) #s(literal 4/3 binary64)) #s(literal 2/9 binary64)) (pow.f64 (pow.f64 (PI.f64) #s(literal 5/3 binary64)) #s(literal 2/9 binary64)))
(*.f64 (pow.f64 (neg.f64 (PI.f64)) #s(literal 2/9 binary64)) (pow.f64 (*.f64 (neg.f64 (PI.f64)) (PI.f64)) #s(literal 2/9 binary64)))
(*.f64 (pow.f64 (pow.f64 (PI.f64) #s(literal 26/9 binary64)) #s(literal 2/9 binary64)) (pow.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64)) #s(literal 2/9 binary64)))
(*.f64 (pow.f64 (pow.f64 (cbrt.f64 (PI.f64)) #s(literal 17/3 binary64)) #s(literal 1/3 binary64)) (pow.f64 (PI.f64) #s(literal 1/27 binary64)))
(*.f64 (pow.f64 (cbrt.f64 (*.f64 (*.f64 (*.f64 (*.f64 (PI.f64) (PI.f64)) (PI.f64)) (PI.f64)) (neg.f64 (PI.f64)))) #s(literal 1/3 binary64)) (neg.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64))))
(*.f64 (pow.f64 (pow.f64 (PI.f64) #s(literal 17/9 binary64)) #s(literal 1/3 binary64)) (pow.f64 (PI.f64) #s(literal 1/27 binary64)))
(*.f64 (pow.f64 (neg.f64 (neg.f64 (PI.f64))) #s(literal 1/3 binary64)) (pow.f64 (neg.f64 (neg.f64 (PI.f64))) #s(literal 1/3 binary64)))
(*.f64 (pow.f64 (pow.f64 (PI.f64) #s(literal 10/9 binary64)) #s(literal 1/3 binary64)) (pow.f64 (PI.f64) #s(literal 8/27 binary64)))
(*.f64 (pow.f64 (pow.f64 (PI.f64) #s(literal 16/9 binary64)) #s(literal 1/3 binary64)) (pow.f64 (PI.f64) #s(literal 2/27 binary64)))
(*.f64 (pow.f64 (*.f64 (pow.f64 (PI.f64) #s(literal 7/9 binary64)) (neg.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64)))) #s(literal 2/3 binary64)) (pow.f64 (PI.f64) #s(literal 2/27 binary64)))
(*.f64 (pow.f64 (cbrt.f64 (*.f64 (PI.f64) (neg.f64 (PI.f64)))) #s(literal 2/3 binary64)) (pow.f64 (PI.f64) #s(literal 2/9 binary64)))
(*.f64 (pow.f64 (pow.f64 (PI.f64) #s(literal 7/9 binary64)) #s(literal 2/3 binary64)) (pow.f64 (pow.f64 (PI.f64) #s(literal 2/9 binary64)) #s(literal 2/3 binary64)))
(*.f64 (pow.f64 (pow.f64 (PI.f64) #s(literal 2/9 binary64)) #s(literal 2/3 binary64)) (pow.f64 (pow.f64 (PI.f64) #s(literal 7/9 binary64)) #s(literal 2/3 binary64)))
(*.f64 (pow.f64 (PI.f64) #s(literal 4/9 binary64)) (pow.f64 (PI.f64) #s(literal 2/9 binary64)))
(*.f64 (pow.f64 (cbrt.f64 (PI.f64)) (/.f64 #s(literal 2 binary64) #s(literal 2 binary64))) (pow.f64 (cbrt.f64 (PI.f64)) (/.f64 #s(literal 2 binary64) #s(literal 2 binary64))))
(*.f64 (pow.f64 (*.f64 (*.f64 (PI.f64) (PI.f64)) (PI.f64)) (/.f64 #s(literal 2/9 binary64) #s(literal 2 binary64))) (pow.f64 (*.f64 (*.f64 (PI.f64) (PI.f64)) (PI.f64)) (/.f64 #s(literal 2/9 binary64) #s(literal 2 binary64))))
(*.f64 (neg.f64 (neg.f64 (cbrt.f64 (PI.f64)))) (neg.f64 (neg.f64 (cbrt.f64 (PI.f64)))))
(*.f64 (pow.f64 (PI.f64) #s(literal 5/9 binary64)) (pow.f64 (PI.f64) #s(literal 1/9 binary64)))
(*.f64 (pow.f64 (PI.f64) #s(literal 8/27 binary64)) (cbrt.f64 (pow.f64 (PI.f64) #s(literal 10/9 binary64))))
(*.f64 (pow.f64 (PI.f64) #s(literal 8/27 binary64)) (pow.f64 (pow.f64 (PI.f64) #s(literal 10/9 binary64)) #s(literal 1/3 binary64)))
(*.f64 (pow.f64 (PI.f64) #s(literal 1/27 binary64)) (cbrt.f64 (pow.f64 (PI.f64) #s(literal 17/9 binary64))))
(*.f64 (pow.f64 (PI.f64) #s(literal 1/27 binary64)) (pow.f64 (cbrt.f64 (PI.f64)) #s(literal 17/9 binary64)))
(*.f64 (pow.f64 (PI.f64) #s(literal 1/27 binary64)) (pow.f64 (pow.f64 (PI.f64) #s(literal 17/9 binary64)) #s(literal 1/3 binary64)))
(*.f64 (pow.f64 (PI.f64) #s(literal 2/27 binary64)) (cbrt.f64 (pow.f64 (PI.f64) #s(literal 16/9 binary64))))
(*.f64 (pow.f64 (PI.f64) #s(literal 2/27 binary64)) (pow.f64 (cbrt.f64 (PI.f64)) #s(literal 16/9 binary64)))
(*.f64 (pow.f64 (PI.f64) #s(literal 2/27 binary64)) (pow.f64 (pow.f64 (PI.f64) #s(literal 16/9 binary64)) #s(literal 1/3 binary64)))
(*.f64 (pow.f64 (PI.f64) #s(literal 2/27 binary64)) (pow.f64 (*.f64 (PI.f64) (PI.f64)) #s(literal 8/27 binary64)))
(*.f64 (pow.f64 (PI.f64) #s(literal 2/27 binary64)) (pow.f64 (pow.f64 (PI.f64) #s(literal 8/3 binary64)) #s(literal 2/9 binary64)))
(*.f64 (pow.f64 (PI.f64) #s(literal 2/27 binary64)) (pow.f64 (pow.f64 (PI.f64) #s(literal 8/9 binary64)) #s(literal 2/3 binary64)))
(*.f64 (pow.f64 (*.f64 (PI.f64) (PI.f64)) #s(literal 8/27 binary64)) (pow.f64 (PI.f64) #s(literal 2/27 binary64)))
(*.f64 (pow.f64 (pow.f64 (PI.f64) #s(literal 8/3 binary64)) #s(literal 2/9 binary64)) (pow.f64 (PI.f64) #s(literal 2/27 binary64)))
(*.f64 (pow.f64 (pow.f64 (PI.f64) #s(literal 8/9 binary64)) #s(literal 2/3 binary64)) (pow.f64 (PI.f64) #s(literal 2/27 binary64)))
(*.f64 (pow.f64 (pow.f64 (PI.f64) #s(literal 8/9 binary64)) #s(literal 2/9 binary64)) (pow.f64 (pow.f64 (PI.f64) #s(literal 19/9 binary64)) #s(literal 2/9 binary64)))
(*.f64 (pow.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64)) #s(literal 2/9 binary64)) (pow.f64 (pow.f64 (PI.f64) #s(literal 26/9 binary64)) #s(literal 2/9 binary64)))
(*.f64 (neg.f64 (cbrt.f64 (PI.f64))) (neg.f64 (cbrt.f64 (PI.f64))))
(*.f64 (neg.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64))) (cbrt.f64 (cbrt.f64 (*.f64 (neg.f64 (PI.f64)) (*.f64 (*.f64 (*.f64 (PI.f64) (PI.f64)) (PI.f64)) (PI.f64))))))
(*.f64 (neg.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64))) (pow.f64 (cbrt.f64 (*.f64 (neg.f64 (PI.f64)) (*.f64 (*.f64 (*.f64 (PI.f64) (PI.f64)) (PI.f64)) (PI.f64)))) #s(literal 1/3 binary64)))
(*.f64 (pow.f64 (pow.f64 (PI.f64) #s(literal 2/3 binary64)) #s(literal 2/9 binary64)) (pow.f64 (pow.f64 (PI.f64) #s(literal 7/3 binary64)) #s(literal 2/9 binary64)))
(*.f64 (pow.f64 (PI.f64) (/.f64 #s(literal 2/3 binary64) #s(literal 2 binary64))) (pow.f64 (PI.f64) (/.f64 #s(literal 2/3 binary64) #s(literal 2 binary64))))
(*.f64 (cbrt.f64 (PI.f64)) (cbrt.f64 (PI.f64)))
(*.f64 (pow.f64 (PI.f64) #s(literal 2/9 binary64)) (pow.f64 (cbrt.f64 (*.f64 (neg.f64 (PI.f64)) (PI.f64))) #s(literal 2/3 binary64)))
(*.f64 (pow.f64 (PI.f64) #s(literal 2/9 binary64)) (pow.f64 (PI.f64) #s(literal 4/9 binary64)))
(*.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64)) (pow.f64 (PI.f64) #s(literal 5/9 binary64)))
(pow.f64 (neg.f64 (neg.f64 (cbrt.f64 (PI.f64)))) #s(literal 2 binary64))
(pow.f64 (*.f64 (*.f64 (*.f64 (*.f64 (*.f64 (PI.f64) (PI.f64)) (PI.f64)) (PI.f64)) (*.f64 (PI.f64) (PI.f64))) (*.f64 (*.f64 (PI.f64) (PI.f64)) (PI.f64))) #s(literal 2/27 binary64))
(pow.f64 (neg.f64 (cbrt.f64 (PI.f64))) #s(literal 2 binary64))
(pow.f64 (neg.f64 (PI.f64)) #s(literal 2/3 binary64))
(pow.f64 (*.f64 (*.f64 (*.f64 (*.f64 (PI.f64) (PI.f64)) (PI.f64)) (PI.f64)) (*.f64 (PI.f64) (PI.f64))) #s(literal 1/9 binary64))
(pow.f64 (cbrt.f64 (PI.f64)) #s(literal 2 binary64))
(pow.f64 (*.f64 (*.f64 (PI.f64) (PI.f64)) (PI.f64)) #s(literal 2/9 binary64))
(pow.f64 (*.f64 (PI.f64) (PI.f64)) #s(literal 1/3 binary64))
(pow.f64 (pow.f64 (PI.f64) #s(literal 2/3 binary64)) #s(literal 1 binary64))
(pow.f64 (pow.f64 (PI.f64) #s(literal 2/9 binary64)) #s(literal 3 binary64))
(pow.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64)) #s(literal 6 binary64))
(pow.f64 (PI.f64) #s(literal 2/3 binary64))
(/.f64 (neg.f64 (cbrt.f64 (PI.f64))) (pow.f64 (neg.f64 (cbrt.f64 (PI.f64))) #s(literal -1 binary64)))
(/.f64 (cbrt.f64 (PI.f64)) (pow.f64 (*.f64 (*.f64 (PI.f64) (PI.f64)) (PI.f64)) #s(literal -1/9 binary64)))
(/.f64 (cbrt.f64 (PI.f64)) (pow.f64 (cbrt.f64 (PI.f64)) #s(literal -1 binary64)))
(/.f64 #s(literal 1 binary64) (pow.f64 (neg.f64 (cbrt.f64 (PI.f64))) #s(literal -2 binary64)))
(/.f64 #s(literal 1 binary64) (pow.f64 (cbrt.f64 (PI.f64)) #s(literal -2 binary64)))
(neg.f64 (pow.f64 (*.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64)) (neg.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64)))) #s(literal 3 binary64)))
(neg.f64 (pow.f64 (*.f64 (neg.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64))) (pow.f64 (PI.f64) #s(literal 1/9 binary64))) #s(literal 3 binary64)))
(neg.f64 (cbrt.f64 (*.f64 (neg.f64 (PI.f64)) (PI.f64))))
(neg.f64 (cbrt.f64 (*.f64 (PI.f64) (neg.f64 (PI.f64)))))
(cbrt.f64 (*.f64 (PI.f64) (PI.f64)))
(sqrt.f64 (pow.f64 (PI.f64) #s(literal 4/3 binary64)))
(fabs.f64 (cbrt.f64 (*.f64 (neg.f64 (PI.f64)) (PI.f64))))
(fabs.f64 (cbrt.f64 (*.f64 (PI.f64) (neg.f64 (PI.f64)))))
(fabs.f64 (neg.f64 (pow.f64 (PI.f64) #s(literal 2/3 binary64))))
(fabs.f64 (pow.f64 (PI.f64) #s(literal 2/3 binary64)))
(exp.f64 (*.f64 (log.f64 (pow.f64 (PI.f64) #s(literal 2/9 binary64))) #s(literal 3 binary64)))
(exp.f64 (*.f64 (log.f64 (neg.f64 (cbrt.f64 (PI.f64)))) #s(literal 2 binary64)))
(exp.f64 (*.f64 (log.f64 (*.f64 (PI.f64) (PI.f64))) #s(literal 1/3 binary64)))
(exp.f64 (*.f64 (log.f64 (cbrt.f64 (PI.f64))) #s(literal 2 binary64)))
(exp.f64 (*.f64 (log.f64 (*.f64 (*.f64 (PI.f64) (PI.f64)) (PI.f64))) #s(literal 2/9 binary64)))
(exp.f64 (*.f64 (log.f64 (PI.f64)) #s(literal 2/3 binary64)))
(*.f64 (pow.f64 (PI.f64) #s(literal 7/9 binary64)) z0)
(*.f64 (*.f64 (pow.f64 (PI.f64) #s(literal 2/3 binary64)) z0) (pow.f64 (PI.f64) #s(literal 1/9 binary64)))
(*.f64 (pow.f64 (PI.f64) #s(literal 2/3 binary64)) (*.f64 z0 (pow.f64 (PI.f64) #s(literal 1/9 binary64))))
(*.f64 (*.f64 z0 (pow.f64 (PI.f64) #s(literal 1/9 binary64))) (pow.f64 (PI.f64) #s(literal 2/3 binary64)))
(*.f64 z0 (pow.f64 (PI.f64) #s(literal 7/9 binary64)))
(*.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64)) (*.f64 (pow.f64 (PI.f64) #s(literal 2/3 binary64)) z0))
(*.f64 (*.f64 (*.f64 (pow.f64 (PI.f64) #s(literal 7/9 binary64)) z0) (neg.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64)))) (neg.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64))))
(*.f64 (neg.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64))) (*.f64 (neg.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64))) (*.f64 (pow.f64 (PI.f64) #s(literal 7/9 binary64)) z0)))
(*.f64 (pow.f64 (PI.f64) #s(literal 7/9 binary64)) (*.f64 z0 (pow.f64 (PI.f64) #s(literal 2/9 binary64))))
(*.f64 (*.f64 (cbrt.f64 (PI.f64)) z0) (pow.f64 (PI.f64) #s(literal 2/3 binary64)))
(*.f64 (cbrt.f64 (PI.f64)) (*.f64 (pow.f64 (PI.f64) #s(literal 2/3 binary64)) z0))
(*.f64 (*.f64 (pow.f64 (PI.f64) #s(literal 8/9 binary64)) z0) (pow.f64 (PI.f64) #s(literal 1/9 binary64)))
(*.f64 (*.f64 (pow.f64 (PI.f64) #s(literal 2/3 binary64)) z0) (cbrt.f64 (PI.f64)))
(*.f64 (*.f64 z0 (pow.f64 (PI.f64) #s(literal 2/9 binary64))) (pow.f64 (PI.f64) #s(literal 7/9 binary64)))
(*.f64 (pow.f64 (PI.f64) #s(literal 8/9 binary64)) (*.f64 z0 (pow.f64 (PI.f64) #s(literal 1/9 binary64))))
(*.f64 (*.f64 (pow.f64 (PI.f64) #s(literal 7/9 binary64)) z0) (pow.f64 (PI.f64) #s(literal 2/9 binary64)))
(*.f64 (pow.f64 (PI.f64) #s(literal 2/3 binary64)) (*.f64 (cbrt.f64 (PI.f64)) z0))
(*.f64 (*.f64 z0 (pow.f64 (PI.f64) #s(literal 1/9 binary64))) (pow.f64 (PI.f64) #s(literal 8/9 binary64)))
(*.f64 z0 (log.f64 (exp.f64 (PI.f64))))
(*.f64 z0 (PI.f64))
(*.f64 (pow.f64 (PI.f64) #s(literal 2/9 binary64)) (*.f64 (pow.f64 (PI.f64) #s(literal 7/9 binary64)) z0))
(*.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64)) (*.f64 (pow.f64 (PI.f64) #s(literal 8/9 binary64)) z0))
(*.f64 (PI.f64) z0)
(log.f64 (exp.f64 (*.f64 z0 (PI.f64))))
#s(literal 8/9 binary64)
(*.f64 (cbrt.f64 (*.f64 (*.f64 (PI.f64) (PI.f64)) (neg.f64 (cbrt.f64 (PI.f64))))) (neg.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64))))
(*.f64 (cbrt.f64 (*.f64 (neg.f64 (PI.f64)) (cbrt.f64 (PI.f64)))) (cbrt.f64 (*.f64 (neg.f64 (PI.f64)) (cbrt.f64 (PI.f64)))))
(*.f64 (cbrt.f64 (*.f64 (PI.f64) (neg.f64 (cbrt.f64 (PI.f64))))) (cbrt.f64 (*.f64 (PI.f64) (neg.f64 (cbrt.f64 (PI.f64))))))
(*.f64 (pow.f64 (*.f64 (pow.f64 (PI.f64) #s(literal 8/3 binary64)) (pow.f64 (PI.f64) #s(literal 2/9 binary64))) #s(literal 8/27 binary64)) (pow.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64)) #s(literal 8/27 binary64)))
(*.f64 (pow.f64 (pow.f64 (PI.f64) #s(literal 7/3 binary64)) #s(literal 8/27 binary64)) (pow.f64 (pow.f64 (PI.f64) #s(literal 2/3 binary64)) #s(literal 8/27 binary64)))
(*.f64 (pow.f64 (pow.f64 (PI.f64) #s(literal 19/9 binary64)) #s(literal 8/27 binary64)) (pow.f64 (pow.f64 (PI.f64) #s(literal 8/9 binary64)) #s(literal 8/27 binary64)))
(*.f64 (pow.f64 (*.f64 (PI.f64) (neg.f64 (PI.f64))) #s(literal 8/27 binary64)) (pow.f64 (neg.f64 (PI.f64)) #s(literal 8/27 binary64)))
(*.f64 (pow.f64 (pow.f64 (PI.f64) #s(literal 5/3 binary64)) #s(literal 8/27 binary64)) (pow.f64 (pow.f64 (PI.f64) #s(literal 4/3 binary64)) #s(literal 8/27 binary64)))
(*.f64 (pow.f64 (pow.f64 (PI.f64) #s(literal 4/3 binary64)) #s(literal 8/27 binary64)) (pow.f64 (pow.f64 (PI.f64) #s(literal 5/3 binary64)) #s(literal 8/27 binary64)))
(*.f64 (pow.f64 (neg.f64 (PI.f64)) #s(literal 8/27 binary64)) (pow.f64 (*.f64 (neg.f64 (PI.f64)) (PI.f64)) #s(literal 8/27 binary64)))
(*.f64 (pow.f64 (pow.f64 (PI.f64) #s(literal 8/9 binary64)) #s(literal 8/27 binary64)) (pow.f64 (pow.f64 (PI.f64) #s(literal 19/9 binary64)) #s(literal 8/27 binary64)))
(*.f64 (pow.f64 (pow.f64 (PI.f64) #s(literal 2/3 binary64)) #s(literal 8/27 binary64)) (pow.f64 (pow.f64 (PI.f64) #s(literal 7/3 binary64)) #s(literal 8/27 binary64)))
(*.f64 (pow.f64 (pow.f64 (PI.f64) #s(literal 26/9 binary64)) #s(literal 8/27 binary64)) (pow.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64)) #s(literal 8/27 binary64)))
(*.f64 (pow.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64)) #s(literal 8/27 binary64)) (pow.f64 (pow.f64 (PI.f64) #s(literal 26/9 binary64)) #s(literal 8/27 binary64)))
(*.f64 (pow.f64 (*.f64 (pow.f64 (PI.f64) #s(literal 7/9 binary64)) (neg.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64)))) #s(literal 8/9 binary64)) (pow.f64 (neg.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64))) #s(literal 8/9 binary64)))
(*.f64 (pow.f64 (cbrt.f64 (*.f64 (PI.f64) (neg.f64 (PI.f64)))) #s(literal 8/9 binary64)) (pow.f64 (neg.f64 (cbrt.f64 (PI.f64))) #s(literal 8/9 binary64)))
(*.f64 (pow.f64 (neg.f64 (cbrt.f64 (PI.f64))) #s(literal 8/9 binary64)) (pow.f64 (cbrt.f64 (*.f64 (neg.f64 (PI.f64)) (PI.f64))) #s(literal 8/9 binary64)))
(*.f64 (pow.f64 (pow.f64 (PI.f64) #s(literal 7/9 binary64)) #s(literal 8/9 binary64)) (pow.f64 (pow.f64 (PI.f64) #s(literal 2/9 binary64)) #s(literal 8/9 binary64)))
(*.f64 (pow.f64 (pow.f64 (PI.f64) #s(literal 2/9 binary64)) #s(literal 8/9 binary64)) (pow.f64 (pow.f64 (PI.f64) #s(literal 7/9 binary64)) #s(literal 8/9 binary64)))
(*.f64 (*.f64 (pow.f64 (PI.f64) #s(literal 2/3 binary64)) (neg.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64)))) (neg.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64))))
(*.f64 (pow.f64 (PI.f64) #s(literal 4/9 binary64)) (pow.f64 (PI.f64) #s(literal 4/9 binary64)))
(*.f64 (pow.f64 (*.f64 (*.f64 (PI.f64) (PI.f64)) (PI.f64)) (/.f64 #s(literal 8/27 binary64) #s(literal 2 binary64))) (pow.f64 (*.f64 (*.f64 (PI.f64) (PI.f64)) (PI.f64)) (/.f64 #s(literal 8/27 binary64) #s(literal 2 binary64))))
(*.f64 (pow.f64 (PI.f64) #s(literal 5/9 binary64)) (cbrt.f64 (PI.f64)))
(*.f64 (pow.f64 (PI.f64) #s(literal 8/27 binary64)) (pow.f64 (*.f64 (PI.f64) (PI.f64)) #s(literal 8/27 binary64)))
(*.f64 (pow.f64 (cbrt.f64 (PI.f64)) #s(literal 8/27 binary64)) (pow.f64 (pow.f64 (PI.f64) #s(literal 8/3 binary64)) #s(literal 8/27 binary64)))
(*.f64 (pow.f64 (pow.f64 (PI.f64) #s(literal 8/3 binary64)) #s(literal 8/27 binary64)) (pow.f64 (cbrt.f64 (PI.f64)) #s(literal 8/27 binary64)))
(*.f64 (pow.f64 (*.f64 (PI.f64) (PI.f64)) #s(literal 8/27 binary64)) (pow.f64 (PI.f64) #s(literal 8/27 binary64)))
(*.f64 (pow.f64 (pow.f64 (PI.f64) #s(literal 8/9 binary64)) #s(literal 8/9 binary64)) (pow.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64)) #s(literal 8/9 binary64)))
(*.f64 (pow.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64)) #s(literal 8/9 binary64)) (pow.f64 (pow.f64 (PI.f64) #s(literal 8/9 binary64)) #s(literal 8/9 binary64)))
(*.f64 (neg.f64 (cbrt.f64 (PI.f64))) (cbrt.f64 (*.f64 (neg.f64 (PI.f64)) (pow.f64 (PI.f64) #s(literal 2/3 binary64)))))
(*.f64 (neg.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64))) (*.f64 (neg.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64))) (pow.f64 (PI.f64) #s(literal 2/3 binary64))))
(*.f64 (pow.f64 (cbrt.f64 (PI.f64)) #s(literal 8/9 binary64)) (pow.f64 (pow.f64 (PI.f64) #s(literal 2/3 binary64)) #s(literal 8/9 binary64)))
(*.f64 (pow.f64 (pow.f64 (PI.f64) #s(literal 2/3 binary64)) #s(literal 8/9 binary64)) (pow.f64 (cbrt.f64 (PI.f64)) #s(literal 8/9 binary64)))
(*.f64 (pow.f64 (PI.f64) #s(literal 7/9 binary64)) (pow.f64 (PI.f64) #s(literal 1/9 binary64)))
(*.f64 (pow.f64 (PI.f64) (/.f64 #s(literal 8/9 binary64) #s(literal 2 binary64))) (pow.f64 (PI.f64) (/.f64 #s(literal 8/9 binary64) #s(literal 2 binary64))))
(*.f64 (cbrt.f64 (PI.f64)) (pow.f64 (PI.f64) #s(literal 5/9 binary64)))
(*.f64 (pow.f64 (PI.f64) #s(literal 2/3 binary64)) (pow.f64 (PI.f64) #s(literal 2/9 binary64)))
(*.f64 (pow.f64 (PI.f64) #s(literal 2/9 binary64)) (pow.f64 (PI.f64) #s(literal 2/3 binary64)))
(*.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64)) (pow.f64 (PI.f64) #s(literal 7/9 binary64)))
(pow.f64 (*.f64 (cbrt.f64 (PI.f64)) (neg.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64)))) #s(literal 2 binary64))
(pow.f64 (*.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64)) (neg.f64 (cbrt.f64 (PI.f64)))) #s(literal 2 binary64))
(pow.f64 (*.f64 (neg.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64))) (cbrt.f64 (PI.f64))) #s(literal 2 binary64))
(pow.f64 (*.f64 (neg.f64 (cbrt.f64 (PI.f64))) (pow.f64 (PI.f64) #s(literal 1/9 binary64))) #s(literal 2 binary64))
(pow.f64 (pow.f64 (PI.f64) #s(literal 4/9 binary64)) #s(literal 2 binary64))
(pow.f64 (*.f64 (*.f64 (*.f64 (*.f64 (*.f64 (PI.f64) (PI.f64)) (PI.f64)) (PI.f64)) (*.f64 (PI.f64) (PI.f64))) (*.f64 (*.f64 (PI.f64) (PI.f64)) (PI.f64))) #s(literal 8/81 binary64))
(pow.f64 (*.f64 (*.f64 (*.f64 (PI.f64) (PI.f64)) (PI.f64)) (PI.f64)) #s(literal 2/9 binary64))
(pow.f64 (pow.f64 (PI.f64) #s(literal 8/3 binary64)) #s(literal 1/3 binary64))
(pow.f64 (pow.f64 (PI.f64) #s(literal 4/3 binary64)) #s(literal 2/3 binary64))
(pow.f64 (cbrt.f64 (PI.f64)) #s(literal 8/3 binary64))
(pow.f64 (*.f64 (*.f64 (PI.f64) (PI.f64)) (PI.f64)) #s(literal 8/27 binary64))
(pow.f64 (*.f64 (PI.f64) (PI.f64)) #s(literal 4/9 binary64))
(pow.f64 (pow.f64 (PI.f64) #s(literal 2/3 binary64)) #s(literal 4/3 binary64))
(pow.f64 (PI.f64) #s(literal 8/9 binary64))
(/.f64 (pow.f64 (PI.f64) #s(literal 4/9 binary64)) (pow.f64 (*.f64 (*.f64 (*.f64 (PI.f64) (PI.f64)) (PI.f64)) (PI.f64)) #s(literal -1/9 binary64)))
(cbrt.f64 (pow.f64 (PI.f64) #s(literal 8/3 binary64)))
(sqrt.f64 (pow.f64 (PI.f64) #s(literal 16/9 binary64)))
(fabs.f64 (neg.f64 (pow.f64 (PI.f64) #s(literal 8/9 binary64))))
(fabs.f64 (pow.f64 (PI.f64) #s(literal 8/9 binary64)))
(exp.f64 (*.f64 (log.f64 (*.f64 (*.f64 (*.f64 (PI.f64) (PI.f64)) (PI.f64)) (PI.f64))) #s(literal 2/9 binary64)))
(exp.f64 (*.f64 (log.f64 (*.f64 (*.f64 (PI.f64) (PI.f64)) (PI.f64))) #s(literal 8/27 binary64)))
(exp.f64 (*.f64 (log.f64 (PI.f64)) #s(literal 8/9 binary64)))
(*.f64 (*.f64 (*.f64 (pow.f64 (PI.f64) #s(literal 2/3 binary64)) z0) (neg.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64)))) (neg.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64))))
(*.f64 (neg.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64))) (*.f64 (neg.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64))) (*.f64 (pow.f64 (PI.f64) #s(literal 2/3 binary64)) z0)))
(*.f64 (pow.f64 (PI.f64) #s(literal 7/9 binary64)) (*.f64 z0 (pow.f64 (PI.f64) #s(literal 1/9 binary64))))
(*.f64 (*.f64 (pow.f64 (PI.f64) #s(literal 2/3 binary64)) z0) (pow.f64 (PI.f64) #s(literal 2/9 binary64)))
(*.f64 (*.f64 z0 (pow.f64 (PI.f64) #s(literal 2/9 binary64))) (pow.f64 (PI.f64) #s(literal 2/3 binary64)))
(*.f64 (pow.f64 (PI.f64) #s(literal 8/9 binary64)) z0)
(*.f64 (*.f64 (pow.f64 (PI.f64) #s(literal 7/9 binary64)) z0) (pow.f64 (PI.f64) #s(literal 1/9 binary64)))
(*.f64 (pow.f64 (PI.f64) #s(literal 2/3 binary64)) (*.f64 z0 (pow.f64 (PI.f64) #s(literal 2/9 binary64))))
(*.f64 (*.f64 z0 (pow.f64 (PI.f64) #s(literal 1/9 binary64))) (pow.f64 (PI.f64) #s(literal 7/9 binary64)))
(*.f64 z0 (pow.f64 (PI.f64) #s(literal 8/9 binary64)))
(*.f64 (pow.f64 (PI.f64) #s(literal 2/9 binary64)) (*.f64 (pow.f64 (PI.f64) #s(literal 2/3 binary64)) z0))
(*.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64)) (*.f64 (pow.f64 (PI.f64) #s(literal 7/9 binary64)) z0))
(*.f64 (*.f64 (*.f64 (pow.f64 (PI.f64) #s(literal 7/9 binary64)) z0) (neg.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64)))) (neg.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64))))
(*.f64 (neg.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64))) (*.f64 (neg.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64))) (*.f64 (pow.f64 (PI.f64) #s(literal 7/9 binary64)) z0)))
(*.f64 (pow.f64 (PI.f64) #s(literal 7/9 binary64)) (*.f64 z0 (pow.f64 (PI.f64) #s(literal 2/9 binary64))))
(*.f64 (*.f64 (cbrt.f64 (PI.f64)) z0) (pow.f64 (PI.f64) #s(literal 2/3 binary64)))
(*.f64 (cbrt.f64 (PI.f64)) (*.f64 (pow.f64 (PI.f64) #s(literal 2/3 binary64)) z0))
(*.f64 (*.f64 (pow.f64 (PI.f64) #s(literal 8/9 binary64)) z0) (pow.f64 (PI.f64) #s(literal 1/9 binary64)))
(*.f64 (*.f64 (pow.f64 (PI.f64) #s(literal 2/3 binary64)) z0) (cbrt.f64 (PI.f64)))
(*.f64 (*.f64 z0 (pow.f64 (PI.f64) #s(literal 2/9 binary64))) (pow.f64 (PI.f64) #s(literal 7/9 binary64)))
(*.f64 (pow.f64 (PI.f64) #s(literal 8/9 binary64)) (*.f64 z0 (pow.f64 (PI.f64) #s(literal 1/9 binary64))))
(*.f64 (*.f64 (pow.f64 (PI.f64) #s(literal 7/9 binary64)) z0) (pow.f64 (PI.f64) #s(literal 2/9 binary64)))
(*.f64 (pow.f64 (PI.f64) #s(literal 2/3 binary64)) (*.f64 (cbrt.f64 (PI.f64)) z0))
(*.f64 (*.f64 z0 (pow.f64 (PI.f64) #s(literal 1/9 binary64))) (pow.f64 (PI.f64) #s(literal 8/9 binary64)))
(*.f64 z0 (log.f64 (exp.f64 (PI.f64))))
(*.f64 z0 (PI.f64))
(*.f64 (pow.f64 (PI.f64) #s(literal 2/9 binary64)) (*.f64 (pow.f64 (PI.f64) #s(literal 7/9 binary64)) z0))
(*.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64)) (*.f64 (pow.f64 (PI.f64) #s(literal 8/9 binary64)) z0))
(*.f64 (PI.f64) z0)
(log.f64 (exp.f64 (*.f64 z0 (PI.f64))))
(*.f64 z0 (pow.f64 (PI.f64) #s(literal 1/9 binary64)))
(*.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64)) z0)
(*.f64 (*.f64 (*.f64 (pow.f64 (PI.f64) #s(literal 7/9 binary64)) z0) (neg.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64)))) (neg.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64))))
(*.f64 (neg.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64))) (*.f64 (neg.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64))) (*.f64 (pow.f64 (PI.f64) #s(literal 7/9 binary64)) z0)))
(*.f64 (pow.f64 (PI.f64) #s(literal 7/9 binary64)) (*.f64 z0 (pow.f64 (PI.f64) #s(literal 2/9 binary64))))
(*.f64 (*.f64 (cbrt.f64 (PI.f64)) z0) (pow.f64 (PI.f64) #s(literal 2/3 binary64)))
(*.f64 (cbrt.f64 (PI.f64)) (*.f64 (pow.f64 (PI.f64) #s(literal 2/3 binary64)) z0))
(*.f64 (*.f64 (pow.f64 (PI.f64) #s(literal 8/9 binary64)) z0) (pow.f64 (PI.f64) #s(literal 1/9 binary64)))
(*.f64 (*.f64 (pow.f64 (PI.f64) #s(literal 2/3 binary64)) z0) (cbrt.f64 (PI.f64)))
(*.f64 (*.f64 z0 (pow.f64 (PI.f64) #s(literal 2/9 binary64))) (pow.f64 (PI.f64) #s(literal 7/9 binary64)))
(*.f64 (pow.f64 (PI.f64) #s(literal 8/9 binary64)) (*.f64 z0 (pow.f64 (PI.f64) #s(literal 1/9 binary64))))
(*.f64 (*.f64 (pow.f64 (PI.f64) #s(literal 7/9 binary64)) z0) (pow.f64 (PI.f64) #s(literal 2/9 binary64)))
(*.f64 (pow.f64 (PI.f64) #s(literal 2/3 binary64)) (*.f64 (cbrt.f64 (PI.f64)) z0))
(*.f64 (*.f64 z0 (pow.f64 (PI.f64) #s(literal 1/9 binary64))) (pow.f64 (PI.f64) #s(literal 8/9 binary64)))
(*.f64 z0 (log.f64 (exp.f64 (PI.f64))))
(*.f64 z0 (PI.f64))
(*.f64 (pow.f64 (PI.f64) #s(literal 2/9 binary64)) (*.f64 (pow.f64 (PI.f64) #s(literal 7/9 binary64)) z0))
(*.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64)) (*.f64 (pow.f64 (PI.f64) #s(literal 8/9 binary64)) z0))
(*.f64 (PI.f64) z0)
(log.f64 (exp.f64 (*.f64 z0 (PI.f64))))
#s(literal 2/9 binary64)
(*.f64 (neg.f64 (neg.f64 (neg.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64))))) (neg.f64 (neg.f64 (neg.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64))))))
(*.f64 (cbrt.f64 (neg.f64 (neg.f64 (cbrt.f64 (PI.f64))))) (cbrt.f64 (neg.f64 (neg.f64 (cbrt.f64 (PI.f64))))))
(*.f64 (cbrt.f64 (pow.f64 (PI.f64) #s(literal 5/9 binary64))) (pow.f64 (PI.f64) #s(literal 1/27 binary64)))
(*.f64 (cbrt.f64 (pow.f64 (PI.f64) #s(literal 4/9 binary64))) (pow.f64 (PI.f64) #s(literal 2/27 binary64)))
(*.f64 (pow.f64 (neg.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64))) #s(literal 10/9 binary64)) (pow.f64 (neg.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64))) #s(literal 8/9 binary64)))
(*.f64 (pow.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64)) #s(literal 10/9 binary64)) (pow.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64)) #s(literal 8/9 binary64)))
(*.f64 (pow.f64 (pow.f64 (PI.f64) #s(literal 2/3 binary64)) #s(literal 8/27 binary64)) (pow.f64 (pow.f64 (PI.f64) #s(literal 2/3 binary64)) #s(literal 1/27 binary64)))
(*.f64 (pow.f64 (*.f64 (*.f64 (*.f64 (PI.f64) (PI.f64)) (PI.f64)) (pow.f64 (PI.f64) #s(literal 8/3 binary64))) #s(literal 1/27 binary64)) (pow.f64 (cbrt.f64 (PI.f64)) #s(literal 1/27 binary64)))
(*.f64 (pow.f64 (cbrt.f64 (*.f64 (*.f64 (*.f64 (*.f64 (*.f64 (*.f64 (PI.f64) (PI.f64)) (PI.f64)) (PI.f64)) (*.f64 (PI.f64) (PI.f64))) (*.f64 (PI.f64) (PI.f64))) (*.f64 (*.f64 (*.f64 (*.f64 (*.f64 (PI.f64) (PI.f64)) (PI.f64)) (PI.f64)) (*.f64 (PI.f64) (PI.f64))) (*.f64 (PI.f64) (PI.f64))))) #s(literal 1/27 binary64)) (pow.f64 (pow.f64 (PI.f64) #s(literal 2/3 binary64)) #s(literal 1/27 binary64)))
(*.f64 (pow.f64 (*.f64 (*.f64 (*.f64 (PI.f64) (PI.f64)) (PI.f64)) (*.f64 (PI.f64) (PI.f64))) #s(literal 1/27 binary64)) (pow.f64 (PI.f64) #s(literal 1/27 binary64)))
(*.f64 (pow.f64 (neg.f64 (*.f64 (*.f64 (PI.f64) (PI.f64)) (PI.f64))) #s(literal 1/27 binary64)) (pow.f64 (neg.f64 (*.f64 (*.f64 (PI.f64) (PI.f64)) (PI.f64))) #s(literal 1/27 binary64)))
(*.f64 (pow.f64 (*.f64 (*.f64 (*.f64 (PI.f64) (PI.f64)) (PI.f64)) (PI.f64)) #s(literal 1/27 binary64)) (pow.f64 (PI.f64) #s(literal 2/27 binary64)))
(*.f64 (pow.f64 (*.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64)) (neg.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64)))) #s(literal 2/3 binary64)) (pow.f64 (PI.f64) #s(literal 2/27 binary64)))
(*.f64 (pow.f64 (pow.f64 (PI.f64) #s(literal 8/27 binary64)) #s(literal 2/3 binary64)) (pow.f64 (pow.f64 (PI.f64) #s(literal 1/27 binary64)) #s(literal 2/3 binary64)))
(*.f64 (pow.f64 (pow.f64 (PI.f64) #s(literal 1/27 binary64)) #s(literal 2/3 binary64)) (pow.f64 (pow.f64 (PI.f64) #s(literal 8/27 binary64)) #s(literal 2/3 binary64)))
(*.f64 (pow.f64 (*.f64 (pow.f64 (PI.f64) #s(literal 8/3 binary64)) (pow.f64 (PI.f64) #s(literal 2/9 binary64))) #s(literal 2/27 binary64)) (pow.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64)) #s(literal 2/27 binary64)))
(*.f64 (pow.f64 (pow.f64 (PI.f64) #s(literal 7/3 binary64)) #s(literal 2/27 binary64)) (pow.f64 (pow.f64 (PI.f64) #s(literal 2/3 binary64)) #s(literal 2/27 binary64)))
(*.f64 (pow.f64 (pow.f64 (PI.f64) #s(literal 19/9 binary64)) #s(literal 2/27 binary64)) (pow.f64 (pow.f64 (PI.f64) #s(literal 8/9 binary64)) #s(literal 2/27 binary64)))
(*.f64 (pow.f64 (*.f64 (PI.f64) (neg.f64 (PI.f64))) #s(literal 2/27 binary64)) (pow.f64 (neg.f64 (PI.f64)) #s(literal 2/27 binary64)))
(*.f64 (pow.f64 (pow.f64 (PI.f64) #s(literal 5/3 binary64)) #s(literal 2/27 binary64)) (pow.f64 (pow.f64 (PI.f64) #s(literal 4/3 binary64)) #s(literal 2/27 binary64)))
(*.f64 (pow.f64 (pow.f64 (PI.f64) #s(literal 4/3 binary64)) #s(literal 2/27 binary64)) (pow.f64 (pow.f64 (PI.f64) #s(literal 5/3 binary64)) #s(literal 2/27 binary64)))
(*.f64 (pow.f64 (neg.f64 (PI.f64)) #s(literal 2/27 binary64)) (pow.f64 (*.f64 (neg.f64 (PI.f64)) (PI.f64)) #s(literal 2/27 binary64)))
(*.f64 (pow.f64 (pow.f64 (PI.f64) #s(literal 8/9 binary64)) #s(literal 2/27 binary64)) (pow.f64 (pow.f64 (PI.f64) #s(literal 19/9 binary64)) #s(literal 2/27 binary64)))
(*.f64 (pow.f64 (pow.f64 (PI.f64) #s(literal 2/3 binary64)) #s(literal 2/27 binary64)) (pow.f64 (pow.f64 (PI.f64) #s(literal 7/3 binary64)) #s(literal 2/27 binary64)))
(*.f64 (pow.f64 (pow.f64 (PI.f64) #s(literal 26/9 binary64)) #s(literal 2/27 binary64)) (pow.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64)) #s(literal 2/27 binary64)))
(*.f64 (pow.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64)) #s(literal 2/27 binary64)) (pow.f64 (pow.f64 (PI.f64) #s(literal 26/9 binary64)) #s(literal 2/27 binary64)))
(*.f64 (pow.f64 (pow.f64 (cbrt.f64 (PI.f64)) #s(literal 17/3 binary64)) #s(literal 1/9 binary64)) (pow.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64)) #s(literal 1/9 binary64)))
(*.f64 (pow.f64 (cbrt.f64 (*.f64 (*.f64 (*.f64 (*.f64 (PI.f64) (PI.f64)) (PI.f64)) (PI.f64)) (neg.f64 (PI.f64)))) #s(literal 1/9 binary64)) (pow.f64 (neg.f64 (cbrt.f64 (PI.f64))) #s(literal 1/9 binary64)))
(*.f64 (pow.f64 (pow.f64 (PI.f64) #s(literal 17/9 binary64)) #s(literal 1/9 binary64)) (pow.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64)) #s(literal 1/9 binary64)))
(*.f64 (pow.f64 (neg.f64 (neg.f64 (PI.f64))) #s(literal 1/9 binary64)) (pow.f64 (neg.f64 (neg.f64 (PI.f64))) #s(literal 1/9 binary64)))
(*.f64 (pow.f64 (pow.f64 (PI.f64) #s(literal 10/9 binary64)) #s(literal 1/9 binary64)) (pow.f64 (pow.f64 (PI.f64) #s(literal 8/9 binary64)) #s(literal 1/9 binary64)))
(*.f64 (pow.f64 (pow.f64 (PI.f64) #s(literal 16/9 binary64)) #s(literal 1/9 binary64)) (pow.f64 (pow.f64 (PI.f64) #s(literal 2/9 binary64)) #s(literal 1/9 binary64)))
(*.f64 (pow.f64 (neg.f64 (neg.f64 (cbrt.f64 (PI.f64)))) #s(literal 1/3 binary64)) (pow.f64 (neg.f64 (neg.f64 (cbrt.f64 (PI.f64)))) #s(literal 1/3 binary64)))
(*.f64 (pow.f64 (pow.f64 (PI.f64) #s(literal 5/9 binary64)) #s(literal 1/3 binary64)) (pow.f64 (PI.f64) #s(literal 1/27 binary64)))
(*.f64 (pow.f64 (pow.f64 (PI.f64) #s(literal 4/9 binary64)) #s(literal 1/3 binary64)) (pow.f64 (PI.f64) #s(literal 2/27 binary64)))
(*.f64 (pow.f64 (pow.f64 (PI.f64) #s(literal 2/27 binary64)) #s(literal 2 binary64)) (pow.f64 (pow.f64 (PI.f64) #s(literal 1/27 binary64)) #s(literal 2 binary64)))
(*.f64 (pow.f64 (neg.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64))) #s(literal 2/9 binary64)) (pow.f64 (neg.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64))) #s(literal 16/9 binary64)))
(*.f64 (pow.f64 (*.f64 (pow.f64 (PI.f64) #s(literal 7/9 binary64)) (neg.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64)))) #s(literal 2/9 binary64)) (pow.f64 (neg.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64))) #s(literal 2/9 binary64)))
(*.f64 (pow.f64 (cbrt.f64 (*.f64 (PI.f64) (neg.f64 (PI.f64)))) #s(literal 2/9 binary64)) (pow.f64 (neg.f64 (cbrt.f64 (PI.f64))) #s(literal 2/9 binary64)))
(*.f64 (pow.f64 (neg.f64 (cbrt.f64 (PI.f64))) #s(literal 2/9 binary64)) (pow.f64 (cbrt.f64 (*.f64 (neg.f64 (PI.f64)) (PI.f64))) #s(literal 2/9 binary64)))
(*.f64 (pow.f64 (pow.f64 (PI.f64) #s(literal 7/9 binary64)) #s(literal 2/9 binary64)) (pow.f64 (pow.f64 (PI.f64) #s(literal 2/9 binary64)) #s(literal 2/9 binary64)))
(*.f64 (pow.f64 (pow.f64 (PI.f64) #s(literal 2/9 binary64)) #s(literal 2/9 binary64)) (pow.f64 (pow.f64 (PI.f64) #s(literal 7/9 binary64)) #s(literal 2/9 binary64)))
(*.f64 (pow.f64 (pow.f64 (PI.f64) #s(literal 2/3 binary64)) #s(literal 1/27 binary64)) (pow.f64 (pow.f64 (PI.f64) #s(literal 2/3 binary64)) #s(literal 8/27 binary64)))
(*.f64 (pow.f64 (neg.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64))) #s(literal 1/9 binary64)) (pow.f64 (neg.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64))) #s(literal 17/9 binary64)))
(*.f64 (pow.f64 (neg.f64 (cbrt.f64 (PI.f64))) #s(literal 1/9 binary64)) (pow.f64 (cbrt.f64 (*.f64 (neg.f64 (PI.f64)) (*.f64 (*.f64 (*.f64 (PI.f64) (PI.f64)) (PI.f64)) (PI.f64)))) #s(literal 1/9 binary64)))
(*.f64 (pow.f64 (pow.f64 (PI.f64) #s(literal 2/9 binary64)) #s(literal 1/9 binary64)) (pow.f64 (pow.f64 (PI.f64) #s(literal 16/9 binary64)) #s(literal 1/9 binary64)))
(*.f64 (pow.f64 (pow.f64 (PI.f64) #s(literal 2/9 binary64)) #s(literal 2/3 binary64)) (pow.f64 (PI.f64) #s(literal 2/27 binary64)))
(*.f64 (pow.f64 (neg.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64))) #s(literal 1 binary64)) (pow.f64 (neg.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64))) #s(literal 1 binary64)))
(*.f64 (pow.f64 (neg.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64))) #s(literal 1 binary64)) (neg.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64))))
(*.f64 (pow.f64 (*.f64 (*.f64 (PI.f64) (PI.f64)) (PI.f64)) (/.f64 #s(literal 2/27 binary64) #s(literal 2 binary64))) (pow.f64 (*.f64 (*.f64 (PI.f64) (PI.f64)) (PI.f64)) (/.f64 #s(literal 2/27 binary64) #s(literal 2 binary64))))
(*.f64 (pow.f64 (*.f64 (PI.f64) (PI.f64)) (/.f64 #s(literal 1/9 binary64) #s(literal 2 binary64))) (pow.f64 (*.f64 (PI.f64) (PI.f64)) (/.f64 #s(literal 1/9 binary64) #s(literal 2 binary64))))
(*.f64 (neg.f64 (neg.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64)))) (neg.f64 (neg.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64)))))
(*.f64 (pow.f64 (PI.f64) #s(literal 1/27 binary64)) (pow.f64 (*.f64 (*.f64 (*.f64 (PI.f64) (PI.f64)) (PI.f64)) (*.f64 (PI.f64) (PI.f64))) #s(literal 1/27 binary64)))
(*.f64 (pow.f64 (PI.f64) #s(literal 1/27 binary64)) (pow.f64 (pow.f64 (PI.f64) #s(literal 5/3 binary64)) #s(literal 1/9 binary64)))
(*.f64 (pow.f64 (PI.f64) #s(literal 2/27 binary64)) (cbrt.f64 (pow.f64 (PI.f64) #s(literal 4/9 binary64))))
(*.f64 (pow.f64 (PI.f64) #s(literal 2/27 binary64)) (pow.f64 (*.f64 (*.f64 (*.f64 (PI.f64) (PI.f64)) (PI.f64)) (PI.f64)) #s(literal 1/27 binary64)))
(*.f64 (pow.f64 (PI.f64) #s(literal 2/27 binary64)) (pow.f64 (*.f64 (neg.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64))) (pow.f64 (PI.f64) #s(literal 1/9 binary64))) #s(literal 2/3 binary64)))
(*.f64 (pow.f64 (PI.f64) #s(literal 2/27 binary64)) (pow.f64 (pow.f64 (PI.f64) #s(literal 4/9 binary64)) #s(literal 1/3 binary64)))
(*.f64 (pow.f64 (PI.f64) #s(literal 2/27 binary64)) (pow.f64 (pow.f64 (PI.f64) #s(literal 2/9 binary64)) #s(literal 2/3 binary64)))
(*.f64 (pow.f64 (PI.f64) #s(literal 2/27 binary64)) (pow.f64 (*.f64 (PI.f64) (PI.f64)) #s(literal 2/27 binary64)))
(*.f64 (pow.f64 (PI.f64) #s(literal 2/27 binary64)) (pow.f64 (pow.f64 (PI.f64) #s(literal 4/3 binary64)) #s(literal 1/9 binary64)))
(*.f64 (pow.f64 (PI.f64) #s(literal 2/27 binary64)) (pow.f64 (pow.f64 (PI.f64) #s(literal 2/3 binary64)) #s(literal 2/9 binary64)))
(*.f64 (pow.f64 (pow.f64 (PI.f64) #s(literal 8/3 binary64)) #s(literal 1/27 binary64)) (pow.f64 (pow.f64 (PI.f64) #s(literal 10/3 binary64)) #s(literal 1/27 binary64)))
(*.f64 (pow.f64 (pow.f64 (PI.f64) #s(literal 8/9 binary64)) #s(literal 1/9 binary64)) (pow.f64 (pow.f64 (PI.f64) #s(literal 10/9 binary64)) #s(literal 1/9 binary64)))
(*.f64 (pow.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64)) #s(literal 1/9 binary64)) (pow.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64)) #s(literal 17/9 binary64)))
(*.f64 (pow.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64)) #s(literal 1/9 binary64)) (pow.f64 (pow.f64 (PI.f64) #s(literal 17/9 binary64)) #s(literal 1/9 binary64)))
(*.f64 (pow.f64 (cbrt.f64 (PI.f64)) #s(literal 2/27 binary64)) (pow.f64 (pow.f64 (PI.f64) #s(literal 8/3 binary64)) #s(literal 2/27 binary64)))
(*.f64 (pow.f64 (pow.f64 (PI.f64) #s(literal 8/3 binary64)) #s(literal 2/27 binary64)) (pow.f64 (cbrt.f64 (PI.f64)) #s(literal 2/27 binary64)))
(*.f64 (pow.f64 (*.f64 (PI.f64) (PI.f64)) #s(literal 2/27 binary64)) (pow.f64 (PI.f64) #s(literal 2/27 binary64)))
(*.f64 (pow.f64 (pow.f64 (PI.f64) #s(literal 5/3 binary64)) #s(literal 1/9 binary64)) (pow.f64 (PI.f64) #s(literal 1/27 binary64)))
(*.f64 (pow.f64 (neg.f64 (PI.f64)) #s(literal 1/9 binary64)) (pow.f64 (neg.f64 (PI.f64)) #s(literal 1/9 binary64)))
(*.f64 (pow.f64 (pow.f64 (PI.f64) #s(literal 4/3 binary64)) #s(literal 1/9 binary64)) (pow.f64 (PI.f64) #s(literal 2/27 binary64)))
(*.f64 (pow.f64 (pow.f64 (PI.f64) #s(literal 8/9 binary64)) #s(literal 2/9 binary64)) (pow.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64)) #s(literal 2/9 binary64)))
(*.f64 (pow.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64)) #s(literal 2/9 binary64)) (pow.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64)) #s(literal 16/9 binary64)))
(*.f64 (pow.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64)) #s(literal 2/9 binary64)) (pow.f64 (pow.f64 (PI.f64) #s(literal 8/9 binary64)) #s(literal 2/9 binary64)))
(*.f64 (neg.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64))) (neg.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64))))
(*.f64 (pow.f64 (pow.f64 (PI.f64) #s(literal 2/3 binary64)) #s(literal 2/9 binary64)) (pow.f64 (PI.f64) #s(literal 2/27 binary64)))
(*.f64 (pow.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64)) (/.f64 #s(literal 2 binary64) #s(literal 2 binary64))) (pow.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64)) (/.f64 #s(literal 2 binary64) #s(literal 2 binary64))))
(*.f64 (pow.f64 (PI.f64) (/.f64 #s(literal 2/9 binary64) #s(literal 2 binary64))) (pow.f64 (PI.f64) (/.f64 #s(literal 2/9 binary64) #s(literal 2 binary64))))
(*.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64)) (pow.f64 (PI.f64) #s(literal 1/9 binary64)))
(pow.f64 (neg.f64 (neg.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64)))) #s(literal 2 binary64))
(pow.f64 (*.f64 (*.f64 (*.f64 (*.f64 (*.f64 (PI.f64) (PI.f64)) (PI.f64)) (PI.f64)) (*.f64 (PI.f64) (PI.f64))) (*.f64 (*.f64 (PI.f64) (PI.f64)) (PI.f64))) #s(literal 2/81 binary64))
(pow.f64 (neg.f64 (cbrt.f64 (PI.f64))) #s(literal 2/3 binary64))
(pow.f64 (neg.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64))) #s(literal 2 binary64))
(pow.f64 (*.f64 (*.f64 (*.f64 (*.f64 (PI.f64) (PI.f64)) (PI.f64)) (PI.f64)) (*.f64 (PI.f64) (PI.f64))) #s(literal 1/27 binary64))
(pow.f64 (cbrt.f64 (PI.f64)) #s(literal 2/3 binary64))
(pow.f64 (*.f64 (*.f64 (PI.f64) (PI.f64)) (PI.f64)) #s(literal 2/27 binary64))
(pow.f64 (*.f64 (PI.f64) (PI.f64)) #s(literal 1/9 binary64))
(pow.f64 (pow.f64 (PI.f64) #s(literal 2/3 binary64)) #s(literal 1/3 binary64))
(pow.f64 (pow.f64 (PI.f64) #s(literal 2/9 binary64)) #s(literal 1 binary64))
(pow.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64)) #s(literal 2 binary64))
(pow.f64 (PI.f64) #s(literal 2/9 binary64))
(/.f64 (pow.f64 (neg.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64))) #s(literal 1 binary64)) (pow.f64 (neg.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64))) #s(literal -1 binary64)))
(/.f64 #s(literal 1 binary64) (pow.f64 (neg.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64))) #s(literal -2 binary64)))
(/.f64 #s(literal 1 binary64) (pow.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64)) #s(literal -2 binary64)))
(/.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64)) (pow.f64 (PI.f64) #s(literal -1/9 binary64)))
(/.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64)) (pow.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64)) #s(literal -1 binary64)))
(neg.f64 (cbrt.f64 (cbrt.f64 (*.f64 (neg.f64 (PI.f64)) (PI.f64)))))
(neg.f64 (cbrt.f64 (cbrt.f64 (*.f64 (PI.f64) (neg.f64 (PI.f64))))))
(neg.f64 (*.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64)) (neg.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64)))))
(neg.f64 (*.f64 (neg.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64))) (pow.f64 (PI.f64) #s(literal 1/9 binary64))))
(cbrt.f64 (pow.f64 (PI.f64) #s(literal 2/3 binary64)))
(sqrt.f64 (pow.f64 (PI.f64) #s(literal 4/9 binary64)))
(fabs.f64 (neg.f64 (pow.f64 (PI.f64) #s(literal 2/9 binary64))))
(fabs.f64 (*.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64)) (neg.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64)))))
(fabs.f64 (*.f64 (neg.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64))) (pow.f64 (PI.f64) #s(literal 1/9 binary64))))
(fabs.f64 (pow.f64 (PI.f64) #s(literal 2/9 binary64)))
(exp.f64 (*.f64 (log.f64 (neg.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64)))) #s(literal 2 binary64)))
(exp.f64 (*.f64 (log.f64 (*.f64 (*.f64 (*.f64 (*.f64 (PI.f64) (PI.f64)) (PI.f64)) (PI.f64)) (*.f64 (PI.f64) (PI.f64)))) #s(literal 1/27 binary64)))
(exp.f64 (*.f64 (log.f64 (cbrt.f64 (PI.f64))) #s(literal 2/3 binary64)))
(exp.f64 (*.f64 (log.f64 (pow.f64 (PI.f64) #s(literal 2/3 binary64))) #s(literal 1/3 binary64)))
(exp.f64 (*.f64 (log.f64 (*.f64 (*.f64 (PI.f64) (PI.f64)) (PI.f64))) #s(literal 2/27 binary64)))
(exp.f64 (*.f64 (log.f64 (*.f64 (PI.f64) (PI.f64))) #s(literal 1/9 binary64)))
(exp.f64 (*.f64 (log.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64))) #s(literal 2 binary64)))
(exp.f64 (*.f64 (log.f64 (PI.f64)) #s(literal 2/9 binary64)))
(*.f64 (*.f64 z0 (neg.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64)))) (neg.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64))))
(*.f64 (neg.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64))) (*.f64 (neg.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64))) z0))
(*.f64 (*.f64 z0 (pow.f64 (PI.f64) #s(literal 1/9 binary64))) (pow.f64 (PI.f64) #s(literal 1/9 binary64)))
(*.f64 z0 (pow.f64 (PI.f64) #s(literal 2/9 binary64)))
(*.f64 (pow.f64 (PI.f64) #s(literal 2/9 binary64)) z0)
(*.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64)) (*.f64 z0 (pow.f64 (PI.f64) #s(literal 1/9 binary64))))
(*.f64 (*.f64 (*.f64 (pow.f64 (PI.f64) #s(literal 2/3 binary64)) z0) (neg.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64)))) (neg.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64))))
(*.f64 (neg.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64))) (*.f64 (neg.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64))) (*.f64 (pow.f64 (PI.f64) #s(literal 2/3 binary64)) z0)))
(*.f64 (pow.f64 (PI.f64) #s(literal 7/9 binary64)) (*.f64 z0 (pow.f64 (PI.f64) #s(literal 1/9 binary64))))
(*.f64 (*.f64 (pow.f64 (PI.f64) #s(literal 2/3 binary64)) z0) (pow.f64 (PI.f64) #s(literal 2/9 binary64)))
(*.f64 (*.f64 z0 (pow.f64 (PI.f64) #s(literal 2/9 binary64))) (pow.f64 (PI.f64) #s(literal 2/3 binary64)))
(*.f64 (pow.f64 (PI.f64) #s(literal 8/9 binary64)) z0)
(*.f64 (*.f64 (pow.f64 (PI.f64) #s(literal 7/9 binary64)) z0) (pow.f64 (PI.f64) #s(literal 1/9 binary64)))
(*.f64 (pow.f64 (PI.f64) #s(literal 2/3 binary64)) (*.f64 z0 (pow.f64 (PI.f64) #s(literal 2/9 binary64))))
(*.f64 (*.f64 z0 (pow.f64 (PI.f64) #s(literal 1/9 binary64))) (pow.f64 (PI.f64) #s(literal 7/9 binary64)))
(*.f64 z0 (pow.f64 (PI.f64) #s(literal 8/9 binary64)))
(*.f64 (pow.f64 (PI.f64) #s(literal 2/9 binary64)) (*.f64 (pow.f64 (PI.f64) #s(literal 2/3 binary64)) z0))
(*.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64)) (*.f64 (pow.f64 (PI.f64) #s(literal 7/9 binary64)) z0))
(*.f64 (*.f64 (*.f64 (pow.f64 (PI.f64) #s(literal 7/9 binary64)) z0) (neg.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64)))) (neg.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64))))
(*.f64 (neg.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64))) (*.f64 (neg.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64))) (*.f64 (pow.f64 (PI.f64) #s(literal 7/9 binary64)) z0)))
(*.f64 (pow.f64 (PI.f64) #s(literal 7/9 binary64)) (*.f64 z0 (pow.f64 (PI.f64) #s(literal 2/9 binary64))))
(*.f64 (*.f64 (cbrt.f64 (PI.f64)) z0) (pow.f64 (PI.f64) #s(literal 2/3 binary64)))
(*.f64 (cbrt.f64 (PI.f64)) (*.f64 (pow.f64 (PI.f64) #s(literal 2/3 binary64)) z0))
(*.f64 (*.f64 (pow.f64 (PI.f64) #s(literal 8/9 binary64)) z0) (pow.f64 (PI.f64) #s(literal 1/9 binary64)))
(*.f64 (*.f64 (pow.f64 (PI.f64) #s(literal 2/3 binary64)) z0) (cbrt.f64 (PI.f64)))
(*.f64 (*.f64 z0 (pow.f64 (PI.f64) #s(literal 2/9 binary64))) (pow.f64 (PI.f64) #s(literal 7/9 binary64)))
(*.f64 (pow.f64 (PI.f64) #s(literal 8/9 binary64)) (*.f64 z0 (pow.f64 (PI.f64) #s(literal 1/9 binary64))))
(*.f64 (*.f64 (pow.f64 (PI.f64) #s(literal 7/9 binary64)) z0) (pow.f64 (PI.f64) #s(literal 2/9 binary64)))
(*.f64 (pow.f64 (PI.f64) #s(literal 2/3 binary64)) (*.f64 (cbrt.f64 (PI.f64)) z0))
(*.f64 (*.f64 z0 (pow.f64 (PI.f64) #s(literal 1/9 binary64))) (pow.f64 (PI.f64) #s(literal 8/9 binary64)))
(*.f64 z0 (log.f64 (exp.f64 (PI.f64))))
(*.f64 z0 (PI.f64))
(*.f64 (pow.f64 (PI.f64) #s(literal 2/9 binary64)) (*.f64 (pow.f64 (PI.f64) #s(literal 7/9 binary64)) z0))
(*.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64)) (*.f64 (pow.f64 (PI.f64) #s(literal 8/9 binary64)) z0))
(*.f64 (PI.f64) z0)
(log.f64 (exp.f64 (*.f64 z0 (PI.f64))))
(*.f64 (pow.f64 (PI.f64) #s(literal 2/3 binary64)) z0)
(*.f64 z0 (pow.f64 (PI.f64) #s(literal 2/3 binary64)))
(*.f64 (*.f64 (*.f64 (pow.f64 (PI.f64) #s(literal 2/3 binary64)) z0) (neg.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64)))) (neg.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64))))
(*.f64 (neg.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64))) (*.f64 (neg.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64))) (*.f64 (pow.f64 (PI.f64) #s(literal 2/3 binary64)) z0)))
(*.f64 (pow.f64 (PI.f64) #s(literal 7/9 binary64)) (*.f64 z0 (pow.f64 (PI.f64) #s(literal 1/9 binary64))))
(*.f64 (*.f64 (pow.f64 (PI.f64) #s(literal 2/3 binary64)) z0) (pow.f64 (PI.f64) #s(literal 2/9 binary64)))
(*.f64 (*.f64 z0 (pow.f64 (PI.f64) #s(literal 2/9 binary64))) (pow.f64 (PI.f64) #s(literal 2/3 binary64)))
(*.f64 (pow.f64 (PI.f64) #s(literal 8/9 binary64)) z0)
(*.f64 (*.f64 (pow.f64 (PI.f64) #s(literal 7/9 binary64)) z0) (pow.f64 (PI.f64) #s(literal 1/9 binary64)))
(*.f64 (pow.f64 (PI.f64) #s(literal 2/3 binary64)) (*.f64 z0 (pow.f64 (PI.f64) #s(literal 2/9 binary64))))
(*.f64 (*.f64 z0 (pow.f64 (PI.f64) #s(literal 1/9 binary64))) (pow.f64 (PI.f64) #s(literal 7/9 binary64)))
(*.f64 z0 (pow.f64 (PI.f64) #s(literal 8/9 binary64)))
(*.f64 (pow.f64 (PI.f64) #s(literal 2/9 binary64)) (*.f64 (pow.f64 (PI.f64) #s(literal 2/3 binary64)) z0))
(*.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64)) (*.f64 (pow.f64 (PI.f64) #s(literal 7/9 binary64)) z0))
(*.f64 (*.f64 (*.f64 (pow.f64 (PI.f64) #s(literal 7/9 binary64)) z0) (neg.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64)))) (neg.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64))))
(*.f64 (neg.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64))) (*.f64 (neg.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64))) (*.f64 (pow.f64 (PI.f64) #s(literal 7/9 binary64)) z0)))
(*.f64 (pow.f64 (PI.f64) #s(literal 7/9 binary64)) (*.f64 z0 (pow.f64 (PI.f64) #s(literal 2/9 binary64))))
(*.f64 (*.f64 (cbrt.f64 (PI.f64)) z0) (pow.f64 (PI.f64) #s(literal 2/3 binary64)))
(*.f64 (cbrt.f64 (PI.f64)) (*.f64 (pow.f64 (PI.f64) #s(literal 2/3 binary64)) z0))
(*.f64 (*.f64 (pow.f64 (PI.f64) #s(literal 8/9 binary64)) z0) (pow.f64 (PI.f64) #s(literal 1/9 binary64)))
(*.f64 (*.f64 (pow.f64 (PI.f64) #s(literal 2/3 binary64)) z0) (cbrt.f64 (PI.f64)))
(*.f64 (*.f64 z0 (pow.f64 (PI.f64) #s(literal 2/9 binary64))) (pow.f64 (PI.f64) #s(literal 7/9 binary64)))
(*.f64 (pow.f64 (PI.f64) #s(literal 8/9 binary64)) (*.f64 z0 (pow.f64 (PI.f64) #s(literal 1/9 binary64))))
(*.f64 (*.f64 (pow.f64 (PI.f64) #s(literal 7/9 binary64)) z0) (pow.f64 (PI.f64) #s(literal 2/9 binary64)))
(*.f64 (pow.f64 (PI.f64) #s(literal 2/3 binary64)) (*.f64 (cbrt.f64 (PI.f64)) z0))
(*.f64 (*.f64 z0 (pow.f64 (PI.f64) #s(literal 1/9 binary64))) (pow.f64 (PI.f64) #s(literal 8/9 binary64)))
(*.f64 z0 (log.f64 (exp.f64 (PI.f64))))
(*.f64 z0 (PI.f64))
(*.f64 (pow.f64 (PI.f64) #s(literal 2/9 binary64)) (*.f64 (pow.f64 (PI.f64) #s(literal 7/9 binary64)) z0))
(*.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64)) (*.f64 (pow.f64 (PI.f64) #s(literal 8/9 binary64)) z0))
(*.f64 (PI.f64) z0)
(log.f64 (exp.f64 (*.f64 z0 (PI.f64))))

eval82.0ms (6.5%)

Memory
-17.8MiB live, 168.9MiB allocated; 18ms collecting garbage
Compiler

Compiled 18 613 to 2 436 computations (86.9% saved)

prune13.0ms (1.0%)

Memory
37.9MiB live, 37.9MiB allocated; 0ms collecting garbage
Pruning

9 alts after pruning (3 fresh and 6 done)

PrunedKeptTotal
New9273930
Fresh000
Picked505
Done-264
Total9309939
Accuracy
100.0%
Counts
939 → 9
Alt Table
Click to see full alt table
StatusAccuracyProgram
99.6%
(*.f64 (pow.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64)) #s(literal 2 binary64)) (*.f64 (pow.f64 (PI.f64) #s(literal 7/9 binary64)) z0))
99.3%
(*.f64 (pow.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64)) #s(literal 2 binary64)) (*.f64 (*.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64)) z0) (pow.f64 (PI.f64) #s(literal 2/3 binary64))))
99.1%
(*.f64 (pow.f64 (PI.f64) #s(literal 8/9 binary64)) (*.f64 z0 (pow.f64 (PI.f64) #s(literal 1/9 binary64))))
98.8%
(*.f64 (pow.f64 (PI.f64) #s(literal 2/9 binary64)) (*.f64 (*.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64)) z0) (pow.f64 (PI.f64) #s(literal 2/3 binary64))))
99.1%
(*.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64)) (*.f64 (pow.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64)) #s(literal 6 binary64)) (*.f64 z0 (pow.f64 (PI.f64) #s(literal 2/9 binary64)))))
99.3%
(*.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64)) (*.f64 (pow.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64)) #s(literal 2 binary64)) (*.f64 (pow.f64 (PI.f64) #s(literal 2/3 binary64)) z0)))
99.2%
(*.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64)) (*.f64 (pow.f64 (PI.f64) #s(literal 8/9 binary64)) z0))
99.4%
(*.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64)) (*.f64 (pow.f64 (PI.f64) #s(literal 7/9 binary64)) (*.f64 z0 (pow.f64 (PI.f64) #s(literal 1/9 binary64)))))
99.6%
(*.f64 (PI.f64) z0)
Compiler

Compiled 103 to 82 computations (20.4% saved)

rewrite110.0ms (8.8%)

Memory
-13.8MiB live, 176.6MiB allocated; 11ms collecting garbage
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
020100
03496
19384
225462
392861
0418956
Stop Event
iter-limit
node-limit
iter-limit
Counts
20 → 445
Calls
Call 1
Inputs
(PI.f64)
#s(literal 1/9 binary64)
(pow.f64 (PI.f64) #s(literal 1/9 binary64))
#s(literal 7/9 binary64)
(pow.f64 (PI.f64) #s(literal 7/9 binary64))
z0
(*.f64 z0 (pow.f64 (PI.f64) #s(literal 1/9 binary64)))
(*.f64 (pow.f64 (PI.f64) #s(literal 7/9 binary64)) (*.f64 z0 (pow.f64 (PI.f64) #s(literal 1/9 binary64))))
(*.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64)) (*.f64 (pow.f64 (PI.f64) #s(literal 7/9 binary64)) (*.f64 z0 (pow.f64 (PI.f64) #s(literal 1/9 binary64)))))
#s(literal 6 binary64)
(pow.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64)) #s(literal 6 binary64))
#s(literal 2/9 binary64)
(pow.f64 (PI.f64) #s(literal 2/9 binary64))
(*.f64 z0 (pow.f64 (PI.f64) #s(literal 2/9 binary64)))
(*.f64 (pow.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64)) #s(literal 6 binary64)) (*.f64 z0 (pow.f64 (PI.f64) #s(literal 2/9 binary64))))
(*.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64)) (*.f64 (pow.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64)) #s(literal 6 binary64)) (*.f64 z0 (pow.f64 (PI.f64) #s(literal 2/9 binary64)))))
#s(literal 2 binary64)
(pow.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64)) #s(literal 2 binary64))
(*.f64 (pow.f64 (PI.f64) #s(literal 7/9 binary64)) z0)
(*.f64 (pow.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64)) #s(literal 2 binary64)) (*.f64 (pow.f64 (PI.f64) #s(literal 7/9 binary64)) z0))
Outputs
(PI.f64)
#s(literal 1/9 binary64)
(*.f64 (pow.f64 (cbrt.f64 (PI.f64)) (/.f64 #s(literal 1/3 binary64) #s(literal 2 binary64))) (pow.f64 (cbrt.f64 (PI.f64)) (/.f64 #s(literal 1/3 binary64) #s(literal 2 binary64))))
(*.f64 (sqrt.f64 (neg.f64 (neg.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64))))) (sqrt.f64 (neg.f64 (neg.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64))))))
(*.f64 (sqrt.f64 (neg.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64)))) (sqrt.f64 (neg.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64)))))
(*.f64 (sqrt.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64))) (sqrt.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64))))
(*.f64 (cbrt.f64 (neg.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64)))) (cbrt.f64 (*.f64 (neg.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64))) (pow.f64 (PI.f64) #s(literal 1/9 binary64)))))
(*.f64 (pow.f64 (neg.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64))) #s(literal 1/3 binary64)) (pow.f64 (*.f64 (neg.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64))) (pow.f64 (PI.f64) #s(literal 1/9 binary64))) #s(literal 1/3 binary64)))
(*.f64 (pow.f64 (*.f64 (pow.f64 (PI.f64) #s(literal 8/3 binary64)) (pow.f64 (PI.f64) #s(literal 2/9 binary64))) #s(literal 1/27 binary64)) (pow.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64)) #s(literal 1/27 binary64)))
(*.f64 (pow.f64 (*.f64 (PI.f64) (neg.f64 (PI.f64))) #s(literal 1/27 binary64)) (pow.f64 (neg.f64 (PI.f64)) #s(literal 1/27 binary64)))
(*.f64 (pow.f64 (pow.f64 (PI.f64) #s(literal 5/3 binary64)) #s(literal 1/27 binary64)) (pow.f64 (pow.f64 (PI.f64) #s(literal 4/3 binary64)) #s(literal 1/27 binary64)))
(*.f64 (pow.f64 (pow.f64 (PI.f64) #s(literal 4/3 binary64)) #s(literal 1/27 binary64)) (pow.f64 (pow.f64 (PI.f64) #s(literal 5/3 binary64)) #s(literal 1/27 binary64)))
(*.f64 (pow.f64 (neg.f64 (PI.f64)) #s(literal 1/27 binary64)) (pow.f64 (*.f64 (neg.f64 (PI.f64)) (PI.f64)) #s(literal 1/27 binary64)))
(*.f64 (pow.f64 (pow.f64 (PI.f64) #s(literal 7/3 binary64)) #s(literal 1/27 binary64)) (pow.f64 (pow.f64 (PI.f64) #s(literal 2/3 binary64)) #s(literal 1/27 binary64)))
(*.f64 (pow.f64 (*.f64 (pow.f64 (PI.f64) #s(literal 7/9 binary64)) (neg.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64)))) #s(literal 1/9 binary64)) (pow.f64 (neg.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64))) #s(literal 1/9 binary64)))
(*.f64 (pow.f64 (cbrt.f64 (*.f64 (PI.f64) (neg.f64 (PI.f64)))) #s(literal 1/9 binary64)) (pow.f64 (neg.f64 (cbrt.f64 (PI.f64))) #s(literal 1/9 binary64)))
(*.f64 (pow.f64 (neg.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64))) #s(literal 1/9 binary64)) (pow.f64 (*.f64 (neg.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64))) (pow.f64 (PI.f64) #s(literal 7/9 binary64))) #s(literal 1/9 binary64)))
(*.f64 (pow.f64 (pow.f64 (PI.f64) #s(literal 2/9 binary64)) #s(literal 1/9 binary64)) (pow.f64 (pow.f64 (PI.f64) #s(literal 7/9 binary64)) #s(literal 1/9 binary64)))
(*.f64 (pow.f64 (pow.f64 (PI.f64) #s(literal 7/9 binary64)) #s(literal 1/9 binary64)) (pow.f64 (pow.f64 (PI.f64) #s(literal 2/9 binary64)) #s(literal 1/9 binary64)))
(*.f64 (pow.f64 (pow.f64 (PI.f64) #s(literal 8/9 binary64)) #s(literal 1/9 binary64)) (pow.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64)) #s(literal 1/9 binary64)))
(*.f64 (pow.f64 (pow.f64 (PI.f64) #s(literal 2/3 binary64)) #s(literal 1/27 binary64)) (pow.f64 (pow.f64 (PI.f64) #s(literal 7/3 binary64)) #s(literal 1/27 binary64)))
(*.f64 (pow.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64)) #s(literal 1/9 binary64)) (pow.f64 (pow.f64 (PI.f64) #s(literal 8/9 binary64)) #s(literal 1/9 binary64)))
(*.f64 (pow.f64 (neg.f64 (cbrt.f64 (PI.f64))) #s(literal 1/9 binary64)) (pow.f64 (cbrt.f64 (*.f64 (neg.f64 (PI.f64)) (PI.f64))) #s(literal 1/9 binary64)))
(*.f64 (pow.f64 (*.f64 (*.f64 (PI.f64) (PI.f64)) (PI.f64)) (/.f64 #s(literal 1/27 binary64) #s(literal 2 binary64))) (pow.f64 (*.f64 (*.f64 (PI.f64) (PI.f64)) (PI.f64)) (/.f64 #s(literal 1/27 binary64) #s(literal 2 binary64))))
(*.f64 (pow.f64 (PI.f64) #s(literal 1/27 binary64)) (pow.f64 (PI.f64) #s(literal 2/27 binary64)))
(*.f64 (pow.f64 (PI.f64) #s(literal 2/27 binary64)) (fabs.f64 (pow.f64 (PI.f64) #s(literal 1/27 binary64))))
(*.f64 (pow.f64 (PI.f64) #s(literal 2/27 binary64)) (pow.f64 (PI.f64) #s(literal 1/27 binary64)))
(*.f64 (pow.f64 (cbrt.f64 (PI.f64)) #s(literal 1/27 binary64)) (pow.f64 (pow.f64 (PI.f64) #s(literal 8/3 binary64)) #s(literal 1/27 binary64)))
(*.f64 (pow.f64 (pow.f64 (PI.f64) #s(literal 8/3 binary64)) #s(literal 1/27 binary64)) (pow.f64 (cbrt.f64 (PI.f64)) #s(literal 1/27 binary64)))
(*.f64 (pow.f64 (cbrt.f64 (PI.f64)) #s(literal 2/27 binary64)) (pow.f64 (cbrt.f64 (PI.f64)) #s(literal 7/27 binary64)))
(*.f64 (pow.f64 (cbrt.f64 (PI.f64)) #s(literal 7/27 binary64)) (pow.f64 (cbrt.f64 (PI.f64)) #s(literal 2/27 binary64)))
(*.f64 (pow.f64 (PI.f64) (/.f64 #s(literal 1/9 binary64) #s(literal 2 binary64))) (pow.f64 (PI.f64) (/.f64 #s(literal 1/9 binary64) #s(literal 2 binary64))))
(pow.f64 (*.f64 (*.f64 (*.f64 (*.f64 (*.f64 (PI.f64) (PI.f64)) (PI.f64)) (PI.f64)) (*.f64 (PI.f64) (PI.f64))) (*.f64 (*.f64 (PI.f64) (PI.f64)) (PI.f64))) #s(literal 1/81 binary64))
(pow.f64 (cbrt.f64 (PI.f64)) #s(literal 1/3 binary64))
(pow.f64 (*.f64 (*.f64 (PI.f64) (PI.f64)) (PI.f64)) #s(literal 1/27 binary64))
(pow.f64 (pow.f64 (PI.f64) #s(literal 2/9 binary64)) #s(literal 1/2 binary64))
(pow.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64)) #s(literal 1 binary64))
(pow.f64 (PI.f64) #s(literal 1/9 binary64))
(cbrt.f64 (cbrt.f64 (PI.f64)))
(sqrt.f64 (pow.f64 (PI.f64) #s(literal 2/9 binary64)))
(fabs.f64 (neg.f64 (neg.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64)))))
(fabs.f64 (neg.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64))))
(fabs.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64)))
(exp.f64 (*.f64 (log.f64 (cbrt.f64 (PI.f64))) #s(literal 1/3 binary64)))
(exp.f64 (*.f64 (log.f64 (*.f64 (*.f64 (PI.f64) (PI.f64)) (PI.f64))) #s(literal 1/27 binary64)))
(exp.f64 (*.f64 (log.f64 (PI.f64)) #s(literal 1/9 binary64)))
#s(literal 7/9 binary64)
(*.f64 (pow.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64)) (/.f64 #s(literal 7 binary64) #s(literal 2 binary64))) (pow.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64)) (/.f64 #s(literal 7 binary64) #s(literal 2 binary64))))
(*.f64 (pow.f64 (*.f64 (pow.f64 (PI.f64) #s(literal 8/3 binary64)) (pow.f64 (PI.f64) #s(literal 2/9 binary64))) #s(literal 7/27 binary64)) (pow.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64)) #s(literal 7/27 binary64)))
(*.f64 (pow.f64 (*.f64 (PI.f64) (neg.f64 (PI.f64))) #s(literal 7/27 binary64)) (pow.f64 (neg.f64 (PI.f64)) #s(literal 7/27 binary64)))
(*.f64 (pow.f64 (pow.f64 (PI.f64) #s(literal 5/3 binary64)) #s(literal 7/27 binary64)) (pow.f64 (pow.f64 (PI.f64) #s(literal 4/3 binary64)) #s(literal 7/27 binary64)))
(*.f64 (pow.f64 (pow.f64 (PI.f64) #s(literal 4/3 binary64)) #s(literal 7/27 binary64)) (pow.f64 (pow.f64 (PI.f64) #s(literal 5/3 binary64)) #s(literal 7/27 binary64)))
(*.f64 (pow.f64 (neg.f64 (PI.f64)) #s(literal 7/27 binary64)) (pow.f64 (*.f64 (neg.f64 (PI.f64)) (PI.f64)) #s(literal 7/27 binary64)))
(*.f64 (pow.f64 (pow.f64 (PI.f64) #s(literal 7/3 binary64)) #s(literal 7/27 binary64)) (pow.f64 (pow.f64 (PI.f64) #s(literal 2/3 binary64)) #s(literal 7/27 binary64)))
(*.f64 (pow.f64 (pow.f64 (PI.f64) #s(literal 2/3 binary64)) #s(literal 7/27 binary64)) (pow.f64 (pow.f64 (PI.f64) #s(literal 7/3 binary64)) #s(literal 7/27 binary64)))
(*.f64 (pow.f64 (*.f64 (pow.f64 (PI.f64) #s(literal 7/9 binary64)) (neg.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64)))) #s(literal 7/9 binary64)) (pow.f64 (neg.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64))) #s(literal 7/9 binary64)))
(*.f64 (pow.f64 (cbrt.f64 (*.f64 (PI.f64) (neg.f64 (PI.f64)))) #s(literal 7/9 binary64)) (pow.f64 (neg.f64 (cbrt.f64 (PI.f64))) #s(literal 7/9 binary64)))
(*.f64 (pow.f64 (neg.f64 (cbrt.f64 (PI.f64))) #s(literal 7/9 binary64)) (pow.f64 (cbrt.f64 (*.f64 (neg.f64 (PI.f64)) (PI.f64))) #s(literal 7/9 binary64)))
(*.f64 (pow.f64 (neg.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64))) #s(literal 7/9 binary64)) (pow.f64 (*.f64 (neg.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64))) (pow.f64 (PI.f64) #s(literal 7/9 binary64))) #s(literal 7/9 binary64)))
(*.f64 (pow.f64 (pow.f64 (PI.f64) #s(literal 2/9 binary64)) #s(literal 7/9 binary64)) (pow.f64 (pow.f64 (PI.f64) #s(literal 7/9 binary64)) #s(literal 7/9 binary64)))
(*.f64 (pow.f64 (pow.f64 (PI.f64) #s(literal 7/9 binary64)) #s(literal 7/9 binary64)) (pow.f64 (pow.f64 (PI.f64) #s(literal 2/9 binary64)) #s(literal 7/9 binary64)))
(*.f64 (pow.f64 (pow.f64 (PI.f64) #s(literal 8/9 binary64)) #s(literal 7/9 binary64)) (pow.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64)) #s(literal 7/9 binary64)))
(*.f64 (pow.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64)) #s(literal 7/9 binary64)) (pow.f64 (pow.f64 (PI.f64) #s(literal 8/9 binary64)) #s(literal 7/9 binary64)))
(*.f64 (pow.f64 (pow.f64 (PI.f64) #s(literal 2/27 binary64)) #s(literal 7 binary64)) (pow.f64 (pow.f64 (PI.f64) #s(literal 1/27 binary64)) #s(literal 7 binary64)))
(*.f64 (pow.f64 (*.f64 (*.f64 (PI.f64) (PI.f64)) (PI.f64)) (/.f64 #s(literal 7/27 binary64) #s(literal 2 binary64))) (pow.f64 (*.f64 (*.f64 (PI.f64) (PI.f64)) (PI.f64)) (/.f64 #s(literal 7/27 binary64) #s(literal 2 binary64))))
(*.f64 (pow.f64 (cbrt.f64 (PI.f64)) #s(literal 7/27 binary64)) (pow.f64 (pow.f64 (PI.f64) #s(literal 8/3 binary64)) #s(literal 7/27 binary64)))
(*.f64 (pow.f64 (pow.f64 (PI.f64) #s(literal 8/3 binary64)) #s(literal 7/27 binary64)) (pow.f64 (cbrt.f64 (PI.f64)) #s(literal 7/27 binary64)))
(*.f64 (pow.f64 (*.f64 (PI.f64) (PI.f64)) #s(literal 7/27 binary64)) (pow.f64 (PI.f64) #s(literal 7/27 binary64)))
(*.f64 (pow.f64 (PI.f64) #s(literal 7/27 binary64)) (pow.f64 (*.f64 (PI.f64) (PI.f64)) #s(literal 7/27 binary64)))
(*.f64 (pow.f64 (cbrt.f64 (PI.f64)) #s(literal 7/9 binary64)) (pow.f64 (pow.f64 (PI.f64) #s(literal 2/3 binary64)) #s(literal 7/9 binary64)))
(*.f64 (pow.f64 (pow.f64 (PI.f64) #s(literal 2/3 binary64)) #s(literal 7/9 binary64)) (pow.f64 (cbrt.f64 (PI.f64)) #s(literal 7/9 binary64)))
(*.f64 (pow.f64 (PI.f64) (/.f64 #s(literal 7/9 binary64) #s(literal 2 binary64))) (pow.f64 (PI.f64) (/.f64 #s(literal 7/9 binary64) #s(literal 2 binary64))))
(*.f64 (pow.f64 (PI.f64) #s(literal 2/3 binary64)) (pow.f64 (PI.f64) #s(literal 1/9 binary64)))
(*.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64)) (pow.f64 (PI.f64) #s(literal 2/3 binary64)))
(pow.f64 (pow.f64 (PI.f64) #s(literal 7/3 binary64)) #s(literal 1/3 binary64))
(pow.f64 (*.f64 (*.f64 (*.f64 (*.f64 (*.f64 (PI.f64) (PI.f64)) (PI.f64)) (PI.f64)) (*.f64 (PI.f64) (PI.f64))) (*.f64 (*.f64 (PI.f64) (PI.f64)) (PI.f64))) #s(literal 7/81 binary64))
(pow.f64 (cbrt.f64 (PI.f64)) #s(literal 7/3 binary64))
(pow.f64 (*.f64 (*.f64 (PI.f64) (PI.f64)) (PI.f64)) #s(literal 7/27 binary64))
(pow.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64)) #s(literal 7 binary64))
(pow.f64 (PI.f64) #s(literal 7/9 binary64))
(cbrt.f64 (pow.f64 (PI.f64) #s(literal 7/3 binary64)))
(exp.f64 (*.f64 (log.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64))) #s(literal 7 binary64)))
(exp.f64 (*.f64 (log.f64 (*.f64 (*.f64 (PI.f64) (PI.f64)) (PI.f64))) #s(literal 7/27 binary64)))
(exp.f64 (*.f64 (log.f64 (PI.f64)) #s(literal 7/9 binary64)))
z0
(*.f64 z0 (pow.f64 (PI.f64) #s(literal 1/9 binary64)))
(*.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64)) z0)
(*.f64 (*.f64 (*.f64 (pow.f64 (PI.f64) #s(literal 2/3 binary64)) z0) (neg.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64)))) (neg.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64))))
(*.f64 (*.f64 z0 (pow.f64 (PI.f64) #s(literal 7/9 binary64))) (pow.f64 (PI.f64) #s(literal 1/9 binary64)))
(*.f64 (*.f64 (pow.f64 (PI.f64) #s(literal 2/9 binary64)) z0) (pow.f64 (PI.f64) #s(literal 2/3 binary64)))
(*.f64 (neg.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64))) (*.f64 (neg.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64))) (*.f64 (pow.f64 (PI.f64) #s(literal 2/3 binary64)) z0)))
(*.f64 (pow.f64 (PI.f64) #s(literal 8/9 binary64)) z0)
(*.f64 (*.f64 (pow.f64 (PI.f64) #s(literal 2/3 binary64)) z0) (pow.f64 (PI.f64) #s(literal 2/9 binary64)))
(*.f64 (pow.f64 (PI.f64) #s(literal 2/3 binary64)) (*.f64 (pow.f64 (PI.f64) #s(literal 2/9 binary64)) z0))
(*.f64 (pow.f64 (PI.f64) #s(literal 2/9 binary64)) (*.f64 (pow.f64 (PI.f64) #s(literal 2/3 binary64)) z0))
(*.f64 (*.f64 z0 (pow.f64 (PI.f64) #s(literal 1/9 binary64))) (pow.f64 (PI.f64) #s(literal 7/9 binary64)))
(*.f64 z0 (pow.f64 (PI.f64) #s(literal 8/9 binary64)))
(*.f64 (pow.f64 (PI.f64) #s(literal 7/9 binary64)) (*.f64 z0 (pow.f64 (PI.f64) #s(literal 1/9 binary64))))
(*.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64)) (*.f64 z0 (pow.f64 (PI.f64) #s(literal 7/9 binary64))))
(*.f64 (*.f64 (*.f64 z0 (pow.f64 (PI.f64) #s(literal 7/9 binary64))) (neg.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64)))) (neg.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64))))
(*.f64 (*.f64 z0 (pow.f64 (PI.f64) #s(literal 7/9 binary64))) (pow.f64 (PI.f64) #s(literal 2/9 binary64)))
(*.f64 (*.f64 (cbrt.f64 (PI.f64)) z0) (pow.f64 (PI.f64) #s(literal 2/3 binary64)))
(*.f64 (*.f64 (pow.f64 (PI.f64) #s(literal 2/9 binary64)) z0) (pow.f64 (PI.f64) #s(literal 7/9 binary64)))
(*.f64 (neg.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64))) (*.f64 (neg.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64))) (*.f64 z0 (pow.f64 (PI.f64) #s(literal 7/9 binary64)))))
(*.f64 (pow.f64 (PI.f64) #s(literal 8/9 binary64)) (*.f64 z0 (pow.f64 (PI.f64) #s(literal 1/9 binary64))))
(*.f64 (*.f64 (pow.f64 (PI.f64) #s(literal 2/3 binary64)) z0) (cbrt.f64 (PI.f64)))
(*.f64 (pow.f64 (PI.f64) #s(literal 2/3 binary64)) (*.f64 (cbrt.f64 (PI.f64)) z0))
(*.f64 (cbrt.f64 (PI.f64)) (*.f64 (pow.f64 (PI.f64) #s(literal 2/3 binary64)) z0))
(*.f64 (pow.f64 (PI.f64) #s(literal 2/9 binary64)) (*.f64 z0 (pow.f64 (PI.f64) #s(literal 7/9 binary64))))
(*.f64 (*.f64 (pow.f64 (PI.f64) #s(literal 8/9 binary64)) z0) (pow.f64 (PI.f64) #s(literal 1/9 binary64)))
(*.f64 (*.f64 z0 (pow.f64 (PI.f64) #s(literal 1/9 binary64))) (pow.f64 (PI.f64) #s(literal 8/9 binary64)))
(*.f64 z0 (PI.f64))
(*.f64 (pow.f64 (PI.f64) #s(literal 7/9 binary64)) (*.f64 (pow.f64 (PI.f64) #s(literal 2/9 binary64)) z0))
(*.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64)) (*.f64 (pow.f64 (PI.f64) #s(literal 8/9 binary64)) z0))
(*.f64 (PI.f64) z0)
(log.f64 (pow.f64 (exp.f64 (PI.f64)) z0))
#s(literal 6 binary64)
(*.f64 (pow.f64 (neg.f64 (cbrt.f64 (PI.f64))) (/.f64 #s(literal 2 binary64) #s(literal 2 binary64))) (pow.f64 (neg.f64 (cbrt.f64 (PI.f64))) (/.f64 #s(literal 2 binary64) #s(literal 2 binary64))))
(*.f64 (pow.f64 (*.f64 (PI.f64) (PI.f64)) (/.f64 #s(literal 1/3 binary64) #s(literal 2 binary64))) (pow.f64 (*.f64 (PI.f64) (PI.f64)) (/.f64 #s(literal 1/3 binary64) #s(literal 2 binary64))))
(*.f64 (pow.f64 (PI.f64) (/.f64 #s(literal 2/3 binary64) #s(literal 2 binary64))) (pow.f64 (PI.f64) (/.f64 #s(literal 2/3 binary64) #s(literal 2 binary64))))
(*.f64 (pow.f64 (pow.f64 (PI.f64) #s(literal 2/9 binary64)) (/.f64 #s(literal 3 binary64) #s(literal 2 binary64))) (pow.f64 (pow.f64 (PI.f64) #s(literal 2/9 binary64)) (/.f64 #s(literal 3 binary64) #s(literal 2 binary64))))
(*.f64 (neg.f64 (neg.f64 (neg.f64 (cbrt.f64 (PI.f64))))) (neg.f64 (neg.f64 (neg.f64 (cbrt.f64 (PI.f64))))))
(*.f64 (fabs.f64 (pow.f64 (PI.f64) #s(literal 5/9 binary64))) (pow.f64 (PI.f64) #s(literal 1/9 binary64)))
(*.f64 (cbrt.f64 (pow.f64 (cbrt.f64 (PI.f64)) #s(literal 17/3 binary64))) (pow.f64 (PI.f64) #s(literal 1/27 binary64)))
(*.f64 (cbrt.f64 (cbrt.f64 (*.f64 (*.f64 (*.f64 (*.f64 (PI.f64) (PI.f64)) (PI.f64)) (PI.f64)) (neg.f64 (PI.f64))))) (neg.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64))))
(*.f64 (pow.f64 (pow.f64 (PI.f64) #s(literal 2/27 binary64)) #s(literal 6 binary64)) (pow.f64 (pow.f64 (PI.f64) #s(literal 1/27 binary64)) #s(literal 6 binary64)))
(*.f64 (pow.f64 (neg.f64 (pow.f64 (PI.f64) #s(literal 2/9 binary64))) #s(literal 2 binary64)) (pow.f64 (PI.f64) #s(literal 2/9 binary64)))
(*.f64 (pow.f64 (pow.f64 (cbrt.f64 (PI.f64)) #s(literal 17/3 binary64)) #s(literal 1/3 binary64)) (pow.f64 (PI.f64) #s(literal 1/27 binary64)))
(*.f64 (pow.f64 (cbrt.f64 (*.f64 (*.f64 (*.f64 (*.f64 (PI.f64) (PI.f64)) (PI.f64)) (PI.f64)) (neg.f64 (PI.f64)))) #s(literal 1/3 binary64)) (neg.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64))))
(*.f64 (pow.f64 (neg.f64 (neg.f64 (PI.f64))) #s(literal 1/3 binary64)) (pow.f64 (neg.f64 (neg.f64 (PI.f64))) #s(literal 1/3 binary64)))
(*.f64 (pow.f64 (*.f64 (pow.f64 (PI.f64) #s(literal 7/9 binary64)) (neg.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64)))) #s(literal 2/3 binary64)) (pow.f64 (PI.f64) #s(literal 2/27 binary64)))
(*.f64 (pow.f64 (cbrt.f64 (*.f64 (PI.f64) (neg.f64 (PI.f64)))) #s(literal 2/3 binary64)) (pow.f64 (PI.f64) #s(literal 2/9 binary64)))
(*.f64 (pow.f64 (pow.f64 (PI.f64) #s(literal 7/9 binary64)) #s(literal 2/3 binary64)) (pow.f64 (pow.f64 (PI.f64) #s(literal 2/9 binary64)) #s(literal 2/3 binary64)))
(*.f64 (pow.f64 (pow.f64 (PI.f64) #s(literal 8/9 binary64)) #s(literal 2/3 binary64)) (pow.f64 (PI.f64) #s(literal 2/27 binary64)))
(*.f64 (pow.f64 (pow.f64 (PI.f64) #s(literal 2/9 binary64)) #s(literal 2/3 binary64)) (pow.f64 (pow.f64 (PI.f64) #s(literal 7/9 binary64)) #s(literal 2/3 binary64)))
(*.f64 (pow.f64 (neg.f64 (neg.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64)))) #s(literal 3 binary64)) (pow.f64 (neg.f64 (neg.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64)))) #s(literal 3 binary64)))
(*.f64 (pow.f64 (PI.f64) #s(literal 4/9 binary64)) (pow.f64 (PI.f64) #s(literal 2/9 binary64)))
(*.f64 (pow.f64 (cbrt.f64 (PI.f64)) (/.f64 #s(literal 2 binary64) #s(literal 2 binary64))) (pow.f64 (cbrt.f64 (PI.f64)) (/.f64 #s(literal 2 binary64) #s(literal 2 binary64))))
(*.f64 (neg.f64 (neg.f64 (cbrt.f64 (PI.f64)))) (neg.f64 (neg.f64 (cbrt.f64 (PI.f64)))))
(*.f64 (pow.f64 (PI.f64) #s(literal 5/9 binary64)) (pow.f64 (PI.f64) #s(literal 1/9 binary64)))
(*.f64 (pow.f64 (PI.f64) #s(literal 2/27 binary64)) (pow.f64 (*.f64 (neg.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64))) (pow.f64 (PI.f64) #s(literal 7/9 binary64))) #s(literal 2/3 binary64)))
(*.f64 (pow.f64 (PI.f64) #s(literal 2/27 binary64)) (pow.f64 (pow.f64 (PI.f64) #s(literal 8/9 binary64)) #s(literal 2/3 binary64)))
(*.f64 (pow.f64 (*.f64 (PI.f64) (PI.f64)) #s(literal 2/27 binary64)) (pow.f64 (*.f64 (PI.f64) (PI.f64)) #s(literal 7/27 binary64)))
(*.f64 (pow.f64 (*.f64 (PI.f64) (PI.f64)) #s(literal 7/27 binary64)) (pow.f64 (*.f64 (PI.f64) (PI.f64)) #s(literal 2/27 binary64)))
(*.f64 (neg.f64 (cbrt.f64 (PI.f64))) (neg.f64 (cbrt.f64 (PI.f64))))
(*.f64 (neg.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64))) (cbrt.f64 (cbrt.f64 (*.f64 (neg.f64 (PI.f64)) (*.f64 (*.f64 (*.f64 (PI.f64) (PI.f64)) (PI.f64)) (PI.f64))))))
(*.f64 (neg.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64))) (pow.f64 (cbrt.f64 (*.f64 (neg.f64 (PI.f64)) (*.f64 (*.f64 (*.f64 (PI.f64) (PI.f64)) (PI.f64)) (PI.f64)))) #s(literal 1/3 binary64)))
(*.f64 (pow.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64)) (/.f64 #s(literal 6 binary64) #s(literal 2 binary64))) (pow.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64)) (/.f64 #s(literal 6 binary64) #s(literal 2 binary64))))
(*.f64 (cbrt.f64 (PI.f64)) (cbrt.f64 (PI.f64)))
(*.f64 (pow.f64 (PI.f64) #s(literal 2/9 binary64)) (pow.f64 (cbrt.f64 (*.f64 (neg.f64 (PI.f64)) (PI.f64))) #s(literal 2/3 binary64)))
(*.f64 (pow.f64 (PI.f64) #s(literal 2/9 binary64)) (pow.f64 (PI.f64) #s(literal 4/9 binary64)))
(*.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64)) (pow.f64 (PI.f64) #s(literal 5/9 binary64)))
(pow.f64 (neg.f64 (neg.f64 (cbrt.f64 (PI.f64)))) #s(literal 2 binary64))
(pow.f64 (neg.f64 (PI.f64)) #s(literal 2/3 binary64))
(pow.f64 (neg.f64 (cbrt.f64 (PI.f64))) #s(literal 2 binary64))
(pow.f64 (*.f64 (*.f64 (*.f64 (*.f64 (PI.f64) (PI.f64)) (PI.f64)) (PI.f64)) (*.f64 (PI.f64) (PI.f64))) #s(literal 1/9 binary64))
(pow.f64 (pow.f64 (PI.f64) #s(literal 2/3 binary64)) #s(literal 1 binary64))
(pow.f64 (cbrt.f64 (PI.f64)) #s(literal 2 binary64))
(pow.f64 (*.f64 (*.f64 (PI.f64) (PI.f64)) (PI.f64)) #s(literal 2/9 binary64))
(pow.f64 (*.f64 (PI.f64) (PI.f64)) #s(literal 1/3 binary64))
(pow.f64 (pow.f64 (PI.f64) #s(literal 2/9 binary64)) #s(literal 3 binary64))
(pow.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64)) #s(literal 6 binary64))
(pow.f64 (PI.f64) #s(literal 2/3 binary64))
(/.f64 (neg.f64 (cbrt.f64 (PI.f64))) (pow.f64 (neg.f64 (cbrt.f64 (PI.f64))) #s(literal -1 binary64)))
(/.f64 (cbrt.f64 (PI.f64)) (pow.f64 (cbrt.f64 (PI.f64)) #s(literal -1 binary64)))
(/.f64 #s(literal 1 binary64) (pow.f64 (neg.f64 (cbrt.f64 (PI.f64))) #s(literal -2 binary64)))
(/.f64 #s(literal 1 binary64) (pow.f64 (cbrt.f64 (PI.f64)) #s(literal -2 binary64)))
(neg.f64 (pow.f64 (*.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64)) (neg.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64)))) #s(literal 3 binary64)))
(neg.f64 (pow.f64 (*.f64 (neg.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64))) (pow.f64 (PI.f64) #s(literal 1/9 binary64))) #s(literal 3 binary64)))
(neg.f64 (cbrt.f64 (*.f64 (neg.f64 (PI.f64)) (PI.f64))))
(neg.f64 (cbrt.f64 (*.f64 (PI.f64) (neg.f64 (PI.f64)))))
(cbrt.f64 (*.f64 (PI.f64) (PI.f64)))
(sqrt.f64 (pow.f64 (PI.f64) #s(literal 4/3 binary64)))
(fabs.f64 (cbrt.f64 (*.f64 (neg.f64 (PI.f64)) (PI.f64))))
(fabs.f64 (cbrt.f64 (*.f64 (PI.f64) (neg.f64 (PI.f64)))))
(fabs.f64 (neg.f64 (pow.f64 (PI.f64) #s(literal 2/3 binary64))))
(fabs.f64 (pow.f64 (PI.f64) #s(literal 2/3 binary64)))
(exp.f64 (*.f64 (log.f64 (neg.f64 (cbrt.f64 (PI.f64)))) #s(literal 2 binary64)))
(exp.f64 (*.f64 (log.f64 (*.f64 (PI.f64) (PI.f64))) #s(literal 1/3 binary64)))
(exp.f64 (*.f64 (log.f64 (PI.f64)) #s(literal 2/3 binary64)))
(exp.f64 (*.f64 (log.f64 (pow.f64 (PI.f64) #s(literal 2/9 binary64))) #s(literal 3 binary64)))
(exp.f64 (*.f64 (log.f64 (cbrt.f64 (PI.f64))) #s(literal 2 binary64)))
(exp.f64 (*.f64 (log.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64))) #s(literal 6 binary64)))
#s(literal 2/9 binary64)
(*.f64 (pow.f64 (neg.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64))) (/.f64 #s(literal 2 binary64) #s(literal 2 binary64))) (pow.f64 (neg.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64))) (/.f64 #s(literal 2 binary64) #s(literal 2 binary64))))
(*.f64 (pow.f64 (*.f64 (*.f64 (*.f64 (*.f64 (PI.f64) (PI.f64)) (PI.f64)) (PI.f64)) (*.f64 (PI.f64) (PI.f64))) (/.f64 #s(literal 1/27 binary64) #s(literal 2 binary64))) (pow.f64 (*.f64 (*.f64 (*.f64 (*.f64 (PI.f64) (PI.f64)) (PI.f64)) (PI.f64)) (*.f64 (PI.f64) (PI.f64))) (/.f64 #s(literal 1/27 binary64) #s(literal 2 binary64))))
(*.f64 (pow.f64 (pow.f64 (PI.f64) #s(literal 2/3 binary64)) (/.f64 #s(literal 1/3 binary64) #s(literal 2 binary64))) (pow.f64 (pow.f64 (PI.f64) #s(literal 2/3 binary64)) (/.f64 #s(literal 1/3 binary64) #s(literal 2 binary64))))
(*.f64 (pow.f64 (cbrt.f64 (PI.f64)) (/.f64 #s(literal 2/3 binary64) #s(literal 2 binary64))) (pow.f64 (cbrt.f64 (PI.f64)) (/.f64 #s(literal 2/3 binary64) #s(literal 2 binary64))))
(*.f64 (neg.f64 (neg.f64 (neg.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64))))) (neg.f64 (neg.f64 (neg.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64))))))
(*.f64 (cbrt.f64 (neg.f64 (neg.f64 (cbrt.f64 (PI.f64))))) (cbrt.f64 (neg.f64 (neg.f64 (cbrt.f64 (PI.f64))))))
(*.f64 (cbrt.f64 (pow.f64 (PI.f64) #s(literal 5/9 binary64))) (pow.f64 (PI.f64) #s(literal 1/27 binary64)))
(*.f64 (cbrt.f64 (pow.f64 (PI.f64) #s(literal 4/9 binary64))) (pow.f64 (PI.f64) #s(literal 2/27 binary64)))
(*.f64 (pow.f64 (pow.f64 (PI.f64) #s(literal 2/3 binary64)) #s(literal 7/27 binary64)) (pow.f64 (pow.f64 (PI.f64) #s(literal 2/3 binary64)) #s(literal 2/27 binary64)))
(*.f64 (pow.f64 (*.f64 (*.f64 (*.f64 (PI.f64) (PI.f64)) (PI.f64)) (pow.f64 (PI.f64) #s(literal 8/3 binary64))) #s(literal 1/27 binary64)) (pow.f64 (cbrt.f64 (PI.f64)) #s(literal 1/27 binary64)))
(*.f64 (pow.f64 (cbrt.f64 (*.f64 (*.f64 (*.f64 (*.f64 (*.f64 (*.f64 (PI.f64) (PI.f64)) (PI.f64)) (PI.f64)) (*.f64 (PI.f64) (PI.f64))) (*.f64 (PI.f64) (PI.f64))) (*.f64 (*.f64 (*.f64 (*.f64 (*.f64 (PI.f64) (PI.f64)) (PI.f64)) (PI.f64)) (*.f64 (PI.f64) (PI.f64))) (*.f64 (PI.f64) (PI.f64))))) #s(literal 1/27 binary64)) (pow.f64 (pow.f64 (PI.f64) #s(literal 2/3 binary64)) #s(literal 1/27 binary64)))
(*.f64 (pow.f64 (*.f64 (*.f64 (*.f64 (PI.f64) (PI.f64)) (PI.f64)) (*.f64 (PI.f64) (PI.f64))) #s(literal 1/27 binary64)) (pow.f64 (PI.f64) #s(literal 1/27 binary64)))
(*.f64 (pow.f64 (neg.f64 (*.f64 (*.f64 (PI.f64) (PI.f64)) (PI.f64))) #s(literal 1/27 binary64)) (pow.f64 (neg.f64 (*.f64 (*.f64 (PI.f64) (PI.f64)) (PI.f64))) #s(literal 1/27 binary64)))
(*.f64 (pow.f64 (*.f64 (*.f64 (*.f64 (PI.f64) (PI.f64)) (PI.f64)) (PI.f64)) #s(literal 1/27 binary64)) (pow.f64 (PI.f64) #s(literal 2/27 binary64)))
(*.f64 (pow.f64 (neg.f64 (neg.f64 (cbrt.f64 (PI.f64)))) #s(literal 1/3 binary64)) (pow.f64 (neg.f64 (neg.f64 (cbrt.f64 (PI.f64)))) #s(literal 1/3 binary64)))
(*.f64 (pow.f64 (pow.f64 (PI.f64) #s(literal 5/9 binary64)) #s(literal 1/3 binary64)) (pow.f64 (PI.f64) #s(literal 1/27 binary64)))
(*.f64 (pow.f64 (pow.f64 (PI.f64) #s(literal 4/9 binary64)) #s(literal 1/3 binary64)) (pow.f64 (PI.f64) #s(literal 2/27 binary64)))
(*.f64 (pow.f64 (pow.f64 (PI.f64) #s(literal 2/9 binary64)) #s(literal 2/3 binary64)) (pow.f64 (PI.f64) #s(literal 2/27 binary64)))
(*.f64 (pow.f64 (*.f64 (pow.f64 (PI.f64) #s(literal 8/3 binary64)) (pow.f64 (PI.f64) #s(literal 2/9 binary64))) #s(literal 2/27 binary64)) (pow.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64)) #s(literal 2/27 binary64)))
(*.f64 (pow.f64 (*.f64 (PI.f64) (neg.f64 (PI.f64))) #s(literal 2/27 binary64)) (pow.f64 (neg.f64 (PI.f64)) #s(literal 2/27 binary64)))
(*.f64 (pow.f64 (pow.f64 (PI.f64) #s(literal 5/3 binary64)) #s(literal 2/27 binary64)) (pow.f64 (pow.f64 (PI.f64) #s(literal 4/3 binary64)) #s(literal 2/27 binary64)))
(*.f64 (pow.f64 (pow.f64 (PI.f64) #s(literal 4/3 binary64)) #s(literal 2/27 binary64)) (pow.f64 (pow.f64 (PI.f64) #s(literal 5/3 binary64)) #s(literal 2/27 binary64)))
(*.f64 (pow.f64 (neg.f64 (PI.f64)) #s(literal 2/27 binary64)) (pow.f64 (*.f64 (neg.f64 (PI.f64)) (PI.f64)) #s(literal 2/27 binary64)))
(*.f64 (pow.f64 (pow.f64 (PI.f64) #s(literal 7/3 binary64)) #s(literal 2/27 binary64)) (pow.f64 (pow.f64 (PI.f64) #s(literal 2/3 binary64)) #s(literal 2/27 binary64)))
(*.f64 (pow.f64 (pow.f64 (PI.f64) #s(literal 2/3 binary64)) #s(literal 2/27 binary64)) (pow.f64 (pow.f64 (PI.f64) #s(literal 2/3 binary64)) #s(literal 7/27 binary64)))
(*.f64 (pow.f64 (pow.f64 (PI.f64) #s(literal 2/3 binary64)) #s(literal 2/27 binary64)) (pow.f64 (pow.f64 (PI.f64) #s(literal 7/3 binary64)) #s(literal 2/27 binary64)))
(*.f64 (pow.f64 (pow.f64 (cbrt.f64 (PI.f64)) #s(literal 17/3 binary64)) #s(literal 1/9 binary64)) (pow.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64)) #s(literal 1/9 binary64)))
(*.f64 (pow.f64 (cbrt.f64 (*.f64 (*.f64 (*.f64 (*.f64 (PI.f64) (PI.f64)) (PI.f64)) (PI.f64)) (neg.f64 (PI.f64)))) #s(literal 1/9 binary64)) (pow.f64 (neg.f64 (cbrt.f64 (PI.f64))) #s(literal 1/9 binary64)))
(*.f64 (pow.f64 (neg.f64 (neg.f64 (PI.f64))) #s(literal 1/9 binary64)) (pow.f64 (neg.f64 (neg.f64 (PI.f64))) #s(literal 1/9 binary64)))
(*.f64 (pow.f64 (neg.f64 (cbrt.f64 (PI.f64))) #s(literal 1/9 binary64)) (pow.f64 (cbrt.f64 (*.f64 (neg.f64 (PI.f64)) (*.f64 (*.f64 (*.f64 (PI.f64) (PI.f64)) (PI.f64)) (PI.f64)))) #s(literal 1/9 binary64)))
(*.f64 (pow.f64 (pow.f64 (PI.f64) #s(literal 2/27 binary64)) #s(literal 2 binary64)) (pow.f64 (pow.f64 (PI.f64) #s(literal 1/27 binary64)) #s(literal 2 binary64)))
(*.f64 (pow.f64 (*.f64 (pow.f64 (PI.f64) #s(literal 7/9 binary64)) (neg.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64)))) #s(literal 2/9 binary64)) (pow.f64 (neg.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64))) #s(literal 2/9 binary64)))
(*.f64 (pow.f64 (cbrt.f64 (*.f64 (PI.f64) (neg.f64 (PI.f64)))) #s(literal 2/9 binary64)) (pow.f64 (neg.f64 (cbrt.f64 (PI.f64))) #s(literal 2/9 binary64)))
(*.f64 (pow.f64 (neg.f64 (cbrt.f64 (PI.f64))) #s(literal 2/9 binary64)) (pow.f64 (cbrt.f64 (*.f64 (neg.f64 (PI.f64)) (PI.f64))) #s(literal 2/9 binary64)))
(*.f64 (pow.f64 (neg.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64))) #s(literal 2/9 binary64)) (pow.f64 (*.f64 (neg.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64))) (pow.f64 (PI.f64) #s(literal 7/9 binary64))) #s(literal 2/9 binary64)))
(*.f64 (pow.f64 (pow.f64 (PI.f64) #s(literal 2/9 binary64)) #s(literal 2/9 binary64)) (pow.f64 (pow.f64 (PI.f64) #s(literal 7/9 binary64)) #s(literal 2/9 binary64)))
(*.f64 (pow.f64 (pow.f64 (PI.f64) #s(literal 7/9 binary64)) #s(literal 2/9 binary64)) (pow.f64 (pow.f64 (PI.f64) #s(literal 2/9 binary64)) #s(literal 2/9 binary64)))
(*.f64 (pow.f64 (pow.f64 (PI.f64) #s(literal 8/9 binary64)) #s(literal 2/9 binary64)) (pow.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64)) #s(literal 2/9 binary64)))
(*.f64 (pow.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64)) #s(literal 2/9 binary64)) (pow.f64 (pow.f64 (PI.f64) #s(literal 8/9 binary64)) #s(literal 2/9 binary64)))
(*.f64 (pow.f64 (neg.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64))) #s(literal 1 binary64)) (pow.f64 (neg.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64))) #s(literal 1 binary64)))
(*.f64 (pow.f64 (neg.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64))) #s(literal 1 binary64)) (neg.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64))))
(*.f64 (pow.f64 (*.f64 (*.f64 (PI.f64) (PI.f64)) (PI.f64)) (/.f64 #s(literal 2/27 binary64) #s(literal 2 binary64))) (pow.f64 (*.f64 (*.f64 (PI.f64) (PI.f64)) (PI.f64)) (/.f64 #s(literal 2/27 binary64) #s(literal 2 binary64))))
(*.f64 (pow.f64 (*.f64 (PI.f64) (PI.f64)) (/.f64 #s(literal 1/9 binary64) #s(literal 2 binary64))) (pow.f64 (*.f64 (PI.f64) (PI.f64)) (/.f64 #s(literal 1/9 binary64) #s(literal 2 binary64))))
(*.f64 (neg.f64 (neg.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64)))) (neg.f64 (neg.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64)))))
(*.f64 (pow.f64 (PI.f64) #s(literal 1/27 binary64)) (pow.f64 (*.f64 (*.f64 (*.f64 (PI.f64) (PI.f64)) (PI.f64)) (*.f64 (PI.f64) (PI.f64))) #s(literal 1/27 binary64)))
(*.f64 (pow.f64 (PI.f64) #s(literal 1/27 binary64)) (pow.f64 (pow.f64 (PI.f64) #s(literal 5/3 binary64)) #s(literal 1/9 binary64)))
(*.f64 (pow.f64 (PI.f64) #s(literal 2/27 binary64)) (cbrt.f64 (pow.f64 (PI.f64) #s(literal 4/9 binary64))))
(*.f64 (pow.f64 (PI.f64) #s(literal 2/27 binary64)) (pow.f64 (*.f64 (*.f64 (*.f64 (PI.f64) (PI.f64)) (PI.f64)) (PI.f64)) #s(literal 1/27 binary64)))
(*.f64 (pow.f64 (PI.f64) #s(literal 2/27 binary64)) (pow.f64 (pow.f64 (PI.f64) #s(literal 4/9 binary64)) #s(literal 1/3 binary64)))
(*.f64 (pow.f64 (PI.f64) #s(literal 2/27 binary64)) (pow.f64 (*.f64 (neg.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64))) (pow.f64 (PI.f64) #s(literal 1/9 binary64))) #s(literal 2/3 binary64)))
(*.f64 (pow.f64 (PI.f64) #s(literal 2/27 binary64)) (pow.f64 (pow.f64 (PI.f64) #s(literal 2/9 binary64)) #s(literal 2/3 binary64)))
(*.f64 (pow.f64 (PI.f64) #s(literal 2/27 binary64)) (pow.f64 (*.f64 (PI.f64) (PI.f64)) #s(literal 2/27 binary64)))
(*.f64 (pow.f64 (PI.f64) #s(literal 2/27 binary64)) (pow.f64 (pow.f64 (PI.f64) #s(literal 4/3 binary64)) #s(literal 1/9 binary64)))
(*.f64 (pow.f64 (PI.f64) #s(literal 2/27 binary64)) (pow.f64 (pow.f64 (PI.f64) #s(literal 2/3 binary64)) #s(literal 2/9 binary64)))
(*.f64 (pow.f64 (pow.f64 (PI.f64) #s(literal 8/3 binary64)) #s(literal 1/27 binary64)) (pow.f64 (pow.f64 (PI.f64) #s(literal 10/3 binary64)) #s(literal 1/27 binary64)))
(*.f64 (pow.f64 (cbrt.f64 (PI.f64)) #s(literal 2/27 binary64)) (pow.f64 (pow.f64 (PI.f64) #s(literal 8/3 binary64)) #s(literal 2/27 binary64)))
(*.f64 (pow.f64 (pow.f64 (PI.f64) #s(literal 8/3 binary64)) #s(literal 2/27 binary64)) (pow.f64 (cbrt.f64 (PI.f64)) #s(literal 2/27 binary64)))
(*.f64 (pow.f64 (*.f64 (PI.f64) (PI.f64)) #s(literal 2/27 binary64)) (pow.f64 (PI.f64) #s(literal 2/27 binary64)))
(*.f64 (pow.f64 (pow.f64 (PI.f64) #s(literal 5/3 binary64)) #s(literal 1/9 binary64)) (pow.f64 (PI.f64) #s(literal 1/27 binary64)))
(*.f64 (pow.f64 (neg.f64 (PI.f64)) #s(literal 1/9 binary64)) (pow.f64 (neg.f64 (PI.f64)) #s(literal 1/9 binary64)))
(*.f64 (pow.f64 (pow.f64 (PI.f64) #s(literal 4/3 binary64)) #s(literal 1/9 binary64)) (pow.f64 (PI.f64) #s(literal 2/27 binary64)))
(*.f64 (neg.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64))) (neg.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64))))
(*.f64 (pow.f64 (pow.f64 (PI.f64) #s(literal 2/3 binary64)) #s(literal 2/9 binary64)) (pow.f64 (PI.f64) #s(literal 2/27 binary64)))
(*.f64 (pow.f64 (PI.f64) (/.f64 #s(literal 2/9 binary64) #s(literal 2 binary64))) (pow.f64 (PI.f64) (/.f64 #s(literal 2/9 binary64) #s(literal 2 binary64))))
(*.f64 (pow.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64)) (/.f64 #s(literal 2 binary64) #s(literal 2 binary64))) (pow.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64)) (/.f64 #s(literal 2 binary64) #s(literal 2 binary64))))
(*.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64)) (pow.f64 (PI.f64) #s(literal 1/9 binary64)))
(pow.f64 (neg.f64 (neg.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64)))) #s(literal 2 binary64))
(pow.f64 (*.f64 (*.f64 (*.f64 (*.f64 (*.f64 (PI.f64) (PI.f64)) (PI.f64)) (PI.f64)) (*.f64 (PI.f64) (PI.f64))) (*.f64 (*.f64 (PI.f64) (PI.f64)) (PI.f64))) #s(literal 2/81 binary64))
(pow.f64 (neg.f64 (cbrt.f64 (PI.f64))) #s(literal 2/3 binary64))
(pow.f64 (neg.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64))) #s(literal 2 binary64))
(pow.f64 (*.f64 (*.f64 (*.f64 (*.f64 (PI.f64) (PI.f64)) (PI.f64)) (PI.f64)) (*.f64 (PI.f64) (PI.f64))) #s(literal 1/27 binary64))
(pow.f64 (pow.f64 (PI.f64) #s(literal 2/3 binary64)) #s(literal 1/3 binary64))
(pow.f64 (cbrt.f64 (PI.f64)) #s(literal 2/3 binary64))
(pow.f64 (*.f64 (*.f64 (PI.f64) (PI.f64)) (PI.f64)) #s(literal 2/27 binary64))
(pow.f64 (*.f64 (PI.f64) (PI.f64)) #s(literal 1/9 binary64))
(pow.f64 (pow.f64 (PI.f64) #s(literal 2/9 binary64)) #s(literal 1 binary64))
(pow.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64)) #s(literal 2 binary64))
(pow.f64 (PI.f64) #s(literal 2/9 binary64))
(/.f64 (pow.f64 (neg.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64))) #s(literal 1 binary64)) (pow.f64 (neg.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64))) #s(literal -1 binary64)))
(/.f64 #s(literal 1 binary64) (pow.f64 (neg.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64))) #s(literal -2 binary64)))
(/.f64 #s(literal 1 binary64) (pow.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64)) #s(literal -2 binary64)))
(/.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64)) (pow.f64 (PI.f64) #s(literal -1/9 binary64)))
(/.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64)) (pow.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64)) #s(literal -1 binary64)))
(neg.f64 (cbrt.f64 (cbrt.f64 (*.f64 (neg.f64 (PI.f64)) (PI.f64)))))
(neg.f64 (cbrt.f64 (cbrt.f64 (*.f64 (PI.f64) (neg.f64 (PI.f64))))))
(neg.f64 (*.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64)) (neg.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64)))))
(neg.f64 (*.f64 (neg.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64))) (pow.f64 (PI.f64) #s(literal 1/9 binary64))))
(cbrt.f64 (pow.f64 (PI.f64) #s(literal 2/3 binary64)))
(sqrt.f64 (pow.f64 (PI.f64) #s(literal 4/9 binary64)))
(fabs.f64 (neg.f64 (pow.f64 (PI.f64) #s(literal 2/9 binary64))))
(fabs.f64 (*.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64)) (neg.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64)))))
(fabs.f64 (*.f64 (neg.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64))) (pow.f64 (PI.f64) #s(literal 1/9 binary64))))
(fabs.f64 (pow.f64 (PI.f64) #s(literal 2/9 binary64)))
(exp.f64 (*.f64 (log.f64 (neg.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64)))) #s(literal 2 binary64)))
(exp.f64 (*.f64 (log.f64 (*.f64 (*.f64 (*.f64 (*.f64 (PI.f64) (PI.f64)) (PI.f64)) (PI.f64)) (*.f64 (PI.f64) (PI.f64)))) #s(literal 1/27 binary64)))
(exp.f64 (*.f64 (log.f64 (pow.f64 (PI.f64) #s(literal 2/3 binary64))) #s(literal 1/3 binary64)))
(exp.f64 (*.f64 (log.f64 (cbrt.f64 (PI.f64))) #s(literal 2/3 binary64)))
(exp.f64 (*.f64 (log.f64 (*.f64 (*.f64 (PI.f64) (PI.f64)) (PI.f64))) #s(literal 2/27 binary64)))
(exp.f64 (*.f64 (log.f64 (*.f64 (PI.f64) (PI.f64))) #s(literal 1/9 binary64)))
(exp.f64 (*.f64 (log.f64 (PI.f64)) #s(literal 2/9 binary64)))
(exp.f64 (*.f64 (log.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64))) #s(literal 2 binary64)))
(*.f64 (*.f64 z0 (neg.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64)))) (neg.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64))))
(*.f64 (neg.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64))) (*.f64 (neg.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64))) z0))
(*.f64 (pow.f64 (PI.f64) #s(literal 2/9 binary64)) z0)
(*.f64 (*.f64 z0 (pow.f64 (PI.f64) #s(literal 1/9 binary64))) (pow.f64 (PI.f64) #s(literal 1/9 binary64)))
(*.f64 z0 (pow.f64 (PI.f64) #s(literal 2/9 binary64)))
(*.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64)) (*.f64 z0 (pow.f64 (PI.f64) #s(literal 1/9 binary64))))
(*.f64 (*.f64 (*.f64 (pow.f64 (PI.f64) #s(literal 2/3 binary64)) z0) (neg.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64)))) (neg.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64))))
(*.f64 (*.f64 z0 (pow.f64 (PI.f64) #s(literal 7/9 binary64))) (pow.f64 (PI.f64) #s(literal 1/9 binary64)))
(*.f64 (*.f64 (pow.f64 (PI.f64) #s(literal 2/9 binary64)) z0) (pow.f64 (PI.f64) #s(literal 2/3 binary64)))
(*.f64 (neg.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64))) (*.f64 (neg.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64))) (*.f64 (pow.f64 (PI.f64) #s(literal 2/3 binary64)) z0)))
(*.f64 (pow.f64 (PI.f64) #s(literal 8/9 binary64)) z0)
(*.f64 (*.f64 (pow.f64 (PI.f64) #s(literal 2/3 binary64)) z0) (pow.f64 (PI.f64) #s(literal 2/9 binary64)))
(*.f64 (pow.f64 (PI.f64) #s(literal 2/3 binary64)) (*.f64 (pow.f64 (PI.f64) #s(literal 2/9 binary64)) z0))
(*.f64 (pow.f64 (PI.f64) #s(literal 2/9 binary64)) (*.f64 (pow.f64 (PI.f64) #s(literal 2/3 binary64)) z0))
(*.f64 (*.f64 z0 (pow.f64 (PI.f64) #s(literal 1/9 binary64))) (pow.f64 (PI.f64) #s(literal 7/9 binary64)))
(*.f64 z0 (pow.f64 (PI.f64) #s(literal 8/9 binary64)))
(*.f64 (pow.f64 (PI.f64) #s(literal 7/9 binary64)) (*.f64 z0 (pow.f64 (PI.f64) #s(literal 1/9 binary64))))
(*.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64)) (*.f64 z0 (pow.f64 (PI.f64) #s(literal 7/9 binary64))))
(*.f64 (*.f64 (*.f64 z0 (pow.f64 (PI.f64) #s(literal 7/9 binary64))) (neg.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64)))) (neg.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64))))
(*.f64 (*.f64 z0 (pow.f64 (PI.f64) #s(literal 7/9 binary64))) (pow.f64 (PI.f64) #s(literal 2/9 binary64)))
(*.f64 (*.f64 (cbrt.f64 (PI.f64)) z0) (pow.f64 (PI.f64) #s(literal 2/3 binary64)))
(*.f64 (*.f64 (pow.f64 (PI.f64) #s(literal 2/9 binary64)) z0) (pow.f64 (PI.f64) #s(literal 7/9 binary64)))
(*.f64 (neg.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64))) (*.f64 (neg.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64))) (*.f64 z0 (pow.f64 (PI.f64) #s(literal 7/9 binary64)))))
(*.f64 (pow.f64 (PI.f64) #s(literal 8/9 binary64)) (*.f64 z0 (pow.f64 (PI.f64) #s(literal 1/9 binary64))))
(*.f64 (*.f64 (pow.f64 (PI.f64) #s(literal 2/3 binary64)) z0) (cbrt.f64 (PI.f64)))
(*.f64 (pow.f64 (PI.f64) #s(literal 2/3 binary64)) (*.f64 (cbrt.f64 (PI.f64)) z0))
(*.f64 (cbrt.f64 (PI.f64)) (*.f64 (pow.f64 (PI.f64) #s(literal 2/3 binary64)) z0))
(*.f64 (pow.f64 (PI.f64) #s(literal 2/9 binary64)) (*.f64 z0 (pow.f64 (PI.f64) #s(literal 7/9 binary64))))
(*.f64 (*.f64 (pow.f64 (PI.f64) #s(literal 8/9 binary64)) z0) (pow.f64 (PI.f64) #s(literal 1/9 binary64)))
(*.f64 (*.f64 z0 (pow.f64 (PI.f64) #s(literal 1/9 binary64))) (pow.f64 (PI.f64) #s(literal 8/9 binary64)))
(*.f64 z0 (PI.f64))
(*.f64 (pow.f64 (PI.f64) #s(literal 7/9 binary64)) (*.f64 (pow.f64 (PI.f64) #s(literal 2/9 binary64)) z0))
(*.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64)) (*.f64 (pow.f64 (PI.f64) #s(literal 8/9 binary64)) z0))
(*.f64 (PI.f64) z0)
(log.f64 (pow.f64 (exp.f64 (PI.f64)) z0))
#s(literal 2 binary64)
(*.f64 (pow.f64 (neg.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64))) (/.f64 #s(literal 2 binary64) #s(literal 2 binary64))) (pow.f64 (neg.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64))) (/.f64 #s(literal 2 binary64) #s(literal 2 binary64))))
(*.f64 (pow.f64 (*.f64 (*.f64 (*.f64 (*.f64 (PI.f64) (PI.f64)) (PI.f64)) (PI.f64)) (*.f64 (PI.f64) (PI.f64))) (/.f64 #s(literal 1/27 binary64) #s(literal 2 binary64))) (pow.f64 (*.f64 (*.f64 (*.f64 (*.f64 (PI.f64) (PI.f64)) (PI.f64)) (PI.f64)) (*.f64 (PI.f64) (PI.f64))) (/.f64 #s(literal 1/27 binary64) #s(literal 2 binary64))))
(*.f64 (pow.f64 (pow.f64 (PI.f64) #s(literal 2/3 binary64)) (/.f64 #s(literal 1/3 binary64) #s(literal 2 binary64))) (pow.f64 (pow.f64 (PI.f64) #s(literal 2/3 binary64)) (/.f64 #s(literal 1/3 binary64) #s(literal 2 binary64))))
(*.f64 (pow.f64 (cbrt.f64 (PI.f64)) (/.f64 #s(literal 2/3 binary64) #s(literal 2 binary64))) (pow.f64 (cbrt.f64 (PI.f64)) (/.f64 #s(literal 2/3 binary64) #s(literal 2 binary64))))
(*.f64 (neg.f64 (neg.f64 (neg.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64))))) (neg.f64 (neg.f64 (neg.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64))))))
(*.f64 (cbrt.f64 (neg.f64 (neg.f64 (cbrt.f64 (PI.f64))))) (cbrt.f64 (neg.f64 (neg.f64 (cbrt.f64 (PI.f64))))))
(*.f64 (cbrt.f64 (pow.f64 (PI.f64) #s(literal 5/9 binary64))) (pow.f64 (PI.f64) #s(literal 1/27 binary64)))
(*.f64 (cbrt.f64 (pow.f64 (PI.f64) #s(literal 4/9 binary64))) (pow.f64 (PI.f64) #s(literal 2/27 binary64)))
(*.f64 (pow.f64 (pow.f64 (PI.f64) #s(literal 2/3 binary64)) #s(literal 7/27 binary64)) (pow.f64 (pow.f64 (PI.f64) #s(literal 2/3 binary64)) #s(literal 2/27 binary64)))
(*.f64 (pow.f64 (*.f64 (*.f64 (*.f64 (PI.f64) (PI.f64)) (PI.f64)) (pow.f64 (PI.f64) #s(literal 8/3 binary64))) #s(literal 1/27 binary64)) (pow.f64 (cbrt.f64 (PI.f64)) #s(literal 1/27 binary64)))
(*.f64 (pow.f64 (cbrt.f64 (*.f64 (*.f64 (*.f64 (*.f64 (*.f64 (*.f64 (PI.f64) (PI.f64)) (PI.f64)) (PI.f64)) (*.f64 (PI.f64) (PI.f64))) (*.f64 (PI.f64) (PI.f64))) (*.f64 (*.f64 (*.f64 (*.f64 (*.f64 (PI.f64) (PI.f64)) (PI.f64)) (PI.f64)) (*.f64 (PI.f64) (PI.f64))) (*.f64 (PI.f64) (PI.f64))))) #s(literal 1/27 binary64)) (pow.f64 (pow.f64 (PI.f64) #s(literal 2/3 binary64)) #s(literal 1/27 binary64)))
(*.f64 (pow.f64 (*.f64 (*.f64 (*.f64 (PI.f64) (PI.f64)) (PI.f64)) (*.f64 (PI.f64) (PI.f64))) #s(literal 1/27 binary64)) (pow.f64 (PI.f64) #s(literal 1/27 binary64)))
(*.f64 (pow.f64 (neg.f64 (*.f64 (*.f64 (PI.f64) (PI.f64)) (PI.f64))) #s(literal 1/27 binary64)) (pow.f64 (neg.f64 (*.f64 (*.f64 (PI.f64) (PI.f64)) (PI.f64))) #s(literal 1/27 binary64)))
(*.f64 (pow.f64 (*.f64 (*.f64 (*.f64 (PI.f64) (PI.f64)) (PI.f64)) (PI.f64)) #s(literal 1/27 binary64)) (pow.f64 (PI.f64) #s(literal 2/27 binary64)))
(*.f64 (pow.f64 (neg.f64 (neg.f64 (cbrt.f64 (PI.f64)))) #s(literal 1/3 binary64)) (pow.f64 (neg.f64 (neg.f64 (cbrt.f64 (PI.f64)))) #s(literal 1/3 binary64)))
(*.f64 (pow.f64 (pow.f64 (PI.f64) #s(literal 5/9 binary64)) #s(literal 1/3 binary64)) (pow.f64 (PI.f64) #s(literal 1/27 binary64)))
(*.f64 (pow.f64 (pow.f64 (PI.f64) #s(literal 4/9 binary64)) #s(literal 1/3 binary64)) (pow.f64 (PI.f64) #s(literal 2/27 binary64)))
(*.f64 (pow.f64 (pow.f64 (PI.f64) #s(literal 2/9 binary64)) #s(literal 2/3 binary64)) (pow.f64 (PI.f64) #s(literal 2/27 binary64)))
(*.f64 (pow.f64 (*.f64 (pow.f64 (PI.f64) #s(literal 8/3 binary64)) (pow.f64 (PI.f64) #s(literal 2/9 binary64))) #s(literal 2/27 binary64)) (pow.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64)) #s(literal 2/27 binary64)))
(*.f64 (pow.f64 (*.f64 (PI.f64) (neg.f64 (PI.f64))) #s(literal 2/27 binary64)) (pow.f64 (neg.f64 (PI.f64)) #s(literal 2/27 binary64)))
(*.f64 (pow.f64 (pow.f64 (PI.f64) #s(literal 5/3 binary64)) #s(literal 2/27 binary64)) (pow.f64 (pow.f64 (PI.f64) #s(literal 4/3 binary64)) #s(literal 2/27 binary64)))
(*.f64 (pow.f64 (pow.f64 (PI.f64) #s(literal 4/3 binary64)) #s(literal 2/27 binary64)) (pow.f64 (pow.f64 (PI.f64) #s(literal 5/3 binary64)) #s(literal 2/27 binary64)))
(*.f64 (pow.f64 (neg.f64 (PI.f64)) #s(literal 2/27 binary64)) (pow.f64 (*.f64 (neg.f64 (PI.f64)) (PI.f64)) #s(literal 2/27 binary64)))
(*.f64 (pow.f64 (pow.f64 (PI.f64) #s(literal 7/3 binary64)) #s(literal 2/27 binary64)) (pow.f64 (pow.f64 (PI.f64) #s(literal 2/3 binary64)) #s(literal 2/27 binary64)))
(*.f64 (pow.f64 (pow.f64 (PI.f64) #s(literal 2/3 binary64)) #s(literal 2/27 binary64)) (pow.f64 (pow.f64 (PI.f64) #s(literal 2/3 binary64)) #s(literal 7/27 binary64)))
(*.f64 (pow.f64 (pow.f64 (PI.f64) #s(literal 2/3 binary64)) #s(literal 2/27 binary64)) (pow.f64 (pow.f64 (PI.f64) #s(literal 7/3 binary64)) #s(literal 2/27 binary64)))
(*.f64 (pow.f64 (pow.f64 (cbrt.f64 (PI.f64)) #s(literal 17/3 binary64)) #s(literal 1/9 binary64)) (pow.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64)) #s(literal 1/9 binary64)))
(*.f64 (pow.f64 (cbrt.f64 (*.f64 (*.f64 (*.f64 (*.f64 (PI.f64) (PI.f64)) (PI.f64)) (PI.f64)) (neg.f64 (PI.f64)))) #s(literal 1/9 binary64)) (pow.f64 (neg.f64 (cbrt.f64 (PI.f64))) #s(literal 1/9 binary64)))
(*.f64 (pow.f64 (neg.f64 (neg.f64 (PI.f64))) #s(literal 1/9 binary64)) (pow.f64 (neg.f64 (neg.f64 (PI.f64))) #s(literal 1/9 binary64)))
(*.f64 (pow.f64 (neg.f64 (cbrt.f64 (PI.f64))) #s(literal 1/9 binary64)) (pow.f64 (cbrt.f64 (*.f64 (neg.f64 (PI.f64)) (*.f64 (*.f64 (*.f64 (PI.f64) (PI.f64)) (PI.f64)) (PI.f64)))) #s(literal 1/9 binary64)))
(*.f64 (pow.f64 (pow.f64 (PI.f64) #s(literal 2/27 binary64)) #s(literal 2 binary64)) (pow.f64 (pow.f64 (PI.f64) #s(literal 1/27 binary64)) #s(literal 2 binary64)))
(*.f64 (pow.f64 (*.f64 (pow.f64 (PI.f64) #s(literal 7/9 binary64)) (neg.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64)))) #s(literal 2/9 binary64)) (pow.f64 (neg.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64))) #s(literal 2/9 binary64)))
(*.f64 (pow.f64 (cbrt.f64 (*.f64 (PI.f64) (neg.f64 (PI.f64)))) #s(literal 2/9 binary64)) (pow.f64 (neg.f64 (cbrt.f64 (PI.f64))) #s(literal 2/9 binary64)))
(*.f64 (pow.f64 (neg.f64 (cbrt.f64 (PI.f64))) #s(literal 2/9 binary64)) (pow.f64 (cbrt.f64 (*.f64 (neg.f64 (PI.f64)) (PI.f64))) #s(literal 2/9 binary64)))
(*.f64 (pow.f64 (neg.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64))) #s(literal 2/9 binary64)) (pow.f64 (*.f64 (neg.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64))) (pow.f64 (PI.f64) #s(literal 7/9 binary64))) #s(literal 2/9 binary64)))
(*.f64 (pow.f64 (pow.f64 (PI.f64) #s(literal 2/9 binary64)) #s(literal 2/9 binary64)) (pow.f64 (pow.f64 (PI.f64) #s(literal 7/9 binary64)) #s(literal 2/9 binary64)))
(*.f64 (pow.f64 (pow.f64 (PI.f64) #s(literal 7/9 binary64)) #s(literal 2/9 binary64)) (pow.f64 (pow.f64 (PI.f64) #s(literal 2/9 binary64)) #s(literal 2/9 binary64)))
(*.f64 (pow.f64 (pow.f64 (PI.f64) #s(literal 8/9 binary64)) #s(literal 2/9 binary64)) (pow.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64)) #s(literal 2/9 binary64)))
(*.f64 (pow.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64)) #s(literal 2/9 binary64)) (pow.f64 (pow.f64 (PI.f64) #s(literal 8/9 binary64)) #s(literal 2/9 binary64)))
(*.f64 (pow.f64 (neg.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64))) #s(literal 1 binary64)) (pow.f64 (neg.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64))) #s(literal 1 binary64)))
(*.f64 (pow.f64 (neg.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64))) #s(literal 1 binary64)) (neg.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64))))
(*.f64 (pow.f64 (*.f64 (*.f64 (PI.f64) (PI.f64)) (PI.f64)) (/.f64 #s(literal 2/27 binary64) #s(literal 2 binary64))) (pow.f64 (*.f64 (*.f64 (PI.f64) (PI.f64)) (PI.f64)) (/.f64 #s(literal 2/27 binary64) #s(literal 2 binary64))))
(*.f64 (pow.f64 (*.f64 (PI.f64) (PI.f64)) (/.f64 #s(literal 1/9 binary64) #s(literal 2 binary64))) (pow.f64 (*.f64 (PI.f64) (PI.f64)) (/.f64 #s(literal 1/9 binary64) #s(literal 2 binary64))))
(*.f64 (neg.f64 (neg.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64)))) (neg.f64 (neg.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64)))))
(*.f64 (pow.f64 (PI.f64) #s(literal 1/27 binary64)) (pow.f64 (*.f64 (*.f64 (*.f64 (PI.f64) (PI.f64)) (PI.f64)) (*.f64 (PI.f64) (PI.f64))) #s(literal 1/27 binary64)))
(*.f64 (pow.f64 (PI.f64) #s(literal 1/27 binary64)) (pow.f64 (pow.f64 (PI.f64) #s(literal 5/3 binary64)) #s(literal 1/9 binary64)))
(*.f64 (pow.f64 (PI.f64) #s(literal 2/27 binary64)) (cbrt.f64 (pow.f64 (PI.f64) #s(literal 4/9 binary64))))
(*.f64 (pow.f64 (PI.f64) #s(literal 2/27 binary64)) (pow.f64 (*.f64 (*.f64 (*.f64 (PI.f64) (PI.f64)) (PI.f64)) (PI.f64)) #s(literal 1/27 binary64)))
(*.f64 (pow.f64 (PI.f64) #s(literal 2/27 binary64)) (pow.f64 (pow.f64 (PI.f64) #s(literal 4/9 binary64)) #s(literal 1/3 binary64)))
(*.f64 (pow.f64 (PI.f64) #s(literal 2/27 binary64)) (pow.f64 (*.f64 (neg.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64))) (pow.f64 (PI.f64) #s(literal 1/9 binary64))) #s(literal 2/3 binary64)))
(*.f64 (pow.f64 (PI.f64) #s(literal 2/27 binary64)) (pow.f64 (pow.f64 (PI.f64) #s(literal 2/9 binary64)) #s(literal 2/3 binary64)))
(*.f64 (pow.f64 (PI.f64) #s(literal 2/27 binary64)) (pow.f64 (*.f64 (PI.f64) (PI.f64)) #s(literal 2/27 binary64)))
(*.f64 (pow.f64 (PI.f64) #s(literal 2/27 binary64)) (pow.f64 (pow.f64 (PI.f64) #s(literal 4/3 binary64)) #s(literal 1/9 binary64)))
(*.f64 (pow.f64 (PI.f64) #s(literal 2/27 binary64)) (pow.f64 (pow.f64 (PI.f64) #s(literal 2/3 binary64)) #s(literal 2/9 binary64)))
(*.f64 (pow.f64 (pow.f64 (PI.f64) #s(literal 8/3 binary64)) #s(literal 1/27 binary64)) (pow.f64 (pow.f64 (PI.f64) #s(literal 10/3 binary64)) #s(literal 1/27 binary64)))
(*.f64 (pow.f64 (cbrt.f64 (PI.f64)) #s(literal 2/27 binary64)) (pow.f64 (pow.f64 (PI.f64) #s(literal 8/3 binary64)) #s(literal 2/27 binary64)))
(*.f64 (pow.f64 (pow.f64 (PI.f64) #s(literal 8/3 binary64)) #s(literal 2/27 binary64)) (pow.f64 (cbrt.f64 (PI.f64)) #s(literal 2/27 binary64)))
(*.f64 (pow.f64 (*.f64 (PI.f64) (PI.f64)) #s(literal 2/27 binary64)) (pow.f64 (PI.f64) #s(literal 2/27 binary64)))
(*.f64 (pow.f64 (pow.f64 (PI.f64) #s(literal 5/3 binary64)) #s(literal 1/9 binary64)) (pow.f64 (PI.f64) #s(literal 1/27 binary64)))
(*.f64 (pow.f64 (neg.f64 (PI.f64)) #s(literal 1/9 binary64)) (pow.f64 (neg.f64 (PI.f64)) #s(literal 1/9 binary64)))
(*.f64 (pow.f64 (pow.f64 (PI.f64) #s(literal 4/3 binary64)) #s(literal 1/9 binary64)) (pow.f64 (PI.f64) #s(literal 2/27 binary64)))
(*.f64 (neg.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64))) (neg.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64))))
(*.f64 (pow.f64 (pow.f64 (PI.f64) #s(literal 2/3 binary64)) #s(literal 2/9 binary64)) (pow.f64 (PI.f64) #s(literal 2/27 binary64)))
(*.f64 (pow.f64 (PI.f64) (/.f64 #s(literal 2/9 binary64) #s(literal 2 binary64))) (pow.f64 (PI.f64) (/.f64 #s(literal 2/9 binary64) #s(literal 2 binary64))))
(*.f64 (pow.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64)) (/.f64 #s(literal 2 binary64) #s(literal 2 binary64))) (pow.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64)) (/.f64 #s(literal 2 binary64) #s(literal 2 binary64))))
(*.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64)) (pow.f64 (PI.f64) #s(literal 1/9 binary64)))
(pow.f64 (neg.f64 (neg.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64)))) #s(literal 2 binary64))
(pow.f64 (*.f64 (*.f64 (*.f64 (*.f64 (*.f64 (PI.f64) (PI.f64)) (PI.f64)) (PI.f64)) (*.f64 (PI.f64) (PI.f64))) (*.f64 (*.f64 (PI.f64) (PI.f64)) (PI.f64))) #s(literal 2/81 binary64))
(pow.f64 (neg.f64 (cbrt.f64 (PI.f64))) #s(literal 2/3 binary64))
(pow.f64 (neg.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64))) #s(literal 2 binary64))
(pow.f64 (*.f64 (*.f64 (*.f64 (*.f64 (PI.f64) (PI.f64)) (PI.f64)) (PI.f64)) (*.f64 (PI.f64) (PI.f64))) #s(literal 1/27 binary64))
(pow.f64 (pow.f64 (PI.f64) #s(literal 2/3 binary64)) #s(literal 1/3 binary64))
(pow.f64 (cbrt.f64 (PI.f64)) #s(literal 2/3 binary64))
(pow.f64 (*.f64 (*.f64 (PI.f64) (PI.f64)) (PI.f64)) #s(literal 2/27 binary64))
(pow.f64 (*.f64 (PI.f64) (PI.f64)) #s(literal 1/9 binary64))
(pow.f64 (pow.f64 (PI.f64) #s(literal 2/9 binary64)) #s(literal 1 binary64))
(pow.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64)) #s(literal 2 binary64))
(pow.f64 (PI.f64) #s(literal 2/9 binary64))
(/.f64 (pow.f64 (neg.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64))) #s(literal 1 binary64)) (pow.f64 (neg.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64))) #s(literal -1 binary64)))
(/.f64 #s(literal 1 binary64) (pow.f64 (neg.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64))) #s(literal -2 binary64)))
(/.f64 #s(literal 1 binary64) (pow.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64)) #s(literal -2 binary64)))
(/.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64)) (pow.f64 (PI.f64) #s(literal -1/9 binary64)))
(/.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64)) (pow.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64)) #s(literal -1 binary64)))
(neg.f64 (cbrt.f64 (cbrt.f64 (*.f64 (neg.f64 (PI.f64)) (PI.f64)))))
(neg.f64 (cbrt.f64 (cbrt.f64 (*.f64 (PI.f64) (neg.f64 (PI.f64))))))
(neg.f64 (*.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64)) (neg.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64)))))
(neg.f64 (*.f64 (neg.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64))) (pow.f64 (PI.f64) #s(literal 1/9 binary64))))
(cbrt.f64 (pow.f64 (PI.f64) #s(literal 2/3 binary64)))
(sqrt.f64 (pow.f64 (PI.f64) #s(literal 4/9 binary64)))
(fabs.f64 (neg.f64 (pow.f64 (PI.f64) #s(literal 2/9 binary64))))
(fabs.f64 (*.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64)) (neg.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64)))))
(fabs.f64 (*.f64 (neg.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64))) (pow.f64 (PI.f64) #s(literal 1/9 binary64))))
(fabs.f64 (pow.f64 (PI.f64) #s(literal 2/9 binary64)))
(exp.f64 (*.f64 (log.f64 (neg.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64)))) #s(literal 2 binary64)))
(exp.f64 (*.f64 (log.f64 (*.f64 (*.f64 (*.f64 (*.f64 (PI.f64) (PI.f64)) (PI.f64)) (PI.f64)) (*.f64 (PI.f64) (PI.f64)))) #s(literal 1/27 binary64)))
(exp.f64 (*.f64 (log.f64 (pow.f64 (PI.f64) #s(literal 2/3 binary64))) #s(literal 1/3 binary64)))
(exp.f64 (*.f64 (log.f64 (cbrt.f64 (PI.f64))) #s(literal 2/3 binary64)))
(exp.f64 (*.f64 (log.f64 (*.f64 (*.f64 (PI.f64) (PI.f64)) (PI.f64))) #s(literal 2/27 binary64)))
(exp.f64 (*.f64 (log.f64 (*.f64 (PI.f64) (PI.f64))) #s(literal 1/9 binary64)))
(exp.f64 (*.f64 (log.f64 (PI.f64)) #s(literal 2/9 binary64)))
(exp.f64 (*.f64 (log.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64))) #s(literal 2 binary64)))
(*.f64 (*.f64 (pow.f64 (PI.f64) #s(literal 2/3 binary64)) z0) (pow.f64 (PI.f64) #s(literal 1/9 binary64)))
(*.f64 (pow.f64 (PI.f64) #s(literal 2/3 binary64)) (*.f64 z0 (pow.f64 (PI.f64) #s(literal 1/9 binary64))))
(*.f64 (*.f64 z0 (pow.f64 (PI.f64) #s(literal 1/9 binary64))) (pow.f64 (PI.f64) #s(literal 2/3 binary64)))
(*.f64 z0 (pow.f64 (PI.f64) #s(literal 7/9 binary64)))
(*.f64 (pow.f64 (PI.f64) #s(literal 7/9 binary64)) z0)
(*.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64)) (*.f64 (pow.f64 (PI.f64) #s(literal 2/3 binary64)) z0))
(*.f64 (*.f64 (*.f64 z0 (pow.f64 (PI.f64) #s(literal 7/9 binary64))) (neg.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64)))) (neg.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64))))
(*.f64 (*.f64 z0 (pow.f64 (PI.f64) #s(literal 7/9 binary64))) (pow.f64 (PI.f64) #s(literal 2/9 binary64)))
(*.f64 (*.f64 (cbrt.f64 (PI.f64)) z0) (pow.f64 (PI.f64) #s(literal 2/3 binary64)))
(*.f64 (*.f64 (pow.f64 (PI.f64) #s(literal 2/9 binary64)) z0) (pow.f64 (PI.f64) #s(literal 7/9 binary64)))
(*.f64 (neg.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64))) (*.f64 (neg.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64))) (*.f64 z0 (pow.f64 (PI.f64) #s(literal 7/9 binary64)))))
(*.f64 (pow.f64 (PI.f64) #s(literal 8/9 binary64)) (*.f64 z0 (pow.f64 (PI.f64) #s(literal 1/9 binary64))))
(*.f64 (*.f64 (pow.f64 (PI.f64) #s(literal 2/3 binary64)) z0) (cbrt.f64 (PI.f64)))
(*.f64 (pow.f64 (PI.f64) #s(literal 2/3 binary64)) (*.f64 (cbrt.f64 (PI.f64)) z0))
(*.f64 (cbrt.f64 (PI.f64)) (*.f64 (pow.f64 (PI.f64) #s(literal 2/3 binary64)) z0))
(*.f64 (pow.f64 (PI.f64) #s(literal 2/9 binary64)) (*.f64 z0 (pow.f64 (PI.f64) #s(literal 7/9 binary64))))
(*.f64 (*.f64 (pow.f64 (PI.f64) #s(literal 8/9 binary64)) z0) (pow.f64 (PI.f64) #s(literal 1/9 binary64)))
(*.f64 (*.f64 z0 (pow.f64 (PI.f64) #s(literal 1/9 binary64))) (pow.f64 (PI.f64) #s(literal 8/9 binary64)))
(*.f64 z0 (PI.f64))
(*.f64 (pow.f64 (PI.f64) #s(literal 7/9 binary64)) (*.f64 (pow.f64 (PI.f64) #s(literal 2/9 binary64)) z0))
(*.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64)) (*.f64 (pow.f64 (PI.f64) #s(literal 8/9 binary64)) z0))
(*.f64 (PI.f64) z0)
(log.f64 (pow.f64 (exp.f64 (PI.f64)) z0))

eval47.0ms (3.8%)

Memory
-11.0MiB live, 85.7MiB allocated; 23ms collecting garbage
Compiler

Compiled 8 633 to 1 523 computations (82.4% saved)

prune9.0ms (0.7%)

Memory
22.2MiB live, 22.2MiB allocated; 0ms collecting garbage
Pruning

9 alts after pruning (1 fresh and 8 done)

PrunedKeptTotal
New4061407
Fresh000
Picked303
Done-286
Total4079416
Accuracy
100.0%
Counts
416 → 9
Alt Table
Click to see full alt table
StatusAccuracyProgram
98.2%
(*.f64 (pow.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64)) #s(literal 2 binary64)) (*.f64 (pow.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64)) #s(literal 7 binary64)) z0))
99.6%
(*.f64 (pow.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64)) #s(literal 2 binary64)) (*.f64 (pow.f64 (PI.f64) #s(literal 7/9 binary64)) z0))
99.1%
(*.f64 (pow.f64 (PI.f64) #s(literal 8/9 binary64)) (*.f64 z0 (pow.f64 (PI.f64) #s(literal 1/9 binary64))))
98.8%
(*.f64 (pow.f64 (PI.f64) #s(literal 2/9 binary64)) (*.f64 (*.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64)) z0) (pow.f64 (PI.f64) #s(literal 2/3 binary64))))
99.1%
(*.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64)) (*.f64 (pow.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64)) #s(literal 6 binary64)) (*.f64 z0 (pow.f64 (PI.f64) #s(literal 2/9 binary64)))))
99.3%
(*.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64)) (*.f64 (pow.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64)) #s(literal 2 binary64)) (*.f64 (pow.f64 (PI.f64) #s(literal 2/3 binary64)) z0)))
99.2%
(*.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64)) (*.f64 (pow.f64 (PI.f64) #s(literal 8/9 binary64)) z0))
99.4%
(*.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64)) (*.f64 (pow.f64 (PI.f64) #s(literal 7/9 binary64)) (*.f64 z0 (pow.f64 (PI.f64) #s(literal 1/9 binary64)))))
99.6%
(*.f64 (PI.f64) z0)
Compiler

Compiled 101 to 81 computations (19.8% saved)

regimes11.0ms (0.9%)

Memory
-22.4MiB live, 24.6MiB allocated; 2ms collecting garbage
Counts
13 → 1
Calls
Call 1
Inputs
(*.f64 (PI.f64) z0)
(*.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64)) (*.f64 (pow.f64 (PI.f64) #s(literal 8/9 binary64)) z0))
(*.f64 (pow.f64 (PI.f64) #s(literal 8/9 binary64)) (*.f64 z0 (pow.f64 (PI.f64) #s(literal 1/9 binary64))))
(*.f64 (pow.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64)) #s(literal 2 binary64)) (*.f64 (pow.f64 (PI.f64) #s(literal 7/9 binary64)) z0))
(*.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64)) (*.f64 (pow.f64 (PI.f64) #s(literal 2/9 binary64)) (*.f64 (pow.f64 (PI.f64) #s(literal 2/3 binary64)) z0)))
(*.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64)) (*.f64 (pow.f64 (PI.f64) #s(literal 2/3 binary64)) (*.f64 z0 (pow.f64 (PI.f64) #s(literal 2/9 binary64)))))
(*.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64)) (*.f64 (pow.f64 (PI.f64) #s(literal 7/9 binary64)) (*.f64 z0 (pow.f64 (PI.f64) #s(literal 1/9 binary64)))))
(*.f64 (pow.f64 (PI.f64) #s(literal 2/9 binary64)) (*.f64 (*.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64)) z0) (pow.f64 (PI.f64) #s(literal 2/3 binary64))))
(*.f64 (pow.f64 (PI.f64) #s(literal 2/9 binary64)) (*.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64)) (*.f64 (pow.f64 (PI.f64) #s(literal 2/3 binary64)) z0)))
(*.f64 (pow.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64)) #s(literal 2 binary64)) (*.f64 (pow.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64)) #s(literal 7 binary64)) z0))
(*.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64)) (*.f64 (pow.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64)) #s(literal 2 binary64)) (*.f64 (pow.f64 (PI.f64) #s(literal 2/3 binary64)) z0)))
(*.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64)) (*.f64 (pow.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64)) #s(literal 6 binary64)) (*.f64 z0 (pow.f64 (PI.f64) #s(literal 2/9 binary64)))))
(*.f64 (pow.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64)) #s(literal 2 binary64)) (*.f64 (*.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64)) z0) (pow.f64 (PI.f64) #s(literal 2/3 binary64))))
Outputs
(*.f64 (PI.f64) z0)
Calls

2 calls:

5.0ms
z0
4.0ms
(*.f64 (PI.f64) z0)
Results
AccuracySegmentsBranch
99.6%1(*.f64 (PI.f64) z0)
99.6%1z0
Compiler

Compiled 159 to 49 computations (69.2% saved)

derivations0.0ms (0.0%)

Memory
0.2MiB live, 0.2MiB allocated; 0ms collecting garbage
Stop Event
fuel
Compiler

Compiled 3 to 3 computations (0.0% saved)

preprocess6.0ms (0.5%)

Memory
13.8MiB live, 13.8MiB allocated; 0ms collecting garbage
Compiler

Compiled 12 to 12 computations (0.0% saved)

end0.0ms (0.0%)

Memory
0.0MiB live, 0.0MiB allocated; 0ms collecting garbage

Profiling

Loading profile data...