acsch Pow asinh Mul acoth acosh x5 Add x3 pi Add -2 sqrt x0 
Mul Mul -1 Mul Pow asinh Mul acoth acosh x5 Add x3 pi Add Add -2 sqrt x0 -1 Mul Mul asinh Mul acoth acosh x5 Add x3 pi log asinh Mul acoth acosh x5 Add x3 pi Pow Mul 2 sqrt x0 -1 Pow Mul Mul Pow asinh Mul acoth acosh x5 Add x3 pi Add -2 sqrt x0 Pow asinh Mul acoth acosh x5 Add x3 pi Add -2 sqrt x0 sqrt Add 1 Mul -1 Pow Mul Pow asinh Mul acoth acosh x5 Add x3 pi Add -2 sqrt x0 Pow asinh Mul acoth acosh x5 Add x3 pi Add -2 sqrt x0 -1 -1 