Details

sample46.0ms

Algorithm

intervals

Results

17.0ms	256×	pre	80	true
16.0ms	256×	body	80	valid

simplify321.0ms

Counts

1 → 1

Calls

1 calls:

Slowest

321.0ms

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

prune6.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 3.9b

localize15.0ms

Local error

Found 2 expressions with local error:

3.0b	(+ a (+ b (+ c d)))
0.5b	(+ b (+ c d))

rewrite61.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`

Counts

2 → 44

Calls

2 calls:

Slowest

38.0ms	(+ a (+ b (+ c d)))
22.0ms	(+ b (+ c d))

series85.0ms

Counts

2 → 6

Calls

2 calls:

Slowest

55.0ms	(+ a (+ b (+ c d)))
30.0ms	(+ b (+ c d))

simplify916.0ms

Counts

21 → 50

Calls

21 calls:

Slowest

183.0ms	(* (exp a) (* (exp b) (exp (+ c d))))
176.0ms	(* (exp a) (* (exp b) (* (exp c) (exp d))))
151.0ms	(* (exp a) (exp (+ b (+ c d))))
56.0ms	(* (exp b) (* (exp c) (exp d)))
54.0ms	(+ a (+ b (+ c d)))

prune526.0ms

Pruning

10 alts after pruning (10 fresh and 0 done)

Merged error: 2.5b

localize15.0ms

Local error

Found 1 expressions with local error:

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

rewrite60.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`

Counts

1 → 23

Calls

1 calls:

Slowest

60.0ms

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

series57.0ms

Counts

1 → 3

Calls

1 calls:

Slowest

57.0ms

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

simplify800.0ms

Counts

11 → 26

Calls

11 calls:

Slowest

203.0ms	(* (exp a) (* (* (exp b) (exp c)) (exp d)))
198.0ms	(* (exp a) (exp (+ (+ b c) d)))
174.0ms	(* (exp a) (* (exp (+ b c)) (exp d)))
51.0ms	(+ a (+ (+ b c) d))
49.0ms	(+ a (+ (+ b c) d))

prune245.0ms

Pruning

11 alts after pruning (11 fresh and 0 done)

Merged error: 1.6b

localize18.0ms

Local error

Found 1 expressions with local error:

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

rewrite115.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`

Counts

1 → 25

Calls

1 calls:

Slowest

114.0ms

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

series32.0ms

Counts

1 → 3

Calls

1 calls:

Slowest

32.0ms

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

simplify838.0ms

Counts

11 → 28

Calls

11 calls:

Slowest

176.0ms	(* (* (exp a) (* (exp b) (exp c))) (exp d))
171.0ms	(* (exp (+ a (+ b c))) (exp d))
146.0ms	(* (* (exp a) (exp (+ b c))) (exp d))
81.0ms	(+ (+ a (+ b c)) d)
66.0ms	(+ (+ a (+ b c)) d)

prune312.0ms

Pruning

12 alts after pruning (11 fresh and 1 done)

Merged error: 1.4b

localize32.0ms

Local error

Found 4 expressions with local error:

3.0b	(+ (+ a (+ b c)) d)
3.0b	(+ (+ a (+ b c)) d)
3.0b	(+ (+ a (+ b c)) d)
0.6b	(cbrt (+ (+ a (+ b c)) d))

rewrite361.0ms

Algorithm

rewrite-expression-head

Rules

59×	`*-un-lft-identity`
33×	`distribute-lft-out`
31×	`add-log-exp`
18×	`sum-log`
15×	`fma-def`
8×	`add-sqr-sqrt` `add-cube-cbrt`
6×	`cbrt-prod`
4×	`expm1-log1p-u` `pow1` `flip3-+` `add-cbrt-cube` `add-exp-log` `flip-+` `insert-posit16` `log1p-expm1-u`
3×	`+-commutative` `associate-+l+`
2×	`cbrt-div`
1×	`pow1/3`

Counts

4 → 94

Calls

4 calls:

Slowest

115.0ms	(+ (+ a (+ b c)) d)
108.0ms	(+ (+ a (+ b c)) d)
102.0ms	(+ (+ a (+ b c)) d)
34.0ms	(cbrt (+ (+ a (+ b c)) d))

series443.0ms

Counts

4 → 12

Calls

4 calls:

Slowest

322.0ms	(cbrt (+ (+ a (+ b c)) d))
52.0ms	(+ (+ a (+ b c)) d)
35.0ms	(+ (+ a (+ b c)) d)
34.0ms	(+ (+ a (+ b c)) d)

simplify3.0s

Counts

44 → 106

Calls

44 calls:

Slowest

265.0ms	(+ (* 1/3 (* b (pow (/ 1 (pow d 2)) 1/3))) (+ (* 1/3 (* a (pow (/ 1 (pow d 2)) 1/3))) (pow d 1/3)))
205.0ms	(* (* (exp a) (* (exp b) (exp c))) (exp d))
204.0ms	(* (* (exp a) (exp (+ b c))) (exp d))
173.0ms	(* (pow (* a -1) 1/3) (cbrt -1))
169.0ms	(* (* (exp a) (* (exp b) (exp c))) (exp d))

prune1.3s

Pruning

21 alts after pruning (20 fresh and 1 done)

Merged error: 1.2b

regimes1.1s

Accuracy

0% (1.7b remaining)

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

bsearch4.0ms

end0.0ms

sample1.4s

Algorithm

intervals

Results

623.0ms	8000×	body	80	valid
549.0ms	8000×	pre	80	true