Details

Time bar (total: 12.2s)

sample327.0ms

Algorithm
intervals
Results
103.0ms884×body80nan
99.0ms93×body2560valid
72.0ms72×body1280valid
19.0ms40×body640valid
8.0ms21×body320valid
5.0ms18×body160valid
2.0ms12×body80valid

simplify9.0ms

Calls
1 calls:
Slowest
9.0ms
(pow (atan (fmod a (asin a))) (* a a))

prune11.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 32.3b

localize44.0ms

Local error

Found 2 expressions with local error:

27.7b
(pow (atan (fmod a (asin a))) (* a a))
2.4b
(fmod a (asin a))

rewrite3.0ms

Algorithm
rewrite-expression-head
Rules
3×add-sqr-sqrt pow1 unpow-prod-down *-un-lft-identity add-exp-log add-cube-cbrt
2×add-cbrt-cube insert-posit16 add-log-exp
1×pow-to-exp pow-unpow pow-pow pow-exp
Calls
2 calls:
Slowest
2.0ms
(pow (atan (fmod a (asin a))) (* a a))
0.0ms
(fmod a (asin a))

series16.0ms

Calls
2 calls:
Slowest
15.0ms
(pow (atan (fmod a (asin a))) (* a a))
2.0ms
(fmod a (asin a))

simplify154.0ms

Calls
11 calls:
Slowest
97.0ms
(+ (* 1/2 (* (pow a 4) (pow (log (atan (fmod a (asin a)))) 2))) (+ 1 (* (pow a 2) (log (atan (fmod a (asin a)))))))
11.0ms
(* (log (atan (fmod a (asin a)))) (* a a))
7.0ms
(pow (atan (fmod a (asin a))) (pow a 2))
7.0ms
(pow (* (cbrt (atan (fmod a (asin a)))) (cbrt (atan (fmod a (asin a))))) (* a a))
6.0ms
(pow (atan (fmod a (asin a))) (pow a 2))

prune251.0ms

Pruning

1 alts after pruning (0 fresh and 1 done)

Merged error: 32.3b

end0.0ms

sample11.4s

Algorithm
intervals
Results
4.4s3023×body2560valid
3.2s24070×body80nan
2.2s2513×body1280valid
726.0ms1242×body640valid
236.0ms608×body320valid
105.0ms325×body160valid
71.0ms289×body80valid