Details

Time bar (total: 12.9s)

sample49.0ms

Algorithm
intervals
Results
27.0ms497×body80valid

simplify1.8s

Counts
1 → 1
Iterations
IterNodes
done5000
5825
4193
371
229
115
07

prune8.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize19.0ms

Local error

Found 1 expressions with local error:

0.0b
(+ (pow 2.0 (- x)) (pow x (- 2.0)))

rewrite35.0ms

Algorithm
rewrite-expression-head
Rules
neg-sub0 pow-neg frac-add pow-sub
*-un-lft-identity add-log-exp
add-sqr-sqrt pow1 +-commutative sum-log flip3-+ add-cbrt-cube add-exp-log add-cube-cbrt flip-+ distribute-lft-out
Counts
1 → 16
Calls
1 calls:
34.0ms
(+ (pow 2.0 (- x)) (pow x (- 2.0)))

series403.0ms

Counts
1 → 3
Calls
1 calls:
403.0ms
(+ (pow 2.0 (- x)) (pow x (- 2.0)))

simplify4.5s

Counts
19 → 19
Iterations
IterNodes
done5000
33173
2622
1174
068

prune129.0ms

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 0b

localize35.0ms

Local error

Found 4 expressions with local error:

0.0b
(+ (/ (/ 1 x) x) (exp (* (log 2.0) (- x))))
0.0b
(exp (* (log 2.0) (- x)))
0.2b
(/ (/ 1 x) x)
0.2b
(* (log 2.0) (- x))

rewrite144.0ms

Algorithm
rewrite-expression-head
Rules
75×times-frac
52×add-sqr-sqrt *-un-lft-identity
50×add-cube-cbrt
15×add-exp-log
13×associate-/l*
11×add-cbrt-cube
10×pow1 associate-*r*
add-log-exp
div-exp
div-inv
associate-*l*
distribute-lft-neg-in cbrt-undiv associate-/r* distribute-rgt-neg-in distribute-rgt-neg-out
exp-neg pow-div
+-commutative rec-exp exp-prod clear-num neg-mul-1 sum-log frac-2neg flip3-+ exp-to-pow 1-exp pow-prod-down frac-add prod-exp log-pow *-commutative cbrt-unprod flip-+ pow-flip distribute-lft-out inv-pow unswap-sqr rem-exp-log associate-/l/
Counts
4 → 125
Calls
4 calls:
80.0ms
(+ (/ (/ 1 x) x) (exp (* (log 2.0) (- x))))
9.0ms
(exp (* (log 2.0) (- x)))
22.0ms
(/ (/ 1 x) x)
23.0ms
(* (log 2.0) (- x))

series576.0ms

Counts
4 → 12
Calls
4 calls:
79.0ms
(+ (/ (/ 1 x) x) (exp (* (log 2.0) (- x))))
61.0ms
(exp (* (log 2.0) (- x)))
39.0ms
(/ (/ 1 x) x)
398.0ms
(* (log 2.0) (- x))

simplify2.6s

Counts
137 → 137
Iterations
IterNodes
done5002
22952
1572
0220

prune896.0ms

Pruning

2 alts after pruning (0 fresh and 2 done)

Merged error: 0b

regimes103.0ms

Accuracy

0% (0.0b remaining)

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

bsearch0.0ms

simplify3.0ms

Iterations
IterNodes
done8
18
07

end0.0ms

sample1.5s

Algorithm
intervals
Results
1.1s15760×body80valid