Details

Time bar (total: 13.4s)

sample295.0ms

Algorithm
intervals
Results
80.0ms255×body80valid
68.0ms94×body1280nan
44.0ms481×body80nan
34.0ms70×body640nan
11.0ms31×body320nan
3.0ms14×body160nan
0.0msbody640valid

simplify11.0ms

Counts
1 → 1
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0810
11110
21510
done1510

prune4.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0b

localize19.0ms

Local error

Found 1 expressions with local error:

0.2b
(* (cos x) (cos x))

rewrite27.0ms

Algorithm
rewrite-expression-head
Rules
pow1
add-sqr-sqrt
*-un-lft-identity add-cube-cbrt
add-cbrt-cube swap-sqr associate-*r* associate-*l* add-exp-log
pow2 sqr-cos pow-plus pow-prod-down prod-exp pow-sqr cos-mult *-commutative pow-prod-up cbrt-unprod add-log-exp unswap-sqr
Counts
1 → 27
Calls
1 calls:
22.0ms
(* (cos x) (cos x))

series38.0ms

Counts
1 → 3
Calls
1 calls:
38.0ms
(* (cos x) (cos x))

simplify2.1s

Counts
30 → 30
Iterations

Useful iterations: done (2.1s)

IterNodesCost
046227
1119173
2945148
done5000145

prune141.0ms

Pruning

1 alts after pruning (0 fresh and 1 done)

Merged error: 0b

simplify2.0ms

Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0810
1910
done910

end0.0ms

sample10.8s

Algorithm
intervals
Results
2.8s2955×body1280nan
2.4s16496×body80nan
1.7s2433×body640nan
1.1s7815×body80valid
565.0ms1196×body320nan
309.0ms647×body160nan
52.0ms74×body1280valid
33.0ms64×body640valid
11.0ms31×body320valid
3.0ms16×body160valid