Details

Time bar (total: 8.5s)

sample113.0ms

Algorithm
intervals
Results
84.0ms102×body10240exit
16.0ms256×body80valid

simplify9.0ms

Calls
1 calls:
Slowest
9.0ms
(/ (exp a) (+ (exp a) (exp b)))

prune10.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 1.2b

localize20.0ms

Local error

Found 1 expressions with local error:

1.2b
(/ (exp a) (+ (exp a) (exp b)))

rewrite16.0ms

Algorithm
rewrite-expression-head
Rules
18×*-un-lft-identity
12×times-frac
10×add-sqr-sqrt add-cube-cbrt
4×associate-/r* distribute-lft-out
3×add-cbrt-cube associate-/l*
2×add-exp-log associate-/r/
1×expm1-log1p-u pow1 cbrt-undiv clear-num frac-2neg flip3-+ div-exp flip-+ insert-posit16 log1p-expm1-u div-inv add-log-exp
Calls
1 calls:
Slowest
15.0ms
(/ (exp a) (+ (exp a) (exp b)))

series50.0ms

Calls
1 calls:
Slowest
50.0ms
(/ (exp a) (+ (exp a) (exp b)))

simplify960.0ms

Calls
37 calls:
Slowest
439.0ms
(/ (* (* (exp a) (exp a)) (exp a)) (* (* (+ (exp a) (exp b)) (+ (exp a) (exp b))) (+ (exp a) (exp b))))
94.0ms
(+ (* (exp a) (exp a)) (- (* (exp b) (exp b)) (* (exp a) (exp b))))
76.0ms
(- (+ (* 1/4 a) 1/2) (* 1/4 b))
42.0ms
(/ (* (cbrt (exp a)) (cbrt (exp a))) (* (cbrt (+ (exp a) (exp b))) (cbrt (+ (exp a) (exp b)))))
22.0ms
(/ 1 (sqrt (+ (exp a) (exp b))))

prune266.0ms

Pruning

3 alts after pruning (3 fresh and 0 done)

Merged error: 0.7b

localize10.0ms

Local error

Found 2 expressions with local error:

2.6b
(log (+ (exp a) (exp b)))
0.5b
(- a (log (+ (exp a) (exp b))))

rewrite6.0ms

Algorithm
rewrite-expression-head
Rules
8×log-prod *-un-lft-identity
4×add-sqr-sqrt log-div add-cube-cbrt associate--r+
3×pow1 add-exp-log
2×expm1-log1p-u flip3-+ add-cbrt-cube flip-+ insert-posit16 log1p-expm1-u distribute-lft-out associate--r- add-log-exp
1×sub-neg flip3-- rem-log-exp log-pow flip--
Calls
2 calls:
Slowest
3.0ms
(log (+ (exp a) (exp b)))
3.0ms
(- a (log (+ (exp a) (exp b))))

series100.0ms

Calls
2 calls:
Slowest
51.0ms
(log (+ (exp a) (exp b)))
50.0ms
(- a (log (+ (exp a) (exp b))))

simplify629.0ms

Calls
19 calls:
Slowest
195.0ms
(log (- (* (exp a) (exp a)) (* (exp b) (exp b))))
124.0ms
(- (* 1/2 a) (+ (* 1/2 b) (log 2)))
111.0ms
(log (+ (* (exp a) (exp a)) (- (* (exp b) (exp b)) (* (exp a) (exp b)))))
42.0ms
(log (+ (pow (exp a) 3) (pow (exp b) 3)))
35.0ms
(+ (* 1/2 a) (+ (* 1/2 b) (log 2)))

prune502.0ms

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0.7b

localize10.0ms

Local error

Found 1 expressions with local error:

1.2b
(/ (exp a) (+ (exp a) (exp b)))

rewrite13.0ms

Algorithm
rewrite-expression-head
Rules
18×*-un-lft-identity
12×times-frac
10×add-sqr-sqrt add-cube-cbrt
4×associate-/r* distribute-lft-out
3×add-cbrt-cube associate-/l*
2×add-exp-log associate-/r/
1×expm1-log1p-u pow1 cbrt-undiv clear-num frac-2neg flip3-+ div-exp flip-+ insert-posit16 log1p-expm1-u div-inv add-log-exp
Calls
1 calls:
Slowest
12.0ms
(/ (exp a) (+ (exp a) (exp b)))

series45.0ms

Calls
1 calls:
Slowest
45.0ms
(/ (exp a) (+ (exp a) (exp b)))

simplify1.0s

Calls
37 calls:
Slowest
453.0ms
(/ (* (* (exp a) (exp a)) (exp a)) (* (* (+ (exp a) (exp b)) (+ (exp a) (exp b))) (+ (exp a) (exp b))))
124.0ms
(+ (* (exp a) (exp a)) (- (* (exp b) (exp b)) (* (exp a) (exp b))))
70.0ms
(- (+ (* 1/4 a) 1/2) (* 1/4 b))
69.0ms
(/ (* (cbrt (exp a)) (cbrt (exp a))) (* (cbrt (+ (exp a) (exp b))) (cbrt (+ (exp a) (exp b)))))
29.0ms
(/ 1 (* (cbrt (+ (exp a) (exp b))) (cbrt (+ (exp a) (exp b)))))

prune401.0ms

Pruning

4 alts after pruning (2 fresh and 2 done)

Merged error: 0.7b

localize6.0ms

Local error

Found 0 expressions with local error:

rewrite0.0ms

Algorithm
rewrite-expression-head
Rules
Calls
0 calls:
Slowest

series0.0ms

Calls
0 calls:
Slowest

simplify0.0ms

Calls
0 calls:
Slowest

prune1.0ms

Pruning

4 alts after pruning (1 fresh and 3 done)

Merged error: 0.7b

regimes208.0ms

Accuracy

0% (0.0b remaining)

Error of 0.6b against oracle of 0.6b and baseline of 0.6b

bsearch2.0ms

end0.0ms

sample4.0s

Algorithm
intervals
Results
3.2s3463×body10240exit
649.0ms8000×body80valid