Details

Time bar (total: 16.6s)

sample114.0ms

Algorithm
intervals
Results
87.0ms115×body10240exit
15.0ms256×body80valid

simplify4.0ms

Counts
1 → 1
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.3b

localize11.0ms

Local error

Found 2 expressions with local error:

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

rewrite25.0ms

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

series90.0ms

Counts
2 → 6
Calls
2 calls:
Slowest
57.0ms
(/ (exp a) (+ (exp a) (exp b)))
33.0ms
(+ (exp a) (exp b))

simplify992.0ms

Counts
44 → 60
Calls
44 calls:
Slowest
398.0ms
(/ (* (* (exp a) (exp a)) (exp a)) (* (* (+ (exp a) (exp b)) (+ (exp a) (exp b))) (+ (exp a) (exp b))))
116.0ms
(+ (* (exp a) (exp a)) (- (* (exp b) (exp b)) (* (exp a) (exp b))))
89.0ms
(- (+ (* 1/4 a) 1/2) (* 1/4 b))
41.0ms
(/ (* (cbrt (exp a)) (cbrt (exp a))) (* (cbrt (+ (exp a) (exp b))) (cbrt (+ (exp a) (exp b)))))
27.0ms
(/ (* (cbrt (exp a)) (cbrt (exp a))) 1)

prune562.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0b

localize17.0ms

Local error

Found 4 expressions with local error:

2.2b
(log (+ (exp a) (exp b)))
1.9b
(- a (log (+ (exp a) (exp b))))
0.0b
(+ (exp a) (exp b))
0.0b
(exp (- a (log (+ (exp a) (exp b)))))

rewrite58.0ms

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

series205.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
73.0ms
(exp (- a (log (+ (exp a) (exp b)))))
57.0ms
(- a (log (+ (exp a) (exp b))))
41.0ms
(log (+ (exp a) (exp b)))
34.0ms
(+ (exp a) (exp b))

simplify6.6s

Counts
85 → 122
Calls
85 calls:
Slowest
529.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)))))))))
421.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)))))))))
366.0ms
(exp (fma 1 a (- (* (cbrt (log (+ (exp a) (exp b)))) (* (cbrt (log (+ (exp a) (exp b)))) (cbrt (log (+ (exp a) (exp b)))))))))
356.0ms
(exp (- a (log (+ (pow (exp a) 3) (pow (exp b) 3)))))
307.0ms
(- (+ (exp (- (log 2))) (* 1/2 (* a (exp (- (log 2)))))) (* 1/2 (* (exp (- (log 2))) b)))

prune1.3s

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 0b

localize17.0ms

Local error

Found 4 expressions with local error:

0.3b
(/ (exp a) (fma (sqrt (exp a)) (sqrt (exp a)) (exp b)))
0.0b
(fma (sqrt (exp a)) (sqrt (exp a)) (exp b))
0.0b
(sqrt (exp a))
0.0b
(sqrt (exp a))

rewrite12.0ms

Algorithm
rewrite-expression-head
Rules
18×add-sqr-sqrt
16×*-un-lft-identity add-cube-cbrt
9×times-frac
8×sqrt-pow1
6×pow1 exp-prod add-cbrt-cube sqrt-prod
5×add-exp-log
4×expm1-log1p-u insert-posit16 log1p-expm1-u add-log-exp
3×associate-/r* associate-/l*
2×rem-sqrt-square pow1/2
1×cbrt-undiv clear-num frac-2neg div-exp fma-udef div-inv
Counts
4 → 79
Calls
4 calls:
Slowest
6.0ms
(/ (exp a) (fma (sqrt (exp a)) (sqrt (exp a)) (exp b)))
2.0ms
(sqrt (exp a))
2.0ms
(sqrt (exp a))
0.0ms
(fma (sqrt (exp a)) (sqrt (exp a)) (exp b))

series139.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
67.0ms
(/ (exp a) (fma (sqrt (exp a)) (sqrt (exp a)) (exp b)))
45.0ms
(fma (sqrt (exp a)) (sqrt (exp a)) (exp b))
14.0ms
(sqrt (exp a))
13.0ms
(sqrt (exp a))

simplify1.2s

Counts
53 → 91
Calls
53 calls:
Slowest
254.0ms
(/ (* (* (exp a) (exp a)) (exp a)) (* (* (fma (sqrt (exp a)) (sqrt (exp a)) (exp b)) (fma (sqrt (exp a)) (sqrt (exp a)) (exp b))) (fma (sqrt (exp a)) (sqrt (exp a)) (exp b))))
124.0ms
(+ (* 1/8 (pow a 2)) (+ (* 1/2 a) 1))
96.0ms
(- (+ (* 1/4 a) 1/2) (* 1/4 b))
93.0ms
(+ (* 1/8 (pow a 2)) (+ (* 1/2 a) 1))
75.0ms
(/ (* (cbrt (exp a)) (cbrt (exp a))) (* (cbrt (fma (sqrt (exp a)) (sqrt (exp a)) (exp b))) (cbrt (fma (sqrt (exp a)) (sqrt (exp a)) (exp b)))))

prune1.1s

Pruning

2 alts after pruning (0 fresh and 2 done)

Merged error: 0b

regimes103.0ms

Accuracy

0% (0.0b remaining)

Error of 0.7b against oracle of 0.7b and baseline of 0.7b

bsearch1.0ms

end0.0ms

sample4.2s

Algorithm
intervals
Results
3.2s3450×body10240exit
700.0ms8000×body80valid