Details

Time bar (total: 20.9s)

sample83.0ms

Algorithm
intervals
Results
61.0ms115×body10240exit
12.0ms256×body80valid

simplify4.0ms

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

prune25.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.5b

localize14.0ms

Local error

Found 2 expressions with local error:

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

rewrite22.0ms

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

series99.0ms

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

simplify2.3s

Counts
67 → 53
Calls
67 calls:
Slowest
367.0ms
(/ (* (* (exp a) (exp a)) (exp a)) (* (* (+ (exp a) (exp b)) (+ (exp a) (exp b))) (+ (exp a) (exp b))))
320.0ms
(/ (exp a) (+ (pow (exp a) 3) (pow (exp b) 3)))
309.0ms
(* (* (/ (exp a) (+ (exp a) (exp b))) (/ (exp a) (+ (exp a) (exp b)))) (/ (exp a) (+ (exp a) (exp b))))
211.0ms
(* (* (+ (exp a) (exp b)) (+ (exp a) (exp b))) (+ (exp a) (exp b)))
143.0ms
(/ (exp a) (- (* (exp a) (exp a)) (* (exp b) (exp b))))

prune453.0ms

Pruning

4 alts after pruning (4 fresh and 0 done)

Merged error: 0.2b

localize20.0ms

Local error

Found 2 expressions with local error:

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

rewrite47.0ms

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

series78.0ms

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

simplify2.3s

Counts
67 → 53
Calls
67 calls:
Slowest
372.0ms
(/ (exp a) (+ (pow (exp b) 3) (pow (exp a) 3)))
310.0ms
(* (* (/ (exp a) (+ (exp b) (exp a))) (/ (exp a) (+ (exp b) (exp a)))) (/ (exp a) (+ (exp b) (exp a))))
302.0ms
(/ (* (* (exp a) (exp a)) (exp a)) (* (* (+ (exp b) (exp a)) (+ (exp b) (exp a))) (+ (exp b) (exp a))))
216.0ms
(* (* (+ (exp b) (exp a)) (+ (exp b) (exp a))) (+ (exp b) (exp a)))
134.0ms
(/ (exp a) (- (* (exp b) (exp b)) (* (exp a) (exp a))))

prune421.0ms

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0.2b

localize33.0ms

Local error

Found 3 expressions with local error:

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

rewrite76.0ms

Algorithm
rewrite-expression-head
Rules
37×*-un-lft-identity
24×times-frac
21×add-sqr-sqrt add-cube-cbrt
19×log-pow
18×exp-prod
8×distribute-lft-out
5×add-cbrt-cube add-log-exp
4×pow1 associate-/r* add-exp-log associate-/r/
3×log-prod flip3-+ flip-+ insert-posit16 associate-/l*
2×div-inv
1×cbrt-undiv +-commutative clear-num sum-log frac-2neg div-exp rem-log-exp
Counts
3 → 78
Calls
3 calls:
Slowest
47.0ms
(log (exp (/ (exp a) (+ (exp a) (exp b)))))
15.0ms
(/ (exp a) (+ (exp a) (exp b)))
7.0ms
(+ (exp a) (exp b))

series135.0ms

Counts
3 → 9
Calls
3 calls:
Slowest
57.0ms
(log (exp (/ (exp a) (+ (exp a) (exp b)))))
43.0ms
(/ (exp a) (+ (exp a) (exp b)))
34.0ms
(+ (exp a) (exp b))

simplify4.1s

Counts
103 → 87
Calls
103 calls:
Slowest
357.0ms
(/ (* (* (exp a) (exp a)) (exp a)) (* (* (+ (exp a) (exp b)) (+ (exp a) (exp b))) (+ (exp a) (exp b))))
328.0ms
(log (exp (/ (exp a) (+ (pow (exp a) 3) (pow (exp b) 3)))))
314.0ms
(/ (exp a) (+ (pow (exp a) 3) (pow (exp b) 3)))
300.0ms
(* (* (/ (exp a) (+ (exp a) (exp b))) (/ (exp a) (+ (exp a) (exp b)))) (/ (exp a) (+ (exp a) (exp b))))
273.0ms
(* (* (log (exp (/ (exp a) (+ (exp a) (exp b))))) (log (exp (/ (exp a) (+ (exp a) (exp b)))))) (log (exp (/ (exp a) (+ (exp a) (exp b))))))

prune890.0ms

Pruning

4 alts after pruning (2 fresh and 2 done)

Merged error: 0.2b

localize28.0ms

Local error

Found 2 expressions with local error:

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

rewrite65.0ms

Algorithm
rewrite-expression-head
Rules
57×*-un-lft-identity
30×times-frac
22×add-sqr-sqrt log-pow add-cube-cbrt
21×exp-prod distribute-lft-out
5×associate-/r*
4×add-cbrt-cube associate-/r/
3×pow1 log-prod add-exp-log associate-/l*
2×flip3-+ flip-+ insert-posit16 div-inv add-log-exp
1×cbrt-undiv clear-num frac-2neg div-exp rem-log-exp
Counts
2 → 72
Calls
2 calls:
Slowest
40.0ms
(log (exp (/ (exp a) (+ a (+ b 2)))))
24.0ms
(/ (exp a) (+ a (+ b 2)))

series200.0ms

Counts
2 → 6
Calls
2 calls:
Slowest
107.0ms
(log (exp (/ (exp a) (+ a (+ b 2)))))
94.0ms
(/ (exp a) (+ a (+ b 2)))

simplify4.4s

Counts
96 → 78
Calls
96 calls:
Slowest
824.0ms
(* (* (log (exp (/ (exp a) (+ a (+ b 2))))) (log (exp (/ (exp a) (+ a (+ b 2)))))) (log (exp (/ (exp a) (+ a (+ b 2))))))
205.0ms
(* (* (/ (exp a) (+ a (+ b 2))) (/ (exp a) (+ a (+ b 2)))) (/ (exp a) (+ a (+ b 2))))
193.0ms
(/ (* (* (exp a) (exp a)) (exp a)) (* (* (+ a (+ b 2)) (+ a (+ b 2))) (+ a (+ b 2))))
173.0ms
(log (exp (* (cbrt (/ (exp a) (+ a (+ b 2)))) (cbrt (/ (exp a) (+ a (+ b 2)))))))
171.0ms
(log (exp (/ (* (cbrt (exp a)) (cbrt (exp a))) (* (cbrt (+ a (+ b 2))) (cbrt (+ a (+ b 2)))))))

prune705.0ms

Pruning

4 alts after pruning (1 fresh and 3 done)

Merged error: 0.2b

regimes151.0ms

Accuracy

0% (0.3b remaining)

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

bsearch1.0ms

end0.0ms

sample4.2s

Algorithm
intervals
Results
3.0s3453×body10240exit
945.0ms8000×body80valid