Details

Time bar (total: 15.0s)

sample136.0ms

Algorithm
intervals
Results
27.0ms34×body1280valid
23.0ms28×body1280nan
22.0ms176×body80valid
16.0ms29×body640valid
14.0ms27×body640nan
5.0ms10×body320valid
3.0ms10×body320nan
3.0msbody160valid
1.0msbody160nan
1.0msbody80nan

simplify4.0ms

Counts
1 → 1
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
056
166
done66

prune5.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.1b

localize55.0ms

Local error

Found 2 expressions with local error:

0.0b
(sqrt (+ (sin x) (cos x)))
0.2b
(+ (sin x) (cos x))

rewrite40.0ms

Algorithm
rewrite-expression-head
Rules
*-un-lft-identity
add-sqr-sqrt sqrt-prod add-log-exp
pow1 add-cube-cbrt
flip3-+ add-cbrt-cube sqrt-div add-exp-log flip-+ distribute-lft-out
+-commutative rem-sqrt-square sum-log sqrt-pow1 pow1/2
Counts
2 → 28
Calls
2 calls:
17.0ms
(sqrt (+ (sin x) (cos x)))
22.0ms
(+ (sin x) (cos x))

series58.0ms

Counts
2 → 6
Calls
2 calls:
39.0ms
(sqrt (+ (sin x) (cos x)))
19.0ms
(+ (sin x) (cos x))

simplify5.3s

Counts
34 → 34
Iterations

Useful iterations: 3 (379.0ms)

IterNodesCost
053326
1115300
2326286
31265270
44652270
done5001270

prune1.4s

Pruning

5 alts after pruning (5 fresh and 0 done)

Merged error: 0.0b

localize23.0ms

Local error

Found 4 expressions with local error:

0.0b
(sqrt (log (exp (+ (sin x) (cos x)))))
0.1b
(exp (+ (sin x) (cos x)))
0.2b
(+ (sin x) (cos x))
0.2b
(log (exp (+ (sin x) (cos x))))

rewrite172.0ms

Algorithm
rewrite-expression-head
Rules
17×*-un-lft-identity
12×exp-prod
10×add-sqr-sqrt log-pow
add-cube-cbrt add-log-exp
sqrt-prod
pow1
log-prod add-cbrt-cube add-exp-log distribute-lft-out
sum-log exp-sum rem-exp-log
+-commutative rem-sqrt-square sqrt-pow1 flip3-+ pow1/2 rem-log-exp flip-+
Counts
4 → 61
Calls
4 calls:
49.0ms
(sqrt (log (exp (+ (sin x) (cos x)))))
49.0ms
(exp (+ (sin x) (cos x)))
17.0ms
(+ (sin x) (cos x))
53.0ms
(log (exp (+ (sin x) (cos x))))

series170.0ms

Counts
4 → 12
Calls
4 calls:
47.0ms
(sqrt (log (exp (+ (sin x) (cos x)))))
86.0ms
(exp (+ (sin x) (cos x)))
18.0ms
(+ (sin x) (cos x))
19.0ms
(log (exp (+ (sin x) (cos x))))

simplify1.6s

Counts
73 → 73
Iterations

Useful iterations: 3 (653.0ms)

IterNodesCost
087691
1185575
2570532
31973523
done5000523

prune389.0ms

Pruning

6 alts after pruning (5 fresh and 1 done)

Merged error: 0.0b

regimes180.0ms

Accuracy

0% (0.1b remaining)

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

bsearch0.0ms

simplify2.0ms

Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
078
188
done88

end0.0ms

sample5.4s

Algorithm
intervals
Results
1.1s1005×body1280nan
1.0s1027×body1280valid
887.0ms5484×body80valid
858.0ms873×body640valid
511.0ms824×body640nan
230.0ms448×body320nan
151.0ms396×body320valid
67.0ms220×body160valid
55.0ms213×body160nan
32.0ms215×body80nan