Details

sample65.0ms

Algorithm

intervals

Results

22.0ms	256×	pre	80	true
20.0ms	256×	body	80	valid

simplify278.0ms

Calls

1 calls:

Slowest

278.0ms

(* (+ a (+ b (+ c d))) 2)

prune5.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 3.5b

localize19.0ms

Local error

Found 2 expressions with local error:

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

rewrite65.0ms

Algorithm

rewrite-expression-head

Rules

16×	`*-un-lft-identity` `add-log-exp`
9×	`sum-log` `distribute-lft-out`
2×	`add-sqr-sqrt` `pow1` `+-commutative` `associate-+r+` `flip3-+` `add-cbrt-cube` `add-exp-log` `add-cube-cbrt` `flip-+` `insert-posit16`

Calls

2 calls:

Slowest

53.0ms	(+ a (+ b (+ c d)))
11.0ms	(+ b (+ c d))

series63.0ms

Calls

2 calls:

Slowest

43.0ms	(+ a (+ b (+ c d)))
20.0ms	(+ b (+ c d))

simplify978.0ms

Calls

17 calls:

Slowest

185.0ms	(* (exp a) (* (exp b) (exp (+ c d))))
164.0ms	(* (exp a) (* (exp b) (* (exp c) (exp d))))
160.0ms	(* (exp a) (exp (+ b (+ c d))))
76.0ms	(+ a (+ b (+ c d)))
74.0ms	(+ a (+ b (+ c d)))

prune395.0ms

Pruning

9 alts after pruning (9 fresh and 0 done)

Merged error: 2.2b

localize28.0ms

Local error

Found 1 expressions with local error:

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

rewrite81.0ms

Algorithm

rewrite-expression-head

Rules

10×	`*-un-lft-identity` `add-log-exp`
6×	`sum-log` `distribute-lft-out`
1×	`add-sqr-sqrt` `pow1` `+-commutative` `associate-+r+` `flip3-+` `add-cbrt-cube` `add-exp-log` `add-cube-cbrt` `flip-+` `insert-posit16`

Calls

1 calls:

Slowest

80.0ms

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

series35.0ms

Calls

1 calls:

Slowest

35.0ms

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

simplify752.0ms

Calls

9 calls:

Slowest

196.0ms	(* (exp a) (* (* (exp b) (exp c)) (exp d)))
146.0ms	(* (exp a) (* (exp (+ b c)) (exp d)))
141.0ms	(* (exp a) (exp (+ (+ b c) d)))
77.0ms	(+ a (+ (+ b c) d))
75.0ms	(+ a (+ (+ b c) d))

prune217.0ms

Pruning

10 alts after pruning (9 fresh and 1 done)

Merged error: 1.4b

localize19.0ms

Local error

Found 2 expressions with local error:

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

rewrite338.0ms

Algorithm

rewrite-expression-head

Rules

22×	`*-un-lft-identity`
12×	`distribute-lft-out`
11×	`add-log-exp`
7×	`log-pow`
6×	`exp-prod` `sum-log`
4×	`add-sqr-sqrt` `log-prod` `add-cube-cbrt`
3×	`pow1`
2×	`add-cbrt-cube` `add-exp-log` `insert-posit16`
1×	`+-commutative` `associate-+l+` `flip3-+` `rem-log-exp` `exp-sum` `flip-+`

Calls

2 calls:

Slowest

242.0ms	(log (exp (+ (+ a (+ c b)) d)))
95.0ms	(+ (+ a (+ c b)) d)

series89.0ms

Calls

2 calls:

Slowest

49.0ms	(+ (+ a (+ c b)) d)
40.0ms	(log (exp (+ (+ a (+ c b)) d)))

simplify1.6s

Calls

23 calls:

Slowest

199.0ms	(log (sqrt (exp (+ (+ a (+ c b)) d))))
191.0ms	(* (* (exp a) (exp (+ c b))) (exp d))
183.0ms	(log (* (cbrt (exp (+ (+ a (+ c b)) d))) (cbrt (exp (+ (+ a (+ c b)) d)))))
182.0ms	(* (* (exp a) (* (exp c) (exp b))) (exp d))
124.0ms	(* (exp (+ a (+ c b))) (exp d))

prune578.0ms

Pruning

14 alts after pruning (13 fresh and 1 done)

Merged error: 1.1b

localize36.0ms

Local error

Found 4 expressions with local error:

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

rewrite477.0ms

Algorithm

rewrite-expression-head

Rules

42×	`*-un-lft-identity`
31×	`add-log-exp`
24×	`distribute-lft-out`
18×	`sum-log`
7×	`log-pow`
6×	`add-sqr-sqrt` `exp-prod` `add-cube-cbrt`
5×	`pow1`
4×	`log-prod` `add-cbrt-cube` `add-exp-log` `insert-posit16`
3×	`+-commutative` `associate-+l+` `flip3-+` `flip-+`
1×	`rem-log-exp` `exp-sum`

Calls

4 calls:

Slowest

209.0ms	(log (exp (+ (+ a (+ c b)) d)))
104.0ms	(+ (+ a (+ c b)) d)
81.0ms	(+ (+ a (+ c b)) d)
81.0ms	(+ (+ a (+ c b)) d)

series181.0ms

Calls

4 calls:

Slowest

53.0ms	(+ (+ a (+ c b)) d)
46.0ms	(+ (+ a (+ c b)) d)
45.0ms	(+ (+ a (+ c b)) d)
37.0ms	(log (exp (+ (+ a (+ c b)) d)))

simplify3.1s

Calls

41 calls:

Slowest

210.0ms	(* (* (exp a) (* (exp c) (exp b))) (exp d))
209.0ms	(* (* (exp a) (exp (+ c b))) (exp d))
192.0ms	(* (* (exp a) (* (exp c) (exp b))) (exp d))
188.0ms	(* (* (exp a) (exp (+ c b))) (exp d))
187.0ms	(* (* (exp a) (* (exp c) (exp b))) (exp d))

prune1.0s

Pruning

17 alts after pruning (16 fresh and 1 done)

Merged error: 1.0b

regimes622.0ms

Accuracy

0% (1.6b remaining)

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

bsearch2.0ms

end0.0ms

sample1.7s

Algorithm

intervals

Results

965.0ms	8000×	body	80	valid
554.0ms	8000×	pre	80	true