Average Error: 32.2 → 15.4
Time: 21.1s
Precision: binary64
\[\]
↓
\[\]
↓
double code(double t, double l, double k) {
	return ((double) (2.0 / ((double) (((double) (((double) (((double) (((double) pow(t, 3.0)) / ((double) (l * l)))) * ((double) sin(k)))) * ((double) tan(k)))) * ((double) (((double) (1.0 + ((double) pow(((double) (k / t)), 2.0)))) + 1.0))))));
}

↓
double code(double t, double l, double k) {
	return ((double) (2.0 / ((double) (((double) (((double) (1.0 + ((double) (1.0 + ((double) pow(((double) (k / t)), 2.0)))))) * ((double) (((double) (((double) cbrt(((double) pow(((double) cbrt(t)), 3.0)))) * ((double) cbrt(((double) pow(((double) cbrt(t)), 3.0)))))) * ((double) (((double) (((double) cbrt(((double) pow(((double) cbrt(t)), 3.0)))) * ((double) (((double) (((double) pow(((double) cbrt(t)), 3.0)) / l)) * ((double) sin(k)))))) * ((double) tan(k)))))))) / ((double) (((double) cbrt(((double) (l / ((double) pow(((double) cbrt(t)), 3.0)))))) * ((double) (((double) cbrt(((double) (l / ((double) pow(((double) cbrt(t)), 3.0)))))) * ((double) cbrt(((double) (l / ((double) pow(((double) cbrt(t)), 3.0))))))))))))));
}

Error
Bits error versus t
Bits error versus l
Bits error versus k
Try it out
Your Program's Arguments
Results
Enter valid numbers for all inputs
Derivation
  1. Initial program 32.2
    \[\]
  2. Using strategy rm
  3. Applied add-cube-cbrt32.3
    \[\leadsto \]
  4. Applied unpow-prod-down32.3
    \[\leadsto \]
  5. Applied times-frac25.3
    \[\leadsto \]
  6. Applied associate-*l*23.6
    \[\leadsto \]
  7. Using strategy rm
  8. Applied unpow-prod-down23.6
    \[\leadsto \]
  9. Applied associate-/l*17.9
    \[\leadsto \]
  10. Using strategy rm
  11. Applied add-cube-cbrt17.9
    \[\leadsto \]
  12. Applied add-cube-cbrt18.0
    \[\leadsto \]
  13. Applied times-frac18.0
    \[\leadsto \]
  14. Applied associate-*l*17.1
    \[\leadsto \]
  15. Simplified17.1
    \[\leadsto \]
  16. Using strategy rm
  17. Applied associate-*r/17.1
    \[\leadsto \]
  18. Applied frac-times17.1
    \[\leadsto \]
  19. Applied associate-*l/15.9
    \[\leadsto \]
  20. Applied associate-*l/14.3
    \[\leadsto \]
  21. Simplified15.4
    \[\leadsto \]
  22. Final simplification15.4
    \[\leadsto \]
Reproduce
herbie shell --seed 2020180 
(FPCore (t l k)
  :name "Toniolo and Linder, Equation (10+)"
  :precision binary64
  (/ 2.0 (* (* (* (/ (pow t 3.0) (* l l)) (sin k)) (tan k)) (+ (+ 1.0 (pow (/ k t) 2.0)) 1.0))))