Details

Time bar (total: 19.0s)

sample166.0ms

Algorithm
intervals
Results
129.0ms115×body10240exit
20.0ms256×body80valid

simplify9.0ms

Counts
1 → 1
Calls
1 calls:
Slowest
8.0ms
(/ (exp a) (+ (exp a) (exp b)))

prune9.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.5b

localize19.0ms

Local error

Found 2 expressions with local error:

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

rewrite43.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
28.0ms
(/ (exp a) (+ (exp a) (exp b)))
15.0ms
(+ (exp a) (exp b))

series65.0ms

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

simplify2.7s

Counts
71 → 60
Calls
71 calls:
Slowest
383.0ms
(/ (* (* (exp a) (exp a)) (exp a)) (* (* (+ (exp a) (exp b)) (+ (exp a) (exp b))) (+ (exp a) (exp b))))
382.0ms
(* (* (/ (exp a) (+ (exp a) (exp b))) (/ (exp a) (+ (exp a) (exp b)))) (/ (exp a) (+ (exp a) (exp b))))
380.0ms
(/ (exp a) (+ (pow (exp a) 3) (pow (exp b) 3)))
307.0ms
(* (* (+ (exp a) (exp b)) (+ (exp a) (exp b))) (+ (exp a) (exp b)))
152.0ms
(/ (exp a) (- (* (exp a) (exp a)) (* (exp b) (exp b))))

prune619.0ms

Pruning

3 alts after pruning (3 fresh and 0 done)

Merged error: 0.2b

localize33.0ms

Local error

Found 4 expressions with local error:

0.5b
(/ (exp a) (+ (exp a) (exp b)))
0.2b
(expm1 (/ (exp a) (+ (exp a) (exp b))))
0.0b
(+ (exp a) (exp b))
0.0b
(log1p (expm1 (/ (exp a) (+ (exp a) (exp b)))))

rewrite29.0ms

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

series225.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
100.0ms
(expm1 (/ (exp a) (+ (exp a) (exp b))))
68.0ms
(log1p (expm1 (/ (exp a) (+ (exp a) (exp b)))))
36.0ms
(/ (exp a) (+ (exp a) (exp b)))
21.0ms
(+ (exp a) (exp b))

simplify3.6s

Counts
99 → 90
Calls
99 calls:
Slowest
403.0ms
(/ (* (* (exp a) (exp a)) (exp a)) (* (* (+ (exp a) (exp b)) (+ (exp a) (exp b))) (+ (exp a) (exp b))))
354.0ms
(/ (exp a) (+ (pow (exp a) 3) (pow (exp b) 3)))
327.0ms
(- (+ (* 1/4 (* a (exp 1/2))) (exp 1/2)) (+ (* 1/4 (* b (exp 1/2))) 1))
276.0ms
(* (* (/ (exp a) (+ (exp a) (exp b))) (/ (exp a) (+ (exp a) (exp b)))) (/ (exp a) (+ (exp a) (exp b))))
248.0ms
(* (* (log1p (expm1 (/ (exp a) (+ (exp a) (exp b))))) (log1p (expm1 (/ (exp a) (+ (exp a) (exp b)))))) (log1p (expm1 (/ (exp a) (+ (exp a) (exp b))))))

prune1.0s

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0.2b

localize10.0ms

Local error

Found 2 expressions with local error:

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

rewrite41.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
23.0ms
(/ (exp a) (+ (exp b) (exp a)))
16.0ms
(+ (exp b) (exp a))

series89.0ms

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

simplify2.5s

Counts
71 → 60
Calls
71 calls:
Slowest
401.0ms
(/ (* (* (exp a) (exp a)) (exp a)) (* (* (+ (exp b) (exp a)) (+ (exp b) (exp a))) (+ (exp b) (exp a))))
341.0ms
(/ (exp a) (+ (pow (exp b) 3) (pow (exp a) 3)))
321.0ms
(* (* (/ (exp a) (+ (exp b) (exp a))) (/ (exp a) (+ (exp b) (exp a)))) (/ (exp a) (+ (exp b) (exp a))))
314.0ms
(* (* (+ (exp b) (exp a)) (+ (exp b) (exp a))) (+ (exp b) (exp a)))
164.0ms
(+ (* (exp b) (exp b)) (- (* (exp a) (exp a)) (* (exp b) (exp a))))

prune502.0ms

Pruning

4 alts after pruning (2 fresh and 2 done)

Merged error: 0.2b

localize23.0ms

Local error

Found 1 expressions with local error:

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

rewrite41.0ms

Algorithm
rewrite-expression-head
Rules
31×*-un-lft-identity
15×times-frac
12×distribute-lft-out
11×add-sqr-sqrt add-cube-cbrt
5×associate-/r*
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
Counts
1 → 40
Calls
1 calls:
Slowest
40.0ms
(/ (exp a) (+ a (+ b 2)))

series102.0ms

Counts
1 → 3
Calls
1 calls:
Slowest
102.0ms
(/ (exp a) (+ a (+ b 2)))

simplify2.3s

Counts
59 → 43
Calls
59 calls:
Slowest
275.0ms
(/ (* (* (exp a) (exp a)) (exp a)) (* (* (+ a (+ b 2)) (+ a (+ b 2))) (+ a (+ b 2))))
223.0ms
(* (* (/ (exp a) (+ a (+ b 2))) (/ (exp a) (+ a (+ b 2)))) (/ (exp a) (+ a (+ b 2))))
159.0ms
(/ (exp a) (- (* a a) (* (+ b 2) (+ b 2))))
147.0ms
(/ (exp a) (+ (pow a 3) (pow (+ b 2) 3)))
125.0ms
(- (+ (* 1/4 a) 1/2) (* 1/4 b))

prune432.0ms

Pruning

4 alts after pruning (1 fresh and 3 done)

Merged error: 0.2b

regimes186.0ms

Accuracy

0% (0.1b remaining)

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

bsearch1.0ms

end0.0ms

sample4.2s

Algorithm
intervals
Results
3.3s3453×body10240exit
682.0ms8000×body80valid