Error
Bits error versus re
Bits error versus im
Bits error versus re
Bits error versus im
Results
Initial program 0.0
Final simplification0.0
herbie shell --seed 2019005 +o rules:numerics
(FPCore (re im)
:name "math.square on complex, imaginary part"
(+ (* re im) (* im re)))
Time bar (total: 1.4s)Debug log
1 calls. Slowest were:
| 20.0ms | (+ (* re im) (* im re)) |
2 alts after pruning (2 fresh and 0 done)
Merged error: 0b
Found 1 expressions with local error:
| 0.0b | (+ (* re im) (* im re)) |
1 calls. Slowest were:
| 6.0ms | (+ (* re im) (* im re)) |
1 calls. Slowest were:
| 29.0ms | (+ (* re im) (* im re)) |
4 calls. Slowest were:
| 23.0ms | (* 2 (* re im)) |
| 20.0ms | (* (exp (* re im)) (exp (* im re))) |
| 13.0ms | (* 2 (* re im)) |
2 alts after pruning (1 fresh and 1 done)
Merged error: 0b
Found 1 expressions with local error:
| 0.2b | (* re (+ im im)) |
1 calls. Slowest were:
| 1.0ms | (* re (+ im im)) |
1 calls. Slowest were:
| 11.0ms | (* re (+ im im)) |
10 calls. Slowest were:
| 13.0ms | (+ (* im im) (- (* im im) (* im im))) |
| 7.0ms | (* 2 (* re im)) |
| 6.0ms | (* 2 (* re im)) |
2 alts after pruning (0 fresh and 2 done)
Merged error: 0b
0% (0.0b remaining)
Error of 0.0b against oracle of 0b and baseline of 0.0b