Details

Time bar (total: 20.7s)

sample283.0ms

Algorithm
intervals
Results
232.0ms255×body10240exit
26.0ms255×body80valid
2.0msbody1280valid

simplify16.0ms

Counts
1 → 1
Iterations
IterNodes
413
313
212
110
06

prune50.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.5b

localize26.0ms

Local error

Found 3 expressions with local error:

0.0b
(+ 1 (exp x))
0.3b
(/ (exp x) (+ 1 (exp x)))
0.3b
(log (/ (exp x) (+ 1 (exp x))))

rewrite55.0ms

Algorithm
rewrite-expression-head
Rules
36×*-un-lft-identity
24×times-frac
20×add-sqr-sqrt add-cube-cbrt
18×log-prod
distribute-lft-out
add-exp-log
add-cbrt-cube add-log-exp
pow1 associate-/r* associate-/r/
flip3-+ flip-+ insert-posit16 associate-/l*
div-exp rem-log-exp div-inv
cbrt-undiv +-commutative log-div clear-num sum-log frac-2neg log-pow
Counts
3 → 77
Calls
3 calls:
12.0ms
(+ 1 (exp x))
28.0ms
(/ (exp x) (+ 1 (exp x)))
13.0ms
(log (/ (exp x) (+ 1 (exp x))))

series199.0ms

Counts
3 → 9
Calls
3 calls:
15.0ms
(+ 1 (exp x))
45.0ms
(/ (exp x) (+ 1 (exp x)))
138.0ms
(log (/ (exp x) (+ 1 (exp x))))

simplify4.4s

Counts
86 → 86
Iterations
IterNodes
44779
31757
2641
1265
0123

prune959.0ms

Pruning

4 alts after pruning (4 fresh and 0 done)

Merged error: 0.2b

localize22.0ms

Local error

Found 3 expressions with local error:

0.0b
(- x (log (+ 1 (exp x))))
0.0b
(+ 1 (exp x))
0.3b
(log (+ 1 (exp x)))

rewrite41.0ms

Algorithm
rewrite-expression-head
Rules
14×*-un-lft-identity
log-prod
add-sqr-sqrt
add-log-exp
pow1 add-cube-cbrt
log-div add-exp-log associate--r+
flip3-+ add-cbrt-cube flip-+ insert-posit16 distribute-lft-out
log-pow distribute-lft-out-- associate--r-
+-commutative sum-log sub-neg flip3-- diff-log rem-log-exp flip-- difference-of-squares
Counts
3 → 51
Calls
3 calls:
18.0ms
(- x (log (+ 1 (exp x))))
12.0ms
(+ 1 (exp x))
10.0ms
(log (+ 1 (exp x)))

series257.0ms

Counts
3 → 9
Calls
3 calls:
140.0ms
(- x (log (+ 1 (exp x))))
14.0ms
(+ 1 (exp x))
102.0ms
(log (+ 1 (exp x)))

simplify4.2s

Counts
60 → 60
Iterations
IterNodes
53693
41927
3794
2380
1189
087

prune642.0ms

Pruning

5 alts after pruning (5 fresh and 0 done)

Merged error: 0.2b

regimes140.0ms

Accuracy

0% (0.0b remaining)

Error of 0.7b against oracle of 0.7b and baseline of 0.7b

bsearch0.0ms

simplify3.0ms

Iterations
IterNodes
212
112
09

end0.0ms

sample9.3s

Algorithm
intervals
Results
8.0s7621×body10240exit
781.0ms7911×body80valid
131.0ms77×body1280valid
4.0msbody640valid
2.0msbody320valid
1.0msbody160valid