exp Add asinh Mul Mul atanh x7 Mul x5 Pow sech x5 x0 x0 3 
Mul exp Add asinh Mul Mul atanh x7 Mul x5 Pow sech x5 x0 x0 3 Mul Add Mul x0 Mul atanh x7 Mul x5 Mul Pow sech x5 Add x0 -1 Mul sech x5 log sech x5 Mul atanh x7 Mul x5 Pow sech x5 x0 Pow sqrt Add 1 Mul Mul Mul atanh x7 Mul x5 Pow sech x5 x0 x0 Mul Mul atanh x7 Mul x5 Pow sech x5 x0 x0 -1 