Details

sample304.0ms

Algorithm

intervals

Results

134.0ms	92×	body	1280	valid
62.0ms	72×	body	640	valid
47.0ms	279×	body	80	valid
27.0ms	51×	body	320	valid
9.0ms	27×	body	160	valid

simplify230.0ms

Calls

1 calls:

Slowest

230.0ms

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

prune24.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 20.4b

localize26.0ms

Local error

Found 2 expressions with local error:

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

rewrite30.0ms

Algorithm

rewrite-expression-head

Rules

5×	`add-sqr-sqrt` `*-un-lft-identity`
4×	`pow1` `add-cbrt-cube` `add-exp-log` `add-log-exp`
3×	`associate-r` `add-cube-cbrt`
2×	`flip3--` `associate-l/` `associate-r/` `insert-posit16` `flip--`
1×	`sub-neg` `diff-log` `associate-l` `pow-prod-down` `prod-exp` `*-commutative` `cbrt-unprod` `distribute-lft-out--` `difference-of-squares`

Calls

2 calls:

Slowest

20.0ms	(* (* J (- (exp l) (exp (- l)))) (cos (/ K 2)))
10.0ms	(- (exp l) (exp (- l)))

series168.0ms

Calls

2 calls:

Slowest

121.0ms	(* (* J (- (exp l) (exp (- l)))) (cos (/ K 2)))
47.0ms	(- (exp l) (exp (- l)))

simplify1.9s

Calls

18 calls:

Slowest

602.0ms	(* (* J (- (* (exp l) (exp l)) (* (exp (- l)) (exp (- l))))) (cos (/ K 2)))
193.0ms	(* (* J (- (exp l) (exp (- l)))) (cos (/ K 2)))
189.0ms	(* (cos (* 1/2 K)) (* J (- (exp l) (exp (* -1 l)))))
179.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))))
178.0ms	(* (* J (- (pow (exp l) 3) (pow (exp (- l)) 3))) (cos (/ K 2)))

prune473.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize50.0ms

Local error

Found 4 expressions with local error:

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

rewrite28.0ms

Algorithm

rewrite-expression-head

Rules

6×	`add-sqr-sqrt` `pow1` `*-un-lft-identity` `add-cbrt-cube` `add-exp-log` `add-cube-cbrt`
4×	`associate-r` `associate-l` `*-commutative` `insert-posit16` `add-log-exp`
2×	`associate-l/` `associate-r/`
1×	`flip3-+` `pow-prod-down` `prod-exp` `cbrt-unprod` `flip-+`

Calls

4 calls:

Slowest

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

series186.0ms

Calls

4 calls:

Slowest

142.0ms	(* (* J (+ (* (pow l 5) 1/60) (* l (+ (* l (* 1/3 l)) 2)))) (cos (/ K 2)))
19.0ms	(* (pow l 5) 1/60)
13.0ms	(* l (* 1/3 l))
11.0ms	(* 1/3 l)

simplify2.0s

Calls

22 calls:

Slowest

450.0ms	(* (* (* (* J (+ (* (pow l 5) 1/60) (* l (+ (* l (* 1/3 l)) 2)))) (* J (+ (* (pow l 5) 1/60) (* l (+ (* l (* 1/3 l)) 2))))) (* J (+ (* (pow l 5) 1/60) (* l (+ (* l (* 1/3 l)) 2))))) (* (* (cos (/ K 2)) (cos (/ K 2))) (cos (/ K 2))))
296.0ms	(* (* J (+ (* (pow l 5) 1/60) (* l (+ (* l (* 1/3 l)) 2)))) (cos (/ K 2)))
268.0ms	(* (* J (+ (pow (* (pow l 5) 1/60) 3) (pow (* l (+ (* l (* 1/3 l)) 2)) 3))) (cos (/ K 2)))
261.0ms	(+ (log (* J (+ (* (pow l 5) 1/60) (* l (+ (* l (* 1/3 l)) 2))))) (log (cos (/ K 2))))
217.0ms	(+ (* 1/60 (* (cos (* 1/2 K)) (* J (pow l 5)))) (* 1/3 (* (cos (* 1/2 K)) (* J (pow l 3)))))

prune985.0ms

Pruning

5 alts after pruning (4 fresh and 1 done)

Merged error: 0b

localize14.0ms

Local error

Found 4 expressions with local error:

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

rewrite27.0ms

Algorithm

rewrite-expression-head

Rules

6×	`add-sqr-sqrt` `pow1` `*-un-lft-identity` `add-cbrt-cube` `add-exp-log` `add-cube-cbrt`
5×	`associate-r`
4×	`associate-l/` `-commutative` `insert-posit16` `add-log-exp`
3×	`associate-l`
2×	`flip3-+` `associate-*r/` `flip-+`
1×	`pow-prod-down` `prod-exp` `cbrt-unprod`

Calls

4 calls:

Slowest

13.0ms	(* J (* (+ (* (pow l 5) 1/60) (* l (+ (* l (* 1/3 l)) 2))) (cos (/ K 2))))
11.0ms	(* (+ (* (pow l 5) 1/60) (* l (+ (* l (* 1/3 l)) 2))) (cos (/ K 2)))
2.0ms	(* l (* 1/3 l))
0.0ms	(* 1/3 l)

series254.0ms

Calls

4 calls:

Slowest

132.0ms	(* J (* (+ (* (pow l 5) 1/60) (* l (+ (* l (* 1/3 l)) 2))) (cos (/ K 2))))
86.0ms	(* (+ (* (pow l 5) 1/60) (* l (+ (* l (* 1/3 l)) 2))) (cos (/ K 2)))
19.0ms	(* l (* 1/3 l))
16.0ms	(* 1/3 l)

simplify2.8s

Calls

25 calls:

Slowest

468.0ms	(- (+ (* 1/3 (pow l 3)) (* 2 l)) (* 1/4 (* (pow K 2) l)))
429.0ms	(* (* (* (+ (* (pow l 5) 1/60) (* l (+ (* l (* 1/3 l)) 2))) (+ (* (pow l 5) 1/60) (* l (+ (* l (* 1/3 l)) 2)))) (+ (* (pow l 5) 1/60) (* l (+ (* l (* 1/3 l)) 2)))) (* (* (cos (/ K 2)) (cos (/ K 2))) (cos (/ K 2))))
215.0ms	(* (+ (* (pow l 5) 1/60) (* l (+ (* l (* 1/3 l)) 2))) (cos (/ K 2)))
186.0ms	(+ (* (* (pow l 5) 1/60) (* (pow l 5) 1/60)) (- (* (* l (+ (* l (* 1/3 l)) 2)) (* l (+ (* l (* 1/3 l)) 2))) (* (* (pow l 5) 1/60) (* l (+ (* l (* 1/3 l)) 2)))))
184.0ms	(+ (* 1/3 (* (cos (* 1/2 K)) (pow l 3))) (* 1/60 (* (cos (* 1/2 K)) (pow l 5))))

prune1.0s

Pruning

5 alts after pruning (3 fresh and 2 done)

Merged error: 0b

localize51.0ms

Local error

Found 4 expressions with local error:

11.8b	(/ (* J (* (- (* (* (pow l 5) 1/60) (* (pow l 5) 1/60)) (* (* l (+ (* l (* 1/3 l)) 2)) (* l (+ (* l (* 1/3 l)) 2)))) (cos (/ K 2)))) (- (* (pow l 5) 1/60) (* l (+ (* l (* 1/3 l)) 2))))
8.5b	(* J (* (- (* (* (pow l 5) 1/60) (* (pow l 5) 1/60)) (* (* l (+ (* l (* 1/3 l)) 2)) (* l (+ (* l (* 1/3 l)) 2)))) (cos (/ K 2))))
0.4b	(* 1/3 l)
0.4b	(* 1/3 l)

rewrite180.0ms

Algorithm

rewrite-expression-head

Rules

6×	`add-sqr-sqrt` `*-un-lft-identity` `add-cbrt-cube` `add-exp-log` `add-cube-cbrt`
4×	`pow1` `associate-l/` `associate-r/` `insert-posit16` `add-log-exp`
3×	`associate-/r` `times-frac` `flip3--` `-commutative` `flip--`
2×	`associate-/r/` `associate-/l/`
1×	`cbrt-undiv` `clear-num` `frac-2neg` `div-exp` `associate-r` `div-inv` `associate-/l*`

Calls

4 calls:

Slowest

92.0ms	(* J (* (- (* (* (pow l 5) 1/60) (* (pow l 5) 1/60)) (* (* l (+ (* l (* 1/3 l)) 2)) (* l (+ (* l (* 1/3 l)) 2)))) (cos (/ K 2))))
86.0ms	(/ (* J (* (- (* (* (pow l 5) 1/60) (* (pow l 5) 1/60)) (* (* l (+ (* l (* 1/3 l)) 2)) (* l (+ (* l (* 1/3 l)) 2)))) (cos (/ K 2)))) (- (* (pow l 5) 1/60) (* l (+ (* l (* 1/3 l)) 2))))
0.0ms	(* 1/3 l)
0.0ms	(* 1/3 l)

series519.0ms

Calls

4 calls:

Slowest

310.0ms	(/ (* J (* (- (* (* (pow l 5) 1/60) (* (pow l 5) 1/60)) (* (* l (+ (* l (* 1/3 l)) 2)) (* l (+ (* l (* 1/3 l)) 2)))) (cos (/ K 2)))) (- (* (pow l 5) 1/60) (* l (+ (* l (* 1/3 l)) 2))))
187.0ms	(* J (* (- (* (* (pow l 5) 1/60) (* (pow l 5) 1/60)) (* (* l (+ (* l (* 1/3 l)) 2)) (* l (+ (* l (* 1/3 l)) 2)))) (cos (/ K 2))))
11.0ms	(* 1/3 l)
11.0ms	(* 1/3 l)

simplify6.1s

Calls

30 calls:

Slowest

1.4s	(/ (* (* (* J (* (- (* (* (pow l 5) 1/60) (* (pow l 5) 1/60)) (* (* l (+ (* l (* 1/3 l)) 2)) (* l (+ (* l (* 1/3 l)) 2)))) (cos (/ K 2)))) (* J (* (- (* (* (pow l 5) 1/60) (* (pow l 5) 1/60)) (* (* l (+ (* l (* 1/3 l)) 2)) (* l (+ (* l (* 1/3 l)) 2)))) (cos (/ K 2))))) (* J (* (- (* (* (pow l 5) 1/60) (* (pow l 5) 1/60)) (* (* l (+ (* l (* 1/3 l)) 2)) (* l (+ (* l (* 1/3 l)) 2)))) (cos (/ K 2))))) (* (* (- (* (pow l 5) 1/60) (* l (+ (* l (* 1/3 l)) 2))) (- (* (pow l 5) 1/60) (* l (+ (* l (* 1/3 l)) 2)))) (- (* (pow l 5) 1/60) (* l (+ (* l (* 1/3 l)) 2)))))
568.0ms	(+ (* (* (* (pow l 5) 1/60) (* (pow l 5) 1/60)) (* (* (pow l 5) 1/60) (* (pow l 5) 1/60))) (+ (* (* (* l (+ (* l (* 1/3 l)) 2)) (* l (+ (* l (* 1/3 l)) 2))) (* (* l (+ (* l (* 1/3 l)) 2)) (* l (+ (* l (* 1/3 l)) 2)))) (* (* (* (pow l 5) 1/60) (* (pow l 5) 1/60)) (* (* l (+ (* l (* 1/3 l)) 2)) (* l (+ (* l (* 1/3 l)) 2))))))
414.0ms	(* J (* (- (* (* (* (pow l 5) 1/60) (* (pow l 5) 1/60)) (* (* (pow l 5) 1/60) (* (pow l 5) 1/60))) (* (* (* l (+ (* l (* 1/3 l)) 2)) (* l (+ (* l (* 1/3 l)) 2))) (* (* l (+ (* l (* 1/3 l)) 2)) (* l (+ (* l (* 1/3 l)) 2))))) (cos (/ K 2))))
385.0ms	(+ (* (* (pow l 5) 1/60) (* (pow l 5) 1/60)) (* (* l (+ (* l (* 1/3 l)) 2)) (* l (+ (* l (* 1/3 l)) 2))))
373.0ms	(* J (* (- (pow (* (* (pow l 5) 1/60) (* (pow l 5) 1/60)) 3) (pow (* (* l (+ (* l (* 1/3 l)) 2)) (* l (+ (* l (* 1/3 l)) 2))) 3)) (cos (/ K 2))))

prune1.2s

Pruning

5 alts after pruning (2 fresh and 3 done)

Merged error: 0b

regimes403.0ms

Accuracy

0% (0.0b remaining)

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

bsearch7.0ms

end0.0ms

sample10.0s

Algorithm

intervals

Results

4.2s	2649×	body	1280	valid
2.5s	2577×	body	640	valid
1.6s	8670×	body	80	valid
837.0ms	1396×	body	320	valid
348.0ms	783×	body	160	valid