Details

Time bar (total: 8.5s)

sample69.0ms

Algorithm
intervals
Results
26.0ms48×body1280valid
14.0ms43×body640valid
9.0ms142×body80valid
4.0ms15×body320valid
1.0msbody160valid

simplify1.0ms

Counts
1 → 1
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
033
done33

prune4.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize30.0ms

Local error

Found 1 expressions with local error:

0.0b
(exp (cos x))

rewrite9.0ms

Algorithm
rewrite-expression-head
Rules
exp-prod
add-sqr-sqrt *-un-lft-identity add-cube-cbrt add-log-exp
pow1 add-cbrt-cube add-exp-log rem-exp-log
Counts
1 → 11
Calls
1 calls:
9.0ms
(exp (cos x))

series74.0ms

Counts
1 → 3
Calls
1 calls:
74.0ms
(exp (cos x))

simplify897.0ms

Counts
14 → 14
Iterations

Useful iterations: 3 (245.0ms)

IterNodesCost
03077
15773
218068
386766
done500066

prune76.0ms

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0.0b

localize11.0ms

Local error

Found 1 expressions with local error:

0.1b
(pow E (cos x))

rewrite7.0ms

Algorithm
rewrite-expression-head
Rules
add-sqr-sqrt pow-unpow unpow-prod-down *-un-lft-identity add-cube-cbrt
pow1 pow-exp add-exp-log
pow-to-exp e-exp-1 pow-pow add-cbrt-cube add-log-exp sqr-pow
Counts
1 → 18
Calls
1 calls:
7.0ms
(pow E (cos x))

series305.0ms

Counts
1 → 3
Calls
1 calls:
305.0ms
(pow E (cos x))

simplify3.2s

Counts
21 → 21
Iterations

Useful iterations: done (3.2s)

IterNodesCost
043151
1114132
2456117
33211115
done5004113

prune68.0ms

Pruning

4 alts after pruning (2 fresh and 2 done)

Merged error: 0.0b

regimes119.0ms

Accuracy

0% (0.1b remaining)

Error of 0.1b against oracle of 0.0b and baseline of 0.1b

bsearch0.0ms

simplify1.0ms

Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
033
done33

end0.0ms

sample3.7s

Algorithm
intervals
Results
1.7s1272×body640valid
966.0ms1496×body1280valid
496.0ms4283×body80valid
141.0ms628×body320valid
51.0ms321×body160valid