Time bar (total: 15.7s)
| 562.0ms | 271× | body | 10240 | exit |
| 58.0ms | 69× | body | 1280 | valid |
| 22.0ms | 53× | body | 640 | valid |
| 9.0ms | 146× | body | 80 | nan |
| 8.0ms | 95× | body | 80 | valid |
| 6.0ms | 23× | body | 320 | valid |
| 5.0ms | 3× | body | 2560 | valid |
| 2.0ms | 1× | body | 5120 | valid |
| 2.0ms | 12× | body | 160 | valid |
Useful iterations: 0 (2.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 5 | 5 |
| 1 | 11 | 5 |
| 2 | 14 | 5 |
| 3 | 16 | 5 |
| done | 16 | 5 |
1 alts after pruning (1 fresh and 0 done)
Merged error: 33.4b
Found 2 expressions with local error:
| 0.0b | (log1p a) |
| 37.8b | (fmod (cosh c) (log1p a)) |
| 2× | pow1 add-exp-log add-sqr-sqrt add-cube-cbrt *-un-lft-identity add-cbrt-cube add-log-exp |
| 1.0ms | (log1p a) |
| 1.0ms | (fmod (cosh c) (log1p a)) |
| 2.0ms | (log1p a) |
| 17.0ms | (fmod (cosh c) (log1p a)) |
Useful iterations: 2 (7.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 19 | 111 |
| 1 | 27 | 111 |
| 2 | 33 | 97 |
| 3 | 41 | 97 |
| 4 | 50 | 97 |
| 5 | 67 | 97 |
| 6 | 106 | 97 |
| 7 | 251 | 97 |
| 8 | 842 | 97 |
| 9 | 3642 | 97 |
| done | 5001 | 97 |
9 alts after pruning (8 fresh and 1 done)
Merged error: 32.4b
Found 4 expressions with local error:
| 0.6b | (cbrt (log1p a)) |
| 0.6b | (cbrt (log1p a)) |
| 0.6b | (cbrt (log1p a)) |
| 37.8b | (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (cbrt (log1p a)))) |
| 9× | cbrt-prod |
| 7× | add-sqr-sqrt add-cube-cbrt *-un-lft-identity |
| 4× | pow1 add-exp-log add-cbrt-cube add-log-exp |
| 3× | pow1/3 |
| 2.0ms | (cbrt (log1p a)) |
| 2.0ms | (cbrt (log1p a)) |
| 4.0ms | (cbrt (log1p a)) |
| 1.0ms | (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (cbrt (log1p a)))) |
| 196.0ms | (cbrt (log1p a)) |
| 164.0ms | (cbrt (log1p a)) |
| 185.0ms | (cbrt (log1p a)) |
| 7.0ms | (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (cbrt (log1p a)))) |
Useful iterations: 3 (29.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 28 | 396 |
| 1 | 42 | 384 |
| 2 | 73 | 281 |
| 3 | 127 | 248 |
| 4 | 329 | 248 |
| 5 | 1325 | 248 |
| done | 5000 | 248 |
19 alts after pruning (18 fresh and 1 done)
Merged error: 31.7b
Found 4 expressions with local error:
| 0.6b | (cbrt (cbrt (log1p a))) |
| 0.6b | (cbrt (cbrt (log1p a))) |
| 0.6b | (cbrt (cbrt (log1p a))) |
| 37.8b | (fmod (cosh c) (* (* (cbrt (log1p a)) (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a))))) (cbrt (log1p a)))) |
| 27× | cbrt-prod |
| 10× | add-sqr-sqrt add-cube-cbrt *-un-lft-identity |
| 4× | pow1 add-exp-log add-cbrt-cube add-log-exp |
| 3× | pow1/3 |
| 1.0ms | (cbrt (cbrt (log1p a))) |
| 1.0ms | (cbrt (cbrt (log1p a))) |
| 1.0ms | (cbrt (cbrt (log1p a))) |
| 0.0ms | (fmod (cosh c) (* (* (cbrt (log1p a)) (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a))))) (cbrt (log1p a)))) |
| 179.0ms | (cbrt (cbrt (log1p a))) |
| 176.0ms | (cbrt (cbrt (log1p a))) |
| 161.0ms | (cbrt (cbrt (log1p a))) |
| 4.0ms | (fmod (cosh c) (* (* (cbrt (log1p a)) (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a))))) (cbrt (log1p a)))) |
Useful iterations: 6 (823.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 38 | 647 |
| 1 | 56 | 638 |
| 2 | 80 | 500 |
| 3 | 122 | 467 |
| 4 | 199 | 416 |
| 5 | 488 | 392 |
| 6 | 1533 | 380 |
| done | 5000 | 380 |
25 alts after pruning (23 fresh and 2 done)
Merged error: 31.2b
Found 4 expressions with local error:
| 0.6b | (cbrt (cbrt (log1p a))) |
| 0.6b | (cbrt (cbrt (log1p a))) |
| 0.6b | (cbrt (cbrt (log1p a))) |
| 37.8b | (fmod (cosh c) (* (* (cbrt (log1p a)) (* (* (cbrt (cbrt (log1p a))) (* (cbrt (pow (cbrt (cbrt (log1p a))) 2)) (cbrt (cbrt (cbrt (log1p a)))))) (cbrt (cbrt (log1p a))))) (cbrt (log1p a)))) |
| 27× | cbrt-prod |
| 10× | add-sqr-sqrt add-cube-cbrt *-un-lft-identity |
| 4× | pow1 add-exp-log add-cbrt-cube add-log-exp |
| 3× | pow1/3 |
| 3.0ms | (cbrt (cbrt (log1p a))) |
| 3.0ms | (cbrt (cbrt (log1p a))) |
| 3.0ms | (cbrt (cbrt (log1p a))) |
| 1.0ms | (fmod (cosh c) (* (* (cbrt (log1p a)) (* (* (cbrt (cbrt (log1p a))) (* (cbrt (pow (cbrt (cbrt (log1p a))) 2)) (cbrt (cbrt (cbrt (log1p a)))))) (cbrt (cbrt (log1p a))))) (cbrt (log1p a)))) |
| 161.0ms | (cbrt (cbrt (log1p a))) |
| 178.0ms | (cbrt (cbrt (log1p a))) |
| 188.0ms | (cbrt (cbrt (log1p a))) |
| 8.0ms | (fmod (cosh c) (* (* (cbrt (log1p a)) (* (* (cbrt (cbrt (log1p a))) (* (cbrt (pow (cbrt (cbrt (log1p a))) 2)) (cbrt (cbrt (cbrt (log1p a)))))) (cbrt (cbrt (log1p a))))) (cbrt (log1p a)))) |
Useful iterations: done (3.6s)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 44 | 737 |
| 1 | 70 | 710 |
| 2 | 117 | 603 |
| 3 | 308 | 594 |
| 4 | 1222 | 583 |
| done | 5000 | 543 |
36 alts after pruning (34 fresh and 2 done)
Merged error: 30.8b