Details

Time bar (total: 14.9s)

sample242.0ms

Algorithm
intervals
Results
65.0ms270×body80valid
45.0ms91×body1280valid
38.0ms491×body80nan
31.0ms91×body640valid
10.0ms40×body320valid
4.0ms23×body160valid

simplify5.0ms

Counts
1 → 1
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
068
178
done78

prune4.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize13.0ms

Local error

Found 2 expressions with local error:

0.0b
(/ (+ (sqrt x) (exp x)) (cos x))
0.0b
(+ (sqrt x) (exp x))

rewrite76.0ms

Algorithm
rewrite-expression-head
Rules
21×*-un-lft-identity
12×times-frac
11×add-sqr-sqrt add-cube-cbrt
distribute-lft-out
add-cbrt-cube add-exp-log associate-/l* add-log-exp
associate-/r*
pow1 flip3-+ flip-+ associate-/l/
cbrt-undiv +-commutative clear-num sum-log frac-2neg div-exp div-inv
Counts
2 → 45
Calls
2 calls:
56.0ms
(/ (+ (sqrt x) (exp x)) (cos x))
18.0ms
(+ (sqrt x) (exp x))

series158.0ms

Counts
2 → 6
Calls
2 calls:
75.0ms
(/ (+ (sqrt x) (exp x)) (cos x))
83.0ms
(+ (sqrt x) (exp x))

simplify2.9s

Counts
51 → 51
Iterations

Useful iterations: 3 (1.1s)

IterNodesCost
099713
1242672
2854608
34371604
done5000604

prune288.0ms

Pruning

4 alts after pruning (4 fresh and 0 done)

Merged error: 0b

localize22.0ms

Local error

Found 4 expressions with local error:

0.0b
(exp (log (+ (sqrt x) (exp x))))
0.0b
(/ (exp (log (+ (sqrt x) (exp x)))) (cos x))
0.0b
(+ (sqrt x) (exp x))
10.8b
(log (+ (sqrt x) (exp x)))

rewrite125.0ms

Algorithm
rewrite-expression-head
Rules
37×*-un-lft-identity
24×log-prod
23×add-sqr-sqrt add-cube-cbrt
21×times-frac
20×exp-sum
distribute-lft-out associate-/l*
pow1 log-div add-cbrt-cube add-exp-log add-log-exp
exp-prod flip3-+ exp-diff flip-+
associate-/r*
log-pow associate-/l/
cbrt-undiv +-commutative clear-num sum-log frac-2neg div-exp rem-log-exp div-inv rem-exp-log
Counts
4 → 90
Calls
4 calls:
27.0ms
(exp (log (+ (sqrt x) (exp x))))
57.0ms
(/ (exp (log (+ (sqrt x) (exp x)))) (cos x))
19.0ms
(+ (sqrt x) (exp x))
16.0ms
(log (+ (sqrt x) (exp x)))

series370.0ms

Counts
4 → 12
Calls
4 calls:
72.0ms
(exp (log (+ (sqrt x) (exp x))))
78.0ms
(/ (exp (log (+ (sqrt x) (exp x)))) (cos x))
68.0ms
(+ (sqrt x) (exp x))
152.0ms
(log (+ (sqrt x) (exp x)))

simplify1.1s

Counts
102 → 102
Iterations

Useful iterations: done (1.1s)

IterNodesCost
01721615
13841345
213321201
done50001191

prune567.0ms

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0b

regimes90.0ms

Accuracy

0% (0.0b remaining)

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

bsearch0.0ms

simplify2.0ms

Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0810
1910
done910

end0.0ms

sample8.9s

Algorithm
intervals
Results
1.9s15847×body80nan
1.9s2921×body1280valid
1.5s1226×body320valid
1.3s2614×body640valid
1.1s8578×body80valid
114.0ms612×body160valid