Error in 1.9m

Runtime

Time bar (total: 1.9m)Debug log

start752.0ms

Algorithm
intervals

setup542.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.6b

localize208.0ms

Local error

Found 4 expressions with local error:

9.3b
(fma (fma 4 (/ (fma 3 (* x1 x1) (- (* x2 2) x1)) (fma x1 x1 1)) -6) (* x1 x1) (/ (- (/ (fma x1 (* 3 x1) (* x2 2)) (fma x1 x1 1)) (+ (/ x1 (fma x1 x1 1)) 3)) (/ (fma x1 x1 1) (fma (fma x1 (* 3 x1) (* x2 2)) (* x1 2) (* (* x1 2) (- x1))))))
4.1b
(- (/ (fma x1 (* 3 x1) (* x2 2)) (fma x1 x1 1)) (+ (/ x1 (fma x1 x1 1)) 3))
2.6b
(* (/ 3 (/ (fma x1 x1 1) (* x1 x1))) (fma 3 (* x1 x1) (- (* x2 2) x1)))
0.8b
(/ 3 (/ (fma x1 x1 1) (* x1 x1)))

rewrite26.0ms

Algorithm
rewrite-expression-head
Counts
4 → 126
Calls

4 calls. Slowest were:

17.0ms
(- (/ (fma x1 (* 3 x1) (* x2 2)) (fma x1 x1 1)) (+ (/ x1 (fma x1 x1 1)) 3))
4.0ms
(* (/ 3 (/ (fma x1 x1 1) (* x1 x1))) (fma 3 (* x1 x1) (- (* x2 2) x1)))
1.0ms
(fma (fma 4 (/ (fma 3 (* x1 x1) (- (* x2 2) x1)) (fma x1 x1 1)) -6) (* x1 x1) (/ (- (/ (fma x1 (* 3 x1) (* x2 2)) (fma x1 x1 1)) (+ (/ x1 (fma x1 x1 1)) 3)) (/ (fma x1 x1 1) (fma (fma x1 (* 3 x1) (* x2 2)) (* x1 2) (* (* x1 2) (- x1))))))

series317.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

200.0ms
(fma (fma 4 (/ (fma 3 (* x1 x1) (- (* x2 2) x1)) (fma x1 x1 1)) -6) (* x1 x1) (/ (- (/ (fma x1 (* 3 x1) (* x2 2)) (fma x1 x1 1)) (+ (/ x1 (fma x1 x1 1)) 3)) (/ (fma x1 x1 1) (fma (fma x1 (* 3 x1) (* x2 2)) (* x1 2) (* (* x1 2) (- x1))))))
49.0ms
(- (/ (fma x1 (* 3 x1) (* x2 2)) (fma x1 x1 1)) (+ (/ x1 (fma x1 x1 1)) 3))
34.0ms
(/ 3 (/ (fma x1 x1 1) (* x1 x1)))

simplify20.1s

Counts
132 → 138
Calls

132 calls. Slowest were:

605.0ms
(fma (/ (sqrt (fma x1 (* 3 x1) (* x2 2))) 1) (/ (sqrt (fma x1 (* 3 x1) (* x2 2))) (fma x1 x1 1)) (- (* (+ (/ x1 (fma x1 x1 1)) 3) 1)))
557.0ms
(fma (fma x1 (* 3 x1) (* x2 2)) (/ 1 (fma x1 x1 1)) (- (* (sqrt (+ (/ x1 (fma x1 x1 1)) 3)) (sqrt (+ (/ x1 (fma x1 x1 1)) 3)))))
531.0ms
(fma (- (+ (/ x1 (fma x1 x1 1)) 3)) 1 (* (+ (/ x1 (fma x1 x1 1)) 3) 1))

prune6.2s

Pruning

7 alts after pruning (7 fresh and 0 done)

Merged error: 0.4b

localize94.0ms

Local error

Found 4 expressions with local error:

9.3b
(fma (fma 4 (/ (fma 3 (* x1 x1) (- (* x2 2) x1)) (fma x1 x1 1)) -6) (* x1 x1) (/ (/ (- (* (fma x1 (* 3 x1) (* x2 2)) (+ (* (/ x1 (fma x1 x1 1)) (/ x1 (fma x1 x1 1))) (- (* 3 3) (* (/ x1 (fma x1 x1 1)) 3)))) (* (fma x1 x1 1) (+ (pow (/ x1 (fma x1 x1 1)) 3) (pow 3 3)))) (fma (fma x1 x1 1) (fma -3 (/ x1 (fma x1 x1 1)) 9) (/ (* x1 x1) (fma x1 x1 1)))) (/ (fma x1 x1 1) (fma (fma x1 (* 3 x1) (* x2 2)) (* x1 2) (* (* x1 2) (- x1))))))
4.1b
(- (* (fma x1 (* 3 x1) (* x2 2)) (+ (* (/ x1 (fma x1 x1 1)) (/ x1 (fma x1 x1 1))) (- (* 3 3) (* (/ x1 (fma x1 x1 1)) 3)))) (* (fma x1 x1 1) (+ (pow (/ x1 (fma x1 x1 1)) 3) (pow 3 3))))
2.6b
(* (/ 3 (/ (fma x1 x1 1) (* x1 x1))) (fma 3 (* x1 x1) (- (* x2 2) x1)))
0.8b
(/ 3 (/ (fma x1 x1 1) (* x1 x1)))

rewrite45.0ms

Algorithm
rewrite-expression-head
Counts
4 → 90
Calls

4 calls. Slowest were:

33.0ms
(- (* (fma x1 (* 3 x1) (* x2 2)) (+ (* (/ x1 (fma x1 x1 1)) (/ x1 (fma x1 x1 1))) (- (* 3 3) (* (/ x1 (fma x1 x1 1)) 3)))) (* (fma x1 x1 1) (+ (pow (/ x1 (fma x1 x1 1)) 3) (pow 3 3))))
8.0ms
(* (/ 3 (/ (fma x1 x1 1) (* x1 x1))) (fma 3 (* x1 x1) (- (* x2 2) x1)))
1.0ms
(/ 3 (/ (fma x1 x1 1) (* x1 x1)))

series488.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

295.0ms
(fma (fma 4 (/ (fma 3 (* x1 x1) (- (* x2 2) x1)) (fma x1 x1 1)) -6) (* x1 x1) (/ (/ (- (* (fma x1 (* 3 x1) (* x2 2)) (+ (* (/ x1 (fma x1 x1 1)) (/ x1 (fma x1 x1 1))) (- (* 3 3) (* (/ x1 (fma x1 x1 1)) 3)))) (* (fma x1 x1 1) (+ (pow (/ x1 (fma x1 x1 1)) 3) (pow 3 3)))) (fma (fma x1 x1 1) (fma -3 (/ x1 (fma x1 x1 1)) 9) (/ (* x1 x1) (fma x1 x1 1)))) (/ (fma x1 x1 1) (fma (fma x1 (* 3 x1) (* x2 2)) (* x1 2) (* (* x1 2) (- x1))))))
113.0ms
(- (* (fma x1 (* 3 x1) (* x2 2)) (+ (* (/ x1 (fma x1 x1 1)) (/ x1 (fma x1 x1 1))) (- (* 3 3) (* (/ x1 (fma x1 x1 1)) 3)))) (* (fma x1 x1 1) (+ (pow (/ x1 (fma x1 x1 1)) 3) (pow 3 3))))
43.0ms
(* (/ 3 (/ (fma x1 x1 1) (* x1 x1))) (fma 3 (* x1 x1) (- (* x2 2) x1)))

simplify16.0s

Counts
72 → 102
Calls

72 calls. Slowest were:

1.1s
(- (* (* (fma x1 (* 3 x1) (* x2 2)) (+ (* (* (/ x1 (fma x1 x1 1)) x1) (+ (* 3 3) (* (/ x1 (fma x1 x1 1)) 3))) (* (fma x1 x1 1) (- (* (* 3 3) (* 3 3)) (* (* (/ x1 (fma x1 x1 1)) 3) (* (/ x1 (fma x1 x1 1)) 3)))))) (- (pow (/ x1 (fma x1 x1 1)) 3) (pow 3 3))) (* (* (fma x1 x1 1) (+ (* 3 3) (* (/ x1 (fma x1 x1 1)) 3))) (* (fma x1 x1 1) (- (* (pow (/ x1 (fma x1 x1 1)) 3) (pow (/ x1 (fma x1 x1 1)) 3)) (* (pow 3 3) (pow 3 3))))))
928.0ms
(- (* (* (fma x1 (* 3 x1) (* x2 2)) (+ (* (* x1 x1) (+ (* 3 3) (* (/ x1 (fma x1 x1 1)) 3))) (* (* (fma x1 x1 1) (fma x1 x1 1)) (- (* (* 3 3) (* 3 3)) (* (* (/ x1 (fma x1 x1 1)) 3) (* (/ x1 (fma x1 x1 1)) 3)))))) (- (pow (/ x1 (fma x1 x1 1)) 3) (pow 3 3))) (* (* (* (fma x1 x1 1) (fma x1 x1 1)) (+ (* 3 3) (* (/ x1 (fma x1 x1 1)) 3))) (* (fma x1 x1 1) (- (* (pow (/ x1 (fma x1 x1 1)) 3) (pow (/ x1 (fma x1 x1 1)) 3)) (* (pow 3 3) (pow 3 3))))))
888.0ms
(- (* (* (fma x1 (* 3 x1) (* x2 2)) (+ (* (* x1 (/ x1 (fma x1 x1 1))) (+ (* 3 3) (* (/ x1 (fma x1 x1 1)) 3))) (* (fma x1 x1 1) (- (* (* 3 3) (* 3 3)) (* (* (/ x1 (fma x1 x1 1)) 3) (* (/ x1 (fma x1 x1 1)) 3)))))) (- (pow (/ x1 (fma x1 x1 1)) 3) (pow 3 3))) (* (* (fma x1 x1 1) (+ (* 3 3) (* (/ x1 (fma x1 x1 1)) 3))) (* (fma x1 x1 1) (- (* (pow (/ x1 (fma x1 x1 1)) 3) (pow (/ x1 (fma x1 x1 1)) 3)) (* (pow 3 3) (pow 3 3))))))

prune6.9s

Pruning

8 alts after pruning (7 fresh and 1 done)

Merged error: 0.4b

localize125.0ms

Local error

Found 4 expressions with local error:

10.9b
(fma (fma 27 (- 27 (pow (/ x1 (fma x1 x1 1)) 3)) (* (pow (/ x1 (fma x1 x1 1)) 3) (pow (/ x1 (fma x1 x1 1)) 3))) (* (fma x1 (* x1 3) (* x2 2)) (fma (- 81 (* (/ (* x1 3) (fma x1 x1 1)) (/ (* x1 3) (fma x1 x1 1)))) (fma x1 x1 1) (* (/ (* x1 x1) (fma x1 x1 1)) (fma (/ x1 (fma x1 x1 1)) 3 9)))) (* (- (* (fma (/ x1 (fma x1 x1 1)) 3 9) (* (fma x1 x1 1) (fma x1 x1 1)))) (fma (pow (/ x1 (fma x1 x1 1)) 3) (* (pow (/ x1 (fma x1 x1 1)) 3) (pow (/ x1 (fma x1 x1 1)) 3)) 19683)))
9.3b
(fma (fma 4 (/ (fma 3 (* x1 x1) (- (* x2 2) x1)) (fma x1 x1 1)) -6) (* x1 x1) (/ (/ (/ (fma (fma 27 (- 27 (pow (/ x1 (fma x1 x1 1)) 3)) (* (pow (/ x1 (fma x1 x1 1)) 3) (pow (/ x1 (fma x1 x1 1)) 3))) (* (fma x1 (* x1 3) (* x2 2)) (fma (- 81 (* (/ (* x1 3) (fma x1 x1 1)) (/ (* x1 3) (fma x1 x1 1)))) (fma x1 x1 1) (* (/ (* x1 x1) (fma x1 x1 1)) (fma (/ x1 (fma x1 x1 1)) 3 9)))) (* (- (* (fma (/ x1 (fma x1 x1 1)) 3 9) (* (fma x1 x1 1) (fma x1 x1 1)))) (fma (pow (/ x1 (fma x1 x1 1)) 3) (* (pow (/ x1 (fma x1 x1 1)) 3) (pow (/ x1 (fma x1 x1 1)) 3)) 19683))) (* (* (fma x1 x1 1) (+ (* 3 3) (* (/ x1 (fma x1 x1 1)) 3))) (+ (* (pow (/ x1 (fma x1 x1 1)) 3) (pow (/ x1 (fma x1 x1 1)) 3)) (- (* (pow 3 3) (pow 3 3)) (* (pow (/ x1 (fma x1 x1 1)) 3) (pow 3 3)))))) (fma (fma x1 x1 1) (fma -3 (/ x1 (fma x1 x1 1)) 9) (/ (* x1 x1) (fma x1 x1 1)))) (/ (fma x1 x1 1) (fma (fma x1 (* 3 x1) (* x2 2)) (* x1 2) (* (* x1 2) (- x1))))))
2.6b
(* (/ 3 (/ (fma x1 x1 1) (* x1 x1))) (fma 3 (* x1 x1) (- (* x2 2) x1)))
0.8b
(/ 3 (/ (fma x1 x1 1) (* x1 x1)))

rewrite6.0ms

Algorithm
rewrite-expression-head
Counts
4 → 64
Calls

4 calls. Slowest were:

4.0ms
(* (/ 3 (/ (fma x1 x1 1) (* x1 x1))) (fma 3 (* x1 x1) (- (* x2 2) x1)))
1.0ms
(/ 3 (/ (fma x1 x1 1) (* x1 x1)))
0.0ms
(fma (fma 27 (- 27 (pow (/ x1 (fma x1 x1 1)) 3)) (* (pow (/ x1 (fma x1 x1 1)) 3) (pow (/ x1 (fma x1 x1 1)) 3))) (* (fma x1 (* x1 3) (* x2 2)) (fma (- 81 (* (/ (* x1 3) (fma x1 x1 1)) (/ (* x1 3) (fma x1 x1 1)))) (fma x1 x1 1) (* (/ (* x1 x1) (fma x1 x1 1)) (fma (/ x1 (fma x1 x1 1)) 3 9)))) (* (- (* (fma (/ x1 (fma x1 x1 1)) 3 9) (* (fma x1 x1 1) (fma x1 x1 1)))) (fma (pow (/ x1 (fma x1 x1 1)) 3) (* (pow (/ x1 (fma x1 x1 1)) 3) (pow (/ x1 (fma x1 x1 1)) 3)) 19683)))

series877.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

585.0ms
(fma (fma 4 (/ (fma 3 (* x1 x1) (- (* x2 2) x1)) (fma x1 x1 1)) -6) (* x1 x1) (/ (/ (/ (fma (fma 27 (- 27 (pow (/ x1 (fma x1 x1 1)) 3)) (* (pow (/ x1 (fma x1 x1 1)) 3) (pow (/ x1 (fma x1 x1 1)) 3))) (* (fma x1 (* x1 3) (* x2 2)) (fma (- 81 (* (/ (* x1 3) (fma x1 x1 1)) (/ (* x1 3) (fma x1 x1 1)))) (fma x1 x1 1) (* (/ (* x1 x1) (fma x1 x1 1)) (fma (/ x1 (fma x1 x1 1)) 3 9)))) (* (- (* (fma (/ x1 (fma x1 x1 1)) 3 9) (* (fma x1 x1 1) (fma x1 x1 1)))) (fma (pow (/ x1 (fma x1 x1 1)) 3) (* (pow (/ x1 (fma x1 x1 1)) 3) (pow (/ x1 (fma x1 x1 1)) 3)) 19683))) (* (* (fma x1 x1 1) (+ (* 3 3) (* (/ x1 (fma x1 x1 1)) 3))) (+ (* (pow (/ x1 (fma x1 x1 1)) 3) (pow (/ x1 (fma x1 x1 1)) 3)) (- (* (pow 3 3) (pow 3 3)) (* (pow (/ x1 (fma x1 x1 1)) 3) (pow 3 3)))))) (fma (fma x1 x1 1) (fma -3 (/ x1 (fma x1 x1 1)) 9) (/ (* x1 x1) (fma x1 x1 1)))) (/ (fma x1 x1 1) (fma (fma x1 (* 3 x1) (* x2 2)) (* x1 2) (* (* x1 2) (- x1))))))
213.0ms
(fma (fma 27 (- 27 (pow (/ x1 (fma x1 x1 1)) 3)) (* (pow (/ x1 (fma x1 x1 1)) 3) (pow (/ x1 (fma x1 x1 1)) 3))) (* (fma x1 (* x1 3) (* x2 2)) (fma (- 81 (* (/ (* x1 3) (fma x1 x1 1)) (/ (* x1 3) (fma x1 x1 1)))) (fma x1 x1 1) (* (/ (* x1 x1) (fma x1 x1 1)) (fma (/ x1 (fma x1 x1 1)) 3 9)))) (* (- (* (fma (/ x1 (fma x1 x1 1)) 3 9) (* (fma x1 x1 1) (fma x1 x1 1)))) (fma (pow (/ x1 (fma x1 x1 1)) 3) (* (pow (/ x1 (fma x1 x1 1)) 3) (pow (/ x1 (fma x1 x1 1)) 3)) 19683)))
47.0ms
(* (/ 3 (/ (fma x1 x1 1) (* x1 x1))) (fma 3 (* x1 x1) (- (* x2 2) x1)))

simplify4.2s

Counts
32 → 76
Calls

32 calls. Slowest were:

468.0ms
(* (- (* x2 2) x1) (/ 3 (/ (fma x1 x1 1) (* x1 x1))))
393.0ms
(- (+ (* 3 (/ 1 (pow x1 4))) 3) (* 3 (/ 1 (pow x1 2))))
381.0ms
(- (* 118098 (* (pow x1 2) x2)) (+ (* 177147 (pow x1 2)) (* 59049 (pow x1 3))))

prune7.8s

Pruning

8 alts after pruning (6 fresh and 2 done)

Merged error: 0.4b

localize87.0ms

Local error

Found 4 expressions with local error:

4.1b
(+ (* (* (* 2 x1) (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) (- (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)) 3)) (* (* x1 x1) (- (* 4 (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) 6)))
4.1b
(- (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)) 3)
2.7b
(* (* x1 x1) (- (* 4 (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) 6))
2.6b
(* (* (* 3 x1) x1) (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)))

rewrite324.0ms

Algorithm
rewrite-expression-head
Counts
4 → 116
Calls

4 calls. Slowest were:

131.0ms
(- (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)) 3)
118.0ms
(+ (* (* (* 2 x1) (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) (- (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)) 3)) (* (* x1 x1) (- (* 4 (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) 6)))
39.0ms
(* (* x1 x1) (- (* 4 (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) 6))

series401.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

231.0ms
(+ (* (* (* 2 x1) (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) (- (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)) 3)) (* (* x1 x1) (- (* 4 (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) 6)))
69.0ms
(* (* x1 x1) (- (* 4 (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) 6))
51.0ms
(- (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)) 3)

simplify17.1s

Counts
91 → 128
Calls

91 calls. Slowest were:

722.0ms
(+ (* (* (* (* 2 x1) (- (+ (* (* 3 x1) x1) (* 2 x2)) x1)) (- (pow (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)) 3) (pow 3 3))) (+ (* 4 (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) 6)) (* (* (+ (* x1 x1) 1) (+ (* (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)) (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) (+ (* 3 3) (* (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)) 3)))) (* (* x1 x1) (- (* (* 4 (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) (* 4 (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)))) (* 6 6)))))
717.0ms
(+ (* (* (* (* 2 x1) (- (+ (* (* 3 x1) x1) (* 2 x2)) x1)) (- (* (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)) (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) (* 3 3))) (+ (* 4 (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) 6)) (* (* (+ (* x1 x1) 1) (+ (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)) 3)) (* (* x1 x1) (- (* (* 4 (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) (* 4 (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)))) (* 6 6)))))
626.0ms
(* (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)) (* (* 2 x1) (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))))

prune4.6s

Pruning

10 alts after pruning (8 fresh and 2 done)

Merged error: 0.4b

regimes1.0s

Please include this information when filing a bug report:

herbie shell --seed 2018359 +o rules:numerics
(FPCore (x1 x2)
  :name "Rosa's FloatVsDoubleBenchmark"
  (+ x1 (+ (+ (+ (+ (* (+ (* (* (* 2 x1) (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) (- (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)) 3)) (* (* x1 x1) (- (* 4 (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) 6))) (+ (* x1 x1) 1)) (* (* (* 3 x1) x1) (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)))) (* (* x1 x1) x1)) x1) (* 3 (/ (- (- (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))))))

Backtrace

partition: contract violation expected: list? given: 0.5137875618331885 argument position: 2nd other arguments...: #<procedure:ordinary-value?>LC
partition/home/p92/racket/collects/racket/list.rkt5550
errors-score/data/pavpan/nightlies/herbie/develop/src/points.rkt3220
for-loop/data/pavpan/nightlies/herbie/develop/src/sandbox.rkt7512
(unnamed)/home/p92/racket/collects/racket/private/more-scheme.rkt26128
run/home/p92/racket/share/pkgs/profile-lib/main.rkt392
profile-thunk16/home/p92/racket/share/pkgs/profile-lib/main.rkt90
(unnamed)/home/p92/racket/collects/racket/private/more-scheme.rkt26128