Details

sample234.0ms

Algorithm

intervals

Results

75.0ms	80×	body	1280	valid
55.0ms	84×	body	640	valid
55.0ms	251×	body	80	valid
19.0ms	47×	body	320	valid
11.0ms	34×	body	160	valid

simplify326.0ms

Calls

1 calls:

Slowest

326.0ms

(+ (* (* J (- (exp l) (exp (- l)))) (cos (/ K 2))) U)

prune24.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 19.8b

localize35.0ms

Local error

Found 3 expressions with local error:

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

rewrite344.0ms

Algorithm

rewrite-expression-head

Rules

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

Calls

3 calls:

Slowest

268.0ms	(* (* J (- (exp l) (exp (- l)))) (cos (/ K 2)))
50.0ms	(* J (- (exp l) (exp (- l))))
23.0ms	(- (exp l) (exp (- l)))

series267.0ms

Calls

3 calls:

Slowest

135.0ms	(* (* J (- (exp l) (exp (- l)))) (cos (/ K 2)))
70.0ms	(* J (- (exp l) (exp (- l))))
62.0ms	(- (exp l) (exp (- l)))

simplify9.5s

Calls

95 calls:

Slowest

629.0ms	(* (* (* J J) J) (* (* (- (exp l) (exp (- l))) (- (exp l) (exp (- l)))) (- (exp l) (exp (- l)))))
327.0ms	(* J (- (exp l) (exp (* -1 l))))
316.0ms	(+ (* 2 l) (+ (* 1/3 (pow l 3)) (* 1/60 (pow l 5))))
311.0ms	(* (* J (- (pow (exp l) 3) (pow (exp (- l)) 3))) (cos (/ K 2)))
266.0ms	(* (* (* (* J (- (exp l) (exp (- l)))) (* J (- (exp l) (exp (- l))))) (* J (- (exp l) (exp (- l))))) (* (* (cos (/ K 2)) (cos (/ K 2))) (cos (/ K 2))))

prune1.8s

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.1b

localize35.0ms

Local error

Found 4 expressions with local error:

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

rewrite155.0ms

Algorithm

rewrite-expression-head

Rules

39×	`associate-l`
35×	`add-sqr-sqrt`
23×	`*-un-lft-identity`
22×	`fma-def`
18×	`associate-r`
17×	`add-cube-cbrt`
13×	`pow1` `add-cbrt-cube` `add-exp-log`
10×	`unswap-sqr`
6×	`*-commutative` `add-log-exp`
5×	`pow-prod-down` `prod-exp` `cbrt-unprod`
4×	`expm1-log1p-u` `fma-udef` `insert-posit16` `log1p-expm1-u`
3×	`distribute-lft-out`
2×	`distribute-rgt-in` `distribute-lft-in`
1×	`+-commutative` `sum-log` `flip3-+` `flip-+`

Calls

4 calls:

Slowest

88.0ms	(+ (* (* J (fma 1/60 (pow l 5) (* l (fma 1/3 (* l l) 2)))) (cos (/ K 2))) U)
47.0ms	(* (* J (fma 1/60 (pow l 5) (* l (fma 1/3 (* l l) 2)))) (cos (/ K 2)))
12.0ms	(* J (fma 1/60 (pow l 5) (* l (fma 1/3 (* l l) 2))))
6.0ms	(* l (fma 1/3 (* l l) 2))

series913.0ms

Calls

4 calls:

Slowest

328.0ms	(+ (* (* J (fma 1/60 (pow l 5) (* l (fma 1/3 (* l l) 2)))) (cos (/ K 2))) U)
245.0ms	(* (* J (fma 1/60 (pow l 5) (* l (fma 1/3 (* l l) 2)))) (cos (/ K 2)))
201.0ms	(* J (fma 1/60 (pow l 5) (* l (fma 1/3 (* l l) 2))))
138.0ms	(* l (fma 1/3 (* l l) 2))

simplify17.3s

Calls

80 calls:

Slowest

877.0ms	(* (* (* l l) l) (* (* (fma 1/3 (* l l) 2) (fma 1/3 (* l l) 2)) (fma 1/3 (* l l) 2)))
853.0ms	(* J (* (cbrt (fma 1/60 (pow l 5) (* l (fma 1/3 (* l l) 2)))) (cbrt (fma 1/60 (pow l 5) (* l (fma 1/3 (* l l) 2))))))
505.0ms	(* (sqrt J) (sqrt (fma 1/60 (pow l 5) (* l (fma 1/3 (* l l) 2)))))
493.0ms	(fma 1/60 (pow l 5) (* l (fma 1/3 (* l l) 2)))
488.0ms	(fma 1/60 (pow l 5) (* l (fma 1/3 (* l l) 2)))

prune2.2s

Pruning

6 alts after pruning (6 fresh and 0 done)

Merged error: 0.0b

localize7.0ms

Local error

Found 4 expressions with local error:

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

rewrite33.0ms

Algorithm

rewrite-expression-head

Rules

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

Calls

4 calls:

Slowest

19.0ms	(* (fma 1/60 (pow l 5) (* l (fma 1/3 (* l l) 2))) (cos (/ K 2)))
13.0ms	(* l (fma 1/3 (* l l) 2))
0.0ms	(fma 1/60 (pow l 5) (* l (fma 1/3 (* l l) 2)))
0.0ms	(fma J (* (fma 1/60 (pow l 5) (* l (fma 1/3 (* l l) 2))) (cos (/ K 2))) U)

series607.0ms

Calls

4 calls:

Slowest

302.0ms	(fma J (* (fma 1/60 (pow l 5) (* l (fma 1/3 (* l l) 2))) (cos (/ K 2))) U)
119.0ms	(* (fma 1/60 (pow l 5) (* l (fma 1/3 (* l l) 2))) (cos (/ K 2)))
103.0ms	(* l (fma 1/3 (* l l) 2))
83.0ms	(fma 1/60 (pow l 5) (* l (fma 1/3 (* l l) 2)))

simplify7.2s

Calls

34 calls:

Slowest

863.0ms	(* (* (* (fma 1/60 (pow l 5) (* l (fma 1/3 (* l l) 2))) (fma 1/60 (pow l 5) (* l (fma 1/3 (* l l) 2)))) (fma 1/60 (pow l 5) (* l (fma 1/3 (* l l) 2)))) (* (* (cos (/ K 2)) (cos (/ K 2))) (cos (/ K 2))))
832.0ms	(* (* (* l l) l) (* (* (fma 1/3 (* l l) 2) (fma 1/3 (* l l) 2)) (fma 1/3 (* l l) 2)))
494.0ms	(+ (log (fma 1/60 (pow l 5) (* l (fma 1/3 (* l l) 2)))) (log (cos (/ K 2))))
494.0ms	(* (sqrt (fma 1/60 (pow l 5) (* l (fma 1/3 (* l l) 2)))) (sqrt (cos (/ K 2))))
470.0ms	(* (cbrt (fma 1/60 (pow l 5) (* l (fma 1/3 (* l l) 2)))) (cbrt (fma 1/60 (pow l 5) (* l (fma 1/3 (* l l) 2)))))

prune1.3s

Pruning

7 alts after pruning (6 fresh and 1 done)

Merged error: 0.0b

localize24.0ms

Local error

Found 4 expressions with local error:

0.6b	(cbrt J)
0.6b	(cbrt J)
0.6b	(cbrt J)
0.5b	(* (cbrt J) (cbrt J))

rewrite12.0ms

Algorithm

rewrite-expression-head

Rules

25×	`cbrt-prod`
23×	`add-sqr-sqrt`
15×	`*-un-lft-identity` `add-cube-cbrt`
11×	`pow1`
9×	`pow1/3`
8×	`add-cbrt-cube`
6×	`swap-sqr` `associate-r` `associate-l` `add-exp-log`
4×	`expm1-log1p-u` `cbrt-unprod` `insert-posit16` `log1p-expm1-u` `add-log-exp` `unswap-sqr`
2×	`pow-prod-down` `pow-sqr` `pow-prod-up`
1×	`pow2` `pow-plus` `prod-exp` `*-commutative`

Calls

4 calls:

Slowest

9.0ms	(* (cbrt J) (cbrt J))
1.0ms	(cbrt J)
1.0ms	(cbrt J)
1.0ms	(cbrt J)

series1.2s

Calls

4 calls:

Slowest

331.0ms	(* (cbrt J) (cbrt J))
293.0ms	(cbrt J)
285.0ms	(cbrt J)
254.0ms	(cbrt J)

simplify1.1s

Calls

66 calls:

Slowest

150.0ms	(* (pow (* J -1) 1/3) (cbrt -1))
136.0ms	(* (pow (* J -1) 1/3) (cbrt -1))
124.0ms	(* (pow (* J -1) 1/3) (cbrt -1))
105.0ms	(* (pow (pow J 2) 1/3) (pow (cbrt -1) 2))
94.0ms	(* (* (cbrt (cbrt J)) (cbrt (cbrt J))) (* (cbrt (cbrt J)) (cbrt (cbrt J))))

prune1.9s

Pruning

7 alts after pruning (5 fresh and 2 done)

Merged error: 0b

regimes599.0ms

Accuracy

0% (0.3b remaining)

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

bsearch5.0ms

end0.0ms

sample10.5s

Algorithm

intervals

Results

3.9s	2639×	body	1280	valid
2.9s	2561×	body	640	valid
1.7s	8424×	body	80	valid
1.4s	1480×	body	320	valid
248.0ms	744×	body	160	valid