Details

sample37.0ms

Algorithm

intervals

Results

11.0ms	302×	body	80	nan
10.0ms	281×	body	80	valid

simplify4.0ms

Counts

1 → 1

Iterations

Iter	Nodes
done	12
1	12
0	8

prune4.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 20.0b

localize13.0ms

Local error

Found 3 expressions with local error:

1.2b	(* c0 (sqrt (/ A (* V l))))
5.4b	(/ A (* V l))
16.9b	(sqrt (/ A (* V l)))

rewrite52.0ms

Algorithm

rewrite-expression-head

Rules

16×	`add-sqr-sqrt`
15×	`sqrt-prod`
11×	`*-un-lft-identity` `add-cube-cbrt`
10×	`add-cbrt-cube` `associate-r` `add-exp-log`
9×	`times-frac`
6×	`pow1`
3×	`expm1-log1p-u` `associate-l` `insert-posit16` `log1p-expm1-u` `div-inv` `associate-/l*` `add-log-exp`
2×	`cbrt-undiv` `sqrt-div` `div-exp` `prod-exp` `cbrt-unprod` `unswap-sqr`
1×	`rem-sqrt-square` `clear-num` `associate-/r` `frac-2neg` `sqrt-pow1` `pow1/2` `pow-prod-down` `associate-r/` `*-commutative`

Counts

3 → 75

Calls

3 calls:

24.0ms	(* c0 (sqrt (/ A (* V l))))
19.0ms	(/ A (* V l))
7.0ms	(sqrt (/ A (* V l)))

series136.0ms

Counts

3 → 9

Calls

3 calls:

78.0ms	(* c0 (sqrt (/ A (* V l))))
23.0ms	(/ A (* V l))
34.0ms	(sqrt (/ A (* V l)))

simplify1.7s

Counts

84 → 84

Iterations

Iter	Nodes
done	5007
3	3034
2	714
1	230
0	114

prune465.0ms

Pruning

14 alts after pruning (14 fresh and 0 done)

Merged error: 6.5b

localize18.0ms

Local error

Found 3 expressions with local error:

1.2b	(* c0 (sqrt (* (/ 1 V) (/ A l))))
4.0b	(* (/ 1 V) (/ A l))
16.9b	(sqrt (* (/ 1 V) (/ A l)))

rewrite70.0ms

Algorithm

rewrite-expression-head

Rules

38×	`add-sqr-sqrt`
27×	`add-exp-log`
25×	`times-frac`
21×	`*-un-lft-identity`
19×	`add-cube-cbrt`
17×	`add-cbrt-cube` `associate-r`
16×	`associate-l`
10×	`pow1`
9×	`prod-exp`
8×	`div-exp`
7×	`unswap-sqr`
6×	`sqrt-div` `associate-*r/`
5×	`cbrt-unprod`
4×	`cbrt-undiv`
3×	`expm1-log1p-u` `frac-times` `pow-prod-down` `associate-*l/` `insert-posit16` `log1p-expm1-u` `add-log-exp`
2×	`rec-exp` `sqrt-pow1` `1-exp` `*-commutative` `sqrt-prod` `div-inv`
1×	`pow1/2`

Counts

3 → 101

Calls

3 calls:

35.0ms	(* c0 (sqrt (* (/ 1 V) (/ A l))))
22.0ms	(* (/ 1 V) (/ A l))
10.0ms	(sqrt (* (/ 1 V) (/ A l)))

series186.0ms

Counts

3 → 9

Calls

3 calls:

90.0ms	(* c0 (sqrt (* (/ 1 V) (/ A l))))
21.0ms	(* (/ 1 V) (/ A l))
74.0ms	(sqrt (* (/ 1 V) (/ A l)))

simplify2.7s

Counts

110 → 110

Iterations

Iter	Nodes
done	5003
3	4712
2	1336
1	441
0	171

prune574.0ms

Pruning

16 alts after pruning (15 fresh and 1 done)

Merged error: 5.2b

localize22.0ms

Local error

Found 4 expressions with local error:

4.0b	(* (/ 1 V) (/ A l))
4.0b	(* (/ 1 V) (/ A l))
16.9b	(sqrt (* (/ 1 V) (/ A l)))
16.9b	(sqrt (* (/ 1 V) (/ A l)))

rewrite101.0ms

Algorithm

rewrite-expression-head

Rules

66×	`add-sqr-sqrt`
50×	`times-frac`
48×	`add-exp-log`
36×	`*-un-lft-identity`
32×	`add-cube-cbrt`
28×	`add-cbrt-cube`
26×	`associate-r` `associate-l`
16×	`div-exp` `prod-exp`
14×	`pow1`
12×	`unswap-sqr`
8×	`cbrt-undiv` `cbrt-unprod`
6×	`sqrt-div`
4×	`expm1-log1p-u` `frac-times` `rec-exp` `sqrt-pow1` `1-exp` `pow-prod-down` `associate-l/` `associate-r/` `insert-posit16` `log1p-expm1-u` `div-inv` `add-log-exp`
2×	`pow1/2` `*-commutative` `sqrt-prod`

Counts

4 → 152

Calls

4 calls:

33.0ms	(* (/ 1 V) (/ A l))
32.0ms	(* (/ 1 V) (/ A l))
18.0ms	(sqrt (* (/ 1 V) (/ A l)))
10.0ms	(sqrt (* (/ 1 V) (/ A l)))

series183.0ms

Counts

4 → 12

Calls

4 calls:

21.0ms	(* (/ 1 V) (/ A l))
27.0ms	(* (/ 1 V) (/ A l))
71.0ms	(sqrt (* (/ 1 V) (/ A l)))
64.0ms	(sqrt (* (/ 1 V) (/ A l)))

simplify2.3s

Counts

164 → 164

Iterations

Iter	Nodes
done	5013
3	3807
2	1094
1	371
0	139

prune1.1s

Pruning

15 alts after pruning (14 fresh and 1 done)

Merged error: 5.2b

localize57.0ms

Local error

Found 4 expressions with local error:

1.2b	(* c0 (sqrt (* (* (cbrt (/ 1 V)) (cbrt (/ 1 V))) (* (cbrt (/ 1 V)) (/ A l)))))
1.9b	(* (* (cbrt (/ 1 V)) (cbrt (/ 1 V))) (* (cbrt (/ 1 V)) (/ A l)))
2.3b	(* (cbrt (/ 1 V)) (/ A l))
16.9b	(sqrt (* (* (cbrt (/ 1 V)) (cbrt (/ 1 V))) (* (cbrt (/ 1 V)) (/ A l))))

rewrite459.0ms

Algorithm

rewrite-expression-head

Rules

74×	`cbrt-div`
52×	`frac-times`
49×	`associate-*r/`
45×	`add-sqr-sqrt`
34×	`associate-*l/`
33×	`pow1`
32×	`add-exp-log`
30×	`sqrt-div`
26×	`times-frac`
23×	`*-un-lft-identity`
21×	`add-cube-cbrt`
20×	`add-cbrt-cube` `associate-l`
19×	`cbrt-prod`
18×	`associate-r` `pow-prod-down`
16×	`prod-exp` `cbrt-unprod`
9×	`unswap-sqr`
5×	`sqrt-pow1`
4×	`expm1-log1p-u` `insert-posit16` `log1p-expm1-u` `add-log-exp`
3×	`cbrt-undiv` `div-exp` `*-commutative`
2×	`sqrt-prod` `div-inv`
1×	`pow1/2`

Counts

4 → 169

Calls

4 calls:

236.0ms	(* c0 (sqrt (* (* (cbrt (/ 1 V)) (cbrt (/ 1 V))) (* (cbrt (/ 1 V)) (/ A l)))))
89.0ms	(* (* (cbrt (/ 1 V)) (cbrt (/ 1 V))) (* (cbrt (/ 1 V)) (/ A l)))
32.0ms	(* (cbrt (/ 1 V)) (/ A l))
89.0ms	(sqrt (* (* (cbrt (/ 1 V)) (cbrt (/ 1 V))) (* (cbrt (/ 1 V)) (/ A l))))

series435.0ms

Counts

4 → 12

Calls

4 calls:

118.0ms	(* c0 (sqrt (* (* (cbrt (/ 1 V)) (cbrt (/ 1 V))) (* (cbrt (/ 1 V)) (/ A l)))))
70.0ms	(* (* (cbrt (/ 1 V)) (cbrt (/ 1 V))) (* (cbrt (/ 1 V)) (/ A l)))
141.0ms	(* (cbrt (/ 1 V)) (/ A l))
106.0ms	(sqrt (* (* (cbrt (/ 1 V)) (cbrt (/ 1 V))) (* (cbrt (/ 1 V)) (/ A l))))

simplify2.1s

Counts

181 → 181

Iterations

Iter	Nodes
done	5000
2	1613
1	639
0	260

prune1.0s

Pruning

18 alts after pruning (18 fresh and 0 done)

Merged error: 2.8b

regimes1.6s

Accuracy

30.3% (6.9b remaining)

Error of 9.3b against oracle of 2.4b and baseline of 12.4b

bsearch2.0ms

simplify9.0ms

Iterations

Iter	Nodes
done	34
1	34
0	24

end0.0ms

sample2.2s

Algorithm

intervals

Results

1.0s	8904×	body	80	valid
497.0ms	8730×	body	80	nan