Time bar (total: 9.5m)
| 19.0ms | 60× | body | 640 | valid |
| 13.0ms | 277× | body | 80 | nan |
| 12.0ms | 41× | body | 1280 | valid |
| 7.0ms | 125× | body | 80 | valid |
| 3.0ms | 20× | body | 320 | valid |
| 1.0ms | 10× | body | 160 | valid |
| 31.0ms | (- (/ 1 (sqrt x)) (/ 1 (sqrt (+ x 1)))) |
1 alts after pruning (1 fresh and 0 done)
Merged error: 23.0b
Found 3 expressions with local error:
| 3.2b | (- (/ 1 (sqrt x)) (/ 1 (sqrt (+ x 1)))) |
| 0.3b | (/ 1 (sqrt x)) |
| 0.2b | (/ 1 (sqrt (+ x 1))) |
| 1063× | times-frac |
| 897× | *-un-lft-identity |
| 782× | add-sqr-sqrt |
| 712× | add-cube-cbrt |
| 594× | prod-diff |
| 576× | sqrt-prod |
| 73× | distribute-lft-out |
| 56× | div-inv |
| 46× | sqrt-div associate-/r/ |
| 25× | difference-of-squares |
| 23× | flip3-+ flip-+ |
| 22× | fma-neg |
| 13× | associate-/r* distribute-lft-out-- |
| 11× | add-exp-log |
| 7× | pow1 add-cbrt-cube |
| 6× | pow-flip associate-/l* |
| 5× | add-log-exp |
| 4× | div-exp |
| 3× | expm1-log1p-u insert-posit16 log1p-expm1-u |
| 2× | cbrt-undiv rec-exp clear-num frac-2neg sqrt-pow1 pow1/2 1-exp inv-pow |
| 1× | sub-neg flip3-- diff-log frac-sub flip-- |
| 43.0ms | (- (/ 1 (sqrt x)) (/ 1 (sqrt (+ x 1)))) |
| 18.0ms | (/ 1 (sqrt (+ x 1))) |
| 10.0ms | (/ 1 (sqrt x)) |
| 82.0ms | (- (/ 1 (sqrt x)) (/ 1 (sqrt (+ x 1)))) |
| 39.0ms | (/ 1 (sqrt (+ x 1))) |
| 38.0ms | (/ 1 (sqrt x)) |
| 726.0ms | (fma (sqrt (/ 1 (sqrt x))) (sqrt (/ 1 (sqrt x))) (- (* (/ (cbrt 1) (cbrt (sqrt (+ x 1)))) (/ (* (cbrt 1) (cbrt 1)) (* (cbrt (sqrt (+ x 1))) (cbrt (sqrt (+ x 1)))))))) |
| 511.0ms | (fma 1 (/ 1 (sqrt x)) (- (* (sqrt (+ (* x x) (- (* 1 1) (* x 1)))) (/ 1 (sqrt (+ (pow x 3) (pow 1 3))))))) |
| 392.0ms | (fma (* (cbrt (/ 1 (sqrt x))) (cbrt (/ 1 (sqrt x)))) (cbrt (/ 1 (sqrt x))) (- (* (sqrt (+ (* x x) (- (* 1 1) (* x 1)))) (/ 1 (sqrt (+ (pow x 3) (pow 1 3))))))) |
| 383.0ms | (fma (* (cbrt (/ 1 (sqrt x))) (cbrt (/ 1 (sqrt x)))) (cbrt (/ 1 (sqrt x))) (- (* (/ (cbrt 1) (cbrt (sqrt (+ x 1)))) (/ (* (cbrt 1) (cbrt 1)) (* (cbrt (sqrt (+ x 1))) (cbrt (sqrt (+ x 1)))))))) |
| 375.0ms | (fma (- (/ (cbrt 1) (cbrt (sqrt (+ x 1))))) (/ (* (cbrt 1) (cbrt 1)) (* (cbrt (sqrt (+ x 1))) (cbrt (sqrt (+ x 1))))) (* (/ (cbrt 1) (cbrt (sqrt (+ x 1)))) (/ (* (cbrt 1) (cbrt 1)) (* (cbrt (sqrt (+ x 1))) (cbrt (sqrt (+ x 1))))))) |
11 alts after pruning (11 fresh and 0 done)
Merged error: 22.4b
Found 4 expressions with local error:
| 3.2b | (- (sqrt (/ 1 (sqrt x))) (sqrt (/ 1 (sqrt (+ x 1))))) |
| 0.3b | (/ 1 (sqrt x)) |
| 0.3b | (/ 1 (sqrt x)) |
| 0.2b | (* (+ (sqrt (/ 1 (sqrt x))) (sqrt (/ 1 (sqrt (+ x 1))))) (- (sqrt (/ 1 (sqrt x))) (sqrt (/ 1 (sqrt (+ x 1)))))) |
| 6052× | sqrt-prod |
| 3399× | times-frac |
| 3032× | *-un-lft-identity |
| 2647× | add-sqr-sqrt |
| 2453× | add-cube-cbrt |
| 2250× | prod-diff |
| 752× | distribute-rgt-in distribute-lft-in |
| 248× | distribute-lft-out |
| 180× | div-inv |
| 168× | sqrt-div |
| 150× | associate-/r/ |
| 79× | flip3-+ flip-+ |
| 72× | difference-of-squares |
| 53× | associate-*r* |
| 28× | distribute-lft-out-- |
| 25× | fma-neg |
| 17× | associate-*l* |
| 14× | add-exp-log |
| 12× | associate-/r* |
| 10× | pow1 add-cbrt-cube |
| 9× | frac-times |
| 6× | pow-flip associate-/l* add-log-exp |
| 5× | flip3-- frac-sub flip-- |
| 4× | expm1-log1p-u div-exp frac-add insert-posit16 log1p-expm1-u |
| 3× | sub-neg associate-*l/ associate-*r/ |
| 2× | cbrt-undiv rec-exp clear-num frac-2neg sqrt-pow1 pow1/2 1-exp inv-pow |
| 1× | diff-log pow-prod-down prod-exp *-commutative cbrt-unprod unswap-sqr |
| 173.0ms | (* (+ (sqrt (/ 1 (sqrt x))) (sqrt (/ 1 (sqrt (+ x 1))))) (- (sqrt (/ 1 (sqrt x))) (sqrt (/ 1 (sqrt (+ x 1)))))) |
| 32.0ms | (- (sqrt (/ 1 (sqrt x))) (sqrt (/ 1 (sqrt (+ x 1))))) |
| 5.0ms | (/ 1 (sqrt x)) |
| 5.0ms | (/ 1 (sqrt x)) |
| 216.0ms | (* (+ (sqrt (/ 1 (sqrt x))) (sqrt (/ 1 (sqrt (+ x 1))))) (- (sqrt (/ 1 (sqrt x))) (sqrt (/ 1 (sqrt (+ x 1)))))) |
| 110.0ms | (- (sqrt (/ 1 (sqrt x))) (sqrt (/ 1 (sqrt (+ x 1))))) |
| 32.0ms | (/ 1 (sqrt x)) |
| 27.0ms | (/ 1 (sqrt x)) |
| 582.0ms | (* (+ (sqrt (/ 1 (sqrt x))) (sqrt (/ 1 (sqrt (+ x 1))))) (fma (- (sqrt (sqrt (- x 1)))) (sqrt (/ 1 (sqrt (- (* x x) (* 1 1))))) (* (sqrt (sqrt (- x 1))) (sqrt (/ 1 (sqrt (- (* x x) (* 1 1)))))))) |
| 566.0ms | (* (+ (sqrt (/ 1 (sqrt x))) (sqrt (/ 1 (sqrt (+ x 1))))) (fma (- (sqrt (/ (sqrt 1) (sqrt (cbrt (+ x 1)))))) (sqrt (/ (sqrt 1) (sqrt (* (cbrt (+ x 1)) (cbrt (+ x 1)))))) (* (sqrt (/ (sqrt 1) (sqrt (cbrt (+ x 1))))) (sqrt (/ (sqrt 1) (sqrt (* (cbrt (+ x 1)) (cbrt (+ x 1))))))))) |
| 565.0ms | (* (+ (sqrt (/ 1 (sqrt x))) (sqrt (/ 1 (sqrt (+ x 1))))) (fma (- (sqrt (/ (sqrt 1) (cbrt (sqrt (+ x 1)))))) (sqrt (/ (sqrt 1) (* (cbrt (sqrt (+ x 1))) (cbrt (sqrt (+ x 1)))))) (* (sqrt (/ (sqrt 1) (cbrt (sqrt (+ x 1))))) (sqrt (/ (sqrt 1) (* (cbrt (sqrt (+ x 1))) (cbrt (sqrt (+ x 1))))))))) |
| 559.0ms | (* (+ (sqrt (/ 1 (sqrt x))) (sqrt (/ 1 (sqrt (+ x 1))))) (fma (- (sqrt (/ 1 (cbrt (sqrt (+ x 1)))))) (sqrt (/ 1 (* (cbrt (sqrt (+ x 1))) (cbrt (sqrt (+ x 1)))))) (* (sqrt (/ 1 (cbrt (sqrt (+ x 1))))) (sqrt (/ 1 (* (cbrt (sqrt (+ x 1))) (cbrt (sqrt (+ x 1))))))))) |
| 556.0ms | (* (+ (sqrt (/ 1 (sqrt x))) (sqrt (/ 1 (sqrt (+ x 1))))) (fma (- (sqrt (cbrt (/ 1 (sqrt (+ x 1)))))) (sqrt (* (cbrt (/ 1 (sqrt (+ x 1)))) (cbrt (/ 1 (sqrt (+ x 1)))))) (* (sqrt (cbrt (/ 1 (sqrt (+ x 1))))) (sqrt (* (cbrt (/ 1 (sqrt (+ x 1)))) (cbrt (/ 1 (sqrt (+ x 1))))))))) |
13 alts after pruning (13 fresh and 0 done)
Merged error: 12.3b
Found 2 expressions with local error:
| 10.7b | (- (pow x -1/2) (/ 1 (sqrt (+ x 1)))) |
| 0.2b | (/ 1 (sqrt (+ x 1))) |
| 231× | *-un-lft-identity |
| 203× | add-sqr-sqrt |
| 189× | prod-diff |
| 180× | times-frac |
| 172× | add-cube-cbrt |
| 106× | sqrt-prod |
| 89× | unpow-prod-down |
| 33× | sqr-pow |
| 25× | distribute-lft-out |
| 16× | sqrt-div associate-/r/ |
| 15× | difference-of-squares |
| 9× | div-inv |
| 8× | flip3-+ flip-+ |
| 7× | associate-/r* fma-neg |
| 6× | add-exp-log |
| 4× | pow1 add-cbrt-cube add-log-exp |
| 3× | pow-flip associate-/l* |
| 2× | expm1-log1p-u div-exp insert-posit16 log1p-expm1-u distribute-lft-out-- |
| 1× | cbrt-undiv rec-exp clear-num sub-neg frac-2neg sqrt-pow1 flip3-- pow1/2 diff-log 1-exp flip-- inv-pow |
| 25.0ms | (- (pow x -1/2) (/ 1 (sqrt (+ x 1)))) |
| 8.0ms | (/ 1 (sqrt (+ x 1))) |
| 51.0ms | (- (pow x -1/2) (/ 1 (sqrt (+ x 1)))) |
| 32.0ms | (/ 1 (sqrt (+ x 1))) |