Details

Time bar (total: 12.8s)

sample130.0ms

Algorithm
intervals
Results
43.0ms68×body2560valid
22.0ms50×body1280valid
16.0ms201×body80valid
10.0ms29×body640valid
5.0ms18×body320valid
2.0msbody5120valid
1.0msbody160valid

simplify917.0ms

Counts
1 → 1
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01113
11913
24213
39713
425413
591613
done500013

prune5.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 35.8b

localize23.0ms

Local error

Found 4 expressions with local error:

0.0b
(* B (- 1.0 (exp (/ (- A) B))))
0.0b
(exp (/ (- A) B))
2.9b
(- A (* B (- 1.0 (exp (/ (- A) B)))))
4.6b
(- 1.0 (exp (/ (- A) B)))

rewrite198.0ms

Algorithm
rewrite-expression-head
Rules
34×exp-prod
32×add-sqr-sqrt
30×*-un-lft-identity times-frac
26×add-cube-cbrt
distribute-lft-neg-in distribute-rgt-neg-in add-log-exp
pow1 sub-neg add-cbrt-cube add-exp-log
associate-*r*
distribute-rgt-in distribute-lft-in associate--r+
neg-mul-1 flip3-- associate-*l* flip--
diff-log associate-*r/ distribute-lft-out-- difference-of-squares
neg-sub0 exp-neg exp-diff div-sub pow-prod-down prod-exp distribute-frac-neg *-commutative cbrt-unprod div-inv unswap-sqr rem-exp-log
Counts
4 → 100
Calls
4 calls:
114.0ms
(* B (- 1.0 (exp (/ (- A) B))))
24.0ms
(exp (/ (- A) B))
12.0ms
(- A (* B (- 1.0 (exp (/ (- A) B)))))
40.0ms
(- 1.0 (exp (/ (- A) B)))

series244.0ms

Counts
4 → 12
Calls
4 calls:
96.0ms
(* B (- 1.0 (exp (/ (- A) B))))
40.0ms
(exp (/ (- A) B))
65.0ms
(- A (* B (- 1.0 (exp (/ (- A) B)))))
43.0ms
(- 1.0 (exp (/ (- A) B)))

simplify1.1s

Counts
112 → 112
Iterations

Useful iterations: 2 (353.0ms)

IterNodesCost
01851201
13851115
214171057
done50001057

prune638.0ms

Pruning

8 alts after pruning (8 fresh and 0 done)

Merged error: 7.4b

localize27.0ms

Local error

Found 4 expressions with local error:

0.0b
(* K (- (- A (* 1.0 B)) (* (- (exp (/ (- A) B))) B)))
0.0b
(* (- (exp (/ (- A) B))) B)
0.0b
(exp (/ (- A) B))
2.0b
(- (- A (* 1.0 B)) (* (- (exp (/ (- A) B))) B))

rewrite326.0ms

Algorithm
rewrite-expression-head
Rules
34×add-sqr-sqrt exp-prod
30×*-un-lft-identity times-frac add-cube-cbrt
13×associate-*l*
12×distribute-lft-neg-in distribute-rgt-neg-in
10×associate-*l/ distribute-neg-frac add-log-exp
pow1 add-cbrt-cube add-exp-log frac-sub
neg-sub0 exp-neg sub-neg flip3-- exp-diff div-sub associate-*r* associate--l+ associate-*r/ distribute-frac-neg flip--
distribute-rgt-in neg-mul-1 distribute-lft-in
diff-log
pow-prod-down prod-exp *-commutative cbrt-unprod unswap-sqr
distribute-lft-neg-out associate--l- div-inv rem-exp-log
Counts
4 → 124
Calls
4 calls:
149.0ms
(* K (- (- A (* 1.0 B)) (* (- (exp (/ (- A) B))) B)))
69.0ms
(* (- (exp (/ (- A) B))) B)
23.0ms
(exp (/ (- A) B))
70.0ms
(- (- A (* 1.0 B)) (* (- (exp (/ (- A) B))) B))

series325.0ms

Counts
4 → 12
Calls
4 calls:
181.0ms
(* K (- (- A (* 1.0 B)) (* (- (exp (/ (- A) B))) B)))
46.0ms
(* (- (exp (/ (- A) B))) B)
33.0ms
(exp (/ (- A) B))
66.0ms
(- (- A (* 1.0 B)) (* (- (exp (/ (- A) B))) B))

simplify1.8s

Counts
136 → 136
Iterations

Useful iterations: done (1.7s)

IterNodesCost
02371997
15341803
222281619
done50011607

prune741.0ms

Pruning

15 alts after pruning (15 fresh and 0 done)

Merged error: 5.4b

regimes496.0ms

Accuracy

46% (8.1b remaining)

Error of 14.7b against oracle of 6.6b and baseline of 21.6b

bsearch300.0ms

Steps
ItersRangePoint
10
2.7353663577158564e+32
3.8077593699763195e+45
3.694682121209042e+36
7
-60759235271928696.0
-402511046303921.9
-522188506239426.6

simplify14.0ms

Iterations

Useful iterations: 1 (4.0ms)

IterNodesCost
02845
14037
24437
34537
done4537

end0.0ms

sample5.6s

Algorithm
intervals
Results
1.6s1793×body2560valid
1.0s1870×body1280valid
761.0ms252×body160valid
734.0ms6113×body80valid
380.0ms995×body640valid
190.0ms114×body5120valid
128.0ms482×body320valid