Pow acoth acoth x0 Mul Pow Add x0 -5 sec x7 362063575201.690 
Mul Pow acoth acoth x0 Add Mul Pow Add x0 -5 sec x7 362063575201.690 -1 Add Mul Mul Pow Add x0 -5 sec x7 362063575201.690 Mul Pow Add 1 Mul -1 Mul x0 x0 -1 Pow Add 1 Mul -1 Mul acoth x0 acoth x0 -1 Mul Mul acoth acoth x0 log acoth acoth x0 Mul 362063575201.690 Mul Pow Add x0 -5 Add sec x7 -1 sec x7 