Details

sample94.0ms

Algorithm

intervals

Results

28.0ms	288×	body	80	valid
18.0ms	278×	body	80	nan

simplify11.0ms

Counts

1 → 1

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	8
1	12	8
2	14	8
done	14	8

prune4.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 22.7b

localize16.0ms

Local error

Found 3 expressions with local error:

1.7b	(* c0 (sqrt (/ A (* V l))))
5.7b	(/ A (* V l))
18.7b	(sqrt (/ A (* V l)))

rewrite90.0ms

Algorithm

rewrite-expression-head

Rules

16×	`add-sqr-sqrt`
15×	`sqrt-prod`
11×	`add-cube-cbrt` `*-un-lft-identity`
10×	`add-exp-log` `associate-r` `add-cbrt-cube`
9×	`times-frac`
6×	`pow1`
3×	`expm1-log1p-u` `associate-l` `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` `frac-2neg` `sqrt-pow1` `pow1/2` `associate-r/` `pow-prod-down` `clear-num` `associate-/r` `*-commutative`

Counts

3 → 72

Calls

3 calls:

56.0ms	(* c0 (sqrt (/ A (* V l))))
16.0ms	(/ A (* V l))
13.0ms	(sqrt (/ A (* V l)))

series164.0ms

Counts

3 → 9

Calls

3 calls:

65.0ms	(* c0 (sqrt (/ A (* V l))))
39.0ms	(/ A (* V l))
61.0ms	(sqrt (/ A (* V l)))

simplify4.7s

Counts

81 → 81

Iterations

Useful iterations: 2 (138.0ms)

Iter	Nodes	Cost
0	109	705
1	214	655
2	591	605
3	2007	605
done	5000	605

prune320.0ms

Pruning

16 alts after pruning (16 fresh and 0 done)

Merged error: 7.9b

localize8.0ms

Local error

Found 3 expressions with local error:

1.7b	(* c0 (sqrt (/ (/ A V) l)))
4.0b	(/ (/ A V) l)
18.7b	(sqrt (/ (/ A V) l))

rewrite112.0ms

Algorithm

rewrite-expression-head

Rules

213×	`times-frac`
134×	`add-sqr-sqrt`
117×	`add-cube-cbrt` `*-un-lft-identity`
89×	`sqrt-prod`
46×	`associate-r`
13×	`div-inv` `associate-/l*`
10×	`add-exp-log` `add-cbrt-cube`
6×	`pow1`
4×	`unswap-sqr`
3×	`cbrt-undiv` `expm1-log1p-u` `rem-sqrt-square` `div-exp` `associate-l` `associate-/r*` `log1p-expm1-u` `add-log-exp`
2×	`sqrt-div`
1×	`frac-2neg` `sqrt-pow1` `pow1/2` `associate-r/` `pow-prod-down` `prod-exp` `clear-num` `-commutative` `cbrt-unprod` `associate-/l/`

Counts

3 → 197

Calls

3 calls:

59.0ms	(* c0 (sqrt (/ (/ A V) l)))
16.0ms	(/ (/ A V) l)
14.0ms	(sqrt (/ (/ A V) l))

series158.0ms

Counts

3 → 9

Calls

3 calls:

69.0ms	(* c0 (sqrt (/ (/ A V) l)))
46.0ms	(/ (/ A V) l)
43.0ms	(sqrt (/ (/ A V) l))

simplify2.6s

Counts

206 → 206

Iterations

Useful iterations: 3 (1.0s)

Iter	Nodes	Cost
0	316	2554
1	577	2362
2	1161	2266
3	2851	2236
done	5000	2236

prune878.0ms

Pruning

16 alts after pruning (16 fresh and 0 done)

Merged error: 0.1b

localize34.0ms

Local error

Found 4 expressions with local error:

0.6b	(cbrt A)
0.6b	(cbrt A)
0.6b	(cbrt l)
0.6b	(cbrt l)

rewrite7.0ms

Algorithm

rewrite-expression-head

Rules

12×	`cbrt-prod`
8×	`add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity`
4×	`pow1` `add-exp-log` `expm1-log1p-u` `pow1/3` `add-cbrt-cube` `log1p-expm1-u` `add-log-exp`

Counts

4 → 52

Calls

4 calls:

1.0ms	(cbrt A)
1.0ms	(cbrt A)
1.0ms	(cbrt l)
1.0ms	(cbrt l)

series1.1s

Counts

4 → 12

Calls

4 calls:

263.0ms	(cbrt A)
273.0ms	(cbrt A)
252.0ms	(cbrt l)
284.0ms	(cbrt l)

simplify1.6s

Counts

64 → 64

Iterations

Useful iterations: 3 (82.0ms)

Iter	Nodes	Cost
0	46	284
1	75	268
2	148	244
3	303	232
4	759	232
5	2538	232
done	5000	232

prune343.0ms

Pruning

20 alts after pruning (20 fresh and 0 done)

Merged error: 0.1b

localize34.0ms

Local error

Found 4 expressions with local error:

0.6b	(cbrt l)
0.6b	(cbrt (cbrt l))
0.6b	(cbrt (cbrt l))
0.6b	(cbrt (cbrt l))

rewrite6.0ms

Algorithm

rewrite-expression-head

Rules

30×	`cbrt-prod`
11×	`add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity`
4×	`pow1` `add-exp-log` `expm1-log1p-u` `pow1/3` `add-cbrt-cube` `log1p-expm1-u` `add-log-exp`

Counts

4 → 61

Calls

4 calls:

1.0ms	(cbrt l)
1.0ms	(cbrt (cbrt l))
1.0ms	(cbrt (cbrt l))
2.0ms	(cbrt (cbrt l))

series1.4s

Counts

4 → 12

Calls

4 calls:

286.0ms	(cbrt l)
376.0ms	(cbrt (cbrt l))
339.0ms	(cbrt (cbrt l))
418.0ms	(cbrt (cbrt l))

simplify3.7s

Counts

73 → 73

Iterations

Useful iterations: done (3.7s)

Iter	Nodes	Cost
0	46	419
1	79	400
2	151	370
3	319	358
4	972	358
5	4693	358
done	5000	346

prune421.0ms

Pruning

21 alts after pruning (20 fresh and 1 done)

Merged error: 0.0b

regimes755.0ms

Accuracy

0% (1.2b remaining)

Error of 1.3b against oracle of 0.1b and baseline of 1.3b

bsearch0.0ms

simplify2.0ms

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	17	30
1	20	30
done	20	30

end0.0ms

sample2.0s

Algorithm

intervals

Results

390.0ms	9001×	body	80	nan
368.0ms	8926×	body	80	valid