Pow x0 cosh asech Add x0 Add pi tanh x7 
Mul Pow x0 Add cosh asech Add x0 Add pi tanh x7 -1 Add cosh asech Add x0 Add pi tanh x7 Mul Mul x0 log x0 Mul sinh asech Add x0 Add pi tanh x7 Pow Mul Mul Add x0 Add pi tanh x7 Add x0 Add pi tanh x7 sqrt Add 1 Mul -1 Pow Mul Add x0 Add pi tanh x7 Add x0 Add pi tanh x7 -1 -1 