Mul x7 log Pow tanh Mul sec Add x0 Mul x1 x0 pi Add Mul asinh x6 2 Pow x0 x0 
Mul x7 Mul Mul Pow tanh Mul sec Add x0 Mul x1 x0 pi Add Add Mul asinh x6 2 Pow x0 x0 -1 Add Mul Add Mul asinh x6 2 Pow x0 x0 Mul Pow sech Mul sec Add x0 Mul x1 x0 pi 2 Mul pi Mul Mul tan Add x0 Mul x1 x0 sec Add x0 Mul x1 x0 Add 1 x1 Mul Mul tanh Mul sec Add x0 Mul x1 x0 pi log tanh Mul sec Add x0 Mul x1 x0 pi Mul Pow x0 Add x0 -1 Add x0 Mul x0 log x0 Pow Pow tanh Mul sec Add x0 Mul x1 x0 pi Add Mul asinh x6 2 Pow x0 x0 -1 