Details

sample358.0ms

Algorithm

intervals

Results

162.0ms	550×	body	80	nan
70.0ms	299×	body	80	valid

simplify1.3s

Counts

1 → 1

Iterations

Iter	Nodes
done	5001
3	837
2	172
1	50
0	21

prune23.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 29.0b

localize52.0ms

Local error

Found 4 expressions with local error:

5.7b	(* n (/ l Om))
8.1b	(* (- U U) ( n (/ l Om)))
10.5b	(* (* (* 2 n) U) (+ t (* (/ l Om) (- (* l -2) (* (- U U) ( n (/ l Om)))))))
18.6b	(sqrt (* (* (* 2 n) U) (+ t (* (/ l Om) (- (* l -2) (* (- U U) ( n (/ l Om))))))))

rewrite182.0ms

Algorithm

rewrite-expression-head

Rules

30×	`pow1`
27×	`add-cbrt-cube` `add-exp-log`
21×	`add-sqr-sqrt`
17×	`associate-r`
16×	`*-un-lft-identity` `pow-prod-down`
14×	`add-cube-cbrt`
13×	`prod-exp` `cbrt-unprod`
10×	`times-frac`
9×	`associate-l` `associate-*r/`
4×	`sqrt-pow1` `insert-posit16` `add-log-exp`
3×	`*-commutative`
2×	`frac-times` `cbrt-undiv` `flip3-+` `flip3--` `sqrt-div` `div-exp` `associate-*l/` `flip-+` `flip--` `unswap-sqr`
1×	`distribute-rgt-in` `distribute-lft-in` `pow1/2` `sqrt-prod` `div-inv` `distribute-lft-out--` `difference-of-squares`

Counts

4 → 103

Calls

4 calls:

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

series2.3s

Counts

4 → 12

Calls

4 calls:

22.0ms	(* n (/ l Om))
98.0ms	(* (- U U) ( n (/ l Om)))
502.0ms	(* (* (* 2 n) U) (+ t (* (/ l Om) (- (* l -2) (* (- U U) ( n (/ l Om)))))))
1.7s	(sqrt (* (* (* 2 n) U) (+ t (* (/ l Om) (- (* l -2) (* (- U U) ( n (/ l Om))))))))

simplify3.1s

Counts

115 → 115

Iterations

Iter	Nodes
done	5000
2	4415
1	724
0	242

prune1.0s

Pruning

11 alts after pruning (11 fresh and 0 done)

Merged error: 21.5b

localize102.0ms

Local error

Found 4 expressions with local error:

10.5b	(* (* (* 2 n) U) (+ t (* (/ l Om) (- (* l -2) (* (- U U) ( n (/ l Om)))))))
10.5b	(* (* (* 2 n) U) (+ t (* (/ l Om) (- (* l -2) (* (- U U) ( n (/ l Om)))))))
18.6b	(sqrt (* (* (* 2 n) U) (+ t (* (/ l Om) (- (* l -2) (* (- U U) ( n (/ l Om))))))))
18.6b	(sqrt (* (* (* 2 n) U) (+ t (* (/ l Om) (- (* l -2) (* (- U U) ( n (/ l Om))))))))

rewrite268.0ms

Algorithm

rewrite-expression-head

Rules

42×	`pow1`
24×	`pow-prod-down`
22×	`add-cbrt-cube` `add-exp-log`
12×	`prod-exp` `cbrt-unprod`
8×	`sqrt-pow1` `associate-*r/`
6×	`add-sqr-sqrt` `-un-lft-identity` `associate-r*` `add-cube-cbrt`
4×	`flip3-+` `sqrt-div` `flip-+` `insert-posit16` `add-log-exp`
2×	`distribute-rgt-in` `distribute-lft-in` `pow1/2` `associate-l` `*-commutative` `sqrt-prod`

Counts

4 → 84

Calls

4 calls:

53.0ms	(* (* (* 2 n) U) (+ t (* (/ l Om) (- (* l -2) (* (- U U) ( n (/ l Om)))))))
67.0ms	(* (* (* 2 n) U) (+ t (* (/ l Om) (- (* l -2) (* (- U U) ( n (/ l Om)))))))
72.0ms	(sqrt (* (* (* 2 n) U) (+ t (* (/ l Om) (- (* l -2) (* (- U U) ( n (/ l Om))))))))
74.0ms	(sqrt (* (* (* 2 n) U) (+ t (* (/ l Om) (- (* l -2) (* (- U U) ( n (/ l Om))))))))

series4.5s

Counts

4 → 12

Calls

4 calls:

609.0ms	(* (* (* 2 n) U) (+ t (* (/ l Om) (- (* l -2) (* (- U U) ( n (/ l Om)))))))
528.0ms	(* (* (* 2 n) U) (+ t (* (/ l Om) (- (* l -2) (* (- U U) ( n (/ l Om)))))))
1.7s	(sqrt (* (* (* 2 n) U) (+ t (* (/ l Om) (- (* l -2) (* (- U U) ( n (/ l Om))))))))
1.7s	(sqrt (* (* (* 2 n) U) (+ t (* (/ l Om) (- (* l -2) (* (- U U) ( n (/ l Om))))))))

simplify2.4s

Counts

96 → 96

Iterations

Iter	Nodes
done	5001
2	2881
1	428
0	136

prune1.0s

Pruning

10 alts after pruning (10 fresh and 0 done)

Merged error: 21.5b

localize124.0ms

Local error

Found 4 expressions with local error:

18.6b	(sqrt (* (* (* 2 n) U) (+ t (* (/ l Om) (- (* l -2) (* (- U U) ( n (/ l Om))))))))
19.8b	(cbrt (* (* (* 2 n) U) (+ t (* (/ l Om) (- (* l -2) (* (- U U) ( n (/ l Om))))))))
19.8b	(cbrt (* (* (* 2 n) U) (+ t (* (/ l Om) (- (* l -2) (* (- U U) ( n (/ l Om))))))))
19.8b	(cbrt (* (* (* 2 n) U) (+ t (* (/ l Om) (- (* l -2) (* (- U U) ( n (/ l Om))))))))

rewrite214.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 52

Calls

4 calls:

52.0ms	(sqrt (* (* (* 2 n) U) (+ t (* (/ l Om) (- (* l -2) (* (- U U) ( n (/ l Om))))))))
47.0ms	(cbrt (* (* (* 2 n) U) (+ t (* (/ l Om) (- (* l -2) (* (- U U) ( n (/ l Om))))))))
48.0ms	(cbrt (* (* (* 2 n) U) (+ t (* (/ l Om) (- (* l -2) (* (- U U) ( n (/ l Om))))))))
65.0ms	(cbrt (* (* (* 2 n) U) (+ t (* (/ l Om) (- (* l -2) (* (- U U) ( n (/ l Om))))))))

series4.3s

Counts

4 → 12

Calls

4 calls:

1.6s	(sqrt (* (* (* 2 n) U) (+ t (* (/ l Om) (- (* l -2) (* (- U U) ( n (/ l Om))))))))
887.0ms	(cbrt (* (* (* 2 n) U) (+ t (* (/ l Om) (- (* l -2) (* (- U U) ( n (/ l Om))))))))
938.0ms	(cbrt (* (* (* 2 n) U) (+ t (* (/ l Om) (- (* l -2) (* (- U U) ( n (/ l Om))))))))
881.0ms	(cbrt (* (* (* 2 n) U) (+ t (* (/ l Om) (- (* l -2) (* (- U U) ( n (/ l Om))))))))

simplify1.7s

Counts

64 → 64

Iterations

Iter	Nodes
done	5001
2	1177
1	335
0	140

prune973.0ms

Pruning

10 alts after pruning (9 fresh and 1 done)

Merged error: 21.5b

localize126.0ms

Local error

Found 4 expressions with local error:

10.5b	(* (* (* 2 n) U) (+ t (* (/ l Om) (- (* l -2) (* (- U U) ( n (/ l Om)))))))
18.6b	(sqrt (* (* (* 2 n) U) (+ t (* (/ l Om) (- (* l -2) (* (- U U) ( n (/ l Om))))))))
18.6b	(sqrt (* (* (* 2 n) U) (+ t (* (/ l Om) (- (* l -2) (* (- U U) ( n (/ l Om))))))))
18.6b	(sqrt (* (* (* 2 n) U) (+ t (* (/ l Om) (- (* l -2) (* (- U U) ( n (/ l Om))))))))

rewrite218.0ms

Algorithm

rewrite-expression-head

Rules

43×	`pow1`
24×	`pow-prod-down`
13×	`add-cbrt-cube` `add-exp-log`
12×	`sqrt-pow1`
8×	`associate-*r/`
6×	`sqrt-div` `prod-exp` `cbrt-unprod`
5×	`add-sqr-sqrt` `*-un-lft-identity` `add-cube-cbrt`
4×	`flip3-+` `flip-+` `insert-posit16` `add-log-exp`
3×	`pow1/2` `associate-r` `sqrt-prod`
1×	`distribute-rgt-in` `distribute-lft-in` `associate-l` `*-commutative`

Counts

4 → 74

Calls

4 calls:

60.0ms	(* (* (* 2 n) U) (+ t (* (/ l Om) (- (* l -2) (* (- U U) ( n (/ l Om)))))))
41.0ms	(sqrt (* (* (* 2 n) U) (+ t (* (/ l Om) (- (* l -2) (* (- U U) ( n (/ l Om))))))))
49.0ms	(sqrt (* (* (* 2 n) U) (+ t (* (/ l Om) (- (* l -2) (* (- U U) ( n (/ l Om))))))))
67.0ms	(sqrt (* (* (* 2 n) U) (+ t (* (/ l Om) (- (* l -2) (* (- U U) ( n (/ l Om))))))))

series5.7s

Counts

4 → 12

Calls

4 calls:

606.0ms	(* (* (* 2 n) U) (+ t (* (/ l Om) (- (* l -2) (* (- U U) ( n (/ l Om)))))))
1.7s	(sqrt (* (* (* 2 n) U) (+ t (* (/ l Om) (- (* l -2) (* (- U U) ( n (/ l Om))))))))
1.7s	(sqrt (* (* (* 2 n) U) (+ t (* (/ l Om) (- (* l -2) (* (- U U) ( n (/ l Om))))))))
1.6s	(sqrt (* (* (* 2 n) U) (+ t (* (/ l Om) (- (* l -2) (* (- U U) ( n (/ l Om))))))))

simplify2.7s

Counts

86 → 86

Iterations

Iter	Nodes
done	5001
2	2881
1	428
0	136

prune829.0ms

Pruning

10 alts after pruning (8 fresh and 2 done)

Merged error: 21.5b

regimes941.0ms

Accuracy

32.8% (5.8b remaining)

Error of 26.7b against oracle of 21.0b and baseline of 29.5b

bsearch504.0ms

Steps

Iters	Range		Point
7	3.5326488818167937e+51	1.3836504896872603e+53	9.442227136838079e+52
8	-5.536850789183835e+78	-1.1617140407147607e+75	-1.4421678277993846e+75

simplify29.0ms

Iterations

Iter	Nodes
done	51
1	51
0	36

end0.0ms

sample8.4s

Algorithm

intervals

Results

4.0s	14949×	body	80	nan
2.7s	9174×	body	80	valid