Mul cosh Mul x0 x0 Add Mul Pow Pow acot acos Mul Pow x4 Add Add x0 0.00390625000000000 x0 x0 x0 sqrt x3 x0 x0 
Add Mul Add Mul Pow Pow acot acos Mul Pow x4 Add Add x0 0.00390625000000000 x0 x0 x0 sqrt x3 x0 x0 Mul sinh Mul x0 x0 Add x0 x0 Mul cosh Mul x0 x0 Add Add Mul x0 Mul Pow Pow acot acos Mul Pow x4 Add Add x0 0.00390625000000000 x0 x0 x0 Add sqrt x3 -1 Mul sqrt x3 Mul Pow acot acos Mul Pow x4 Add Add x0 0.00390625000000000 x0 x0 Add x0 -1 Add Mul x0 Mul -1 Mul Mul -1 Mul Add Mul x0 Mul Pow x4 Add Add Add x0 0.00390625000000000 x0 -1 Mul Mul x4 log x4 2 Pow x4 Add Add x0 0.00390625000000000 x0 Pow sqrt Add 1 Mul -1 Mul Mul Pow x4 Add Add x0 0.00390625000000000 x0 x0 Mul Pow x4 Add Add x0 0.00390625000000000 x0 x0 -1 Pow Add 1 Mul acos Mul Pow x4 Add Add x0 0.00390625000000000 x0 x0 acos Mul Pow x4 Add Add x0 0.00390625000000000 x0 x0 -1 Mul acot acos Mul Pow x4 Add Add x0 0.00390625000000000 x0 x0 log acot acos Mul Pow x4 Add Add x0 0.00390625000000000 x0 x0 Pow Pow acot acos Mul Pow x4 Add Add x0 0.00390625000000000 x0 x0 x0 sqrt x3 1 