Details

sample57.0ms

Algorithm

intervals

Results

13.0ms	181×	body	80	valid
10.0ms	29×	body	1280	valid
9.0ms	27×	body	640	valid
9.0ms	256×	pre	80	true
3.0ms	15×	body	320	valid
1.0ms	4×	body	160	valid

simplify127.0ms

Calls

1 calls:

Slowest

126.0ms

(/ (+ (/ (- beta alpha) (+ (+ alpha beta) 2.0)) 1.0) 2.0)

prune9.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 17.9b

localize24.0ms

Local error

Found 2 expressions with local error:

1.0b	(+ (/ (- beta alpha) (+ (+ alpha beta) 2.0)) 1.0)
0.0b	(/ (- beta alpha) (+ (+ alpha beta) 2.0))

rewrite26.0ms

Algorithm

rewrite-expression-head

Rules

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

Calls

2 calls:

Slowest

19.0ms	(+ (/ (- beta alpha) (+ (+ alpha beta) 2.0)) 1.0)
6.0ms	(/ (- beta alpha) (+ (+ alpha beta) 2.0))

series157.0ms

Calls

2 calls:

Slowest

95.0ms	(+ (/ (- beta alpha) (+ (+ alpha beta) 2.0)) 1.0)
62.0ms	(/ (- beta alpha) (+ (+ alpha beta) 2.0))

simplify2.3s

Calls

37 calls:

Slowest

272.0ms	(/ (* (* (- beta alpha) (- beta alpha)) (- beta alpha)) (* (* (+ (+ alpha beta) 2.0) (+ (+ alpha beta) 2.0)) (+ (+ alpha beta) 2.0)))
220.0ms	(+ (* (+ alpha beta) (+ alpha beta)) (- (* 2.0 2.0) (* (+ alpha beta) 2.0)))
207.0ms	(- (+ (* 4.0 (/ 1 (pow beta 2))) 1) (* 2.0 (/ 1 beta)))
187.0ms	(- (+ (* 4.0 (/ 1 (pow beta 2))) 1) (* 2.0 (/ 1 beta)))
184.0ms	(- (+ (* 4.0 (/ 1 (pow beta 2))) 2.0) (* 2.0 (/ 1 beta)))

prune539.0ms

Pruning

10 alts after pruning (10 fresh and 0 done)

Merged error: 17.1b

localize21.0ms

Local error

Found 4 expressions with local error:

1.0b	(- (/ alpha (+ (+ alpha beta) 2.0)) 1.0)
0.0b	(/ beta (+ (+ alpha beta) 2.0))
0.0b	(/ alpha (+ (+ alpha beta) 2.0))
0.0b	(- (/ beta (+ (+ alpha beta) 2.0)) (- (/ alpha (+ (+ alpha beta) 2.0)) 1.0))

rewrite31.0ms

Algorithm

rewrite-expression-head

Rules

8×	`add-sqr-sqrt` `*-un-lft-identity`
6×	`associate-/r*` `add-cube-cbrt` `add-log-exp`
4×	`pow1` `add-cbrt-cube` `add-exp-log` `associate-/r/` `insert-posit16`
3×	`sub-neg` `flip3--` `flip--`
2×	`clear-num` `frac-2neg` `flip3-+` `frac-sub` `flip-+` `div-inv` `associate--r+`
1×	`diff-log` `distribute-lft-out--` `associate--r-` `difference-of-squares`

Calls

4 calls:

Slowest

20.0ms	(- (/ beta (+ (+ alpha beta) 2.0)) (- (/ alpha (+ (+ alpha beta) 2.0)) 1.0))
6.0ms	(- (/ alpha (+ (+ alpha beta) 2.0)) 1.0)
2.0ms	(/ beta (+ (+ alpha beta) 2.0))
2.0ms	(/ alpha (+ (+ alpha beta) 2.0))

series748.0ms

Calls

4 calls:

Slowest

455.0ms	(/ alpha (+ (+ alpha beta) 2.0))
111.0ms	(- (/ alpha (+ (+ alpha beta) 2.0)) 1.0)
105.0ms	(- (/ beta (+ (+ alpha beta) 2.0)) (- (/ alpha (+ (+ alpha beta) 2.0)) 1.0))
76.0ms	(/ beta (+ (+ alpha beta) 2.0))

simplify3.8s

Calls

32 calls:

Slowest

379.0ms	(- (* 0.5 alpha) (+ (* 0.25 (pow alpha 2)) (* 0.25 (* beta alpha))))
365.0ms	(- (* 0.5 beta) (+ (* 0.25 (pow beta 2)) (* 0.25 (* beta alpha))))
300.0ms	(+ (* (+ alpha beta) (+ alpha beta)) (- (* 2.0 2.0) (* (+ alpha beta) 2.0)))
293.0ms	(* (+ (+ alpha beta) 2.0) (+ (/ alpha (+ (+ alpha beta) 2.0)) 1.0))
284.0ms	(- (* 4.0 (/ 1 (pow alpha 2))) (+ (* 2.0 (/ 1 alpha)) (* 8.0 (/ 1 (pow alpha 3)))))

prune787.0ms

Pruning

8 alts after pruning (8 fresh and 0 done)

Merged error: 3.2b

localize15.0ms

Local error

Found 4 expressions with local error:

1.0b	(- (/ alpha (+ (+ alpha beta) 2.0)) 1.0)
1.0b	(log (exp (- (/ alpha (+ (+ alpha beta) 2.0)) 1.0)))
0.0b	(/ beta (+ (+ alpha beta) 2.0))
0.0b	(exp (- (/ alpha (+ (+ alpha beta) 2.0)) 1.0))

rewrite50.0ms

Algorithm

rewrite-expression-head

Rules

8×	`add-sqr-sqrt` `*-un-lft-identity` `add-cube-cbrt`
6×	`exp-prod`
5×	`pow1` `log-prod` `add-log-exp`
4×	`add-cbrt-cube` `exp-sum` `add-exp-log` `log-pow` `insert-posit16`
3×	`associate-/r*` `sub-neg`
2×	`exp-diff` `associate-/r/`
1×	`log-div` `clear-num` `frac-2neg` `flip3-+` `flip3--` `rem-log-exp` `flip-+` `div-inv` `flip--` `rem-exp-log`

Calls

4 calls:

Slowest

26.0ms	(exp (- (/ alpha (+ (+ alpha beta) 2.0)) 1.0))
14.0ms	(log (exp (- (/ alpha (+ (+ alpha beta) 2.0)) 1.0)))
6.0ms	(- (/ alpha (+ (+ alpha beta) 2.0)) 1.0)
2.0ms	(/ beta (+ (+ alpha beta) 2.0))

series388.0ms

Calls

4 calls:

Slowest

115.0ms	(- (/ alpha (+ (+ alpha beta) 2.0)) 1.0)
112.0ms	(exp (- (/ alpha (+ (+ alpha beta) 2.0)) 1.0))
96.0ms	(log (exp (- (/ alpha (+ (+ alpha beta) 2.0)) 1.0)))
65.0ms	(/ beta (+ (+ alpha beta) 2.0))

simplify3.5s

Calls

34 calls:

Slowest

352.0ms	(- (+ (exp (- 1.0)) (* 0.5 (* (exp (- 1.0)) alpha))) (* 0.125 (* (exp (- 1.0)) (pow alpha 2))))
314.0ms	(- (* 4.0 (/ 1 (pow alpha 2))) (+ (* 2.0 (/ 1 alpha)) (* 8.0 (/ 1 (pow alpha 3)))))
297.0ms	(- (* 0.5 beta) (+ (* 0.25 (pow beta 2)) (* 0.25 (* beta alpha))))
292.0ms	(- (* 4.0 (/ 1 (pow alpha 2))) (+ (* 2.0 (/ 1 alpha)) (* 8.0 (/ 1 (pow alpha 3)))))
286.0ms	(- (* 4.0 (/ 1 (pow alpha 2))) (+ (* 2.0 (/ 1 alpha)) (* 8.0 (/ 1 (pow alpha 3)))))

prune874.0ms

Pruning

6 alts after pruning (6 fresh and 0 done)

Merged error: 3.2b

localize22.0ms

Local error

Found 4 expressions with local error:

1.0b	(- (/ alpha (+ (+ alpha beta) 2.0)) 1.0)
1.0b	(log (exp (- (/ alpha (+ (+ alpha beta) 2.0)) 1.0)))
0.5b	(/ 1 (/ (+ (+ alpha beta) 2.0) beta))
0.0b	(exp (- (/ alpha (+ (+ alpha beta) 2.0)) 1.0))

rewrite81.0ms

Algorithm

rewrite-expression-head

Rules

8×	`add-sqr-sqrt` `*-un-lft-identity` `add-cube-cbrt`
6×	`pow1` `exp-prod`
5×	`log-prod` `add-exp-log` `add-log-exp`
4×	`associate-/r*` `add-cbrt-cube` `exp-sum` `log-pow` `insert-posit16`
3×	`sub-neg`
2×	`exp-diff` `div-inv`
1×	`log-div` `rec-exp` `clear-num` `frac-2neg` `flip3--` `rem-log-exp` `associate-/r/` `pow-flip` `flip--` `inv-pow` `rem-exp-log`

Calls

4 calls:

Slowest

33.0ms	(exp (- (/ alpha (+ (+ alpha beta) 2.0)) 1.0))
29.0ms	(log (exp (- (/ alpha (+ (+ alpha beta) 2.0)) 1.0)))
13.0ms	(- (/ alpha (+ (+ alpha beta) 2.0)) 1.0)
5.0ms	(/ 1 (/ (+ (+ alpha beta) 2.0) beta))

series369.0ms

Calls

4 calls:

Slowest

105.0ms	(exp (- (/ alpha (+ (+ alpha beta) 2.0)) 1.0))
100.0ms	(- (/ alpha (+ (+ alpha beta) 2.0)) 1.0)
87.0ms	(/ 1 (/ (+ (+ alpha beta) 2.0) beta))
77.0ms	(log (exp (- (/ alpha (+ (+ alpha beta) 2.0)) 1.0)))

simplify3.2s

Calls

34 calls:

Slowest

349.0ms	(- (* 0.5 beta) (+ (* 0.25 (pow beta 2)) (* 0.25 (* beta alpha))))
342.0ms	(- (* 4.0 (/ 1 (pow alpha 2))) (+ (* 2.0 (/ 1 alpha)) (* 8.0 (/ 1 (pow alpha 3)))))
304.0ms	(- (+ (exp (- 1.0)) (* 0.5 (* (exp (- 1.0)) alpha))) (* 0.125 (* (exp (- 1.0)) (pow alpha 2))))
288.0ms	(- (* 4.0 (/ 1 (pow alpha 2))) (+ (* 2.0 (/ 1 alpha)) (* 8.0 (/ 1 (pow alpha 3)))))
285.0ms	(- (* 4.0 (/ 1 (pow alpha 2))) (+ (* 2.0 (/ 1 alpha)) (* 8.0 (/ 1 (pow alpha 3)))))

prune811.0ms

Pruning

6 alts after pruning (6 fresh and 0 done)

Merged error: 3.2b

regimes104.0ms

Accuracy

75.7% (3.2b remaining)

Error of 6.4b against oracle of 3.2b and baseline of 16.3b

bsearch75.0ms

end0.0ms

sample2.4s

Algorithm

intervals

Results

852.0ms	824×	body	1280	valid
514.0ms	5771×	body	80	valid
392.0ms	8000×	pre	80	true
286.0ms	758×	body	640	valid
128.0ms	406×	body	320	valid
69.0ms	241×	body	160	valid