Details

Time bar (total: 15.8s)

sample172.0ms

Algorithm
intervals
Results
87.0ms75×body1280valid
25.0ms45×body640valid
9.0ms184×body80valid
4.0ms24×body320valid
1.0ms15×body160valid

simplify5.9s

Counts
1 → 1
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
077
1147
2307
3447
4787
51647
65727
741987
done50007

prune4.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 28.5b

localize12.0ms

Local error

Found 1 expressions with local error:

4.1b
(- (exp (* (- gamma) x)) 1.0)

rewrite25.0ms

Algorithm
rewrite-expression-head
Rules
add-sqr-sqrt *-un-lft-identity add-log-exp
pow1 sub-neg flip3-- add-cbrt-cube diff-log add-exp-log add-cube-cbrt flip-- distribute-lft-out-- difference-of-squares
Counts
1 → 14
Calls
1 calls:
24.0ms
(- (exp (* (- gamma) x)) 1.0)

series87.0ms

Counts
1 → 3
Calls
1 calls:
87.0ms
(- (exp (* (- gamma) x)) 1.0)

simplify3.1s

Counts
17 → 17
Iterations

Useful iterations: 3 (1.1s)

IterNodesCost
051213
1123206
2503184
33163181
done5004181

prune95.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 5.6b

localize39.0ms

Local error

Found 4 expressions with local error:

0.0b
(+ (exp (* (- gamma) x)) 1.0)
0.0b
(* (* x gamma) -2)
0.2b
(* (* x gamma) -3)
4.1b
(- (exp (* (* x gamma) -3)) (pow 1.0 3))

rewrite136.0ms

Algorithm
rewrite-expression-head
Rules
14×pow1 add-cbrt-cube add-exp-log
13×add-sqr-sqrt
10×*-un-lft-identity
add-log-exp
associate-*r* pow-prod-down prod-exp add-cube-cbrt cbrt-unprod
difference-of-squares
associate-*l* *-commutative
+-commutative sum-log sub-neg unpow-prod-down flip3-+ flip3-- diff-log cube-prod flip-+ flip-- distribute-lft-out distribute-lft-out-- sqr-pow
Counts
4 → 65
Calls
4 calls:
19.0ms
(+ (exp (* (- gamma) x)) 1.0)
35.0ms
(* (* x gamma) -2)
45.0ms
(* (* x gamma) -3)
34.0ms
(- (exp (* (* x gamma) -3)) (pow 1.0 3))

series216.0ms

Counts
4 → 12
Calls
4 calls:
43.0ms
(+ (exp (* (- gamma) x)) 1.0)
39.0ms
(* (* x gamma) -2)
37.0ms
(* (* x gamma) -3)
97.0ms
(- (exp (* (* x gamma) -3)) (pow 1.0 3))

simplify2.5s

Counts
77 → 77
Iterations

Useful iterations: done (2.5s)

IterNodesCost
0146853
1382797
22149713
done5000711

prune535.0ms

Pruning

3 alts after pruning (3 fresh and 0 done)

Merged error: 5.6b

regimes164.0ms

Accuracy

50.7% (11.4b remaining)

Error of 18.0b against oracle of 6.6b and baseline of 29.8b

bsearch176.0ms

Steps
ItersRangePoint
1
1.3682429439653268e-42
1.4285610077911106e-42
1.3833224599217728e-42
8
-1.2477505141899538e+38
-2.009205150952713e+34
-6.223723077794903e+37

simplify21.0ms

Iterations

Useful iterations: 1 (7.0ms)

IterNodesCost
047135
16583
26883
done6883

end0.0ms

sample2.7s

Algorithm
intervals
Results
1.1s2660×body1280valid
390.0ms5448×body80valid
375.0ms1371×body640valid
230.0ms789×body320valid
37.0ms364×body160valid