Details

Time bar (total: 8.2s)

sample62.0ms

Algorithm
intervals
Results
20.0ms256×pre80true
17.0ms256×body80valid

simplify273.0ms

Calls
1 calls:
Slowest
272.0ms
(* (+ a (+ b (+ c d))) 2)

prune6.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 3.5b

localize12.0ms

Local error

Found 2 expressions with local error:

2.5b
(+ a (+ b (+ c d)))
0.4b
(+ b (+ c d))

rewrite76.0ms

Algorithm
rewrite-expression-head
Rules
18×*-un-lft-identity
16×add-log-exp
9×sum-log distribute-lft-out
6×fma-def
4×add-sqr-sqrt add-cube-cbrt
2×expm1-log1p-u pow1 +-commutative associate-+r+ flip3-+ add-cbrt-cube add-exp-log flip-+ insert-posit16 log1p-expm1-u
Calls
2 calls:
Slowest
46.0ms
(+ a (+ b (+ c d)))
29.0ms
(+ b (+ c d))

series61.0ms

Calls
2 calls:
Slowest
44.0ms
(+ a (+ b (+ c d)))
17.0ms
(+ b (+ c d))

simplify859.0ms

Calls
21 calls:
Slowest
168.0ms
(* (exp a) (* (exp b) (* (exp c) (exp d))))
160.0ms
(* (exp a) (exp (+ b (+ c d))))
131.0ms
(* (exp a) (* (exp b) (exp (+ c d))))
55.0ms
(* (exp b) (exp (+ c d)))
55.0ms
(+ a (+ b (+ c d)))

prune444.0ms

Pruning

11 alts after pruning (11 fresh and 0 done)

Merged error: 2.1b

localize12.0ms

Local error

Found 1 expressions with local error:

2.5b
(+ a (+ (+ b c) d))

rewrite55.0ms

Algorithm
rewrite-expression-head
Rules
11×*-un-lft-identity
10×add-log-exp
6×sum-log distribute-lft-out
3×fma-def
2×add-sqr-sqrt add-cube-cbrt
1×expm1-log1p-u pow1 +-commutative associate-+r+ flip3-+ add-cbrt-cube add-exp-log flip-+ insert-posit16 log1p-expm1-u
Calls
1 calls:
Slowest
55.0ms
(+ a (+ (+ b c) d))

series50.0ms

Calls
1 calls:
Slowest
50.0ms
(+ a (+ (+ b c) d))

simplify544.0ms

Calls
11 calls:
Slowest
149.0ms
(* (exp a) (* (* (exp b) (exp c)) (exp d)))
121.0ms
(* (exp a) (* (exp (+ b c)) (exp d)))
106.0ms
(* (exp a) (exp (+ (+ b c) d)))
38.0ms
(+ a (+ (+ b c) d))
38.0ms
(+ a (+ (+ b c) d))

prune198.0ms

Pruning

13 alts after pruning (13 fresh and 0 done)

Merged error: 1.4b

localize15.0ms

Local error

Found 1 expressions with local error:

2.5b
(+ (+ a (+ b c)) d)

rewrite66.0ms

Algorithm
rewrite-expression-head
Rules
16×*-un-lft-identity
10×add-log-exp
9×distribute-lft-out
6×sum-log
5×fma-def
2×add-sqr-sqrt add-cube-cbrt
1×expm1-log1p-u pow1 +-commutative associate-+l+ flip3-+ add-cbrt-cube add-exp-log flip-+ insert-posit16 log1p-expm1-u
Calls
1 calls:
Slowest
66.0ms
(+ (+ a (+ b c)) d)

series32.0ms

Calls
1 calls:
Slowest
32.0ms
(+ (+ a (+ b c)) d)

simplify580.0ms

Calls
11 calls:
Slowest
148.0ms
(* (* (exp a) (exp (+ b c))) (exp d))
121.0ms
(* (exp (+ a (+ b c))) (exp d))
120.0ms
(* (* (exp a) (* (exp b) (exp c))) (exp d))
41.0ms
(+ (+ a (+ b c)) d)
38.0ms
(+ (+ a (+ b c)) d)

prune218.0ms

Pruning

14 alts after pruning (13 fresh and 1 done)

Merged error: 1.2b

localize24.0ms

Local error

Found 2 expressions with local error:

2.5b
(+ (+ a (+ c b)) d)
0.8b
(log (exp (+ (+ a (+ c b)) d)))

rewrite321.0ms

Algorithm
rewrite-expression-head
Rules
28×*-un-lft-identity
15×distribute-lft-out
11×add-log-exp
7×log-pow
6×exp-prod sum-log
5×add-sqr-sqrt fma-def add-cube-cbrt
4×log-prod
3×pow1
2×expm1-log1p-u add-cbrt-cube add-exp-log insert-posit16 log1p-expm1-u
1×+-commutative associate-+l+ flip3-+ rem-log-exp exp-sum flip-+
Calls
2 calls:
Slowest
241.0ms
(log (exp (+ (+ a (+ c b)) d)))
79.0ms
(+ (+ a (+ c b)) d)

series96.0ms

Calls
2 calls:
Slowest
48.0ms
(log (exp (+ (+ a (+ c b)) d)))
47.0ms
(+ (+ a (+ c b)) d)

simplify1.7s

Calls
25 calls:
Slowest
441.0ms
(log (sqrt (exp (+ (+ a (+ c b)) d))))
202.0ms
(* (* (exp a) (* (exp c) (exp b))) (exp d))
146.0ms
(* (exp (+ a (+ c b))) (exp d))
134.0ms
(log (* (cbrt (exp (+ (+ a (+ c b)) d))) (cbrt (exp (+ (+ a (+ c b)) d)))))
133.0ms
(* (* (exp a) (exp (+ c b))) (exp d))

prune388.0ms

Pruning

20 alts after pruning (19 fresh and 1 done)

Merged error: 1.1b

regimes845.0ms

Accuracy

0% (1.6b remaining)

Error of 2.8b against oracle of 1.2b and baseline of 2.8b

bsearch1.0ms

end0.0ms

sample1.2s

Algorithm
intervals
Results
534.0ms8000×body80valid
501.0ms8000×pre80true