Details

sample570.0ms

Algorithm

intervals

Results

183.0ms	71×	body	2560	valid
153.0ms	63×	body	10240	exit
146.0ms	112×	body	1280	valid
40.0ms	44×	body	640	valid
19.0ms	319×	pre	80	true
4.0ms	5×	body	320	valid
3.0ms	17×	body	80	valid
3.0ms	7×	body	160	valid

simplify770.0ms

Calls

1 calls:

Slowest

769.0ms

(/ (* eps (- (exp (* (+ a b) eps)) 1)) (* (- (exp (* a eps)) 1) (- (exp (* b eps)) 1)))

prune16.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 57.8b

localize37.0ms

Local error

Found 4 expressions with local error:

5.3b	(- (exp (* (+ a b) eps)) 1)
3.8b	(- (exp (* a eps)) 1)
3.0b	(- (exp (* b eps)) 1)
0.5b	(/ (* eps (- (exp (* (+ a b) eps)) 1)) (* (- (exp (* a eps)) 1) (- (exp (* b eps)) 1)))

rewrite70.0ms

Algorithm

rewrite-expression-head

Rules

10×	`flip3--` `flip--`
9×	`add-cbrt-cube` `add-exp-log`
8×	`associate-/r/`
7×	`add-sqr-sqrt`
4×	`frac-times` `pow1` `-un-lft-identity` `associate-r/` `add-cube-cbrt` `insert-posit16` `add-log-exp`
3×	`sub-neg` `difference-of-sqr-1`
2×	`cbrt-undiv` `div-exp` `associate-*l/` `associate-/l/`
1×	`clear-num` `associate-/r` `frac-2neg` `times-frac` `prod-exp` `cbrt-unprod` `div-inv` `associate-/l`

Calls

4 calls:

Slowest

38.0ms	(/ (* eps (- (exp (* (+ a b) eps)) 1)) (* (- (exp (* a eps)) 1) (- (exp (* b eps)) 1)))
11.0ms	(- (exp (* (+ a b) eps)) 1)
10.0ms	(- (exp (* b eps)) 1)
10.0ms	(- (exp (* a eps)) 1)

series269.0ms

Calls

4 calls:

Slowest

174.0ms	(/ (* eps (- (exp (* (+ a b) eps)) 1)) (* (- (exp (* a eps)) 1) (- (exp (* b eps)) 1)))
45.0ms	(- (exp (* (+ a b) eps)) 1)
26.0ms	(- (exp (* a eps)) 1)
24.0ms	(- (exp (* b eps)) 1)

simplify5.8s

Calls

32 calls:

Slowest

1.1s	(/ (* (* (* eps (- (exp (* (+ a b) eps)) 1)) (* eps (- (exp (* (+ a b) eps)) 1))) (* eps (- (exp (* (+ a b) eps)) 1))) (* (* (* (- (exp (* a eps)) 1) (- (exp (* b eps)) 1)) (* (- (exp (* a eps)) 1) (- (exp (* b eps)) 1))) (* (- (exp (* a eps)) 1) (- (exp (* b eps)) 1))))
849.0ms	(/ (* (* (* eps (- (exp (* (+ a b) eps)) 1)) (* eps (- (exp (* (+ a b) eps)) 1))) (* eps (- (exp (* (+ a b) eps)) 1))) (* (* (* (- (exp (* a eps)) 1) (- (exp (* a eps)) 1)) (- (exp (* a eps)) 1)) (* (* (- (exp (* b eps)) 1) (- (exp (* b eps)) 1)) (- (exp (* b eps)) 1))))
422.0ms	(/ (* (- (exp (* (+ a b) eps)) 1) eps) (- (+ (* (exp (* a eps)) (exp (* eps b))) 1) (+ (exp (* eps b)) (exp (* a eps)))))
298.0ms	(/ (* (- (exp (* (+ a b) eps)) 1) eps) (- (+ (* (exp (* a eps)) (exp (* eps b))) 1) (+ (exp (* eps b)) (exp (* a eps)))))
280.0ms	(- (log (* eps (- (exp (* (+ a b) eps)) 1))) (+ (log (- (exp (* a eps)) 1)) (log (- (exp (* b eps)) 1))))

prune1.1s

Pruning

4 alts after pruning (4 fresh and 0 done)

Merged error: 0.0b

localize15.0ms

Local error

Found 1 expressions with local error:

0.0b	(+ (/ 1 a) (/ 1 b))

rewrite8.0ms

Algorithm

rewrite-expression-head

Rules

5×	`*-un-lft-identity`
4×	`div-inv` `distribute-lft-out`
3×	`add-log-exp`
1×	`add-sqr-sqrt` `pow1` `+-commutative` `sum-log` `flip3-+` `add-cbrt-cube` `frac-add` `add-exp-log` `add-cube-cbrt` `flip-+` `insert-posit16`

Calls

1 calls:

Slowest

8.0ms

(+ (/ 1 a) (/ 1 b))

series12.0ms

Calls

1 calls:

Slowest

12.0ms

(+ (/ 1 a) (/ 1 b))

simplify132.0ms

Calls

10 calls:

Slowest

23.0ms	(* (exp (/ 1 a)) (exp (/ 1 b)))
16.0ms	(+ (/ 1 a) (/ 1 b))
16.0ms	(+ (/ 1 b) (/ 1 a))
13.0ms	(+ (/ 1 b) (/ 1 a))
12.0ms	(+ (* 1 b) (* a 1))

prune137.0ms

Pruning

5 alts after pruning (4 fresh and 1 done)

Merged error: 0.0b

localize10.0ms

Local error

Found 1 expressions with local error:

13.7b

(/ (+ b a) (* a b))

rewrite4.0ms

Algorithm

rewrite-expression-head

Rules

3×	`add-sqr-sqrt` `-un-lft-identity` `times-frac` `add-cbrt-cube` `add-exp-log` `add-cube-cbrt` `associate-/l`
2×	`associate-/l/`
1×	`pow1` `cbrt-undiv` `clear-num` `associate-/r*` `frac-2neg` `flip3-+` `div-exp` `flip-+` `insert-posit16` `div-inv` `add-log-exp`

Calls

1 calls:

Slowest

3.0ms

(/ (+ b a) (* a b))

series20.0ms

Calls

1 calls:

Slowest

20.0ms

(/ (+ b a) (* a b))

simplify295.0ms

Calls

15 calls:

Slowest

130.0ms	(/ (* (* (+ b a) (+ b a)) (+ b a)) (* (* (* a b) (* a b)) (* a b)))
43.0ms	(- (log (+ b a)) (log (* a b)))
20.0ms	(/ (* (cbrt (+ b a)) (cbrt (+ b a))) a)
19.0ms	(- (* b b) (* a a))
14.0ms	(+ (pow b 3) (pow a 3))

prune187.0ms

Pruning

6 alts after pruning (6 fresh and 0 done)

Merged error: 0b

localize5.0ms

Local error

Found 2 expressions with local error:

4.8b	(/ (/ (+ b a) a) b)
0.0b	(/ (+ b a) a)

rewrite8.0ms

Algorithm

rewrite-expression-head

Rules

7×	`associate-/l*`
4×	`add-sqr-sqrt` `*-un-lft-identity` `add-cube-cbrt`
3×	`div-inv` `associate-/l/`
2×	`pow1` `clear-num` `frac-2neg` `add-cbrt-cube` `add-exp-log` `insert-posit16` `add-log-exp`
1×	`flip3-+` `flip-+`

Calls

2 calls:

Slowest

5.0ms	(/ (/ (+ b a) a) b)
3.0ms	(/ (+ b a) a)

series37.0ms

Calls

2 calls:

Slowest

26.0ms	(/ (/ (+ b a) a) b)
11.0ms	(/ (+ b a) a)

simplify127.0ms

Calls

14 calls:

Slowest

18.0ms	(- (* b b) (* a a))
15.0ms	(+ 1 (/ b a))
14.0ms	(+ (/ 1 a) (/ 1 b))
13.0ms	(+ 1 (/ b a))
12.0ms	(+ (pow b 3) (pow a 3))

prune361.0ms

Pruning

5 alts after pruning (5 fresh and 0 done)

Merged error: 0b

regimes198.0ms

Accuracy

61.7% (3.6b remaining)

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

bsearch450.0ms

end0.0ms

sample18.0s

Algorithm

intervals

Results

6.9s	2563×	body	2560	valid
4.9s	3471×	body	1280	valid
4.0s	2049×	body	10240	exit
924.0ms	1065×	body	640	valid
640.0ms	10053×	pre	80	true
165.0ms	331×	body	320	valid
70.0ms	452×	body	80	valid
42.0ms	122×	body	160	valid