Details

Time bar (total: 8.9s)

sample108.0ms

Algorithm
intervals
Results
39.0ms48×body1280valid
26.0ms44×body640valid
16.0ms142×body80valid
6.0ms14×body320valid
2.0msbody160valid

simplify6.0ms

Counts
1 → 1
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
089
1119
done119

prune5.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 15.9b

localize19.0ms

Local error

Found 2 expressions with local error:

0.4b
(+ (cos (* 3.0 x)) (cos (* 4.0 x)))
16.3b
(cos (* 3.0 x))

rewrite85.0ms

Algorithm
rewrite-expression-head
Rules
*-un-lft-identity add-log-exp
add-sqr-sqrt pow1 add-cbrt-cube add-exp-log add-cube-cbrt
+-commutative sum-log flip3-+ sum-cos flip-+ distribute-lft-out
Counts
2 → 20
Calls
2 calls:
26.0ms
(+ (cos (* 3.0 x)) (cos (* 4.0 x)))
15.0ms
(cos (* 3.0 x))

series88.0ms

Counts
2 → 6
Calls
2 calls:
61.0ms
(+ (cos (* 3.0 x)) (cos (* 4.0 x)))
27.0ms
(cos (* 3.0 x))

simplify1.2s

Counts
26 → 26
Iterations

Useful iterations: 2 (112.0ms)

IterNodesCost
059313
1132295
2354277
31169277
done5000277

prune201.0ms

Pruning

11 alts after pruning (11 fresh and 0 done)

Merged error: 15.2b

localize26.0ms

Local error

Found 4 expressions with local error:

0.1b
(exp (+ (cos (* 3.0 x)) (cos (* 4.0 x))))
0.4b
(+ (cos (* 3.0 x)) (cos (* 4.0 x)))
0.4b
(log (exp (+ (cos (* 3.0 x)) (cos (* 4.0 x)))))
16.3b
(cos (* 3.0 x))

rewrite138.0ms

Algorithm
rewrite-expression-head
Rules
13×*-un-lft-identity
10×exp-prod
add-log-exp
add-sqr-sqrt add-cube-cbrt
log-pow
pow1
log-prod add-cbrt-cube add-exp-log
sum-cos distribute-lft-out
sum-log exp-sum rem-exp-log
+-commutative flip3-+ rem-log-exp flip-+
Counts
4 → 53
Calls
4 calls:
45.0ms
(exp (+ (cos (* 3.0 x)) (cos (* 4.0 x))))
32.0ms
(+ (cos (* 3.0 x)) (cos (* 4.0 x)))
45.0ms
(log (exp (+ (cos (* 3.0 x)) (cos (* 4.0 x)))))
14.0ms
(cos (* 3.0 x))

series295.0ms

Counts
4 → 12
Calls
4 calls:
142.0ms
(exp (+ (cos (* 3.0 x)) (cos (* 4.0 x))))
57.0ms
(+ (cos (* 3.0 x)) (cos (* 4.0 x)))
71.0ms
(log (exp (+ (cos (* 3.0 x)) (cos (* 4.0 x)))))
26.0ms
(cos (* 3.0 x))

simplify2.2s

Counts
65 → 65
Iterations

Useful iterations: 3 (886.0ms)

IterNodesCost
095803
1209741
2678675
32927672
done5000672

prune352.0ms

Pruning

16 alts after pruning (16 fresh and 0 done)

Merged error: 15.2b

regimes324.0ms

Accuracy

0% (1.0b remaining)

Error of 18.5b against oracle of 17.5b and baseline of 18.5b

bsearch0.0ms

simplify4.0ms

Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
01638
12138
done2138

end0.0ms

sample3.9s

Algorithm
intervals
Results
1.5s1505×body1280valid
941.0ms1277×body640valid
706.0ms4276×body80valid
288.0ms622×body320valid
79.0ms320×body160valid