Add Mul x3 x0 Pow Mul x7 Mul sec x4 Pow asinh x0 x0 acosh Mul Mul -1 pi x5 
Add x3 Mul Pow Mul x7 Mul sec x4 Pow asinh x0 x0 Add acosh Mul Mul -1 pi x5 -1 Mul acosh Mul Mul -1 pi x5 Mul x7 Mul sec x4 Mul Pow asinh x0 Add x0 -1 Add Mul x0 Pow sqrt Add 1 Mul x0 x0 -1 Mul asinh x0 log asinh x0 