Details

Time bar (total: 12.2s)

sample349.0ms

Algorithm
intervals
Results
111.0ms724×body80nan
110.0ms91×body2560valid
64.0ms84×body1280valid
35.0ms40×body640valid
6.0ms18×body320valid
3.0ms14×body80valid
2.0ms9×body160valid

simplify5.0ms

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

prune5.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 30.6b

localize13.0ms

Local error

Found 2 expressions with local error:

28.9b
(pow (atan (fmod a (asin a))) (* a a))
2.2b
(fmod a (asin a))

rewrite2.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))

simplify153.0ms

Calls
11 calls:
Slowest
93.0ms
(+ (* 1/2 (* (pow a 4) (pow (log (atan (fmod a (asin a)))) 2))) (+ 1 (* (pow a 2) (log (atan (fmod a (asin a)))))))
17.0ms
(pow 1 (* a a))
10.0ms
(* (log (atan (fmod a (asin a)))) (* a a))
6.0ms
(pow (atan (fmod a (asin a))) (pow a 2))
6.0ms
(pow (* (cbrt (atan (fmod a (asin a)))) (cbrt (atan (fmod a (asin a))))) (* a a))

prune193.0ms

Pruning

1 alts after pruning (0 fresh and 1 done)

Merged error: 30.6b

end0.0ms

sample11.5s

Algorithm
intervals
Results
3.8s3015×body2560valid
3.7s23906×body80nan
1.8s2443×body1280valid
1.0s1270×body640valid
434.0ms336×body160valid
300.0ms617×body320valid
54.0ms319×body80valid