Pow Mul x0 Mul x0 tanh x4 sech Add pi Mul acosh x0 x6 
Mul Pow Mul x0 Mul x0 tanh x4 Add sech Add pi Mul acosh x0 x6 -1 Add Mul sech Add pi Mul acosh x0 x6 Add Mul x0 tanh x4 Mul x0 tanh x4 Mul Mul Mul x0 Mul x0 tanh x4 log Mul x0 Mul x0 tanh x4 Mul Mul tanh Add pi Mul acosh x0 x6 Mul -1 sech Add pi Mul acosh x0 x6 Mul x6 Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 