Details

Time bar (total: 15.3s)

sample41.0ms

Algorithm
intervals
Results
17.0ms256×body80valid
11.0ms256×pre80true

simplify4.0ms

Counts
1 → 1
Iterations
IterNodes
26
16
05

prune9.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize17.0ms

Local error

Found 2 expressions with local error:

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

rewrite23.0ms

Algorithm
rewrite-expression-head
Rules
*-un-lft-identity
log-prod add-log-exp
add-sqr-sqrt pow1 add-exp-log add-cube-cbrt
log-div flip3-+ add-cbrt-cube flip-+ insert-posit16 distribute-lft-out
+-commutative sum-log rem-log-exp log-pow
Counts
2 → 29
Calls
2 calls:
10.0ms
(log (+ 1 (exp x)))
12.0ms
(+ 1 (exp x))

series133.0ms

Counts
2 → 6
Calls
2 calls:
117.0ms
(log (+ 1 (exp x)))
16.0ms
(+ 1 (exp x))

simplify7.8s

Counts
35 → 35
Iterations
IterNodes
64174
51818
4826
3403
2229
1118
056

prune404.0ms

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0b

localize48.0ms

Local error

Found 4 expressions with local error:

0.0b
(log (/ (+ (exp (* x 3)) 1) (- (* (+ (exp x) -1) (exp x)) -1)))
0.0b
(+ (exp (* x 3)) 1)
0.0b
(* (+ (exp x) -1) (exp x))
4.5b
(+ (exp x) -1)

rewrite171.0ms

Algorithm
rewrite-expression-head
Rules
26×*-un-lft-identity
18×add-sqr-sqrt log-prod
14×add-cube-cbrt
12×times-frac
add-exp-log add-log-exp
pow1
add-cbrt-cube distribute-lft-out
associate-*l*
insert-posit16
flip3-+ associate-*r* flip-+
+-commutative difference-of-sqr--1 sum-log rem-log-exp associate-*l/ associate-/r/
log-div flip3-- div-exp pow-prod-down prod-exp log-pow *-commutative cbrt-unprod div-inv flip-- unswap-sqr
Counts
4 → 80
Calls
4 calls:
53.0ms
(log (/ (+ (exp (* x 3)) 1) (- (* (+ (exp x) -1) (exp x)) -1)))
22.0ms
(+ (exp (* x 3)) 1)
77.0ms
(* (+ (exp x) -1) (exp x))
17.0ms
(+ (exp x) -1)

series321.0ms

Counts
4 → 12
Calls
4 calls:
209.0ms
(log (/ (+ (exp (* x 3)) 1) (- (* (+ (exp x) -1) (exp x)) -1)))
21.0ms
(+ (exp (* x 3)) 1)
62.0ms
(* (+ (exp x) -1) (exp x))
29.0ms
(+ (exp x) -1)

simplify3.5s

Counts
92 → 92
Iterations
IterNodes
33820
21108
1403
0181

prune1.4s

Pruning

3 alts after pruning (1 fresh and 2 done)

Merged error: 0b

regimes177.0ms

Accuracy

0% (0.0b remaining)

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

bsearch0.0ms

simplify4.0ms

Iterations
IterNodes
26
16
05

end0.0ms

sample1.2s

Algorithm
intervals
Results
594.0ms8000×body80valid
402.0ms8000×pre80true