Time bar (total: 2.0min)
| 1× | search |
| True | Other | False | Iter |
|---|---|---|---|
| 0% | 74.9% | 25.1% | 0 |
| 0% | 74.9% | 25.1% | 1 |
| 0% | 74.9% | 25.1% | 2 |
| 18.7% | 56.2% | 25.1% | 3 |
| 37.5% | 37.5% | 25.1% | 4 |
| 42.1% | 32.8% | 25.1% | 5 |
| 46.8% | 28.1% | 25.1% | 6 |
| 48% | 26.9% | 25.1% | 7 |
| 49.2% | 25.8% | 25.1% | 8 |
| 49.5% | 25.5% | 25.1% | 9 |
| 49.8% | 25.2% | 25.1% | 10 |
| 49.8% | 25.2% | 25.1% | 11 |
| 49.8% | 25.1% | 25.1% | 12 |
| 49.9% | 25% | 25.1% | 13 |
| 49.9% | 25% | 25.1% | 14 |
Compiled 127 to 112 computations (11.8% saved)
| 1× | intervals |
| 1.4s | 128× | body | 8192 | exit |
| 81.0ms | 256× | body | 128 | valid |
| 7.0ms | 387× | pre | 128 | true |
| 1.0ms | 3× | body | 128 | invalid |
Compiled 252 to 223 computations (11.5% saved)
| 1× | egg-herbie |
| 388× | associate-+l+_binary64 |
| 318× | exp-sum_binary64 |
| 296× | associate-+r+_binary64 |
| 271× | distribute-rgt-in_binary64 |
| 266× | distribute-lft-in_binary64 |
Useful iterations: 3 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 61 | 156 |
| 1 | 160 | 147 |
| 2 | 604 | 119 |
| 3 | 3400 | 115 |
| 4 | 4793 | 115 |
| 5 | 4804 | 115 |
2 alts after pruning (2 fresh and 0 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 0 | 1 | 1 |
| Fresh | 0 | 1 | 1 |
| Picked | 0 | 0 | 0 |
| Done | 0 | 0 | 0 |
| Total | 0 | 2 | 2 |
| Status | Error | Program |
| ▶ | 2.1b | (*.f64 (/.f64 PI.f64 (sin.f64 (*.f64 PI.f64 z))) (*.f64 (*.f64 (*.f64 (sqrt.f64 (*.f64 PI.f64 2)) (pow.f64 (+.f64 (+.f64 (-.f64 (-.f64 1 z) 1) 7) 1/2) (+.f64 (-.f64 (-.f64 1 z) 1) 1/2))) (exp.f64 (neg.f64 (+.f64 (+.f64 (-.f64 (-.f64 1 z) 1) 7) 1/2)))) (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 562949953421205/562949953421312 (/.f64 5950736089418501/8796093022208 (+.f64 (-.f64 (-.f64 1 z) 1) 1))) (/.f64 -5537752839100187/4398046511104 (+.f64 (-.f64 (-.f64 1 z) 1) 2))) (/.f64 848079078717083/1099511627776 (+.f64 (-.f64 (-.f64 1 z) 1) 3))) (/.f64 -6214088902520669/35184372088832 (+.f64 (-.f64 (-.f64 1 z) 1) 4))) (/.f64 7041008316161153/562949953421312 (+.f64 (-.f64 (-.f64 1 z) 1) 5))) (/.f64 -4992549864024149/36028797018963968 (+.f64 (-.f64 (-.f64 1 z) 1) 6))) (/.f64 5893731530977871/590295810358705651712 (+.f64 (-.f64 (-.f64 1 z) 1) 7))) (/.f64 5688119651184367/37778931862957161709568 (+.f64 (-.f64 (-.f64 1 z) 1) 8))))) |
| 2.1b | (*.f64 (/.f64 PI.f64 (sin.f64 (*.f64 PI.f64 z))) (*.f64 (*.f64 (*.f64 (sqrt.f64 (*.f64 PI.f64 2)) (pow.f64 (-.f64 15/2 z) (-.f64 1/2 z))) (exp.f64 (+.f64 z -15/2))) (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 562949953421205/562949953421312 (/.f64 5950736089418501/8796093022208 (-.f64 1 z))) (/.f64 -5537752839100187/4398046511104 (-.f64 2 z))) (/.f64 848079078717083/1099511627776 (-.f64 3 z))) (/.f64 -6214088902520669/35184372088832 (-.f64 4 z))) (/.f64 7041008316161153/562949953421312 (-.f64 5 z))) (/.f64 -4992549864024149/36028797018963968 (-.f64 6 z))) (/.f64 5893731530977871/590295810358705651712 (-.f64 7 z))) (/.f64 5688119651184367/37778931862957161709568 (-.f64 8 z))))) |
Compiled 473 to 403 computations (14.8% saved)
Found 4 expressions with local error:
| 4.8b | (-.f64 (-.f64 1 z) 1) |
| 4.8b | (-.f64 (-.f64 1 z) 1) |
| 4.8b | (-.f64 (-.f64 1 z) 1) |
| 4.8b | (-.f64 (-.f64 1 z) 1) |
| 1× | rewrite-expression-head |
| 36× | *-un-lft-identity_binary64 |
| 28× | add-sqr-sqrt_binary64 |
| 24× | add-log-exp_binary64 cancel-sign-sub-inv_binary64 |
| 16× | associate--l+_binary64 |
| 12× | diff-log_binary64 add-cube-cbrt_binary64 distribute-lft-out--_binary64 |
4 calls:
| 9.0ms | (-.f64 (-.f64 1 z) 1) |
| 8.0ms | (-.f64 (-.f64 1 z) 1) |
| 8.0ms | (-.f64 (-.f64 1 z) 1) |
| 8.0ms | (-.f64 (-.f64 1 z) 1) |
Compiled 11373 to 9694 computations (14.8% saved)
4 calls:
| 21.0ms | (-.f64 (-.f64 1 z) 1) |
| 21.0ms | (-.f64 (-.f64 1 z) 1) |
| 19.0ms | (-.f64 (-.f64 1 z) 1) |
| 19.0ms | (-.f64 (-.f64 1 z) 1) |
Compiled 3413 to 3009 computations (11.8% saved)
| 1× | egg-herbie |
| 546× | distribute-rgt-in_binary64 |
| 454× | distribute-lft-in_binary64 |
| 434× | distribute-neg-in_binary64 |
| 412× | neg-mul-1_binary64 |
| 305× | associate-+l+_binary64 |
Useful iterations: 4 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 51 | 1032 |
| 1 | 96 | 772 |
| 2 | 189 | 728 |
| 3 | 755 | 720 |
| 4 | 3363 | 704 |
| 5 | 4647 | 704 |
| 6 | 4856 | 704 |
2 alts after pruning (1 fresh and 1 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 100 | 0 | 100 |
| Fresh | 0 | 1 | 1 |
| Picked | 0 | 1 | 1 |
| Done | 0 | 0 | 0 |
| Total | 100 | 2 | 102 |
| Status | Error | Program |
| ✓ | 2.1b | (*.f64 (/.f64 PI.f64 (sin.f64 (*.f64 PI.f64 z))) (*.f64 (*.f64 (*.f64 (sqrt.f64 (*.f64 PI.f64 2)) (pow.f64 (+.f64 (+.f64 (-.f64 (-.f64 1 z) 1) 7) 1/2) (+.f64 (-.f64 (-.f64 1 z) 1) 1/2))) (exp.f64 (neg.f64 (+.f64 (+.f64 (-.f64 (-.f64 1 z) 1) 7) 1/2)))) (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 562949953421205/562949953421312 (/.f64 5950736089418501/8796093022208 (+.f64 (-.f64 (-.f64 1 z) 1) 1))) (/.f64 -5537752839100187/4398046511104 (+.f64 (-.f64 (-.f64 1 z) 1) 2))) (/.f64 848079078717083/1099511627776 (+.f64 (-.f64 (-.f64 1 z) 1) 3))) (/.f64 -6214088902520669/35184372088832 (+.f64 (-.f64 (-.f64 1 z) 1) 4))) (/.f64 7041008316161153/562949953421312 (+.f64 (-.f64 (-.f64 1 z) 1) 5))) (/.f64 -4992549864024149/36028797018963968 (+.f64 (-.f64 (-.f64 1 z) 1) 6))) (/.f64 5893731530977871/590295810358705651712 (+.f64 (-.f64 (-.f64 1 z) 1) 7))) (/.f64 5688119651184367/37778931862957161709568 (+.f64 (-.f64 (-.f64 1 z) 1) 8))))) |
| ▶ | 2.1b | (*.f64 (/.f64 PI.f64 (sin.f64 (*.f64 PI.f64 z))) (*.f64 (*.f64 (*.f64 (sqrt.f64 (*.f64 PI.f64 2)) (pow.f64 (-.f64 15/2 z) (-.f64 1/2 z))) (exp.f64 (+.f64 z -15/2))) (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 562949953421205/562949953421312 (/.f64 5950736089418501/8796093022208 (-.f64 1 z))) (/.f64 -5537752839100187/4398046511104 (-.f64 2 z))) (/.f64 848079078717083/1099511627776 (-.f64 3 z))) (/.f64 -6214088902520669/35184372088832 (-.f64 4 z))) (/.f64 7041008316161153/562949953421312 (-.f64 5 z))) (/.f64 -4992549864024149/36028797018963968 (-.f64 6 z))) (/.f64 5893731530977871/590295810358705651712 (-.f64 7 z))) (/.f64 5688119651184367/37778931862957161709568 (-.f64 8 z))))) |
Compiled 6275 to 5272 computations (16% saved)
Found 4 expressions with local error:
| 0.9b | (+.f64 (+.f64 (+.f64 (+.f64 562949953421205/562949953421312 (/.f64 5950736089418501/8796093022208 (-.f64 1 z))) (/.f64 -5537752839100187/4398046511104 (-.f64 2 z))) (/.f64 848079078717083/1099511627776 (-.f64 3 z))) (/.f64 -6214088902520669/35184372088832 (-.f64 4 z))) |
| 1.0b | (sqrt.f64 (*.f64 PI.f64 2)) |
| 1.2b | (*.f64 (*.f64 (sqrt.f64 (*.f64 PI.f64 2)) (pow.f64 (-.f64 15/2 z) (-.f64 1/2 z))) (exp.f64 (+.f64 z -15/2))) |
| 2.6b | (+.f64 (+.f64 562949953421205/562949953421312 (/.f64 5950736089418501/8796093022208 (-.f64 1 z))) (/.f64 -5537752839100187/4398046511104 (-.f64 2 z))) |
| 1× | rewrite-expression-head |
| 24× | *-un-lft-identity_binary64 |
| 23× | add-log-exp_binary64 |
| 14× | frac-add_binary64 |
| 13× | sum-log_binary64 distribute-lft-out_binary64 |
| 10× | add-exp-log_binary64 |
4 calls:
| 46.0ms | (+.f64 (+.f64 (+.f64 (+.f64 562949953421205/562949953421312 (/.f64 5950736089418501/8796093022208 (-.f64 1 z))) (/.f64 -5537752839100187/4398046511104 (-.f64 2 z))) (/.f64 848079078717083/1099511627776 (-.f64 3 z))) (/.f64 -6214088902520669/35184372088832 (-.f64 4 z))) |
| 27.0ms | (+.f64 (+.f64 562949953421205/562949953421312 (/.f64 5950736089418501/8796093022208 (-.f64 1 z))) (/.f64 -5537752839100187/4398046511104 (-.f64 2 z))) |
| 16.0ms | (*.f64 (*.f64 (sqrt.f64 (*.f64 PI.f64 2)) (pow.f64 (-.f64 15/2 z) (-.f64 1/2 z))) (exp.f64 (+.f64 z -15/2))) |
| 2.0ms | (sqrt.f64 (*.f64 PI.f64 2)) |
Compiled 6200 to 4828 computations (22.1% saved)
4 calls:
| 52.0ms | (*.f64 (*.f64 (sqrt.f64 (*.f64 PI.f64 2)) (pow.f64 (-.f64 15/2 z) (-.f64 1/2 z))) (exp.f64 (+.f64 z -15/2))) |
| 29.0ms | (+.f64 (+.f64 (+.f64 (+.f64 562949953421205/562949953421312 (/.f64 5950736089418501/8796093022208 (-.f64 1 z))) (/.f64 -5537752839100187/4398046511104 (-.f64 2 z))) (/.f64 848079078717083/1099511627776 (-.f64 3 z))) (/.f64 -6214088902520669/35184372088832 (-.f64 4 z))) |
| 28.0ms | (+.f64 (+.f64 562949953421205/562949953421312 (/.f64 5950736089418501/8796093022208 (-.f64 1 z))) (/.f64 -5537752839100187/4398046511104 (-.f64 2 z))) |
| 0.0ms | (sqrt.f64 (*.f64 PI.f64 2)) |
Compiled 4261 to 3404 computations (20.1% saved)
| 1× | egg-herbie |
| 377× | associate-*l*_binary64 |
| 359× | associate-*r*_binary64 |
| 270× | *-commutative_binary64 |
| 246× | cancel-sign-sub-inv_binary64 |
| 158× | distribute-rgt-in_binary64 |
Useful iterations: 2 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 333 | 4211 |
| 1 | 937 | 3961 |
| 2 | 3465 | 3729 |
| 3 | 4906 | 3729 |
| 4 | 4909 | 3729 |
9 alts after pruning (9 fresh and 0 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 73 | 9 | 82 |
| Fresh | 0 | 0 | 0 |
| Picked | 1 | 0 | 1 |
| Done | 1 | 0 | 1 |
| Total | 75 | 9 | 84 |
| Status | Error | Program |
| 2.1b | (*.f64 (/.f64 PI.f64 (sin.f64 (*.f64 PI.f64 z))) (*.f64 (*.f64 (*.f64 (sqrt.f64 (*.f64 PI.f64 2)) (pow.f64 (-.f64 15/2 z) (-.f64 1/2 z))) (exp.f64 (+.f64 z -15/2))) (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 (/.f64 (+.f64 (pow.f64 (+.f64 562949953421205/562949953421312 (/.f64 5950736089418501/8796093022208 (-.f64 1 z))) 3) (pow.f64 (/.f64 -5537752839100187/4398046511104 (-.f64 2 z)) 3)) (+.f64 (/.f64 (/.f64 30666706506962181608371823434969/19342813113834066795298816 (-.f64 2 z)) (-.f64 2 z)) (*.f64 (+.f64 562949953421205/562949953421312 (/.f64 5950736089418501/8796093022208 (-.f64 1 z))) (-.f64 (+.f64 562949953421205/562949953421312 (/.f64 5950736089418501/8796093022208 (-.f64 1 z))) (/.f64 -5537752839100187/4398046511104 (-.f64 2 z)))))) (/.f64 848079078717083/1099511627776 (-.f64 3 z))) (/.f64 -6214088902520669/35184372088832 (-.f64 4 z))) (/.f64 7041008316161153/562949953421312 (-.f64 5 z))) (/.f64 -4992549864024149/36028797018963968 (-.f64 6 z))) (/.f64 5893731530977871/590295810358705651712 (-.f64 7 z))) (/.f64 5688119651184367/37778931862957161709568 (-.f64 8 z))))) | |
| 2.1b | (*.f64 (/.f64 PI.f64 (sin.f64 (*.f64 PI.f64 z))) (*.f64 (*.f64 (*.f64 (sqrt.f64 (*.f64 PI.f64 2)) (pow.f64 (-.f64 15/2 z) (-.f64 1/2 z))) (exp.f64 (+.f64 z -15/2))) (+.f64 (+.f64 (+.f64 (+.f64 (*.f64 (*.f64 (cbrt.f64 (+.f64 (/.f64 -6214088902520669/35184372088832 (-.f64 4 z)) (+.f64 (+.f64 (/.f64 -5537752839100187/4398046511104 (-.f64 2 z)) (+.f64 562949953421205/562949953421312 (/.f64 5950736089418501/8796093022208 (-.f64 1 z)))) (/.f64 848079078717083/1099511627776 (-.f64 3 z))))) (cbrt.f64 (+.f64 (/.f64 -6214088902520669/35184372088832 (-.f64 4 z)) (+.f64 (+.f64 (/.f64 -5537752839100187/4398046511104 (-.f64 2 z)) (+.f64 562949953421205/562949953421312 (/.f64 5950736089418501/8796093022208 (-.f64 1 z)))) (/.f64 848079078717083/1099511627776 (-.f64 3 z)))))) (cbrt.f64 (+.f64 (/.f64 -6214088902520669/35184372088832 (-.f64 4 z)) (+.f64 (+.f64 (/.f64 -5537752839100187/4398046511104 (-.f64 2 z)) (+.f64 562949953421205/562949953421312 (/.f64 5950736089418501/8796093022208 (-.f64 1 z)))) (/.f64 848079078717083/1099511627776 (-.f64 3 z)))))) (/.f64 7041008316161153/562949953421312 (-.f64 5 z))) (/.f64 -4992549864024149/36028797018963968 (-.f64 6 z))) (/.f64 5893731530977871/590295810358705651712 (-.f64 7 z))) (/.f64 5688119651184367/37778931862957161709568 (-.f64 8 z))))) | |
| 2.0b | (*.f64 (/.f64 PI.f64 (sin.f64 (*.f64 PI.f64 z))) (*.f64 (*.f64 (*.f64 (*.f64 (pow.f64 (-.f64 15/2 z) (-.f64 1/2 z)) (sqrt.f64 (*.f64 2 PI.f64))) (exp.f64 z)) (exp.f64 -15/2)) (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 562949953421205/562949953421312 (/.f64 5950736089418501/8796093022208 (-.f64 1 z))) (/.f64 -5537752839100187/4398046511104 (-.f64 2 z))) (/.f64 848079078717083/1099511627776 (-.f64 3 z))) (/.f64 -6214088902520669/35184372088832 (-.f64 4 z))) (/.f64 7041008316161153/562949953421312 (-.f64 5 z))) (/.f64 -4992549864024149/36028797018963968 (-.f64 6 z))) (/.f64 5893731530977871/590295810358705651712 (-.f64 7 z))) (/.f64 5688119651184367/37778931862957161709568 (-.f64 8 z))))) | |
| 2.7b | (*.f64 (/.f64 PI.f64 (sin.f64 (*.f64 PI.f64 z))) (*.f64 (+.f64 (*.f64 (sqrt.f64 PI.f64) (*.f64 (*.f64 (sqrt.f64 15/2) (*.f64 (sqrt.f64 2) (pow.f64 (log.f64 15/2) 2))) (+.f64 (*.f64 7/15 (*.f64 (pow.f64 z 3) (exp.f64 -15/2))) (*.f64 1/2 (*.f64 (*.f64 z z) (exp.f64 -15/2)))))) (-.f64 (*.f64 (sqrt.f64 PI.f64) (+.f64 (*.f64 (exp.f64 -15/2) (+.f64 (*.f64 (sqrt.f64 15/2) (sqrt.f64 2)) (*.f64 892/3375 (*.f64 (pow.f64 z 3) (*.f64 (sqrt.f64 15/2) (sqrt.f64 2)))))) (*.f64 (exp.f64 -15/2) (+.f64 (*.f64 14/15 (*.f64 z (*.f64 (sqrt.f64 15/2) (sqrt.f64 2)))) (*.f64 127/225 (*.f64 (*.f64 z z) (*.f64 (sqrt.f64 15/2) (sqrt.f64 2)))))))) (*.f64 (sqrt.f64 PI.f64) (+.f64 (*.f64 (*.f64 (sqrt.f64 15/2) (*.f64 (sqrt.f64 2) (log.f64 15/2))) (+.f64 (*.f64 14/15 (*.f64 (*.f64 z z) (exp.f64 -15/2))) (*.f64 127/225 (*.f64 (pow.f64 z 3) (exp.f64 -15/2))))) (*.f64 (exp.f64 -15/2) (+.f64 (*.f64 1/6 (*.f64 (pow.f64 z 3) (*.f64 (sqrt.f64 15/2) (*.f64 (sqrt.f64 2) (pow.f64 (log.f64 15/2) 3))))) (*.f64 (sqrt.f64 15/2) (*.f64 (*.f64 z (sqrt.f64 2)) (log.f64 15/2))))))))) (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 562949953421205/562949953421312 (/.f64 5950736089418501/8796093022208 (-.f64 1 z))) (/.f64 -5537752839100187/4398046511104 (-.f64 2 z))) (/.f64 848079078717083/1099511627776 (-.f64 3 z))) (/.f64 -6214088902520669/35184372088832 (-.f64 4 z))) (/.f64 7041008316161153/562949953421312 (-.f64 5 z))) (/.f64 -4992549864024149/36028797018963968 (-.f64 6 z))) (/.f64 5893731530977871/590295810358705651712 (-.f64 7 z))) (/.f64 5688119651184367/37778931862957161709568 (-.f64 8 z))))) | |
| 2.1b | (*.f64 (/.f64 PI.f64 (sin.f64 (*.f64 PI.f64 z))) (*.f64 (*.f64 (*.f64 (sqrt.f64 (*.f64 PI.f64 2)) (pow.f64 (-.f64 15/2 z) (-.f64 1/2 z))) (exp.f64 (+.f64 z -15/2))) (+.f64 (+.f64 (+.f64 (+.f64 (/.f64 (+.f64 (*.f64 (-.f64 4 z) (+.f64 (*.f64 (+.f64 (pow.f64 (+.f64 562949953421205/562949953421312 (/.f64 5950736089418501/8796093022208 (-.f64 1 z))) 3) (pow.f64 (/.f64 -5537752839100187/4398046511104 (-.f64 2 z)) 3)) (-.f64 3 z)) (*.f64 (+.f64 (/.f64 (/.f64 30666706506962181608371823434969/19342813113834066795298816 (-.f64 2 z)) (-.f64 2 z)) (*.f64 (+.f64 562949953421205/562949953421312 (/.f64 5950736089418501/8796093022208 (-.f64 1 z))) (-.f64 (+.f64 562949953421205/562949953421312 (/.f64 5950736089418501/8796093022208 (-.f64 1 z))) (/.f64 -5537752839100187/4398046511104 (-.f64 2 z))))) 848079078717083/1099511627776))) (*.f64 (+.f64 (/.f64 (/.f64 30666706506962181608371823434969/19342813113834066795298816 (-.f64 2 z)) (-.f64 2 z)) (*.f64 (+.f64 562949953421205/562949953421312 (/.f64 5950736089418501/8796093022208 (-.f64 1 z))) (-.f64 (+.f64 562949953421205/562949953421312 (/.f64 5950736089418501/8796093022208 (-.f64 1 z))) (/.f64 -5537752839100187/4398046511104 (-.f64 2 z))))) (*.f64 (-.f64 3 z) -6214088902520669/35184372088832))) (*.f64 (+.f64 (/.f64 (/.f64 30666706506962181608371823434969/19342813113834066795298816 (-.f64 2 z)) (-.f64 2 z)) (*.f64 (+.f64 562949953421205/562949953421312 (/.f64 5950736089418501/8796093022208 (-.f64 1 z))) (-.f64 (+.f64 562949953421205/562949953421312 (/.f64 5950736089418501/8796093022208 (-.f64 1 z))) (/.f64 -5537752839100187/4398046511104 (-.f64 2 z))))) (*.f64 (-.f64 3 z) (-.f64 4 z)))) (/.f64 7041008316161153/562949953421312 (-.f64 5 z))) (/.f64 -4992549864024149/36028797018963968 (-.f64 6 z))) (/.f64 5893731530977871/590295810358705651712 (-.f64 7 z))) (/.f64 5688119651184367/37778931862957161709568 (-.f64 8 z))))) | |
| ▶ | 0.7b | (*.f64 (/.f64 PI.f64 (sin.f64 (*.f64 PI.f64 z))) (*.f64 (*.f64 (*.f64 (sqrt.f64 (*.f64 PI.f64 2)) (pow.f64 (-.f64 15/2 z) (-.f64 1/2 z))) (exp.f64 (+.f64 z -15/2))) (+.f64 (+.f64 (+.f64 (+.f64 (/.f64 (+.f64 (*.f64 (-.f64 4 z) (+.f64 (*.f64 (+.f64 (*.f64 (-.f64 2 z) (+.f64 178405961588143256171617450107358831776190125/178405961588244985132285746181186892047843328 (pow.f64 (/.f64 5950736089418501/8796093022208 (-.f64 1 z)) 3))) (*.f64 -5537752839100187/4398046511104 (+.f64 316912650056936879084143652025/316912650057057350374175801344 (*.f64 (/.f64 5950736089418501/8796093022208 (-.f64 1 z)) (+.f64 (/.f64 5950736089418501/8796093022208 (-.f64 1 z)) -562949953421205/562949953421312))))) (-.f64 3 z)) (*.f64 (+.f64 316912650056936879084143652025/316912650057057350374175801344 (*.f64 (/.f64 5950736089418501/8796093022208 (-.f64 1 z)) (+.f64 (/.f64 5950736089418501/8796093022208 (-.f64 1 z)) -562949953421205/562949953421312))) (*.f64 (-.f64 2 z) 848079078717083/1099511627776)))) (*.f64 (+.f64 316912650056936879084143652025/316912650057057350374175801344 (*.f64 (/.f64 5950736089418501/8796093022208 (-.f64 1 z)) (+.f64 (/.f64 5950736089418501/8796093022208 (-.f64 1 z)) -562949953421205/562949953421312))) (*.f64 (-.f64 2 z) (*.f64 (-.f64 3 z) -6214088902520669/35184372088832)))) (*.f64 (+.f64 316912650056936879084143652025/316912650057057350374175801344 (*.f64 (/.f64 5950736089418501/8796093022208 (-.f64 1 z)) (+.f64 (/.f64 5950736089418501/8796093022208 (-.f64 1 z)) -562949953421205/562949953421312))) (*.f64 (-.f64 2 z) (*.f64 (-.f64 3 z) (-.f64 4 z))))) (/.f64 7041008316161153/562949953421312 (-.f64 5 z))) (/.f64 -4992549864024149/36028797018963968 (-.f64 6 z))) (/.f64 5893731530977871/590295810358705651712 (-.f64 7 z))) (/.f64 5688119651184367/37778931862957161709568 (-.f64 8 z))))) |
| 2.3b | (*.f64 (/.f64 PI.f64 (sin.f64 (*.f64 PI.f64 z))) (*.f64 (*.f64 (*.f64 (sqrt.f64 (*.f64 PI.f64 2)) (pow.f64 (-.f64 15/2 z) (-.f64 1/2 z))) (exp.f64 (+.f64 z -15/2))) (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 440629055394278371/1688849860263936 (*.f64 z 2211040858024663195/5066549580791808)) (*.f64 (*.f64 z z) (+.f64 33131336496940083697/60798594969501696 (*.f64 442606555376683577875/729583139634020352 z)))) (/.f64 7041008316161153/562949953421312 (-.f64 5 z))) (/.f64 -4992549864024149/36028797018963968 (-.f64 6 z))) (/.f64 5893731530977871/590295810358705651712 (-.f64 7 z))) (/.f64 5688119651184367/37778931862957161709568 (-.f64 8 z))))) | |
| 2.1b | (*.f64 (/.f64 PI.f64 (sin.f64 (*.f64 PI.f64 z))) (*.f64 (*.f64 (*.f64 (*.f64 (*.f64 (cbrt.f64 (sqrt.f64 (*.f64 2 PI.f64))) (cbrt.f64 (sqrt.f64 (*.f64 2 PI.f64)))) (cbrt.f64 (sqrt.f64 (*.f64 2 PI.f64)))) (pow.f64 (-.f64 15/2 z) (-.f64 1/2 z))) (exp.f64 (+.f64 z -15/2))) (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 562949953421205/562949953421312 (/.f64 5950736089418501/8796093022208 (-.f64 1 z))) (/.f64 -5537752839100187/4398046511104 (-.f64 2 z))) (/.f64 848079078717083/1099511627776 (-.f64 3 z))) (/.f64 -6214088902520669/35184372088832 (-.f64 4 z))) (/.f64 7041008316161153/562949953421312 (-.f64 5 z))) (/.f64 -4992549864024149/36028797018963968 (-.f64 6 z))) (/.f64 5893731530977871/590295810358705651712 (-.f64 7 z))) (/.f64 5688119651184367/37778931862957161709568 (-.f64 8 z))))) | |
| 2.0b | (*.f64 (/.f64 PI.f64 (sin.f64 (*.f64 PI.f64 z))) (*.f64 (*.f64 (*.f64 (*.f64 (pow.f64 (-.f64 15/2 z) (-.f64 1/2 z)) (sqrt.f64 (*.f64 2 PI.f64))) (*.f64 (cbrt.f64 (exp.f64 (+.f64 z -15/2))) (cbrt.f64 (exp.f64 (+.f64 z -15/2))))) (cbrt.f64 (exp.f64 (+.f64 z -15/2)))) (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 562949953421205/562949953421312 (/.f64 5950736089418501/8796093022208 (-.f64 1 z))) (/.f64 -5537752839100187/4398046511104 (-.f64 2 z))) (/.f64 848079078717083/1099511627776 (-.f64 3 z))) (/.f64 -6214088902520669/35184372088832 (-.f64 4 z))) (/.f64 7041008316161153/562949953421312 (-.f64 5 z))) (/.f64 -4992549864024149/36028797018963968 (-.f64 6 z))) (/.f64 5893731530977871/590295810358705651712 (-.f64 7 z))) (/.f64 5688119651184367/37778931862957161709568 (-.f64 8 z))))) |
Compiled 7572 to 5979 computations (21% saved)
Found 4 expressions with local error:
| 0.9b | (*.f64 (+.f64 (*.f64 (-.f64 2 z) (+.f64 178405961588143256171617450107358831776190125/178405961588244985132285746181186892047843328 (pow.f64 (/.f64 5950736089418501/8796093022208 (-.f64 1 z)) 3))) (*.f64 -5537752839100187/4398046511104 (+.f64 316912650056936879084143652025/316912650057057350374175801344 (*.f64 (/.f64 5950736089418501/8796093022208 (-.f64 1 z)) (+.f64 (/.f64 5950736089418501/8796093022208 (-.f64 1 z)) -562949953421205/562949953421312))))) (-.f64 3 z)) |
| 1.0b | (sqrt.f64 (*.f64 PI.f64 2)) |
| 1.2b | (*.f64 (*.f64 (sqrt.f64 (*.f64 PI.f64 2)) (pow.f64 (-.f64 15/2 z) (-.f64 1/2 z))) (exp.f64 (+.f64 z -15/2))) |
| 2.6b | (+.f64 (*.f64 (-.f64 2 z) (+.f64 178405961588143256171617450107358831776190125/178405961588244985132285746181186892047843328 (pow.f64 (/.f64 5950736089418501/8796093022208 (-.f64 1 z)) 3))) (*.f64 -5537752839100187/4398046511104 (+.f64 316912650056936879084143652025/316912650057057350374175801344 (*.f64 (/.f64 5950736089418501/8796093022208 (-.f64 1 z)) (+.f64 (/.f64 5950736089418501/8796093022208 (-.f64 1 z)) -562949953421205/562949953421312))))) |
| 1× | rewrite-expression-head |
| 83× | associate-*r/_binary64 |
| 68× | frac-times_binary64 |
| 64× | frac-add_binary64 |
| 60× | flip3-+_binary64 flip-+_binary64 |
| 43× | flip3--_binary64 flip--_binary64 |
4 calls:
| 40.0ms | (*.f64 (+.f64 (*.f64 (-.f64 2 z) (+.f64 178405961588143256171617450107358831776190125/178405961588244985132285746181186892047843328 (pow.f64 (/.f64 5950736089418501/8796093022208 (-.f64 1 z)) 3))) (*.f64 -5537752839100187/4398046511104 (+.f64 316912650056936879084143652025/316912650057057350374175801344 (*.f64 (/.f64 5950736089418501/8796093022208 (-.f64 1 z)) (+.f64 (/.f64 5950736089418501/8796093022208 (-.f64 1 z)) -562949953421205/562949953421312))))) (-.f64 3 z)) |
| 28.0ms | (+.f64 (*.f64 (-.f64 2 z) (+.f64 178405961588143256171617450107358831776190125/178405961588244985132285746181186892047843328 (pow.f64 (/.f64 5950736089418501/8796093022208 (-.f64 1 z)) 3))) (*.f64 -5537752839100187/4398046511104 (+.f64 316912650056936879084143652025/316912650057057350374175801344 (*.f64 (/.f64 5950736089418501/8796093022208 (-.f64 1 z)) (+.f64 (/.f64 5950736089418501/8796093022208 (-.f64 1 z)) -562949953421205/562949953421312))))) |
| 16.0ms | (*.f64 (*.f64 (sqrt.f64 (*.f64 PI.f64 2)) (pow.f64 (-.f64 15/2 z) (-.f64 1/2 z))) (exp.f64 (+.f64 z -15/2))) |
| 2.0ms | (sqrt.f64 (*.f64 PI.f64 2)) |
Compiled 33360 to 27383 computations (17.9% saved)
4 calls:
| 69.0ms | (*.f64 (*.f64 (sqrt.f64 (*.f64 PI.f64 2)) (pow.f64 (-.f64 15/2 z) (-.f64 1/2 z))) (exp.f64 (+.f64 z -15/2))) |
| 34.0ms | (*.f64 (+.f64 (*.f64 (-.f64 2 z) (+.f64 178405961588143256171617450107358831776190125/178405961588244985132285746181186892047843328 (pow.f64 (/.f64 5950736089418501/8796093022208 (-.f64 1 z)) 3))) (*.f64 -5537752839100187/4398046511104 (+.f64 316912650056936879084143652025/316912650057057350374175801344 (*.f64 (/.f64 5950736089418501/8796093022208 (-.f64 1 z)) (+.f64 (/.f64 5950736089418501/8796093022208 (-.f64 1 z)) -562949953421205/562949953421312))))) (-.f64 3 z)) |
| 33.0ms | (+.f64 (*.f64 (-.f64 2 z) (+.f64 178405961588143256171617450107358831776190125/178405961588244985132285746181186892047843328 (pow.f64 (/.f64 5950736089418501/8796093022208 (-.f64 1 z)) 3))) (*.f64 -5537752839100187/4398046511104 (+.f64 316912650056936879084143652025/316912650057057350374175801344 (*.f64 (/.f64 5950736089418501/8796093022208 (-.f64 1 z)) (+.f64 (/.f64 5950736089418501/8796093022208 (-.f64 1 z)) -562949953421205/562949953421312))))) |
| 0.0ms | (sqrt.f64 (*.f64 PI.f64 2)) |
Compiled 6497 to 5321 computations (18.1% saved)
| 1× | egg-herbie |
| 853× | distribute-rgt-in_binary64 |
| 847× | distribute-lft-in_binary64 |
| 256× | *-commutative_binary64 |
| 104× | associate-*l*_binary64 |
| 69× | associate-*r*_binary64 |
Useful iterations: 1 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 478 | 16767 |
| 1 | 1678 | 16319 |
| 2 | 5738 | 16319 |
11 alts after pruning (11 fresh and 0 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 128 | 5 | 133 |
| Fresh | 2 | 6 | 8 |
| Picked | 1 | 0 | 1 |
| Done | 0 | 0 | 0 |
| Total | 131 | 11 | 142 |
| Status | Error | Program |
| ▶ | 0.7b | (*.f64 (/.f64 PI.f64 (sin.f64 (*.f64 PI.f64 z))) (*.f64 (*.f64 (*.f64 (sqrt.f64 (*.f64 PI.f64 2)) (pow.f64 (-.f64 15/2 z) (-.f64 1/2 z))) (exp.f64 (+.f64 z -15/2))) (+.f64 (+.f64 (+.f64 (+.f64 (/.f64 (+.f64 (*.f64 (-.f64 4 z) (+.f64 (*.f64 (/.f64 (+.f64 (*.f64 (*.f64 (-.f64 8 (pow.f64 z 3)) (+.f64 5678427533549715134633014896091006013944685176209383187104014791596740501419439436594122795778098490726927930959796456992046408203125/5678427533559428832416592249125035424637823130369672345949142181098744438385921275985867583701277855943457200048954515105739075223552 (pow.f64 (pow.f64 (/.f64 5950736089418501/8796093022208 (-.f64 1 z)) 3) 3))) (-.f64 316912650056936879084143652025/316912650057057350374175801344 (*.f64 (/.f64 5950736089418501/8796093022208 (-.f64 1 z)) (+.f64 (/.f64 5950736089418501/8796093022208 (-.f64 1 z)) -562949953421205/562949953421312)))) (*.f64 (*.f64 (+.f64 4 (*.f64 z (+.f64 z 2))) (+.f64 31828687130190046991845674001698638924308767282431494685437358695710790509958860147515625/31828687130226345097944463881396533766429193651030253916189694521162207808802136034115584 (+.f64 (pow.f64 (/.f64 5950736089418501/8796093022208 (-.f64 1 z)) 6) (*.f64 -178405961588143256171617450107358831776190125/178405961588244985132285746181186892047843328 (pow.f64 (/.f64 5950736089418501/8796093022208 (-.f64 1 z)) 3))))) (*.f64 -5537752839100187/4398046511104 (-.f64 100433627766110534469812883687683627375011214126104286600625/100433627766186892221372630771322662657637687111424552206336 (*.f64 (*.f64 (/.f64 5950736089418501/8796093022208 (-.f64 1 z)) (+.f64 (/.f64 5950736089418501/8796093022208 (-.f64 1 z)) -562949953421205/562949953421312)) (*.f64 (/.f64 5950736089418501/8796093022208 (-.f64 1 z)) (+.f64 (/.f64 5950736089418501/8796093022208 (-.f64 1 z)) -562949953421205/562949953421312))))))) (*.f64 (*.f64 (+.f64 4 (*.f64 z (+.f64 z 2))) (+.f64 31828687130190046991845674001698638924308767282431494685437358695710790509958860147515625/31828687130226345097944463881396533766429193651030253916189694521162207808802136034115584 (+.f64 (pow.f64 (/.f64 5950736089418501/8796093022208 (-.f64 1 z)) 6) (*.f64 -178405961588143256171617450107358831776190125/178405961588244985132285746181186892047843328 (pow.f64 (/.f64 5950736089418501/8796093022208 (-.f64 1 z)) 3))))) (-.f64 316912650056936879084143652025/316912650057057350374175801344 (*.f64 (/.f64 5950736089418501/8796093022208 (-.f64 1 z)) (+.f64 (/.f64 5950736089418501/8796093022208 (-.f64 1 z)) -562949953421205/562949953421312))))) (-.f64 3 z)) (*.f64 (+.f64 316912650056936879084143652025/316912650057057350374175801344 (*.f64 (/.f64 5950736089418501/8796093022208 (-.f64 1 z)) (+.f64 (/.f64 5950736089418501/8796093022208 (-.f64 1 z)) -562949953421205/562949953421312))) (*.f64 (-.f64 2 z) 848079078717083/1099511627776)))) (*.f64 (+.f64 316912650056936879084143652025/316912650057057350374175801344 (*.f64 (/.f64 5950736089418501/8796093022208 (-.f64 1 z)) (+.f64 (/.f64 5950736089418501/8796093022208 (-.f64 1 z)) -562949953421205/562949953421312))) (*.f64 (-.f64 2 z) (*.f64 (-.f64 3 z) -6214088902520669/35184372088832)))) (*.f64 (+.f64 316912650056936879084143652025/316912650057057350374175801344 (*.f64 (/.f64 5950736089418501/8796093022208 (-.f64 1 z)) (+.f64 (/.f64 5950736089418501/8796093022208 (-.f64 1 z)) -562949953421205/562949953421312))) (*.f64 (-.f64 2 z) (*.f64 (-.f64 3 z) (-.f64 4 z))))) (/.f64 7041008316161153/562949953421312 (-.f64 5 z))) (/.f64 -4992549864024149/36028797018963968 (-.f64 6 z))) (/.f64 5893731530977871/590295810358705651712 (-.f64 7 z))) (/.f64 5688119651184367/37778931862957161709568 (-.f64 8 z))))) |
| 2.0b | (*.f64 (/.f64 PI.f64 (sin.f64 (*.f64 PI.f64 z))) (*.f64 (exp.f64 (+.f64 (+.f64 z -15/2) (log.f64 (*.f64 (pow.f64 (-.f64 15/2 z) (-.f64 1/2 z)) (sqrt.f64 (*.f64 2 PI.f64)))))) (+.f64 (+.f64 (+.f64 (+.f64 (/.f64 (+.f64 (*.f64 (-.f64 4 z) (+.f64 (*.f64 (+.f64 (*.f64 (-.f64 2 z) (+.f64 178405961588143256171617450107358831776190125/178405961588244985132285746181186892047843328 (pow.f64 (/.f64 5950736089418501/8796093022208 (-.f64 1 z)) 3))) (*.f64 -5537752839100187/4398046511104 (+.f64 316912650056936879084143652025/316912650057057350374175801344 (*.f64 (/.f64 5950736089418501/8796093022208 (-.f64 1 z)) (+.f64 (/.f64 5950736089418501/8796093022208 (-.f64 1 z)) -562949953421205/562949953421312))))) (-.f64 3 z)) (*.f64 (+.f64 316912650056936879084143652025/316912650057057350374175801344 (*.f64 (/.f64 5950736089418501/8796093022208 (-.f64 1 z)) (+.f64 (/.f64 5950736089418501/8796093022208 (-.f64 1 z)) -562949953421205/562949953421312))) (*.f64 (-.f64 2 z) 848079078717083/1099511627776)))) (*.f64 (+.f64 316912650056936879084143652025/316912650057057350374175801344 (*.f64 (/.f64 5950736089418501/8796093022208 (-.f64 1 z)) (+.f64 (/.f64 5950736089418501/8796093022208 (-.f64 1 z)) -562949953421205/562949953421312))) (*.f64 (-.f64 2 z) (*.f64 (-.f64 3 z) -6214088902520669/35184372088832)))) (*.f64 (+.f64 316912650056936879084143652025/316912650057057350374175801344 (*.f64 (/.f64 5950736089418501/8796093022208 (-.f64 1 z)) (+.f64 (/.f64 5950736089418501/8796093022208 (-.f64 1 z)) -562949953421205/562949953421312))) (*.f64 (-.f64 2 z) (*.f64 (-.f64 3 z) (-.f64 4 z))))) (/.f64 7041008316161153/562949953421312 (-.f64 5 z))) (/.f64 -4992549864024149/36028797018963968 (-.f64 6 z))) (/.f64 5893731530977871/590295810358705651712 (-.f64 7 z))) (/.f64 5688119651184367/37778931862957161709568 (-.f64 8 z))))) | |
| 0.7b | (*.f64 (/.f64 PI.f64 (sin.f64 (*.f64 PI.f64 z))) (*.f64 (*.f64 (sqrt.f64 PI.f64) (*.f64 (exp.f64 (+.f64 z -15/2)) (*.f64 (sqrt.f64 2) (pow.f64 (-.f64 15/2 z) (-.f64 1/2 z))))) (+.f64 (+.f64 (+.f64 (+.f64 (/.f64 (+.f64 (*.f64 (-.f64 4 z) (+.f64 (*.f64 (+.f64 (*.f64 (-.f64 2 z) (+.f64 178405961588143256171617450107358831776190125/178405961588244985132285746181186892047843328 (pow.f64 (/.f64 5950736089418501/8796093022208 (-.f64 1 z)) 3))) (*.f64 -5537752839100187/4398046511104 (+.f64 316912650056936879084143652025/316912650057057350374175801344 (*.f64 (/.f64 5950736089418501/8796093022208 (-.f64 1 z)) (+.f64 (/.f64 5950736089418501/8796093022208 (-.f64 1 z)) -562949953421205/562949953421312))))) (-.f64 3 z)) (*.f64 (+.f64 316912650056936879084143652025/316912650057057350374175801344 (*.f64 (/.f64 5950736089418501/8796093022208 (-.f64 1 z)) (+.f64 (/.f64 5950736089418501/8796093022208 (-.f64 1 z)) -562949953421205/562949953421312))) (*.f64 (-.f64 2 z) 848079078717083/1099511627776)))) (*.f64 (+.f64 316912650056936879084143652025/316912650057057350374175801344 (*.f64 (/.f64 5950736089418501/8796093022208 (-.f64 1 z)) (+.f64 (/.f64 5950736089418501/8796093022208 (-.f64 1 z)) -562949953421205/562949953421312))) (*.f64 (-.f64 2 z) (*.f64 (-.f64 3 z) -6214088902520669/35184372088832)))) (*.f64 (+.f64 316912650056936879084143652025/316912650057057350374175801344 (*.f64 (/.f64 5950736089418501/8796093022208 (-.f64 1 z)) (+.f64 (/.f64 5950736089418501/8796093022208 (-.f64 1 z)) -562949953421205/562949953421312))) (*.f64 (-.f64 2 z) (*.f64 (-.f64 3 z) (-.f64 4 z))))) (/.f64 7041008316161153/562949953421312 (-.f64 5 z))) (/.f64 -4992549864024149/36028797018963968 (-.f64 6 z))) (/.f64 5893731530977871/590295810358705651712 (-.f64 7 z))) (/.f64 5688119651184367/37778931862957161709568 (-.f64 8 z))))) | |
| 1.4b | (*.f64 (/.f64 PI.f64 (sin.f64 (*.f64 PI.f64 z))) (*.f64 (-.f64 (+.f64 (*.f64 (sqrt.f64 PI.f64) (+.f64 (*.f64 7/15 (*.f64 (exp.f64 -15/2) (*.f64 (pow.f64 z 3) (*.f64 (sqrt.f64 15/2) (*.f64 (sqrt.f64 2) (pow.f64 (log.f64 15/2) 2)))))) (*.f64 1/2 (*.f64 (exp.f64 -15/2) (*.f64 (*.f64 z z) (*.f64 (sqrt.f64 15/2) (*.f64 (sqrt.f64 2) (pow.f64 (log.f64 15/2) 2)))))))) (+.f64 (*.f64 (sqrt.f64 PI.f64) (+.f64 (*.f64 14/15 (*.f64 (exp.f64 -15/2) (*.f64 (sqrt.f64 15/2) (*.f64 z (sqrt.f64 2))))) (*.f64 127/225 (*.f64 (exp.f64 -15/2) (*.f64 (sqrt.f64 15/2) (*.f64 (*.f64 z z) (sqrt.f64 2))))))) (*.f64 (sqrt.f64 PI.f64) (+.f64 (*.f64 (exp.f64 -15/2) (*.f64 (sqrt.f64 15/2) (sqrt.f64 2))) (*.f64 892/3375 (*.f64 (exp.f64 -15/2) (*.f64 (sqrt.f64 15/2) (*.f64 (pow.f64 z 3) (sqrt.f64 2))))))))) (+.f64 (*.f64 (sqrt.f64 PI.f64) (+.f64 (*.f64 1/6 (*.f64 (exp.f64 -15/2) (*.f64 (pow.f64 z 3) (*.f64 (sqrt.f64 15/2) (*.f64 (sqrt.f64 2) (pow.f64 (log.f64 15/2) 3)))))) (*.f64 (exp.f64 -15/2) (*.f64 (sqrt.f64 15/2) (*.f64 (*.f64 z (sqrt.f64 2)) (log.f64 15/2)))))) (*.f64 (sqrt.f64 PI.f64) (+.f64 (*.f64 14/15 (*.f64 (exp.f64 -15/2) (*.f64 (*.f64 z z) (*.f64 (sqrt.f64 15/2) (*.f64 (sqrt.f64 2) (log.f64 15/2)))))) (*.f64 127/225 (*.f64 (exp.f64 -15/2) (*.f64 (pow.f64 z 3) (*.f64 (sqrt.f64 15/2) (*.f64 (sqrt.f64 2) (log.f64 15/2)))))))))) (+.f64 (+.f64 (+.f64 (+.f64 (/.f64 (+.f64 (*.f64 (-.f64 4 z) (+.f64 (*.f64 (+.f64 (*.f64 (-.f64 2 z) (+.f64 178405961588143256171617450107358831776190125/178405961588244985132285746181186892047843328 (pow.f64 (/.f64 5950736089418501/8796093022208 (-.f64 1 z)) 3))) (*.f64 -5537752839100187/4398046511104 (+.f64 316912650056936879084143652025/316912650057057350374175801344 (*.f64 (/.f64 5950736089418501/8796093022208 (-.f64 1 z)) (+.f64 (/.f64 5950736089418501/8796093022208 (-.f64 1 z)) -562949953421205/562949953421312))))) (-.f64 3 z)) (*.f64 (+.f64 316912650056936879084143652025/316912650057057350374175801344 (*.f64 (/.f64 5950736089418501/8796093022208 (-.f64 1 z)) (+.f64 (/.f64 5950736089418501/8796093022208 (-.f64 1 z)) -562949953421205/562949953421312))) (*.f64 (-.f64 2 z) 848079078717083/1099511627776)))) (*.f64 (+.f64 316912650056936879084143652025/316912650057057350374175801344 (*.f64 (/.f64 5950736089418501/8796093022208 (-.f64 1 z)) (+.f64 (/.f64 5950736089418501/8796093022208 (-.f64 1 z)) -562949953421205/562949953421312))) (*.f64 (-.f64 2 z) (*.f64 (-.f64 3 z) -6214088902520669/35184372088832)))) (*.f64 (+.f64 316912650056936879084143652025/316912650057057350374175801344 (*.f64 (/.f64 5950736089418501/8796093022208 (-.f64 1 z)) (+.f64 (/.f64 5950736089418501/8796093022208 (-.f64 1 z)) -562949953421205/562949953421312))) (*.f64 (-.f64 2 z) (*.f64 (-.f64 3 z) (-.f64 4 z))))) (/.f64 7041008316161153/562949953421312 (-.f64 5 z))) (/.f64 -4992549864024149/36028797018963968 (-.f64 6 z))) (/.f64 5893731530977871/590295810358705651712 (-.f64 7 z))) (/.f64 5688119651184367/37778931862957161709568 (-.f64 8 z))))) | |
| 2.1b | (*.f64 (/.f64 PI.f64 (sin.f64 (*.f64 PI.f64 z))) (*.f64 (*.f64 (*.f64 (sqrt.f64 (*.f64 PI.f64 2)) (pow.f64 (-.f64 15/2 z) (-.f64 1/2 z))) (exp.f64 (+.f64 z -15/2))) (+.f64 (+.f64 (+.f64 (+.f64 (*.f64 (*.f64 (cbrt.f64 (+.f64 (/.f64 -6214088902520669/35184372088832 (-.f64 4 z)) (+.f64 (+.f64 (/.f64 -5537752839100187/4398046511104 (-.f64 2 z)) (+.f64 562949953421205/562949953421312 (/.f64 5950736089418501/8796093022208 (-.f64 1 z)))) (/.f64 848079078717083/1099511627776 (-.f64 3 z))))) (cbrt.f64 (+.f64 (/.f64 -6214088902520669/35184372088832 (-.f64 4 z)) (+.f64 (+.f64 (/.f64 -5537752839100187/4398046511104 (-.f64 2 z)) (+.f64 562949953421205/562949953421312 (/.f64 5950736089418501/8796093022208 (-.f64 1 z)))) (/.f64 848079078717083/1099511627776 (-.f64 3 z)))))) (cbrt.f64 (+.f64 (/.f64 -6214088902520669/35184372088832 (-.f64 4 z)) (+.f64 (+.f64 (/.f64 -5537752839100187/4398046511104 (-.f64 2 z)) (+.f64 562949953421205/562949953421312 (/.f64 5950736089418501/8796093022208 (-.f64 1 z)))) (/.f64 848079078717083/1099511627776 (-.f64 3 z)))))) (/.f64 7041008316161153/562949953421312 (-.f64 5 z))) (/.f64 -4992549864024149/36028797018963968 (-.f64 6 z))) (/.f64 5893731530977871/590295810358705651712 (-.f64 7 z))) (/.f64 5688119651184367/37778931862957161709568 (-.f64 8 z))))) | |
| 1.5b | (*.f64 (/.f64 PI.f64 (sin.f64 (*.f64 PI.f64 z))) (*.f64 (*.f64 (*.f64 (*.f64 (pow.f64 (-.f64 15/2 z) (-.f64 1/2 z)) (sqrt.f64 (*.f64 2 PI.f64))) (sqrt.f64 (exp.f64 (+.f64 z -15/2)))) (sqrt.f64 (exp.f64 (+.f64 z -15/2)))) (+.f64 (+.f64 (+.f64 (+.f64 (/.f64 (+.f64 (*.f64 (-.f64 4 z) (+.f64 (*.f64 (+.f64 (*.f64 (-.f64 2 z) (+.f64 178405961588143256171617450107358831776190125/178405961588244985132285746181186892047843328 (pow.f64 (/.f64 5950736089418501/8796093022208 (-.f64 1 z)) 3))) (*.f64 -5537752839100187/4398046511104 (+.f64 316912650056936879084143652025/316912650057057350374175801344 (*.f64 (/.f64 5950736089418501/8796093022208 (-.f64 1 z)) (+.f64 (/.f64 5950736089418501/8796093022208 (-.f64 1 z)) -562949953421205/562949953421312))))) (-.f64 3 z)) (*.f64 (+.f64 316912650056936879084143652025/316912650057057350374175801344 (*.f64 (/.f64 5950736089418501/8796093022208 (-.f64 1 z)) (+.f64 (/.f64 5950736089418501/8796093022208 (-.f64 1 z)) -562949953421205/562949953421312))) (*.f64 (-.f64 2 z) 848079078717083/1099511627776)))) (*.f64 (+.f64 316912650056936879084143652025/316912650057057350374175801344 (*.f64 (/.f64 5950736089418501/8796093022208 (-.f64 1 z)) (+.f64 (/.f64 5950736089418501/8796093022208 (-.f64 1 z)) -562949953421205/562949953421312))) (*.f64 (-.f64 2 z) (*.f64 (-.f64 3 z) -6214088902520669/35184372088832)))) (*.f64 (+.f64 316912650056936879084143652025/316912650057057350374175801344 (*.f64 (/.f64 5950736089418501/8796093022208 (-.f64 1 z)) (+.f64 (/.f64 5950736089418501/8796093022208 (-.f64 1 z)) -562949953421205/562949953421312))) (*.f64 (-.f64 2 z) (*.f64 (-.f64 3 z) (-.f64 4 z))))) (/.f64 7041008316161153/562949953421312 (-.f64 5 z))) (/.f64 -4992549864024149/36028797018963968 (-.f64 6 z))) (/.f64 5893731530977871/590295810358705651712 (-.f64 7 z))) (/.f64 5688119651184367/37778931862957161709568 (-.f64 8 z))))) | |
| 2.0b | (*.f64 (/.f64 PI.f64 (sin.f64 (*.f64 PI.f64 z))) (*.f64 (*.f64 (*.f64 (*.f64 (pow.f64 (-.f64 15/2 z) (-.f64 1/2 z)) (sqrt.f64 (*.f64 2 PI.f64))) (exp.f64 z)) (exp.f64 -15/2)) (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 562949953421205/562949953421312 (/.f64 5950736089418501/8796093022208 (-.f64 1 z))) (/.f64 -5537752839100187/4398046511104 (-.f64 2 z))) (/.f64 848079078717083/1099511627776 (-.f64 3 z))) (/.f64 -6214088902520669/35184372088832 (-.f64 4 z))) (/.f64 7041008316161153/562949953421312 (-.f64 5 z))) (/.f64 -4992549864024149/36028797018963968 (-.f64 6 z))) (/.f64 5893731530977871/590295810358705651712 (-.f64 7 z))) (/.f64 5688119651184367/37778931862957161709568 (-.f64 8 z))))) | |
| 2.1b | (*.f64 (/.f64 PI.f64 (sin.f64 (*.f64 PI.f64 z))) (*.f64 (*.f64 (*.f64 (sqrt.f64 (*.f64 PI.f64 2)) (pow.f64 (-.f64 15/2 z) (-.f64 1/2 z))) (exp.f64 (+.f64 z -15/2))) (+.f64 (+.f64 (+.f64 (+.f64 (/.f64 (+.f64 (*.f64 (-.f64 4 z) (+.f64 (*.f64 (+.f64 (pow.f64 (+.f64 562949953421205/562949953421312 (/.f64 5950736089418501/8796093022208 (-.f64 1 z))) 3) (pow.f64 (/.f64 -5537752839100187/4398046511104 (-.f64 2 z)) 3)) (-.f64 3 z)) (*.f64 (+.f64 (/.f64 (/.f64 30666706506962181608371823434969/19342813113834066795298816 (-.f64 2 z)) (-.f64 2 z)) (*.f64 (+.f64 562949953421205/562949953421312 (/.f64 5950736089418501/8796093022208 (-.f64 1 z))) (-.f64 (+.f64 562949953421205/562949953421312 (/.f64 5950736089418501/8796093022208 (-.f64 1 z))) (/.f64 -5537752839100187/4398046511104 (-.f64 2 z))))) 848079078717083/1099511627776))) (*.f64 (+.f64 (/.f64 (/.f64 30666706506962181608371823434969/19342813113834066795298816 (-.f64 2 z)) (-.f64 2 z)) (*.f64 (+.f64 562949953421205/562949953421312 (/.f64 5950736089418501/8796093022208 (-.f64 1 z))) (-.f64 (+.f64 562949953421205/562949953421312 (/.f64 5950736089418501/8796093022208 (-.f64 1 z))) (/.f64 -5537752839100187/4398046511104 (-.f64 2 z))))) (*.f64 (-.f64 3 z) -6214088902520669/35184372088832))) (*.f64 (+.f64 (/.f64 (/.f64 30666706506962181608371823434969/19342813113834066795298816 (-.f64 2 z)) (-.f64 2 z)) (*.f64 (+.f64 562949953421205/562949953421312 (/.f64 5950736089418501/8796093022208 (-.f64 1 z))) (-.f64 (+.f64 562949953421205/562949953421312 (/.f64 5950736089418501/8796093022208 (-.f64 1 z))) (/.f64 -5537752839100187/4398046511104 (-.f64 2 z))))) (*.f64 (-.f64 3 z) (-.f64 4 z)))) (/.f64 7041008316161153/562949953421312 (-.f64 5 z))) (/.f64 -4992549864024149/36028797018963968 (-.f64 6 z))) (/.f64 5893731530977871/590295810358705651712 (-.f64 7 z))) (/.f64 5688119651184367/37778931862957161709568 (-.f64 8 z))))) | |
| 2.3b | (*.f64 (/.f64 PI.f64 (sin.f64 (*.f64 PI.f64 z))) (*.f64 (*.f64 (*.f64 (sqrt.f64 (*.f64 PI.f64 2)) (pow.f64 (-.f64 15/2 z) (-.f64 1/2 z))) (exp.f64 (+.f64 z -15/2))) (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 440629055394278371/1688849860263936 (*.f64 z 2211040858024663195/5066549580791808)) (*.f64 (*.f64 z z) (+.f64 33131336496940083697/60798594969501696 (*.f64 442606555376683577875/729583139634020352 z)))) (/.f64 7041008316161153/562949953421312 (-.f64 5 z))) (/.f64 -4992549864024149/36028797018963968 (-.f64 6 z))) (/.f64 5893731530977871/590295810358705651712 (-.f64 7 z))) (/.f64 5688119651184367/37778931862957161709568 (-.f64 8 z))))) | |
| 2.1b | (*.f64 (/.f64 PI.f64 (sin.f64 (*.f64 PI.f64 z))) (*.f64 (*.f64 (*.f64 (*.f64 (*.f64 (cbrt.f64 (sqrt.f64 (*.f64 2 PI.f64))) (cbrt.f64 (sqrt.f64 (*.f64 2 PI.f64)))) (cbrt.f64 (sqrt.f64 (*.f64 2 PI.f64)))) (pow.f64 (-.f64 15/2 z) (-.f64 1/2 z))) (exp.f64 (+.f64 z -15/2))) (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 562949953421205/562949953421312 (/.f64 5950736089418501/8796093022208 (-.f64 1 z))) (/.f64 -5537752839100187/4398046511104 (-.f64 2 z))) (/.f64 848079078717083/1099511627776 (-.f64 3 z))) (/.f64 -6214088902520669/35184372088832 (-.f64 4 z))) (/.f64 7041008316161153/562949953421312 (-.f64 5 z))) (/.f64 -4992549864024149/36028797018963968 (-.f64 6 z))) (/.f64 5893731530977871/590295810358705651712 (-.f64 7 z))) (/.f64 5688119651184367/37778931862957161709568 (-.f64 8 z))))) | |
| 2.0b | (*.f64 (/.f64 PI.f64 (sin.f64 (*.f64 PI.f64 z))) (*.f64 (*.f64 (*.f64 (*.f64 (pow.f64 (-.f64 15/2 z) (-.f64 1/2 z)) (sqrt.f64 (*.f64 2 PI.f64))) (*.f64 (cbrt.f64 (exp.f64 (+.f64 z -15/2))) (cbrt.f64 (exp.f64 (+.f64 z -15/2))))) (cbrt.f64 (exp.f64 (+.f64 z -15/2)))) (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 562949953421205/562949953421312 (/.f64 5950736089418501/8796093022208 (-.f64 1 z))) (/.f64 -5537752839100187/4398046511104 (-.f64 2 z))) (/.f64 848079078717083/1099511627776 (-.f64 3 z))) (/.f64 -6214088902520669/35184372088832 (-.f64 4 z))) (/.f64 7041008316161153/562949953421312 (-.f64 5 z))) (/.f64 -4992549864024149/36028797018963968 (-.f64 6 z))) (/.f64 5893731530977871/590295810358705651712 (-.f64 7 z))) (/.f64 5688119651184367/37778931862957161709568 (-.f64 8 z))))) |
Compiled 29682 to 24339 computations (18% saved)
Found 4 expressions with local error:
| 1.0b | (pow.f64 (pow.f64 (/.f64 5950736089418501/8796093022208 (-.f64 1 z)) 3) 3) |
| 1.0b | (sqrt.f64 (*.f64 PI.f64 2)) |
| 1.2b | (*.f64 (*.f64 (sqrt.f64 (*.f64 PI.f64 2)) (pow.f64 (-.f64 15/2 z) (-.f64 1/2 z))) (exp.f64 (+.f64 z -15/2))) |
| 2.0b | (+.f64 (*.f64 (*.f64 (-.f64 8 (pow.f64 z 3)) (+.f64 5678427533549715134633014896091006013944685176209383187104014791596740501419439436594122795778098490726927930959796456992046408203125/5678427533559428832416592249125035424637823130369672345949142181098744438385921275985867583701277855943457200048954515105739075223552 (pow.f64 (pow.f64 (/.f64 5950736089418501/8796093022208 (-.f64 1 z)) 3) 3))) (-.f64 316912650056936879084143652025/316912650057057350374175801344 (*.f64 (/.f64 5950736089418501/8796093022208 (-.f64 1 z)) (+.f64 (/.f64 5950736089418501/8796093022208 (-.f64 1 z)) -562949953421205/562949953421312)))) (*.f64 (*.f64 (+.f64 4 (*.f64 z (+.f64 z 2))) (+.f64 31828687130190046991845674001698638924308767282431494685437358695710790509958860147515625/31828687130226345097944463881396533766429193651030253916189694521162207808802136034115584 (+.f64 (pow.f64 (/.f64 5950736089418501/8796093022208 (-.f64 1 z)) 6) (*.f64 -178405961588143256171617450107358831776190125/178405961588244985132285746181186892047843328 (pow.f64 (/.f64 5950736089418501/8796093022208 (-.f64 1 z)) 3))))) (*.f64 -5537752839100187/4398046511104 (-.f64 100433627766110534469812883687683627375011214126104286600625/100433627766186892221372630771322662657637687111424552206336 (*.f64 (*.f64 (/.f64 5950736089418501/8796093022208 (-.f64 1 z)) (+.f64 (/.f64 5950736089418501/8796093022208 (-.f64 1 z)) -562949953421205/562949953421312)) (*.f64 (/.f64 5950736089418501/8796093022208 (-.f64 1 z)) (+.f64 (/.f64 5950736089418501/8796093022208 (-.f64 1 z)) -562949953421205/562949953421312))))))) |
| 1× | rewrite-expression-head |
| 1456× | frac-times_binary64 |
| 885× | associate-*r/_binary64 |
| 729× | associate-*l/_binary64 |
| 706× | flip3--_binary64 flip--_binary64 |
| 703× | flip3-+_binary64 flip-+_binary64 |
4 calls:
| 85.0ms | (+.f64 (*.f64 (*.f64 (-.f64 8 (pow.f64 z 3)) (+.f64 5678427533549715134633014896091006013944685176209383187104014791596740501419439436594122795778098490726927930959796456992046408203125/5678427533559428832416592249125035424637823130369672345949142181098744438385921275985867583701277855943457200048954515105739075223552 (pow.f64 (pow.f64 (/.f64 5950736089418501/8796093022208 (-.f64 1 z)) 3) 3))) (-.f64 316912650056936879084143652025/316912650057057350374175801344 (*.f64 (/.f64 5950736089418501/8796093022208 (-.f64 1 z)) (+.f64 (/.f64 5950736089418501/8796093022208 (-.f64 1 z)) -562949953421205/562949953421312)))) (*.f64 (*.f64 (+.f64 4 (*.f64 z (+.f64 z 2))) (+.f64 31828687130190046991845674001698638924308767282431494685437358695710790509958860147515625/31828687130226345097944463881396533766429193651030253916189694521162207808802136034115584 (+.f64 (pow.f64 (/.f64 5950736089418501/8796093022208 (-.f64 1 z)) 6) (*.f64 -178405961588143256171617450107358831776190125/178405961588244985132285746181186892047843328 (pow.f64 (/.f64 5950736089418501/8796093022208 (-.f64 1 z)) 3))))) (*.f64 -5537752839100187/4398046511104 (-.f64 100433627766110534469812883687683627375011214126104286600625/100433627766186892221372630771322662657637687111424552206336 (*.f64 (*.f64 (/.f64 5950736089418501/8796093022208 (-.f64 1 z)) (+.f64 (/.f64 5950736089418501/8796093022208 (-.f64 1 z)) -562949953421205/562949953421312)) (*.f64 (/.f64 5950736089418501/8796093022208 (-.f64 1 z)) (+.f64 (/.f64 5950736089418501/8796093022208 (-.f64 1 z)) -562949953421205/562949953421312))))))) |
| 16.0ms | (pow.f64 (pow.f64 (/.f64 5950736089418501/8796093022208 (-.f64 1 z)) 3) 3) |
| 15.0ms | (*.f64 (*.f64 (sqrt.f64 (*.f64 PI.f64 2)) (pow.f64 (-.f64 15/2 z) (-.f64 1/2 z))) (exp.f64 (+.f64 z -15/2))) |
| 2.0ms | (sqrt.f64 (*.f64 PI.f64 2)) |
Compiled 410122 to 349038 computations (14.9% saved)
4 calls:
| 92.0ms | (*.f64 (*.f64 (sqrt.f64 (*.f64 PI.f64 2)) (pow.f64 (-.f64 15/2 z) (-.f64 1/2 z))) (exp.f64 (+.f64 z -15/2))) |
| 88.0ms | (pow.f64 (pow.f64 (/.f64 5950736089418501/8796093022208 (-.f64 1 z)) 3) 3) |
| 72.0ms | (+.f64 (*.f64 (*.f64 (-.f64 8 (pow.f64 z 3)) (+.f64 5678427533549715134633014896091006013944685176209383187104014791596740501419439436594122795778098490726927930959796456992046408203125/5678427533559428832416592249125035424637823130369672345949142181098744438385921275985867583701277855943457200048954515105739075223552 (pow.f64 (pow.f64 (/.f64 5950736089418501/8796093022208 (-.f64 1 z)) 3) 3))) (-.f64 316912650056936879084143652025/316912650057057350374175801344 (*.f64 (/.f64 5950736089418501/8796093022208 (-.f64 1 z)) (+.f64 (/.f64 5950736089418501/8796093022208 (-.f64 1 z)) -562949953421205/562949953421312)))) (*.f64 (*.f64 (+.f64 4 (*.f64 z (+.f64 z 2))) (+.f64 31828687130190046991845674001698638924308767282431494685437358695710790509958860147515625/31828687130226345097944463881396533766429193651030253916189694521162207808802136034115584 (+.f64 (pow.f64 (/.f64 5950736089418501/8796093022208 (-.f64 1 z)) 6) (*.f64 -178405961588143256171617450107358831776190125/178405961588244985132285746181186892047843328 (pow.f64 (/.f64 5950736089418501/8796093022208 (-.f64 1 z)) 3))))) (*.f64 -5537752839100187/4398046511104 (-.f64 100433627766110534469812883687683627375011214126104286600625/100433627766186892221372630771322662657637687111424552206336 (*.f64 (*.f64 (/.f64 5950736089418501/8796093022208 (-.f64 1 z)) (+.f64 (/.f64 5950736089418501/8796093022208 (-.f64 1 z)) -562949953421205/562949953421312)) (*.f64 (/.f64 5950736089418501/8796093022208 (-.f64 1 z)) (+.f64 (/.f64 5950736089418501/8796093022208 (-.f64 1 z)) -562949953421205/562949953421312))))))) |
| 0.0ms | (sqrt.f64 (*.f64 PI.f64 2)) |
Compiled 12322 to 10314 computations (16.3% saved)
| 1× | egg-herbie |
| 263× | distribute-rgt-in_binary64 distribute-lft-in_binary64 |
| 89× | sqr-pow_binary64 |
| 77× | unpow3_binary64 cube-mult_binary64 |
| 31× | sub-neg_binary64 |
| 25× | cube-div_binary64 |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 3302 | 322612 |
| 1 | 5429 | 322612 |
10 alts after pruning (10 fresh and 0 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 782 | 1 | 783 |
| Fresh | 1 | 9 | 10 |
| Picked | 1 | 0 | 1 |
| Done | 0 | 0 | 0 |
| Total | 784 | 10 | 794 |
| Status | Error | Program |
| 2.0b | (*.f64 (/.f64 PI.f64 (sin.f64 (*.f64 PI.f64 z))) (*.f64 (exp.f64 (+.f64 (+.f64 z -15/2) (log.f64 (*.f64 (pow.f64 (-.f64 15/2 z) (-.f64 1/2 z)) (sqrt.f64 (*.f64 2 PI.f64)))))) (+.f64 (+.f64 (+.f64 (+.f64 (/.f64 (+.f64 (*.f64 (-.f64 4 z) (+.f64 (*.f64 (+.f64 (*.f64 (-.f64 2 z) (+.f64 178405961588143256171617450107358831776190125/178405961588244985132285746181186892047843328 (pow.f64 (/.f64 5950736089418501/8796093022208 (-.f64 1 z)) 3))) (*.f64 -5537752839100187/4398046511104 (+.f64 316912650056936879084143652025/316912650057057350374175801344 (*.f64 (/.f64 5950736089418501/8796093022208 (-.f64 1 z)) (+.f64 (/.f64 5950736089418501/8796093022208 (-.f64 1 z)) -562949953421205/562949953421312))))) (-.f64 3 z)) (*.f64 (+.f64 316912650056936879084143652025/316912650057057350374175801344 (*.f64 (/.f64 5950736089418501/8796093022208 (-.f64 1 z)) (+.f64 (/.f64 5950736089418501/8796093022208 (-.f64 1 z)) -562949953421205/562949953421312))) (*.f64 (-.f64 2 z) 848079078717083/1099511627776)))) (*.f64 (+.f64 316912650056936879084143652025/316912650057057350374175801344 (*.f64 (/.f64 5950736089418501/8796093022208 (-.f64 1 z)) (+.f64 (/.f64 5950736089418501/8796093022208 (-.f64 1 z)) -562949953421205/562949953421312))) (*.f64 (-.f64 2 z) (*.f64 (-.f64 3 z) -6214088902520669/35184372088832)))) (*.f64 (+.f64 316912650056936879084143652025/316912650057057350374175801344 (*.f64 (/.f64 5950736089418501/8796093022208 (-.f64 1 z)) (+.f64 (/.f64 5950736089418501/8796093022208 (-.f64 1 z)) -562949953421205/562949953421312))) (*.f64 (-.f64 2 z) (*.f64 (-.f64 3 z) (-.f64 4 z))))) (/.f64 7041008316161153/562949953421312 (-.f64 5 z))) (/.f64 -4992549864024149/36028797018963968 (-.f64 6 z))) (/.f64 5893731530977871/590295810358705651712 (-.f64 7 z))) (/.f64 5688119651184367/37778931862957161709568 (-.f64 8 z))))) | |
| 1.4b | (*.f64 (/.f64 PI.f64 (sin.f64 (*.f64 PI.f64 z))) (*.f64 (-.f64 (+.f64 (*.f64 (sqrt.f64 PI.f64) (+.f64 (*.f64 7/15 (*.f64 (exp.f64 -15/2) (*.f64 (pow.f64 z 3) (*.f64 (sqrt.f64 15/2) (*.f64 (sqrt.f64 2) (pow.f64 (log.f64 15/2) 2)))))) (*.f64 1/2 (*.f64 (exp.f64 -15/2) (*.f64 (*.f64 z z) (*.f64 (sqrt.f64 15/2) (*.f64 (sqrt.f64 2) (pow.f64 (log.f64 15/2) 2)))))))) (+.f64 (*.f64 (sqrt.f64 PI.f64) (+.f64 (*.f64 14/15 (*.f64 (exp.f64 -15/2) (*.f64 (sqrt.f64 15/2) (*.f64 z (sqrt.f64 2))))) (*.f64 127/225 (*.f64 (exp.f64 -15/2) (*.f64 (sqrt.f64 15/2) (*.f64 (*.f64 z z) (sqrt.f64 2))))))) (*.f64 (sqrt.f64 PI.f64) (+.f64 (*.f64 (exp.f64 -15/2) (*.f64 (sqrt.f64 15/2) (sqrt.f64 2))) (*.f64 892/3375 (*.f64 (exp.f64 -15/2) (*.f64 (sqrt.f64 15/2) (*.f64 (pow.f64 z 3) (sqrt.f64 2))))))))) (+.f64 (*.f64 (sqrt.f64 PI.f64) (+.f64 (*.f64 1/6 (*.f64 (exp.f64 -15/2) (*.f64 (pow.f64 z 3) (*.f64 (sqrt.f64 15/2) (*.f64 (sqrt.f64 2) (pow.f64 (log.f64 15/2) 3)))))) (*.f64 (exp.f64 -15/2) (*.f64 (sqrt.f64 15/2) (*.f64 (*.f64 z (sqrt.f64 2)) (log.f64 15/2)))))) (*.f64 (sqrt.f64 PI.f64) (+.f64 (*.f64 14/15 (*.f64 (exp.f64 -15/2) (*.f64 (*.f64 z z) (*.f64 (sqrt.f64 15/2) (*.f64 (sqrt.f64 2) (log.f64 15/2)))))) (*.f64 127/225 (*.f64 (exp.f64 -15/2) (*.f64 (pow.f64 z 3) (*.f64 (sqrt.f64 15/2) (*.f64 (sqrt.f64 2) (log.f64 15/2)))))))))) (+.f64 (+.f64 (+.f64 (+.f64 (/.f64 (+.f64 (*.f64 (-.f64 4 z) (+.f64 (*.f64 (+.f64 (*.f64 (-.f64 2 z) (+.f64 178405961588143256171617450107358831776190125/178405961588244985132285746181186892047843328 (pow.f64 (/.f64 5950736089418501/8796093022208 (-.f64 1 z)) 3))) (*.f64 -5537752839100187/4398046511104 (+.f64 316912650056936879084143652025/316912650057057350374175801344 (*.f64 (/.f64 5950736089418501/8796093022208 (-.f64 1 z)) (+.f64 (/.f64 5950736089418501/8796093022208 (-.f64 1 z)) -562949953421205/562949953421312))))) (-.f64 3 z)) (*.f64 (+.f64 316912650056936879084143652025/316912650057057350374175801344 (*.f64 (/.f64 5950736089418501/8796093022208 (-.f64 1 z)) (+.f64 (/.f64 5950736089418501/8796093022208 (-.f64 1 z)) -562949953421205/562949953421312))) (*.f64 (-.f64 2 z) 848079078717083/1099511627776)))) (*.f64 (+.f64 316912650056936879084143652025/316912650057057350374175801344 (*.f64 (/.f64 5950736089418501/8796093022208 (-.f64 1 z)) (+.f64 (/.f64 5950736089418501/8796093022208 (-.f64 1 z)) -562949953421205/562949953421312))) (*.f64 (-.f64 2 z) (*.f64 (-.f64 3 z) -6214088902520669/35184372088832)))) (*.f64 (+.f64 316912650056936879084143652025/316912650057057350374175801344 (*.f64 (/.f64 5950736089418501/8796093022208 (-.f64 1 z)) (+.f64 (/.f64 5950736089418501/8796093022208 (-.f64 1 z)) -562949953421205/562949953421312))) (*.f64 (-.f64 2 z) (*.f64 (-.f64 3 z) (-.f64 4 z))))) (/.f64 7041008316161153/562949953421312 (-.f64 5 z))) (/.f64 -4992549864024149/36028797018963968 (-.f64 6 z))) (/.f64 5893731530977871/590295810358705651712 (-.f64 7 z))) (/.f64 5688119651184367/37778931862957161709568 (-.f64 8 z))))) | |
| 2.1b | (*.f64 (/.f64 PI.f64 (sin.f64 (*.f64 PI.f64 z))) (*.f64 (*.f64 (*.f64 (sqrt.f64 (*.f64 PI.f64 2)) (pow.f64 (-.f64 15/2 z) (-.f64 1/2 z))) (exp.f64 (+.f64 z -15/2))) (+.f64 (+.f64 (+.f64 (+.f64 (*.f64 (*.f64 (cbrt.f64 (+.f64 (/.f64 -6214088902520669/35184372088832 (-.f64 4 z)) (+.f64 (+.f64 (/.f64 -5537752839100187/4398046511104 (-.f64 2 z)) (+.f64 562949953421205/562949953421312 (/.f64 5950736089418501/8796093022208 (-.f64 1 z)))) (/.f64 848079078717083/1099511627776 (-.f64 3 z))))) (cbrt.f64 (+.f64 (/.f64 -6214088902520669/35184372088832 (-.f64 4 z)) (+.f64 (+.f64 (/.f64 -5537752839100187/4398046511104 (-.f64 2 z)) (+.f64 562949953421205/562949953421312 (/.f64 5950736089418501/8796093022208 (-.f64 1 z)))) (/.f64 848079078717083/1099511627776 (-.f64 3 z)))))) (cbrt.f64 (+.f64 (/.f64 -6214088902520669/35184372088832 (-.f64 4 z)) (+.f64 (+.f64 (/.f64 -5537752839100187/4398046511104 (-.f64 2 z)) (+.f64 562949953421205/562949953421312 (/.f64 5950736089418501/8796093022208 (-.f64 1 z)))) (/.f64 848079078717083/1099511627776 (-.f64 3 z)))))) (/.f64 7041008316161153/562949953421312 (-.f64 5 z))) (/.f64 -4992549864024149/36028797018963968 (-.f64 6 z))) (/.f64 5893731530977871/590295810358705651712 (-.f64 7 z))) (/.f64 5688119651184367/37778931862957161709568 (-.f64 8 z))))) | |
| 1.5b | (*.f64 (/.f64 PI.f64 (sin.f64 (*.f64 PI.f64 z))) (*.f64 (*.f64 (*.f64 (*.f64 (pow.f64 (-.f64 15/2 z) (-.f64 1/2 z)) (sqrt.f64 (*.f64 2 PI.f64))) (sqrt.f64 (exp.f64 (+.f64 z -15/2)))) (sqrt.f64 (exp.f64 (+.f64 z -15/2)))) (+.f64 (+.f64 (+.f64 (+.f64 (/.f64 (+.f64 (*.f64 (-.f64 4 z) (+.f64 (*.f64 (+.f64 (*.f64 (-.f64 2 z) (+.f64 178405961588143256171617450107358831776190125/178405961588244985132285746181186892047843328 (pow.f64 (/.f64 5950736089418501/8796093022208 (-.f64 1 z)) 3))) (*.f64 -5537752839100187/4398046511104 (+.f64 316912650056936879084143652025/316912650057057350374175801344 (*.f64 (/.f64 5950736089418501/8796093022208 (-.f64 1 z)) (+.f64 (/.f64 5950736089418501/8796093022208 (-.f64 1 z)) -562949953421205/562949953421312))))) (-.f64 3 z)) (*.f64 (+.f64 316912650056936879084143652025/316912650057057350374175801344 (*.f64 (/.f64 5950736089418501/8796093022208 (-.f64 1 z)) (+.f64 (/.f64 5950736089418501/8796093022208 (-.f64 1 z)) -562949953421205/562949953421312))) (*.f64 (-.f64 2 z) 848079078717083/1099511627776)))) (*.f64 (+.f64 316912650056936879084143652025/316912650057057350374175801344 (*.f64 (/.f64 5950736089418501/8796093022208 (-.f64 1 z)) (+.f64 (/.f64 5950736089418501/8796093022208 (-.f64 1 z)) -562949953421205/562949953421312))) (*.f64 (-.f64 2 z) (*.f64 (-.f64 3 z) -6214088902520669/35184372088832)))) (*.f64 (+.f64 316912650056936879084143652025/316912650057057350374175801344 (*.f64 (/.f64 5950736089418501/8796093022208 (-.f64 1 z)) (+.f64 (/.f64 5950736089418501/8796093022208 (-.f64 1 z)) -562949953421205/562949953421312))) (*.f64 (-.f64 2 z) (*.f64 (-.f64 3 z) (-.f64 4 z))))) (/.f64 7041008316161153/562949953421312 (-.f64 5 z))) (/.f64 -4992549864024149/36028797018963968 (-.f64 6 z))) (/.f64 5893731530977871/590295810358705651712 (-.f64 7 z))) (/.f64 5688119651184367/37778931862957161709568 (-.f64 8 z))))) | |
| 2.0b | (*.f64 (/.f64 PI.f64 (sin.f64 (*.f64 PI.f64 z))) (*.f64 (*.f64 (*.f64 (*.f64 (pow.f64 (-.f64 15/2 z) (-.f64 1/2 z)) (sqrt.f64 (*.f64 2 PI.f64))) (exp.f64 z)) (exp.f64 -15/2)) (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 562949953421205/562949953421312 (/.f64 5950736089418501/8796093022208 (-.f64 1 z))) (/.f64 -5537752839100187/4398046511104 (-.f64 2 z))) (/.f64 848079078717083/1099511627776 (-.f64 3 z))) (/.f64 -6214088902520669/35184372088832 (-.f64 4 z))) (/.f64 7041008316161153/562949953421312 (-.f64 5 z))) (/.f64 -4992549864024149/36028797018963968 (-.f64 6 z))) (/.f64 5893731530977871/590295810358705651712 (-.f64 7 z))) (/.f64 5688119651184367/37778931862957161709568 (-.f64 8 z))))) | |
| 2.1b | (*.f64 (/.f64 PI.f64 (sin.f64 (*.f64 PI.f64 z))) (*.f64 (*.f64 (*.f64 (sqrt.f64 (*.f64 PI.f64 2)) (pow.f64 (-.f64 15/2 z) (-.f64 1/2 z))) (exp.f64 (+.f64 z -15/2))) (+.f64 (+.f64 (+.f64 (+.f64 (/.f64 (+.f64 (*.f64 (-.f64 4 z) (+.f64 (*.f64 (+.f64 (pow.f64 (+.f64 562949953421205/562949953421312 (/.f64 5950736089418501/8796093022208 (-.f64 1 z))) 3) (pow.f64 (/.f64 -5537752839100187/4398046511104 (-.f64 2 z)) 3)) (-.f64 3 z)) (*.f64 (+.f64 (/.f64 (/.f64 30666706506962181608371823434969/19342813113834066795298816 (-.f64 2 z)) (-.f64 2 z)) (*.f64 (+.f64 562949953421205/562949953421312 (/.f64 5950736089418501/8796093022208 (-.f64 1 z))) (-.f64 (+.f64 562949953421205/562949953421312 (/.f64 5950736089418501/8796093022208 (-.f64 1 z))) (/.f64 -5537752839100187/4398046511104 (-.f64 2 z))))) 848079078717083/1099511627776))) (*.f64 (+.f64 (/.f64 (/.f64 30666706506962181608371823434969/19342813113834066795298816 (-.f64 2 z)) (-.f64 2 z)) (*.f64 (+.f64 562949953421205/562949953421312 (/.f64 5950736089418501/8796093022208 (-.f64 1 z))) (-.f64 (+.f64 562949953421205/562949953421312 (/.f64 5950736089418501/8796093022208 (-.f64 1 z))) (/.f64 -5537752839100187/4398046511104 (-.f64 2 z))))) (*.f64 (-.f64 3 z) -6214088902520669/35184372088832))) (*.f64 (+.f64 (/.f64 (/.f64 30666706506962181608371823434969/19342813113834066795298816 (-.f64 2 z)) (-.f64 2 z)) (*.f64 (+.f64 562949953421205/562949953421312 (/.f64 5950736089418501/8796093022208 (-.f64 1 z))) (-.f64 (+.f64 562949953421205/562949953421312 (/.f64 5950736089418501/8796093022208 (-.f64 1 z))) (/.f64 -5537752839100187/4398046511104 (-.f64 2 z))))) (*.f64 (-.f64 3 z) (-.f64 4 z)))) (/.f64 7041008316161153/562949953421312 (-.f64 5 z))) (/.f64 -4992549864024149/36028797018963968 (-.f64 6 z))) (/.f64 5893731530977871/590295810358705651712 (-.f64 7 z))) (/.f64 5688119651184367/37778931862957161709568 (-.f64 8 z))))) | |
| 2.3b | (*.f64 (/.f64 PI.f64 (sin.f64 (*.f64 PI.f64 z))) (*.f64 (*.f64 (*.f64 (sqrt.f64 (*.f64 PI.f64 2)) (pow.f64 (-.f64 15/2 z) (-.f64 1/2 z))) (exp.f64 (+.f64 z -15/2))) (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 440629055394278371/1688849860263936 (*.f64 z 2211040858024663195/5066549580791808)) (*.f64 (*.f64 z z) (+.f64 33131336496940083697/60798594969501696 (*.f64 442606555376683577875/729583139634020352 z)))) (/.f64 7041008316161153/562949953421312 (-.f64 5 z))) (/.f64 -4992549864024149/36028797018963968 (-.f64 6 z))) (/.f64 5893731530977871/590295810358705651712 (-.f64 7 z))) (/.f64 5688119651184367/37778931862957161709568 (-.f64 8 z))))) | |
| 2.1b | (*.f64 (/.f64 PI.f64 (sin.f64 (*.f64 PI.f64 z))) (*.f64 (*.f64 (*.f64 (*.f64 (*.f64 (cbrt.f64 (sqrt.f64 (*.f64 2 PI.f64))) (cbrt.f64 (sqrt.f64 (*.f64 2 PI.f64)))) (cbrt.f64 (sqrt.f64 (*.f64 2 PI.f64)))) (pow.f64 (-.f64 15/2 z) (-.f64 1/2 z))) (exp.f64 (+.f64 z -15/2))) (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 562949953421205/562949953421312 (/.f64 5950736089418501/8796093022208 (-.f64 1 z))) (/.f64 -5537752839100187/4398046511104 (-.f64 2 z))) (/.f64 848079078717083/1099511627776 (-.f64 3 z))) (/.f64 -6214088902520669/35184372088832 (-.f64 4 z))) (/.f64 7041008316161153/562949953421312 (-.f64 5 z))) (/.f64 -4992549864024149/36028797018963968 (-.f64 6 z))) (/.f64 5893731530977871/590295810358705651712 (-.f64 7 z))) (/.f64 5688119651184367/37778931862957161709568 (-.f64 8 z))))) | |
| 2.0b | (*.f64 (/.f64 PI.f64 (sin.f64 (*.f64 PI.f64 z))) (*.f64 (*.f64 (*.f64 (*.f64 (pow.f64 (-.f64 15/2 z) (-.f64 1/2 z)) (sqrt.f64 (*.f64 2 PI.f64))) (*.f64 (cbrt.f64 (exp.f64 (+.f64 z -15/2))) (cbrt.f64 (exp.f64 (+.f64 z -15/2))))) (cbrt.f64 (exp.f64 (+.f64 z -15/2)))) (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 562949953421205/562949953421312 (/.f64 5950736089418501/8796093022208 (-.f64 1 z))) (/.f64 -5537752839100187/4398046511104 (-.f64 2 z))) (/.f64 848079078717083/1099511627776 (-.f64 3 z))) (/.f64 -6214088902520669/35184372088832 (-.f64 4 z))) (/.f64 7041008316161153/562949953421312 (-.f64 5 z))) (/.f64 -4992549864024149/36028797018963968 (-.f64 6 z))) (/.f64 5893731530977871/590295810358705651712 (-.f64 7 z))) (/.f64 5688119651184367/37778931862957161709568 (-.f64 8 z))))) | |
| 0.7b | (*.f64 (/.f64 PI.f64 (sin.f64 (*.f64 PI.f64 z))) (*.f64 (*.f64 (*.f64 (exp.f64 (+.f64 z -15/2)) (*.f64 (pow.f64 (-.f64 15/2 z) (-.f64 1/2 z)) (sqrt.f64 2))) (sqrt.f64 PI.f64)) (+.f64 (+.f64 (+.f64 (+.f64 (/.f64 (+.f64 (*.f64 (-.f64 4 z) (+.f64 (*.f64 (/.f64 (+.f64 (*.f64 (*.f64 (-.f64 8 (pow.f64 z 3)) (+.f64 5678427533549715134633014896091006013944685176209383187104014791596740501419439436594122795778098490726927930959796456992046408203125/5678427533559428832416592249125035424637823130369672345949142181098744438385921275985867583701277855943457200048954515105739075223552 (pow.f64 (pow.f64 (/.f64 5950736089418501/8796093022208 (-.f64 1 z)) 3) 3))) (-.f64 316912650056936879084143652025/316912650057057350374175801344 (*.f64 (/.f64 5950736089418501/8796093022208 (-.f64 1 z)) (+.f64 (/.f64 5950736089418501/8796093022208 (-.f64 1 z)) -562949953421205/562949953421312)))) (*.f64 (*.f64 (+.f64 4 (*.f64 z (+.f64 z 2))) (+.f64 31828687130190046991845674001698638924308767282431494685437358695710790509958860147515625/31828687130226345097944463881396533766429193651030253916189694521162207808802136034115584 (+.f64 (pow.f64 (/.f64 5950736089418501/8796093022208 (-.f64 1 z)) 6) (*.f64 -178405961588143256171617450107358831776190125/178405961588244985132285746181186892047843328 (pow.f64 (/.f64 5950736089418501/8796093022208 (-.f64 1 z)) 3))))) (*.f64 -5537752839100187/4398046511104 (-.f64 100433627766110534469812883687683627375011214126104286600625/100433627766186892221372630771322662657637687111424552206336 (*.f64 (*.f64 (/.f64 5950736089418501/8796093022208 (-.f64 1 z)) (+.f64 (/.f64 5950736089418501/8796093022208 (-.f64 1 z)) -562949953421205/562949953421312)) (*.f64 (/.f64 5950736089418501/8796093022208 (-.f64 1 z)) (+.f64 (/.f64 5950736089418501/8796093022208 (-.f64 1 z)) -562949953421205/562949953421312))))))) (*.f64 (*.f64 (+.f64 4 (*.f64 z (+.f64 z 2))) (+.f64 31828687130190046991845674001698638924308767282431494685437358695710790509958860147515625/31828687130226345097944463881396533766429193651030253916189694521162207808802136034115584 (+.f64 (pow.f64 (/.f64 5950736089418501/8796093022208 (-.f64 1 z)) 6) (*.f64 -178405961588143256171617450107358831776190125/178405961588244985132285746181186892047843328 (pow.f64 (/.f64 5950736089418501/8796093022208 (-.f64 1 z)) 3))))) (-.f64 316912650056936879084143652025/316912650057057350374175801344 (*.f64 (/.f64 5950736089418501/8796093022208 (-.f64 1 z)) (+.f64 (/.f64 5950736089418501/8796093022208 (-.f64 1 z)) -562949953421205/562949953421312))))) (-.f64 3 z)) (*.f64 (+.f64 316912650056936879084143652025/316912650057057350374175801344 (*.f64 (/.f64 5950736089418501/8796093022208 (-.f64 1 z)) (+.f64 (/.f64 5950736089418501/8796093022208 (-.f64 1 z)) -562949953421205/562949953421312))) (*.f64 (-.f64 2 z) 848079078717083/1099511627776)))) (*.f64 (+.f64 316912650056936879084143652025/316912650057057350374175801344 (*.f64 (/.f64 5950736089418501/8796093022208 (-.f64 1 z)) (+.f64 (/.f64 5950736089418501/8796093022208 (-.f64 1 z)) -562949953421205/562949953421312))) (*.f64 (-.f64 2 z) (*.f64 (-.f64 3 z) -6214088902520669/35184372088832)))) (*.f64 (+.f64 316912650056936879084143652025/316912650057057350374175801344 (*.f64 (/.f64 5950736089418501/8796093022208 (-.f64 1 z)) (+.f64 (/.f64 5950736089418501/8796093022208 (-.f64 1 z)) -562949953421205/562949953421312))) (*.f64 (-.f64 2 z) (*.f64 (-.f64 3 z) (-.f64 4 z))))) (/.f64 7041008316161153/562949953421312 (-.f64 5 z))) (/.f64 -4992549864024149/36028797018963968 (-.f64 6 z))) (/.f64 5893731530977871/590295810358705651712 (-.f64 7 z))) (/.f64 5688119651184367/37778931862957161709568 (-.f64 8 z))))) |
Compiled 344482 to 291731 computations (15.3% saved)
Total 0.2b remaining (36.7%)
Threshold costs 0.2b (36.7%)
Compiled 67150 to 56420 computations (16% saved)
| 1× | egg-herbie |
| 30× | +-commutative_binary64 |
| 28× | *-commutative_binary64 |
| 20× | sub-neg_binary64 |
| 8× | neg-mul-1_binary64 neg-sub0_binary64 |
| 7× | distribute-rgt-neg-in_binary64 distribute-lft-neg-in_binary64 |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 83 | 343 |
| 1 | 138 | 343 |
| 2 | 163 | 343 |
| 3 | 180 | 343 |
| 4 | 196 | 343 |
| 5 | 211 | 343 |
| 6 | 217 | 343 |
| 7 | 219 | 343 |
| 8 | 213 | 343 |
Compiled 227 to 191 computations (15.9% saved)
| 1× | intervals |
| 39.2s | 3746× | body | 8192 | exit |
| 2.3s | 8000× | body | 128 | valid |
| 161.0ms | 11832× | pre | 128 | true |
| 28.0ms | 86× | body | 128 | invalid |
Compiled 1923 to 1612 computations (16.2% saved)
Loading profile data...