Details

sample280.0ms

Algorithm

intervals

Results

91.0ms	86×	body	1280	valid
55.0ms	71×	body	640	valid
51.0ms	42×	body	320	valid
42.0ms	254×	body	80	valid
10.0ms	29×	body	160	valid

simplify1.8s

Counts: 1 → 1

prune26.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 16.0b

localize37.0ms

Local error

Found 3 expressions with local error:

6.0b	(- (exp l) (exp (- l)))
0.0b	(* (* J (- (exp l) (exp (- l)))) (cos (/ K 2)))
0.0b	(* J (- (exp l) (exp (- l))))

rewrite157.0ms

Algorithm

rewrite-expression-head

Rules

31×	`add-sqr-sqrt`
29×	`*-un-lft-identity`
27×	`prod-diff`
25×	`add-cube-cbrt`
11×	`distribute-rgt-in` `distribute-lft-in`
10×	`pow1` `add-cbrt-cube` `add-exp-log`
8×	`associate-r`
5×	`add-log-exp`
4×	`associate-l` `pow-prod-down` `prod-exp` `associate-*r/` `cbrt-unprod`
3×	`expm1-log1p-u` `sub-neg` `flip3--` `fma-neg` `insert-posit16` `log1p-expm1-u` `flip--`
2×	`associate-l/` `-commutative` `distribute-lft-out--` `difference-of-squares`
1×	`diff-log` `unswap-sqr`

Counts

3 → 99

Calls

3 calls:

Slowest

71.0ms	(* (* J (- (exp l) (exp (- l)))) (cos (/ K 2)))
63.0ms	(* J (- (exp l) (exp (- l))))
21.0ms	(- (exp l) (exp (- l)))

series279.0ms

Counts

3 → 9

Calls

3 calls:

Slowest

123.0ms	(* (* J (- (exp l) (exp (- l)))) (cos (/ K 2)))
95.0ms	(* J (- (exp l) (exp (- l))))
61.0ms	(- (exp l) (exp (- l)))

simplify1.1s

Counts: 108 → 108

prune1.8s

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize51.0ms

Local error

Found 4 expressions with local error:

0.2b	(* 1/3 (* l l))
0.1b	(* (* J (fma (pow l 5) 1/60 (* l (+ (* 1/3 (* l l)) 2)))) (cos (/ K 2)))
0.0b	(* J (fma (pow l 5) 1/60 (* l (+ (* 1/3 (* l l)) 2))))
0.0b	(fma (pow l 5) 1/60 (* l (+ (* 1/3 (* l l)) 2)))

rewrite68.0ms

Algorithm

rewrite-expression-head

Rules

16×	`pow1` `add-cbrt-cube` `add-exp-log`
11×	`add-sqr-sqrt`
8×	`*-un-lft-identity` `add-cube-cbrt`
7×	`associate-r` `associate-l` `pow-prod-down` `prod-exp` `cbrt-unprod`
4×	`expm1-log1p-u` `insert-posit16` `log1p-expm1-u` `add-log-exp`
3×	`*-commutative` `fma-udef`
2×	`unswap-sqr`
1×	`distribute-rgt-in` `distribute-lft-in`

Counts

4 → 77

Calls

4 calls:

Slowest

32.0ms	(* (* J (fma (pow l 5) 1/60 (* l (+ (* 1/3 (* l l)) 2)))) (cos (/ K 2)))
23.0ms	(* 1/3 (* l l))
11.0ms	(* J (fma (pow l 5) 1/60 (* l (+ (* 1/3 (* l l)) 2))))
0.0ms	(fma (pow l 5) 1/60 (* l (+ (* 1/3 (* l l)) 2)))

series548.0ms

Counts

4 → 12

Calls

4 calls:

Slowest

237.0ms	(* (* J (fma (pow l 5) 1/60 (* l (+ (* 1/3 (* l l)) 2)))) (cos (/ K 2)))
185.0ms	(* J (fma (pow l 5) 1/60 (* l (+ (* 1/3 (* l l)) 2))))
74.0ms	(fma (pow l 5) 1/60 (* l (+ (* 1/3 (* l l)) 2)))
52.0ms	(* 1/3 (* l l))

simplify1.8s

Counts: 89 → 89

prune1.9s

Pruning

6 alts after pruning (6 fresh and 0 done)

Merged error: 0.0b

localize59.0ms

Local error

Found 4 expressions with local error:

3.6b	(* J (* (pow l 5) 1/60))
0.3b	(* 1/3 l)
0.1b	(* (+ (* J (* (pow l 5) 1/60)) (* (* J l) (fma (* 1/3 l) l 2))) (cos (/ K 2)))
0.1b	(* (pow l 5) 1/60)

rewrite116.0ms

Algorithm

rewrite-expression-head

Rules

23×	`add-exp-log`
21×	`add-sqr-sqrt`
16×	`associate-l`
15×	`add-cbrt-cube`
12×	`*-un-lft-identity` `prod-exp` `add-cube-cbrt`
10×	`pow1` `associate-r`
6×	`cbrt-unprod`
5×	`unswap-sqr`
4×	`expm1-log1p-u` `unpow-prod-down` `*-commutative` `insert-posit16` `log1p-expm1-u` `add-log-exp`
3×	`pow-prod-down`
2×	`pow-to-exp` `associate-*l/` `pow-exp` `sqr-pow`
1×	`flip3-+` `flip-+`

Counts

4 → 94

Calls

4 calls:

Slowest

75.0ms	(* (+ (* J (* (pow l 5) 1/60)) (* (* J l) (fma (* 1/3 l) l 2))) (cos (/ K 2)))
17.0ms	(* (pow l 5) 1/60)
16.0ms	(* J (* (pow l 5) 1/60))
5.0ms	(* 1/3 l)

series462.0ms

Counts

4 → 12

Calls

4 calls:

Slowest

225.0ms	(* (+ (* J (* (pow l 5) 1/60)) (* (* J l) (fma (* 1/3 l) l 2))) (cos (/ K 2)))
132.0ms	(* J (* (pow l 5) 1/60))
77.0ms	(* (pow l 5) 1/60)
27.0ms	(* 1/3 l)

simplify3.3s

Counts: 106 → 106

prune2.1s

Pruning

5 alts after pruning (4 fresh and 1 done)

Merged error: 0.0b

localize65.0ms

Local error

Found 4 expressions with local error:

0.3b	(* 1/3 l)
0.1b	(* (cos (/ K 2)) J)
0.1b	(* (* (cos (/ K 2)) J) (fma l (fma (* 1/3 l) l 2) (* (pow l 5) 1/60)))
0.1b	(* (pow l 5) 1/60)

rewrite61.0ms

Algorithm

rewrite-expression-head

Rules

21×	`add-sqr-sqrt`
18×	`add-exp-log`
15×	`add-cbrt-cube`
14×	`associate-l`
13×	`pow1`
12×	`-un-lft-identity` `associate-r*` `add-cube-cbrt`
8×	`prod-exp`
6×	`cbrt-unprod`
5×	`pow-prod-down` `unswap-sqr`
4×	`expm1-log1p-u` `unpow-prod-down` `*-commutative` `insert-posit16` `log1p-expm1-u` `add-log-exp`
2×	`fma-udef` `sqr-pow`
1×	`distribute-rgt-in` `pow-to-exp` `distribute-lft-in` `pow-exp`

Counts

4 → 93

Calls

4 calls:

Slowest

27.0ms	(* (* (cos (/ K 2)) J) (fma l (fma (* 1/3 l) l 2) (* (pow l 5) 1/60)))
14.0ms	(* (cos (/ K 2)) J)
11.0ms	(* 1/3 l)
8.0ms	(* (pow l 5) 1/60)

series560.0ms

Counts

4 → 12

Calls

4 calls:

Slowest

350.0ms	(* (* (cos (/ K 2)) J) (fma l (fma (* 1/3 l) l 2) (* (pow l 5) 1/60)))
108.0ms	(* (pow l 5) 1/60)
76.0ms	(* (cos (/ K 2)) J)
27.0ms	(* 1/3 l)

simplify2.0s

Counts: 105 → 105

prune2.4s

Pruning

5 alts after pruning (3 fresh and 2 done)

Merged error: 0b

regimes682.0ms

Accuracy

0% (0.0b remaining)

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

bsearch3.0ms

end0.0ms

sample10.8s

Algorithm

intervals

Results

4.1s	2765×	body	1280	valid
2.2s	2508×	body	640	valid
2.2s	8496×	body	80	valid
1.4s	1450×	body	320	valid
307.0ms	765×	body	160	valid