Time bar (total: 39.0s)
| 422.0ms | 236× | body | 10240 | exit |
| 155.0ms | 93× | body | 2560 | valid |
| 74.0ms | 92× | body | 1280 | valid |
| 21.0ms | 479× | body | 80 | nan |
| 17.0ms | 41× | body | 640 | valid |
| 6.0ms | 21× | body | 320 | valid |
| 1.0ms | 6× | body | 160 | valid |
| 1.0ms | 1× | body | 2560 | nan |
| 0.0ms | 3× | body | 80 | valid |
Useful iterations: 0 (2.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 7 | 10 |
| 1 | 16 | 10 |
| 2 | 24 | 10 |
| 3 | 44 | 10 |
| 4 | 85 | 10 |
| 5 | 199 | 10 |
| 6 | 523 | 10 |
| 7 | 1893 | 10 |
| done | 5000 | 10 |
1 alts after pruning (1 fresh and 0 done)
Merged error: 61.4b
Found 3 expressions with local error:
| 0.0b | (pow (fmod (cosh a) (* a a)) (log1p a)) |
| 1.4b | (acos (pow (fmod (cosh a) (* a a)) (log1p a))) |
| 59.2b | (fmod (cosh a) (* a a)) |
| 5× | add-sqr-sqrt add-cube-cbrt *-un-lft-identity |
| 4× | pow1 add-exp-log |
| 3× | unpow-prod-down pow-unpow add-cbrt-cube add-log-exp |
| 1× | acos-asin pow-to-exp pow-pow pow-exp sqr-pow |
| 2.0ms | (pow (fmod (cosh a) (* a a)) (log1p a)) |
| 1.0ms | (acos (pow (fmod (cosh a) (* a a)) (log1p a))) |
| 1.0ms | (fmod (cosh a) (* a a)) |
| 115.0ms | (pow (fmod (cosh a) (* a a)) (log1p a)) |
| 3.0ms | (acos (pow (fmod (cosh a) (* a a)) (log1p a))) |
| 8.0ms | (fmod (cosh a) (* a a)) |
Useful iterations: 2 (27.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 51 | 507 |
| 1 | 92 | 492 |
| 2 | 197 | 450 |
| 3 | 458 | 450 |
| 4 | 1268 | 450 |
| 5 | 4770 | 450 |
| done | 5000 | 450 |
6 alts after pruning (6 fresh and 0 done)
Merged error: 60.0b
Found 4 expressions with local error:
| 0.0b | (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)) |
| 1.4b | (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))) |
| 10.3b | (log (exp (fmod (cosh a) (* a a)))) |
| 59.2b | (fmod (cosh a) (* a a)) |
| 9× | add-sqr-sqrt add-cube-cbrt *-un-lft-identity |
| 8× | log-pow |
| 7× | pow1 unpow-prod-down |
| 6× | exp-prod |
| 5× | add-exp-log |
| 4× | add-cbrt-cube add-log-exp |
| 3× | pow-unpow log-prod |
| 1× | acos-asin pow-to-exp pow-pow rem-log-exp pow-exp sqr-pow |
| 2.0ms | (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)) |
| 0.0ms | (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))) |
| 1.0ms | (log (exp (fmod (cosh a) (* a a)))) |
| 0.0ms | (fmod (cosh a) (* a a)) |
| 110.0ms | (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)) |
| 3.0ms | (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))) |
| 2.0ms | (log (exp (fmod (cosh a) (* a a)))) |
| 2.0ms | (fmod (cosh a) (* a a)) |
Useful iterations: 3 (90.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 78 | 857 |
| 1 | 137 | 729 |
| 2 | 247 | 682 |
| 3 | 505 | 668 |
| 4 | 1353 | 668 |
| 5 | 4950 | 668 |
| done | 5000 | 668 |
6 alts after pruning (5 fresh and 1 done)
Merged error: 60.0b
Found 4 expressions with local error:
| 0.0b | (pow (fmod (cosh a) (* a a)) (log1p a)) |
| 0.4b | (asin (pow (fmod (cosh a) (* a a)) (log1p a))) |
| 0.8b | (- (/ PI 2) (asin (pow (fmod (cosh a) (* a a)) (log1p a)))) |
| 59.2b | (fmod (cosh a) (* a a)) |
| 11× | add-sqr-sqrt |
| 8× | *-un-lft-identity |
| 6× | add-cube-cbrt add-log-exp |
| 5× | pow1 add-exp-log |
| 4× | add-cbrt-cube |
| 3× | unpow-prod-down pow-unpow |
| 2× | asin-acos difference-of-squares |
| 1× | pow-to-exp sub-neg flip3-- pow-pow times-frac diff-log pow-exp flip-- distribute-lft-out-- associate--r- sqr-pow |
| 1.0ms | (pow (fmod (cosh a) (* a a)) (log1p a)) |
| 0.0ms | (asin (pow (fmod (cosh a) (* a a)) (log1p a))) |
| 11.0ms | (- (/ PI 2) (asin (pow (fmod (cosh a) (* a a)) (log1p a)))) |
| 0.0ms | (fmod (cosh a) (* a a)) |
| 111.0ms | (pow (fmod (cosh a) (* a a)) (log1p a)) |
| 3.0ms | (asin (pow (fmod (cosh a) (* a a)) (log1p a))) |
| 30.0ms | (- (/ PI 2) (asin (pow (fmod (cosh a) (* a a)) (log1p a)))) |
| 2.0ms | (fmod (cosh a) (* a a)) |
Useful iterations: 3 (126.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 84 | 929 |
| 1 | 168 | 876 |
| 2 | 350 | 826 |
| 3 | 726 | 822 |
| 4 | 1843 | 822 |
| done | 5000 | 822 |
9 alts after pruning (8 fresh and 1 done)
Merged error: 59.4b
Found 4 expressions with local error:
| 0.4b | (asin (pow (fmod (cosh a) (* a a)) (log1p a))) |
| 8.8b | (- (/ PI 2) (* (sqrt (asin (pow (fmod (cosh a) (* a a)) (log1p a)))) (sqrt (asin (pow (fmod (cosh a) (* a a)) (log1p a)))))) |
| 59.2b | (fmod (cosh a) (* a a)) |
| 59.2b | (fmod (cosh a) (* a a)) |
| 7× | add-sqr-sqrt |
| 6× | add-log-exp |
| 4× | pow1 add-exp-log add-cube-cbrt *-un-lft-identity add-cbrt-cube |
| 2× | difference-of-squares |
| 1× | sub-neg asin-acos flip3-- times-frac diff-log flip-- |
| 0.0ms | (asin (pow (fmod (cosh a) (* a a)) (log1p a))) |
| 13.0ms | (- (/ PI 2) (* (sqrt (asin (pow (fmod (cosh a) (* a a)) (log1p a)))) (sqrt (asin (pow (fmod (cosh a) (* a a)) (log1p a)))))) |
| 0.0ms | (fmod (cosh a) (* a a)) |
| 0.0ms | (fmod (cosh a) (* a a)) |
| 3.0ms | (asin (pow (fmod (cosh a) (* a a)) (log1p a))) |
| 30.0ms | (- (/ PI 2) (* (sqrt (asin (pow (fmod (cosh a) (* a a)) (log1p a)))) (sqrt (asin (pow (fmod (cosh a) (* a a)) (log1p a)))))) |
| 2.0ms | (fmod (cosh a) (* a a)) |
| 2.0ms | (fmod (cosh a) (* a a)) |
Useful iterations: 3 (90.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 64 | 990 |
| 1 | 135 | 698 |
| 2 | 269 | 646 |
| 3 | 539 | 634 |
| 4 | 1212 | 634 |
| 5 | 3466 | 634 |
| done | 5001 | 634 |
9 alts after pruning (8 fresh and 1 done)
Merged error: 59.4b
0% (0.0b remaining)
Error of 59.3b against oracle of 59.3b and baseline of 59.3b
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 13 | 27 |
| done | 13 | 27 |
| 14.0s | 7943× | body | 10240 | exit |
| 5.1s | 3137× | body | 2560 | valid |
| 1.9s | 2523× | body | 1280 | valid |
| 719.0ms | 15913× | body | 80 | nan |
| 497.0ms | 1236× | body | 640 | valid |
| 185.0ms | 653× | body | 320 | valid |
| 68.0ms | 334× | body | 160 | valid |
| 13.0ms | 6× | body | 5120 | nan |
| 12.0ms | 117× | body | 80 | valid |
| 9.0ms | 9× | body | 2560 | nan |
| 3.0ms | 9× | body | 640 | nan |
| 3.0ms | 5× | body | 1280 | nan |
| 1.0ms | 4× | body | 320 | nan |
| 0.0ms | 3× | body | 160 | nan |