Add Pow acos Add Add x0 Mul Add x0 x0 0.000320000000000000 acot x0 cosh acsch Mul x6 acosh x0 -2 
Mul Pow acos Add Add x0 Mul Add x0 x0 0.000320000000000000 acot x0 Add cosh acsch Mul x6 acosh x0 -1 Add Mul cosh acsch Mul x6 acosh x0 Mul -1 Mul Add 3.00032000000000 Mul -1 Pow Add 1 Mul x0 x0 -1 Pow sqrt Add 1 Mul -1 Mul Add Add x0 Mul Add x0 x0 0.000320000000000000 acot x0 Add Add x0 Mul Add x0 x0 0.000320000000000000 acot x0 -1 Mul Mul acos Add Add x0 Mul Add x0 x0 0.000320000000000000 acot x0 log acos Add Add x0 Mul Add x0 x0 0.000320000000000000 acot x0 Mul sinh acsch Mul x6 acosh x0 Mul Mul -1 Mul x6 Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 Pow Mul Mul Mul x6 acosh x0 Mul x6 acosh x0 sqrt Add 1 Mul -1 Pow Mul Mul x6 acosh x0 Mul x6 acosh x0 -1 -1 