Time bar (total: 24.3s)
| 74.0ms | 81× | body | 2560 | valid |
| 66.0ms | 83× | body | 1280 | valid |
| 23.0ms | 240× | body | 80 | nan |
| 23.0ms | 46× | body | 640 | valid |
| 7.0ms | 20× | body | 320 | valid |
| 5.0ms | 19× | body | 160 | valid |
| 1.0ms | 7× | body | 80 | valid |
| 155.0ms | (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1))) |
1 alts after pruning (1 fresh and 0 done)
Merged error: 1.1b
Found 2 expressions with local error:
| 1.1b | (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1))) |
| 0.2b | (* 5 (* v v)) |
| 7× | pow1 add-cbrt-cube add-exp-log |
| 4× | add-sqr-sqrt |
| 3× | *-un-lft-identity associate-*l* pow-prod-down prod-exp add-cube-cbrt cbrt-unprod |
| 2× | insert-posit16 add-log-exp |
| 1× | acos-asin associate-*r* *-commutative unswap-sqr |
| 21.0ms | (* 5 (* v v)) |
| 2.0ms | (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1))) |
| 36.0ms | (* 5 (* v v)) |
| 3.0ms | (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1))) |
| 300.0ms | (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1))) |
| 291.0ms | (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1))) |
| 273.0ms | (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1))) |
| 219.0ms | (* (* (* 5 5) 5) (* (* (* v v) (* v v)) (* v v))) |
| 191.0ms | (* (* (* 5 5) 5) (* (* (* v v) v) (* (* v v) v))) |
3 alts after pruning (3 fresh and 0 done)
Merged error: 1.0b
Found 4 expressions with local error:
| 1.1b | (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1))) |
| 0.2b | (* 5 (* v v)) |
| 0.0b | (exp (log (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1))))) |
| 0.0b | (log (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1)))) |
| 11× | pow1 |
| 10× | add-exp-log |
| 9× | add-sqr-sqrt add-cbrt-cube |
| 8× | *-un-lft-identity add-cube-cbrt |
| 6× | log-prod |
| 4× | exp-prod insert-posit16 add-log-exp |
| 3× | associate-*l* exp-sum pow-prod-down prod-exp cbrt-unprod |
| 2× | log-pow |
| 1× | acos-asin rem-log-exp associate-*r* *-commutative unswap-sqr rem-exp-log |
| 13.0ms | (* 5 (* v v)) |
| 2.0ms | (exp (log (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1))))) |
| 1.0ms | (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1))) |
| 1.0ms | (log (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1)))) |
| 79.0ms | (log (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1)))) |
| 40.0ms | (* 5 (* v v)) |
| 3.0ms | (exp (log (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1))))) |
| 3.0ms | (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1))) |
| 355.0ms | (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1))) |
| 306.0ms | (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1))) |
| 297.0ms | (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1))) |
| 284.0ms | (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1))) |
| 261.0ms | (log (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1)))) |
5 alts after pruning (5 fresh and 0 done)
Merged error: 1.0b
Found 4 expressions with local error:
| 1.1b | (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1))) |
| 1.1b | (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1))) |
| 0.2b | (* 5 (* v v)) |
| 0.2b | (* 5 (* v v)) |
| 14× | pow1 add-cbrt-cube add-exp-log |
| 8× | add-sqr-sqrt |
| 6× | *-un-lft-identity associate-*l* pow-prod-down prod-exp add-cube-cbrt cbrt-unprod |
| 4× | insert-posit16 add-log-exp |
| 2× | acos-asin associate-*r* *-commutative unswap-sqr |
| 30.0ms | (* 5 (* v v)) |
| 13.0ms | (* 5 (* v v)) |
| 2.0ms | (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1))) |
| 2.0ms | (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1))) |
| 46.0ms | (* 5 (* v v)) |
| 31.0ms | (* 5 (* v v)) |
| 3.0ms | (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1))) |
| 3.0ms | (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1))) |
| 346.0ms | (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1))) |
| 329.0ms | (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1))) |
| 327.0ms | (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1))) |
| 312.0ms | (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1))) |
| 292.0ms | (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1))) |
4 alts after pruning (4 fresh and 0 done)
Merged error: 1.0b
Found 4 expressions with local error:
| 4.2b | (log (exp (* 5 (* v v)))) |
| 1.1b | (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1))) |
| 1.1b | (acos (/ (- 1 (log (exp (* 5 (* v v))))) (- (* v v) 1))) |
| 0.2b | (* 5 (* v v)) |
| 10× | pow1 |
| 9× | add-cbrt-cube add-exp-log |
| 7× | add-sqr-sqrt |
| 6× | *-un-lft-identity add-cube-cbrt |
| 5× | add-log-exp |
| 4× | insert-posit16 |
| 3× | log-prod associate-*l* pow-prod-down prod-exp log-pow cbrt-unprod |
| 2× | acos-asin |
| 1× | exp-prod exp-to-pow rem-log-exp associate-*r* *-commutative unswap-sqr |
| 21.0ms | (* 5 (* v v)) |
| 4.0ms | (log (exp (* 5 (* v v)))) |
| 1.0ms | (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1))) |
| 1.0ms | (acos (/ (- 1 (log (exp (* 5 (* v v))))) (- (* v v) 1))) |
| 48.0ms | (log (exp (* 5 (* v v)))) |
| 34.0ms | (* 5 (* v v)) |
| 6.0ms | (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1))) |
| 5.0ms | (acos (/ (- 1 (log (exp (* 5 (* v v))))) (- (* v v) 1))) |
| 596.0ms | (* (* (* 5 5) 5) (* (* (* v v) (* v v)) (* v v))) |
| 298.0ms | (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1))) |
| 297.0ms | (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1))) |
| 295.0ms | (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1))) |
| 294.0ms | (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1))) |
5 alts after pruning (4 fresh and 1 done)
Merged error: 1.0b
0% (0.0b remaining)
Error of 0.6b against oracle of 0.5b and baseline of 0.6b
| 3.1s | 2916× | body | 2560 | valid |
| 1.7s | 2477× | body | 1280 | valid |
| 914.0ms | 8069× | body | 80 | nan |
| 773.0ms | 1311× | body | 640 | valid |
| 618.0ms | 661× | body | 320 | valid |
| 138.0ms | 424× | body | 160 | valid |
| 28.0ms | 211× | body | 80 | valid |