asinh Mul Pow Add Mul pi x0 Add asec coth pi x0 3 Mul x3 Pow x0 x7 
Mul Add Mul Mul x3 Pow x0 x7 Mul Pow Add Mul pi x0 Add asec coth pi x0 2 Mul 3 Add pi 1 Mul Pow Add Mul pi x0 Add asec coth pi x0 3 Mul x3 Mul Pow x0 Add x7 -1 x7 Pow sqrt Add 1 Mul Mul Pow Add Mul pi x0 Add asec coth pi x0 3 Mul x3 Pow x0 x7 Mul Pow Add Mul pi x0 Add asec coth pi x0 3 Mul x3 Pow x0 x7 -1 