Details

sample229.0ms

Algorithm

intervals

Results

123.0ms	474×	body	80	nan
59.0ms	297×	body	80	valid

simplify1.0s

Counts: 1 → 1

prune19.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 26.8b

localize40.0ms

Local error

Found 4 expressions with local error:

18.4b	(sqrt (* (* U 2) (* n (- t (* (/ l Om) (- (* 2 l) (* (* (- n) (- U U*)) (/ l Om))))))))
11.5b	(* (* (- n) (- U U*)) (/ l Om))
7.4b	(* (* U 2) (* n (- t (* (/ l Om) (- (* 2 l) (* (* (- n) (- U U*)) (/ l Om)))))))
3.4b	(* n (- t (* (/ l Om) (- (* 2 l) (* (* (- n) (- U U*)) (/ l Om))))))

rewrite110.0ms

Algorithm

rewrite-expression-head

Rules

36×	`pow1`
30×	`add-cbrt-cube` `add-exp-log`
20×	`pow-prod-down`
17×	`associate-r`
15×	`add-sqr-sqrt` `prod-exp` `associate-*r/` `cbrt-unprod`
13×	`*-un-lft-identity` `add-cube-cbrt`
10×	`distribute-rgt-in` `distribute-lft-in`
9×	`times-frac`
6×	`sub-neg`
5×	`sqrt-pow1` `flip3--` `associate-l` `flip--`
4×	`insert-posit16` `add-log-exp`
3×	`*-commutative`
2×	`distribute-lft-neg-out` `frac-times` `cbrt-undiv` `sqrt-div` `div-exp` `associate-*l/`
1×	`pow1/2` `sqrt-prod` `div-inv` `unswap-sqr`

Counts

4 → 114

Calls

4 calls:

Slowest

41.0ms	(* (* U 2) (* n (- t (* (/ l Om) (- (* 2 l) (* (* (- n) (- U U*)) (/ l Om)))))))
27.0ms	(* (* (- n) (- U U*)) (/ l Om))
20.0ms	(sqrt (* (* U 2) (* n (- t (* (/ l Om) (- (* 2 l) (* (* (- n) (- U U*)) (/ l Om))))))))
19.0ms	(* n (- t (* (/ l Om) (- (* 2 l) (* (* (- n) (- U U*)) (/ l Om))))))

series2.8s

Counts

4 → 12

Calls

4 calls:

Slowest

1.8s	(sqrt (* (* U 2) (* n (- t (* (/ l Om) (- (* 2 l) (* (* (- n) (- U U*)) (/ l Om))))))))
514.0ms	(* (* U 2) (* n (- t (* (/ l Om) (- (* 2 l) (* (* (- n) (- U U*)) (/ l Om)))))))
413.0ms	(* n (- t (* (/ l Om) (- (* 2 l) (* (* (- n) (- U U*)) (/ l Om))))))
115.0ms	(* (* (- n) (- U U*)) (/ l Om))

simplify970.0ms

Counts: 126 → 126

prune2.1s

Pruning

13 alts after pruning (13 fresh and 0 done)

Merged error: 21.7b

localize46.0ms

Local error

Found 4 expressions with local error:

18.4b	(sqrt (* (* U 2) (+ (* t n) (* (- n) (* (- (* l 2) (* (* (- n) (/ l Om)) (- U U*))) (/ l Om))))))
7.4b	(* (* U 2) (+ (* t n) (* (- n) (* (- (* l 2) (* (* (- n) (/ l Om)) (- U U*))) (/ l Om)))))
5.7b	(* (* (- n) (/ l Om)) (- U U*))
5.7b	(* (- n) (* (- (* l 2) (* (* (- n) (/ l Om)) (- U U*))) (/ l Om)))

rewrite152.0ms

Algorithm

rewrite-expression-head

Rules

27×	`add-cbrt-cube` `add-exp-log`
25×	`pow1`
15×	`associate-*r/`
13×	`prod-exp` `cbrt-unprod`
12×	`associate-l` `pow-prod-down`
11×	`add-sqr-sqrt` `*-un-lft-identity`
9×	`associate-r` `add-cube-cbrt`
4×	`frac-times` `flip3--` `insert-posit16` `flip--` `add-log-exp`
3×	`distribute-lft-neg-out` `distribute-lft-neg-in` `distribute-rgt-in` `distribute-rgt-neg-in` `distribute-lft-in` `sqrt-pow1` `associate-l/` `-commutative`
2×	`cbrt-undiv` `sub-neg` `flip3-+` `sqrt-div` `div-exp` `flip-+`
1×	`neg-mul-1` `pow1/2` `sqrt-prod` `distribute-lft-out--` `difference-of-squares`

Counts

4 → 105

Calls

4 calls:

Slowest

57.0ms	(* (- n) (* (- (* l 2) (* (* (- n) (/ l Om)) (- U U*))) (/ l Om)))
47.0ms	(* (* (- n) (/ l Om)) (- U U*))
32.0ms	(* (* U 2) (+ (* t n) (* (- n) (* (- (* l 2) (* (* (- n) (/ l Om)) (- U U*))) (/ l Om)))))
14.0ms	(sqrt (* (* U 2) (+ (* t n) (* (- n) (* (- (* l 2) (* (* (- n) (/ l Om)) (- U U*))) (/ l Om))))))

series4.4s

Counts

4 → 12

Calls

4 calls:

Slowest

3.4s	(sqrt (* (* U 2) (+ (* t n) (* (- n) (* (- (* l 2) (* (* (- n) (/ l Om)) (- U U*))) (/ l Om))))))
607.0ms	(* (* U 2) (+ (* t n) (* (- n) (* (- (* l 2) (* (* (- n) (/ l Om)) (- U U*))) (/ l Om)))))
230.0ms	(* (- n) (* (- (* l 2) (* (* (- n) (/ l Om)) (- U U*))) (/ l Om)))
142.0ms	(* (* (- n) (/ l Om)) (- U U*))

simplify1.6s

Counts: 117 → 117

prune2.1s

Pruning

13 alts after pruning (13 fresh and 0 done)

Merged error: 17.9b

localize55.0ms

Local error

Found 4 expressions with local error:

18.4b	(sqrt (* (* U 2) (+ (* t n) (* (* (- n) (- (* l 2) (* (* (- n) (/ l Om)) (- U U*)))) (/ l Om)))))
7.4b	(* (* U 2) (+ (* t n) (* (* (- n) (- (* l 2) (* (* (- n) (/ l Om)) (- U U*)))) (/ l Om))))
5.7b	(* (* (- n) (/ l Om)) (- U U*))
5.2b	(* (- n) (/ l Om))

rewrite118.0ms

Algorithm

rewrite-expression-head

Rules

23×	`add-sqr-sqrt` `add-cbrt-cube` `add-exp-log`
22×	`pow1`
21×	`associate-r`
18×	`*-un-lft-identity`
16×	`add-cube-cbrt`
12×	`associate-l`
10×	`times-frac` `pow-prod-down` `prod-exp` `associate-*r/` `cbrt-unprod`
4×	`insert-posit16` `add-log-exp`
3×	`distribute-lft-neg-out` `distribute-lft-neg-in` `distribute-rgt-in` `distribute-rgt-neg-in` `distribute-lft-in` `sqrt-pow1` `*-commutative`
2×	`frac-times` `cbrt-undiv` `sub-neg` `flip3-+` `flip3--` `sqrt-div` `div-exp` `flip-+` `flip--` `unswap-sqr`
1×	`neg-mul-1` `pow1/2` `associate-*l/` `sqrt-prod` `div-inv` `distribute-lft-out--` `difference-of-squares`

Counts

4 → 112

Calls

4 calls:

Slowest

48.0ms	(* (* U 2) (+ (* t n) (* (* (- n) (- (* l 2) (* (* (- n) (/ l Om)) (- U U*)))) (/ l Om))))
37.0ms	(* (* (- n) (/ l Om)) (- U U*))
17.0ms	(sqrt (* (* U 2) (+ (* t n) (* (* (- n) (- (* l 2) (* (* (- n) (/ l Om)) (- U U*)))) (/ l Om)))))
13.0ms	(* (- n) (/ l Om))

series4.8s

Counts

4 → 12

Calls

4 calls:

Slowest

4.0s	(sqrt (* (* U 2) (+ (* t n) (* (* (- n) (- (* l 2) (* (* (- n) (/ l Om)) (- U U*)))) (/ l Om)))))
647.0ms	(* (* U 2) (+ (* t n) (* (* (- n) (- (* l 2) (* (* (- n) (/ l Om)) (- U U*)))) (/ l Om))))
107.0ms	(* (* (- n) (/ l Om)) (- U U*))
32.0ms	(* (- n) (/ l Om))

simplify1.6s

Counts: 124 → 124

prune2.1s

Pruning

15 alts after pruning (15 fresh and 0 done)

Merged error: 17.6b

localize69.0ms

Local error

Found 4 expressions with local error:

18.4b	(pow (* (* U 2) (+ (* t n) (* (* (- n) (- (* l 2) (* (* (- n) (/ l Om)) (- U U*)))) (/ l Om)))) 1/2)
7.4b	(* (* U 2) (+ (* t n) (* (* (- n) (- (* l 2) (* (* (- n) (/ l Om)) (- U U*)))) (/ l Om))))
5.7b	(* (* (- n) (/ l Om)) (- U U*))
5.2b	(* (- n) (/ l Om))

rewrite161.0ms

Algorithm

rewrite-expression-head

Rules

29×	`add-exp-log`
24×	`add-sqr-sqrt`
23×	`add-cbrt-cube`
22×	`pow1`
21×	`associate-r`
19×	`*-un-lft-identity`
17×	`add-cube-cbrt`
13×	`prod-exp`
12×	`associate-l`
10×	`times-frac` `pow-prod-down` `cbrt-unprod`
8×	`associate-*r/`
4×	`insert-posit16` `add-log-exp`
3×	`distribute-lft-neg-out` `distribute-lft-neg-in` `distribute-rgt-in` `pow-unpow` `pow-pow` `distribute-rgt-neg-in` `distribute-lft-in` `pow-exp` `*-commutative`
2×	`frac-times` `cbrt-undiv` `sub-neg` `flip3--` `div-exp` `flip--` `unswap-sqr`
1×	`pow-to-exp` `neg-mul-1` `unpow-prod-down` `flip3-+` `associate-*l/` `flip-+` `div-inv` `distribute-lft-out--` `unpow1/2` `difference-of-squares` `sqr-pow`

Counts

4 → 118

Calls

4 calls:

Slowest

59.0ms	(* (* (- n) (/ l Om)) (- U U*))
46.0ms	(* (* U 2) (+ (* t n) (* (* (- n) (- (* l 2) (* (* (- n) (/ l Om)) (- U U*)))) (/ l Om))))
34.0ms	(pow (* (* U 2) (+ (* t n) (* (* (- n) (- (* l 2) (* (* (- n) (/ l Om)) (- U U*)))) (/ l Om)))) 1/2)
20.0ms	(* (- n) (/ l Om))

series1.6s

Counts

4 → 12

Calls

4 calls:

Slowest

778.0ms	(pow (* (* U 2) (+ (* t n) (* (* (- n) (- (* l 2) (* (* (- n) (/ l Om)) (- U U*)))) (/ l Om)))) 1/2)
656.0ms	(* (* U 2) (+ (* t n) (* (* (- n) (- (* l 2) (* (* (- n) (/ l Om)) (- U U*)))) (/ l Om))))
134.0ms	(* (* (- n) (/ l Om)) (- U U*))
34.0ms	(* (- n) (/ l Om))

simplify1.7s

Counts: 130 → 130

prune2.2s

Pruning

14 alts after pruning (13 fresh and 1 done)

Merged error: 17.6b

regimes1.4s

Accuracy

29.9% (6.2b remaining)

Error of 24.0b against oracle of 17.8b and baseline of 26.7b

bsearch63.0ms

end0.0ms

sample8.9s

Algorithm

intervals

Results

5.0s	15260×	body	80	nan
2.6s	9209×	body	80	valid