Details

Time bar (total: 6.1s)

sample63.0ms

Algorithm
intervals
Results
19.0ms66×body640valid
14.0ms23×body1280valid
9.0ms126×body80valid
7.0ms31×body320valid
1.0ms10×body160valid

simplify23.0ms

Counts
1 → 1
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
056
186
2156
3216
4266
done266

prune3.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 8.6b

localize11.0ms

Local error

Found 2 expressions with local error:

0.0b
(* 100.0 (- (sin x) x))
1.1b
(- (sin x) x)

rewrite99.0ms

Algorithm
rewrite-expression-head
Rules
10×add-sqr-sqrt
*-un-lft-identity
associate-*r*
pow1 add-cbrt-cube add-exp-log add-cube-cbrt add-log-exp
sub-neg associate-*l*
distribute-rgt-in distribute-lft-in flip3-- associate-*r/ flip-- distribute-lft-out-- difference-of-squares
diff-log pow-prod-down prod-exp *-commutative cbrt-unprod unswap-sqr
Counts
2 → 40
Calls
2 calls:
81.0ms
(* 100.0 (- (sin x) x))
16.0ms
(- (sin x) x)

series193.0ms

Counts
2 → 6
Calls
2 calls:
125.0ms
(* 100.0 (- (sin x) x))
68.0ms
(- (sin x) x)

simplify1.9s

Counts
46 → 46
Iterations

Useful iterations: 3 (726.0ms)

IterNodesCost
081396
1186384
2530354
32122351
done5001351

prune182.0ms

Pruning

4 alts after pruning (4 fresh and 0 done)

Merged error: 0.1b

localize15.0ms

Local error

Found 2 expressions with local error:

0.1b
(* (sin x) 100.0)
1.1b
(+ (* (sin x) 100.0) (* 100.0 (- x)))

rewrite41.0ms

Algorithm
rewrite-expression-head
Rules
add-sqr-sqrt
pow1 *-un-lft-identity add-cbrt-cube add-exp-log add-cube-cbrt add-log-exp
associate-*r* associate-*l*
distribute-rgt-neg-out
+-commutative sum-log flip3-+ unsub-neg pow-prod-down prod-exp *-commutative cbrt-unprod flip-+ unswap-sqr
Counts
2 → 31
Calls
2 calls:
20.0ms
(* (sin x) 100.0)
19.0ms
(+ (* (sin x) 100.0) (* 100.0 (- x)))

series207.0ms

Counts
2 → 6
Calls
2 calls:
54.0ms
(* (sin x) 100.0)
153.0ms
(+ (* (sin x) 100.0) (* 100.0 (- x)))

simplify864.0ms

Counts
37 → 37
Iterations

Useful iterations: done (862.0ms)

IterNodesCost
071354
1192333
2757271
done5001267

prune144.0ms

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0.1b

regimes162.0ms

Accuracy

92.8% (0.7b remaining)

Error of 0.8b against oracle of 0.1b and baseline of 9.8b

bsearch1.0ms

simplify16.0ms

Iterations

Useful iterations: 1 (4.0ms)

IterNodesCost
02951
14243
24643
34743
done4743

end0.0ms

sample2.2s

Algorithm
intervals
Results
602.0ms1876×body640valid
502.0ms676×body1280valid
334.0ms4051×body80valid
331.0ms926×body320valid
133.0ms502×body160valid