acosh Pow Pow x0 tan log Mul atanh x5 E -0.0312500000000000 
Mul Mul Pow Pow x0 tan log Mul atanh x5 E -1.03125000000000 Mul -0.0312500000000000 Mul Pow x0 Add tan log Mul atanh x5 E -1 tan log Mul atanh x5 E Pow Mul sqrt Add Pow Pow x0 tan log Mul atanh x5 E -0.0312500000000000 -1 sqrt Add 1 Pow Pow x0 tan log Mul atanh x5 E -0.0312500000000000 -1 