Average Error: 28.1 → 28.1
Time: 56.4s
Precision: 64
Internal Precision: 128
\[\frac{\left(\left(\left(x \cdot y + z\right) \cdot y + 27464.7644705\right) \cdot y + 230661.510616\right) \cdot y + t}{\left(\left(\left(y + a\right) \cdot y + b\right) \cdot y + c\right) \cdot y + i}\]
\[\frac{t + \left(y \cdot \left(y \cdot \left(z + x \cdot y\right) + 27464.7644705\right) + 230661.510616\right) \cdot y}{i + y \cdot \left(\left(\left(y \cdot y\right) \cdot \left(y + a\right) + y \cdot b\right) + c\right)}\]

Error

Bits error versus x

Bits error versus y

Bits error versus z

Bits error versus t

Bits error versus a

Bits error versus b

Bits error versus c

Bits error versus i

Try it out

Your Program's Arguments

Results

Enter valid numbers for all inputs

Derivation

  1. Initial program 28.1

    \[\frac{\left(\left(\left(x \cdot y + z\right) \cdot y + 27464.7644705\right) \cdot y + 230661.510616\right) \cdot y + t}{\left(\left(\left(y + a\right) \cdot y + b\right) \cdot y + c\right) \cdot y + i}\]
  2. Taylor expanded around inf 28.2

    \[\leadsto \frac{\left(\left(\left(x \cdot y + z\right) \cdot y + 27464.7644705\right) \cdot y + 230661.510616\right) \cdot y + t}{\left(\color{blue}{\left(a \cdot {y}^{2} + \left({y}^{3} + y \cdot b\right)\right)} + c\right) \cdot y + i}\]
  3. Simplified28.1

    \[\leadsto \frac{\left(\left(\left(x \cdot y + z\right) \cdot y + 27464.7644705\right) \cdot y + 230661.510616\right) \cdot y + t}{\left(\color{blue}{\left(y \cdot b + \left(y \cdot y\right) \cdot \left(y + a\right)\right)} + c\right) \cdot y + i}\]
  4. Final simplification28.1

    \[\leadsto \frac{t + \left(y \cdot \left(y \cdot \left(z + x \cdot y\right) + 27464.7644705\right) + 230661.510616\right) \cdot y}{i + y \cdot \left(\left(\left(y \cdot y\right) \cdot \left(y + a\right) + y \cdot b\right) + c\right)}\]

Reproduce

herbie shell --seed 2018365 
(FPCore (x y z t a b c i)
  :name "Numeric.SpecFunctions:logGamma from math-functions-0.1.5.2"
  (/ (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t) (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i)))

Details

Time bar (total: 50.4s)Debug log

start125.0ms

Algorithm
intervals

setup195.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 27.8b

localize86.0ms

Local error

Found 4 expressions with local error:

27.8b
(/ (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t) (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i))
0.1b
(* (+ (* x y) z) y)
0.1b
(* (+ (* (+ y a) y) b) y)
0.1b
(* (+ (* (+ (* (+ y a) y) b) y) c) y)

rewrite130.0ms

Algorithm
rewrite-expression-head
Counts
4 → 70
Calls

4 calls. Slowest were:

77.0ms
(/ (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t) (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i))
28.0ms
(* (+ (* (+ (* (+ y a) y) b) y) c) y)
15.0ms
(* (+ (* (+ y a) y) b) y)

series472.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

385.0ms
(/ (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t) (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i))
41.0ms
(* (+ (* (+ (* (+ y a) y) b) y) c) y)
24.0ms
(* (+ (* x y) z) y)
21.0ms
(* (+ (* (+ y a) y) b) y)

simplify9.3s

Counts
53 → 82
Calls

53 calls. Slowest were:

810.0ms
(* (+ (pow (* (+ (* (+ y a) y) b) y) 3) (pow c 3)) y)
435.0ms
(+ (* (* (+ (* (+ (* (+ y a) y) b) y) c) y) (* (+ (* (+ (* (+ y a) y) b) y) c) y)) (- (* i i) (* (* (+ (* (+ (* (+ y a) y) b) y) c) y) i)))
414.0ms
(- (* (+ (* (+ (* (+ y a) y) b) y) c) y) i)

prune2.1s

Pruning

11 alts after pruning (11 fresh and 0 done)

Merged error: 27.0b

localize44.0ms

Local error

Found 4 expressions with local error:

27.8b
(/ (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t) (+ (* (+ (+ (* y b) (* (* y y) (+ y a))) c) y) i))
3.6b
(* (* y y) (+ y a))
2.2b
(+ (* y b) (* (* y y) (+ y a)))
0.1b
(* (+ (* x y) z) y)

rewrite76.0ms

Algorithm
rewrite-expression-head
Counts
4 → 76
Calls

4 calls. Slowest were:

64.0ms
(/ (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t) (+ (* (+ (+ (* y b) (* (* y y) (+ y a))) c) y) i))
4.0ms
(* (+ (* x y) z) y)
3.0ms
(* (* y y) (+ y a))

series433.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

328.0ms
(/ (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t) (+ (* (+ (+ (* y b) (* (* y y) (+ y a))) c) y) i))
39.0ms
(+ (* y b) (* (* y y) (+ y a)))
36.0ms
(* (+ (* x y) z) y)
30.0ms
(* (* y y) (+ y a))

simplify8.6s

Counts
58 → 88
Calls

58 calls. Slowest were:

474.0ms
(+ (pow (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) 3) (pow t 3))
439.0ms
(cbrt (+ (* (+ (+ (* y b) (* (* y y) (+ y a))) c) y) i))
408.0ms
(/ 1 (sqrt (+ (* (+ (+ (* y b) (* (* y y) (+ y a))) c) y) i)))

prune2.2s

Pruning

11 alts after pruning (10 fresh and 1 done)

Merged error: 27.0b

localize9.0ms

Local error

Found 4 expressions with local error:

27.7b
(* (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t) (/ 1 (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i)))
0.4b
(/ 1 (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i))
0.1b
(* (+ (* x y) z) y)
0.1b
(* (+ (* (+ y a) y) b) y)

rewrite112.0ms

Algorithm
rewrite-expression-head
Counts
4 → 71
Calls

4 calls. Slowest were:

60.0ms
(* (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t) (/ 1 (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i)))
28.0ms
(/ 1 (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i))
14.0ms
(* (+ (* (+ y a) y) b) y)

series435.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

322.0ms
(* (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t) (/ 1 (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i)))
57.0ms
(/ 1 (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i))
34.0ms
(* (+ (* (+ y a) y) b) y)
22.0ms
(* (+ (* x y) z) y)

simplify8.1s

Counts
46 → 83
Calls

46 calls. Slowest were:

525.0ms
(* (+ (pow (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) 3) (pow t 3)) 1)
429.0ms
(+ (* (* (+ (* (+ (* (+ y a) y) b) y) c) y) (* (+ (* (+ (* (+ y a) y) b) y) c) y)) (- (* i i) (* (* (+ (* (+ (* (+ y a) y) b) y) c) y) i)))
393.0ms
(+ (* (* (+ (* (+ (* (+ y a) y) b) y) c) y) (* (+ (* (+ (* (+ y a) y) b) y) c) y)) (- (* i i) (* (* (+ (* (+ (* (+ y a) y) b) y) c) y) i)))

prune2.0s

Pruning

11 alts after pruning (9 fresh and 2 done)

Merged error: 27.0b

localize43.0ms

Local error

Found 4 expressions with local error:

27.8b
(/ (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t) (+ (* (* (cbrt (+ (* (+ (* (+ y a) y) b) y) c)) (cbrt (+ (* (+ (* (+ y a) y) b) y) c))) (* (cbrt (+ (* (+ (* (+ y a) y) b) y) c)) y)) i))
22.9b
(cbrt (+ (* (+ (* (+ y a) y) b) y) c))
22.9b
(cbrt (+ (* (+ (* (+ y a) y) b) y) c))
22.9b
(cbrt (+ (* (+ (* (+ y a) y) b) y) c))

rewrite169.0ms

Algorithm
rewrite-expression-head
Counts
4 → 70
Calls

4 calls. Slowest were:

155.0ms
(/ (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t) (+ (* (* (cbrt (+ (* (+ (* (+ y a) y) b) y) c)) (cbrt (+ (* (+ (* (+ y a) y) b) y) c))) (* (cbrt (+ (* (+ (* (+ y a) y) b) y) c)) y)) i))
4.0ms
(cbrt (+ (* (+ (* (+ y a) y) b) y) c))
4.0ms
(cbrt (+ (* (+ (* (+ y a) y) b) y) c))

series755.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

326.0ms
(/ (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t) (+ (* (* (cbrt (+ (* (+ (* (+ y a) y) b) y) c)) (cbrt (+ (* (+ (* (+ y a) y) b) y) c))) (* (cbrt (+ (* (+ (* (+ y a) y) b) y) c)) y)) i))
162.0ms
(cbrt (+ (* (+ (* (+ y a) y) b) y) c))
141.0ms
(cbrt (+ (* (+ (* (+ y a) y) b) y) c))
126.0ms
(cbrt (+ (* (+ (* (+ y a) y) b) y) c))

simplify11.6s

Counts
56 → 82
Calls

56 calls. Slowest were:

888.0ms
(exp (* 1/3 (- (log -1) (* 3 (log (/ -1 y))))))
887.0ms
(exp (* 1/3 (- (log -1) (* 3 (log (/ -1 y))))))
847.0ms
(exp (* 1/3 (- (log -1) (* 3 (log (/ -1 y))))))

prune1.9s

Pruning

11 alts after pruning (8 fresh and 3 done)

Merged error: 27.0b

regimes1.5s

Accuracy

0% (0.7b remaining)

Error of 28.1b against oracle of 27.4b and baseline of 28.1b

bsearch4.0ms