Details

Time bar (total: 34.7s)

sample95.0ms

Algorithm
intervals
Results
72.0ms111×body10240exit
14.0ms256×body80valid

simplify5.0ms

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

prune5.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.8b

localize10.0ms

Local error

Found 2 expressions with local error:

0.8b
(/ (exp a) (+ (exp a) (exp b)))
0.0b
(+ (exp a) (exp b))

rewrite63.0ms

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

series56.0ms

Calls
2 calls:
Slowest
35.0ms
(/ (exp a) (+ (exp a) (exp b)))
20.0ms
(+ (exp a) (exp b))

simplify1.1s

Calls
45 calls:
Slowest
405.0ms
(/ (* (* (exp a) (exp a)) (exp a)) (* (* (+ (exp a) (exp b)) (+ (exp a) (exp b))) (+ (exp a) (exp b))))
132.0ms
(+ (* (exp a) (exp a)) (- (* (exp b) (exp b)) (* (exp a) (exp b))))
97.0ms
(- (+ (* 1/4 a) 1/2) (* 1/4 b))
47.0ms
(/ (* (cbrt (exp a)) (cbrt (exp a))) (* (cbrt (+ (exp a) (exp b))) (cbrt (+ (exp a) (exp b)))))
36.0ms
(/ (* (cbrt (exp a)) (cbrt (exp a))) (sqrt (+ (exp a) (exp b))))

prune536.0ms

Pruning

4 alts after pruning (4 fresh and 0 done)

Merged error: 0.2b

localize25.0ms

Local error

Found 4 expressions with local error:

2.7b
(log (+ (exp a) (exp b)))
1.2b
(- a (log (+ (exp a) (exp b))))
0.0b
(exp (- a (log (+ (exp a) (exp b)))))
0.0b
(+ (exp a) (exp b))

rewrite78.0ms

Algorithm
rewrite-expression-head
Rules
38×*-un-lft-identity
28×add-sqr-sqrt
24×prod-diff add-cube-cbrt
16×exp-sum
13×pow1 add-log-exp
12×log-prod
9×log-pow
8×associate--r+
6×log-div exp-prod
5×exp-diff add-exp-log
4×expm1-log1p-u flip3-+ add-cbrt-cube diff-log flip-+ insert-posit16 log1p-expm1-u distribute-lft-out distribute-lft-out-- associate--r-
3×fma-def fma-neg rem-exp-log
2×sub-neg difference-of-squares
1×+-commutative sum-log flip3-- rem-log-exp flip--
Calls
4 calls:
Slowest
31.0ms
(exp (- a (log (+ (exp a) (exp b)))))
22.0ms
(- a (log (+ (exp a) (exp b))))
12.0ms
(log (+ (exp a) (exp b)))
11.0ms
(+ (exp a) (exp b))

series175.0ms

Calls
4 calls:
Slowest
64.0ms
(exp (- a (log (+ (exp a) (exp b)))))
49.0ms
(log (+ (exp a) (exp b)))
42.0ms
(- a (log (+ (exp a) (exp b))))
21.0ms
(+ (exp a) (exp b))

simplify7.3s

Calls
91 calls:
Slowest
532.0ms
(exp (fma (* (cbrt a) (cbrt a)) (cbrt a) (- (* (cbrt (log (+ (exp a) (exp b)))) (* (cbrt (log (+ (exp a) (exp b)))) (cbrt (log (+ (exp a) (exp b)))))))))
394.0ms
(exp (fma (sqrt a) (sqrt a) (- (* (cbrt (log (+ (exp a) (exp b)))) (* (cbrt (log (+ (exp a) (exp b)))) (cbrt (log (+ (exp a) (exp b)))))))))
374.0ms
(- (+ (exp (- (log 2))) (* 1/2 (* a (exp (- (log 2)))))) (* 1/2 (* (exp (- (log 2))) b)))
368.0ms
(exp (- a (log (+ (pow (exp a) 3) (pow (exp b) 3)))))
349.0ms
(exp (fma 1 a (- (* (cbrt (log (+ (exp a) (exp b)))) (* (cbrt (log (+ (exp a) (exp b)))) (cbrt (log (+ (exp a) (exp b)))))))))

prune1.3s

Pruning

3 alts after pruning (3 fresh and 0 done)

Merged error: 0.2b

localize25.0ms

Local error

Found 4 expressions with local error:

2.7b
(log (+ (exp a) (exp b)))
1.2b
(- a (log (+ (exp a) (exp b))))
0.0b
(log (exp (exp (- a (log (+ (exp a) (exp b)))))))
0.0b
(exp (- a (log (+ (exp a) (exp b)))))

rewrite61.0ms

Algorithm
rewrite-expression-head
Rules
44×*-un-lft-identity
36×add-sqr-sqrt prod-diff
32×exp-sum log-pow add-cube-cbrt
25×exp-prod
17×pow1
15×log-prod
11×add-log-exp
8×log-div associate--r+
6×add-exp-log associate--r-
5×exp-diff
4×expm1-log1p-u flip3-+ add-cbrt-cube diff-log flip-+ insert-posit16 log1p-expm1-u distribute-lft-out--
3×sub-neg fma-neg rem-log-exp distribute-lft-out rem-exp-log
2×difference-of-squares
1×flip3-- flip--
Calls
4 calls:
Slowest
20.0ms
(log (exp (exp (- a (log (+ (exp a) (exp b)))))))
18.0ms
(exp (- a (log (+ (exp a) (exp b)))))
11.0ms
(- a (log (+ (exp a) (exp b))))
11.0ms
(log (+ (exp a) (exp b)))

series213.0ms

Calls
4 calls:
Slowest
61.0ms
(exp (- a (log (+ (exp a) (exp b)))))
59.0ms
(log (exp (exp (- a (log (+ (exp a) (exp b)))))))
52.0ms
(log (+ (exp a) (exp b)))
42.0ms
(- a (log (+ (exp a) (exp b))))

simplify9.5s

Calls
111 calls:
Slowest
504.0ms
(exp (fma (* (cbrt a) (cbrt a)) (cbrt a) (- (* (cbrt (log (+ (exp a) (exp b)))) (* (cbrt (log (+ (exp a) (exp b)))) (cbrt (log (+ (exp a) (exp b)))))))))
400.0ms
(exp (fma 1 a (- (* (cbrt (log (+ (exp a) (exp b)))) (* (cbrt (log (+ (exp a) (exp b)))) (cbrt (log (+ (exp a) (exp b)))))))))
380.0ms
(- (+ (exp (- (log 2))) (* 1/2 (* a (exp (- (log 2)))))) (* 1/2 (* (exp (- (log 2))) b)))
368.0ms
(exp (fma (sqrt a) (sqrt a) (- (* (cbrt (log (+ (exp a) (exp b)))) (* (cbrt (log (+ (exp a) (exp b)))) (cbrt (log (+ (exp a) (exp b)))))))))
349.0ms
(- (+ (exp (- (log 2))) (* 1/2 (* a (exp (- (log 2)))))) (* 1/2 (* (exp (- (log 2))) b)))

prune1.9s

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0.2b

localize26.0ms

Local error

Found 4 expressions with local error:

2.7b
(log (fma (sqrt (exp a)) (sqrt (exp a)) (exp b)))
1.2b
(- a (log (fma (sqrt (exp a)) (sqrt (exp a)) (exp b))))
0.0b
(fma (sqrt (exp a)) (sqrt (exp a)) (exp b))
0.0b
(exp (- a (log (fma (sqrt (exp a)) (sqrt (exp a)) (exp b)))))

rewrite23.0ms

Algorithm
rewrite-expression-head
Rules
29×*-un-lft-identity
27×add-sqr-sqrt
24×prod-diff
23×add-cube-cbrt
14×exp-sum
13×pow1
11×add-log-exp
9×log-prod log-pow
6×exp-prod associate--r+
5×add-exp-log
4×expm1-log1p-u add-cbrt-cube exp-diff diff-log insert-posit16 log1p-expm1-u distribute-lft-out--
3×fma-neg rem-exp-log
2×sub-neg difference-of-squares
1×flip3-- rem-log-exp fma-udef flip--
Calls
4 calls:
Slowest
14.0ms
(exp (- a (log (fma (sqrt (exp a)) (sqrt (exp a)) (exp b)))))
6.0ms
(- a (log (fma (sqrt (exp a)) (sqrt (exp a)) (exp b))))
1.0ms
(log (fma (sqrt (exp a)) (sqrt (exp a)) (exp b)))
0.0ms
(fma (sqrt (exp a)) (sqrt (exp a)) (exp b))

series289.0ms

Calls
4 calls:
Slowest
104.0ms
(exp (- a (log (fma (sqrt (exp a)) (sqrt (exp a)) (exp b)))))
64.0ms
(log (fma (sqrt (exp a)) (sqrt (exp a)) (exp b)))
64.0ms
(- a (log (fma (sqrt (exp a)) (sqrt (exp a)) (exp b))))
57.0ms
(fma (sqrt (exp a)) (sqrt (exp a)) (exp b))

simplify6.5s

Calls
78 calls:
Slowest
595.0ms
(exp (fma (* (cbrt a) (cbrt a)) (cbrt a) (- (* (cbrt (log (fma (sqrt (exp a)) (sqrt (exp a)) (exp b)))) (* (cbrt (log (fma (sqrt (exp a)) (sqrt (exp a)) (exp b)))) (cbrt (log (fma (sqrt (exp a)) (sqrt (exp a)) (exp b)))))))))
454.0ms
(exp (fma 1 a (- (* (cbrt (log (fma (sqrt (exp a)) (sqrt (exp a)) (exp b)))) (* (cbrt (log (fma (sqrt (exp a)) (sqrt (exp a)) (exp b)))) (cbrt (log (fma (sqrt (exp a)) (sqrt (exp a)) (exp b)))))))))
415.0ms
(exp (fma (sqrt a) (sqrt a) (- (* (cbrt (log (fma (sqrt (exp a)) (sqrt (exp a)) (exp b)))) (* (cbrt (log (fma (sqrt (exp a)) (sqrt (exp a)) (exp b)))) (cbrt (log (fma (sqrt (exp a)) (sqrt (exp a)) (exp b)))))))))
340.0ms
(- (+ (exp (- (log 2))) (* 1/2 (* a (exp (- (log 2)))))) (* 1/2 (* (exp (- (log 2))) b)))
277.0ms
(exp (fma (* (cbrt a) (cbrt a)) (cbrt a) (- (* (log (fma (sqrt (exp a)) (sqrt (exp a)) (exp b))) 1))))

prune1.5s

Pruning

3 alts after pruning (1 fresh and 2 done)

Merged error: 0.2b

regimes84.0ms

Accuracy

0% (0.1b remaining)

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

bsearch3.0ms

end0.0ms

sample3.9s

Algorithm
intervals
Results
3.1s3492×body10240exit
673.0ms8000×body80valid