Details

sample377.0ms

Algorithm

intervals

Results

158.0ms	83×	body	2560	valid
89.0ms	70×	body	10240	exit
76.0ms	109×	body	1280	valid
14.0ms	31×	body	640	valid
8.0ms	326×	pre	80	true
4.0ms	16×	body	320	valid
1.0ms	14×	body	80	valid
1.0ms	3×	body	160	valid

simplify1.8s

Counts: 1 → 1

prune7.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 60.5b

localize34.0ms

Local error

Found 4 expressions with local error:

1.2b	(* (- (exp (* a eps)) 1.0) (- (exp (* b eps)) 1.0))
1.5b	(- (exp (* a eps)) 1.0)
3.7b	(- (exp (* b eps)) 1.0)
3.9b	(- (exp (* (+ a b) eps)) 1.0)

rewrite188.0ms

Algorithm

rewrite-expression-head

Rules

18×	`add-sqr-sqrt`
16×	`*-un-lft-identity`
10×	`add-log-exp`
9×	`flip3--` `flip--`
6×	`pow1` `add-exp-log` `add-cube-cbrt` `add-cbrt-cube`
5×	`sub-neg` `associate-r` `associate-l` `distribute-lft-out--` `difference-of-squares`
4×	`frac-times`
3×	`diff-log`
2×	`distribute-rgt-in` `distribute-lft-in` `associate-r/` `associate-l/`
1×	`pow-prod-down` `prod-exp` `*-commutative` `cbrt-unprod` `unswap-sqr`

Counts

4 → 76

Calls

4 calls:

115.0ms	(* (- (exp (* a eps)) 1.0) (- (exp (* b eps)) 1.0))
13.0ms	(- (exp (* a eps)) 1.0)
14.0ms	(- (exp (* b eps)) 1.0)
42.0ms	(- (exp (* (+ a b) eps)) 1.0)

series221.0ms

Counts

4 → 12

Calls

4 calls:

57.0ms	(* (- (exp (* a eps)) 1.0) (- (exp (* b eps)) 1.0))
50.0ms	(- (exp (* a eps)) 1.0)
39.0ms	(- (exp (* b eps)) 1.0)
75.0ms	(- (exp (* (+ a b) eps)) 1.0)

simplify682.0ms

Counts: 88 → 88

prune508.0ms

Pruning

4 alts after pruning (4 fresh and 0 done)

Merged error: 48.0b

localize58.0ms

Local error

Found 4 expressions with local error:

3.7b	(- (exp (* b eps)) 1.0)
3.9b	(- (exp (* (+ a b) eps)) 1.0)
13.2b	(* (pow a 2) (pow eps 2))
13.2b	(* (pow a 3) (pow eps 3))

rewrite92.0ms

Algorithm

rewrite-expression-head

Rules

58×	`add-sqr-sqrt`
32×	`unswap-sqr`
28×	`add-exp-log` `unpow-prod-down`
20×	`associate-r` `associate-l` `sqr-pow`
18×	`*-un-lft-identity` `prod-exp`
14×	`add-cube-cbrt` `cube-prod`
12×	`pow-to-exp` `pow-exp`
10×	`unpow2`
8×	`add-cbrt-cube` `add-log-exp`
4×	`pow1`
2×	`cube-mult` `sub-neg` `flip3--` `diff-log` `unpow3` `pow-prod-down` `*-commutative` `flip--` `cbrt-unprod` `distribute-lft-out--` `difference-of-squares`

Counts

4 → 138

Calls

4 calls:

15.0ms	(- (exp (* b eps)) 1.0)
18.0ms	(- (exp (* (+ a b) eps)) 1.0)
30.0ms	(* (pow a 2) (pow eps 2))
20.0ms	(* (pow a 3) (pow eps 3))

series231.0ms

Counts

4 → 12

Calls

4 calls:

36.0ms	(- (exp (* b eps)) 1.0)
65.0ms	(- (exp (* (+ a b) eps)) 1.0)
39.0ms	(* (pow a 2) (pow eps 2))
90.0ms	(* (pow a 3) (pow eps 3))

simplify1.2s

Counts: 150 → 150

prune778.0ms

Pruning

6 alts after pruning (6 fresh and 0 done)

Merged error: 47.5b

localize58.0ms

Local error

Found 4 expressions with local error:

3.3b	(+ (* 1/6 (pow (* a eps) 3)) (+ (* 1/2 (* (pow a 2) (pow eps 2))) (* a eps)))
3.7b	(- (exp (* b eps)) 1.0)
3.9b	(- (exp (* (+ a b) eps)) 1.0)
13.2b	(* (pow a 2) (pow eps 2))

rewrite175.0ms

Algorithm

rewrite-expression-head

Rules

28×	`add-sqr-sqrt`
16×	`add-exp-log` `unswap-sqr`
14×	`unpow-prod-down`
13×	`add-log-exp`
12×	`*-un-lft-identity`
10×	`unpow2` `sqr-pow`
9×	`prod-exp`
8×	`add-cube-cbrt` `associate-r` `associate-l`
6×	`pow-to-exp` `pow-exp` `add-cbrt-cube`
4×	`pow1`
3×	`sum-log`
2×	`sub-neg` `flip3--` `diff-log` `flip--` `distribute-lft-out--` `difference-of-squares`
1×	`+-commutative` `associate-+r+` `flip3-+` `pow-prod-down` `*-commutative` `cbrt-unprod` `flip-+`

Counts

4 → 92

Calls

4 calls:

86.0ms	(+ (* 1/6 (pow (* a eps) 3)) (+ (* 1/2 (* (pow a 2) (pow eps 2))) (* a eps)))
21.0ms	(- (exp (* b eps)) 1.0)
24.0ms	(- (exp (* (+ a b) eps)) 1.0)
38.0ms	(* (pow a 2) (pow eps 2))

series351.0ms

Counts

4 → 12

Calls

4 calls:

153.0ms	(+ (* 1/6 (pow (* a eps) 3)) (+ (* 1/2 (* (pow a 2) (pow eps 2))) (* a eps)))
56.0ms	(- (exp (* b eps)) 1.0)
87.0ms	(- (exp (* (+ a b) eps)) 1.0)
55.0ms	(* (pow a 2) (pow eps 2))

simplify787.0ms

Counts: 104 → 104

prune592.0ms

Pruning

6 alts after pruning (5 fresh and 1 done)

Merged error: 47.5b

localize67.0ms

Local error

Found 4 expressions with local error:

3.7b	(- (exp (* eps b)) 1.0)
3.9b	(- (exp (* (+ a b) eps)) 1.0)
13.2b	(* (pow a 2) (pow eps 2))
13.2b	(* (pow a 3) (pow eps 3))

rewrite108.0ms

Algorithm

rewrite-expression-head

Rules

58×	`add-sqr-sqrt`
32×	`unswap-sqr`
28×	`add-exp-log` `unpow-prod-down`
20×	`associate-r` `associate-l` `sqr-pow`
18×	`*-un-lft-identity` `prod-exp`
14×	`add-cube-cbrt` `cube-prod`
12×	`pow-to-exp` `pow-exp`
10×	`unpow2`
8×	`add-cbrt-cube` `add-log-exp`
4×	`pow1`
2×	`cube-mult` `sub-neg` `flip3--` `diff-log` `unpow3` `pow-prod-down` `*-commutative` `flip--` `cbrt-unprod` `distribute-lft-out--` `difference-of-squares`

Counts

4 → 138

Calls

4 calls:

19.0ms	(- (exp (* eps b)) 1.0)
21.0ms	(- (exp (* (+ a b) eps)) 1.0)
36.0ms	(* (pow a 2) (pow eps 2))
24.0ms	(* (pow a 3) (pow eps 3))

series273.0ms

Counts

4 → 12

Calls

4 calls:

52.0ms	(- (exp (* eps b)) 1.0)
78.0ms	(- (exp (* (+ a b) eps)) 1.0)
50.0ms	(* (pow a 2) (pow eps 2))
93.0ms	(* (pow a 3) (pow eps 3))

simplify1.3s

Counts: 150 → 150

prune703.0ms

Pruning

6 alts after pruning (4 fresh and 2 done)

Merged error: 47.5b

regimes289.0ms

Accuracy

52.8% (4.2b remaining)

Error of 52.8b against oracle of 48.6b and baseline of 57.4b

bsearch499.0ms

Steps

Iters	Range		Point
8	0.0024368900564104884	19.825052832162452	0.21475037126350263
9	-1.3204298692890892e+123	-1.196267803426671e+118	-8.567098253796798e+120

simplify1.3s

end0.0ms

sample14.8s

Algorithm

intervals

Results

5.0s	2494×	body	2560	valid
3.7s	3436×	body	1280	valid
3.4s	2016×	body	10240	exit
784.0ms	10017×	pre	80	true
656.0ms	1134×	body	640	valid
415.0ms	137×	body	160	valid
160.0ms	341×	body	320	valid
83.0ms	459×	body	80	valid