Details

sample101.0ms

Algorithm

intervals

Results

45.0ms	282×	body	80	nan
32.0ms	279×	body	80	valid

simplify6.0ms

Calls

1 calls:

Slowest

6.0ms

(* c0 (sqrt (/ A (* V l))))

prune11.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 18.2b

localize23.0ms

Local error

Found 3 expressions with local error:

16.2b	(sqrt (/ A (* V l)))
4.7b	(/ A (* V l))
1.7b	(* c0 (sqrt (/ A (* V l))))

rewrite4.0ms

Algorithm

rewrite-expression-head

Rules

8×	`sqrt-prod`
7×	`associate-r`
7×	`add-sqr-sqrt`
6×	`add-cube-cbrt`
6×	`*-un-lft-identity`
3×	`add-log-exp`
3×	`div-inv`
3×	`add-exp-log`
3×	`add-cbrt-cube`
3×	`pow1`
2×	`sqrt-div`
1×	`*-commutative`
1×	`associate-*r/`
1×	`pow1/2`
1×	`frac-2neg`
1×	`associate-/r*`
1×	`clear-num`
1×	`rem-sqrt-square`

Calls

3 calls:

Slowest

2.0ms	(* c0 (sqrt (/ A (* V l))))
1.0ms	(sqrt (/ A (* V l)))
1.0ms	(/ A (* V l))

series101.0ms

Calls

3 calls:

Slowest

61.0ms	(* c0 (sqrt (/ A (* V l))))
20.0ms	(/ A (* V l))
19.0ms	(sqrt (/ A (* V l)))

simplify54.0ms

Calls

23 calls:

Slowest

6.0ms	(sqrt (* (cbrt (/ A (* V l))) (cbrt (/ A (* V l)))))
5.0ms	(cbrt (sqrt (/ A (* V l))))
5.0ms	(sqrt (sqrt (/ A (* V l))))
5.0ms	(sqrt (cbrt (/ A (* V l))))
5.0ms	(sqrt (/ A (* V l)))

prune582.0ms

Pruning

13 alts after pruning (13 fresh and 0 done)

Merged error: 8.2b

localize22.0ms

Local error

Found 3 expressions with local error:

16.2b	(sqrt (/ A (* l V)))
4.7b	(/ A (* l V))
1.7b	(* c0 (sqrt (/ A (* l V))))

rewrite6.0ms

Algorithm

rewrite-expression-head

Rules

8×	`sqrt-prod`
7×	`associate-r`
7×	`add-sqr-sqrt`
6×	`add-cube-cbrt`
6×	`*-un-lft-identity`
3×	`add-log-exp`
3×	`div-inv`
3×	`add-exp-log`
3×	`add-cbrt-cube`
3×	`pow1`
2×	`sqrt-div`
1×	`*-commutative`
1×	`associate-*r/`
1×	`pow1/2`
1×	`frac-2neg`
1×	`associate-/r*`
1×	`clear-num`
1×	`rem-sqrt-square`

Calls

3 calls:

Slowest

3.0ms	(* c0 (sqrt (/ A (* l V))))
1.0ms	(sqrt (/ A (* l V)))
1.0ms	(/ A (* l V))

series76.0ms

Calls

3 calls:

Slowest

38.0ms	(* c0 (sqrt (/ A (* l V))))
23.0ms	(sqrt (/ A (* l V)))
14.0ms	(/ A (* l V))

simplify75.0ms

Calls

23 calls:

Slowest

8.0ms	(sqrt (sqrt (/ A (* l V))))
6.0ms	(sqrt (* (cbrt (/ A (* l V))) (cbrt (/ A (* l V)))))
5.0ms	(sqrt (sqrt (/ A (* l V))))
5.0ms	(cbrt (sqrt (/ A (* l V))))
5.0ms	(sqrt (cbrt (/ A (* l V))))

prune525.0ms

Pruning

13 alts after pruning (12 fresh and 1 done)

Merged error: 8.2b

localize8.0ms

Local error

Found 4 expressions with local error:

16.2b	(sqrt (/ A (* l V)))
16.2b	(sqrt (/ A (* l V)))
4.7b	(/ A (* l V))
4.7b	(/ A (* l V))

rewrite3.0ms

Algorithm

rewrite-expression-head

Rules

8×	`sqrt-prod`
8×	`add-sqr-sqrt`
6×	`add-cube-cbrt`
6×	`*-un-lft-identity`
4×	`add-log-exp`
4×	`div-inv`
4×	`add-exp-log`
4×	`add-cbrt-cube`
4×	`pow1`
2×	`sqrt-div`
2×	`pow1/2`
2×	`frac-2neg`
2×	`associate-/r*`
2×	`clear-num`
2×	`rem-sqrt-square`

Calls

4 calls:

Slowest

1.0ms	(sqrt (/ A (* l V)))
1.0ms	(sqrt (/ A (* l V)))
0.0ms	(/ A (* l V))
0.0ms	(/ A (* l V))

series81.0ms

Calls

4 calls:

Slowest

28.0ms	(sqrt (/ A (* l V)))
26.0ms	(sqrt (/ A (* l V)))
14.0ms	(/ A (* l V))
13.0ms	(/ A (* l V))

simplify55.0ms

Calls

24 calls:

Slowest

4.0ms	(sqrt (/ A (* l V)))
4.0ms	(sqrt (sqrt (/ A (* l V))))
4.0ms	(/ A (* l V))
4.0ms	(/ A (* l V))
4.0ms	(/ A (* l V))

prune781.0ms

Pruning

13 alts after pruning (12 fresh and 1 done)

Merged error: 8.2b

localize12.0ms

Local error

Found 4 expressions with local error:

16.2b	(sqrt (/ A (* l V)))
16.2b	(sqrt (* A (/ 1 (* l V))))
4.7b	(/ A (* l V))
4.1b	(* A (/ 1 (* l V)))

rewrite3.0ms

Algorithm

rewrite-expression-head

Rules

7×	`add-sqr-sqrt`
6×	`add-cube-cbrt`
6×	`*-un-lft-identity`
5×	`sqrt-prod`
4×	`add-log-exp`
4×	`add-exp-log`
4×	`associate-r`
4×	`add-cbrt-cube`
4×	`pow1`
3×	`div-inv`
3×	`sqrt-div`
2×	`un-div-inv`
2×	`associate-*r/`
2×	`pow1/2`
1×	`*-commutative`
1×	`frac-2neg`
1×	`associate-/r*`
1×	`clear-num`
1×	`rem-sqrt-square`

Calls

4 calls:

Slowest

1.0ms	(* A (/ 1 (* l V)))
1.0ms	(sqrt (/ A (* l V)))
0.0ms	(sqrt (* A (/ 1 (* l V))))
0.0ms	(/ A (* l V))

series88.0ms

Calls

4 calls:

Slowest

28.0ms	(sqrt (* A (/ 1 (* l V))))
21.0ms	(/ A (* l V))
20.0ms	(sqrt (/ A (* l V)))
19.0ms	(* A (/ 1 (* l V)))

simplify56.0ms

Calls

27 calls:

Slowest

8.0ms	(sqrt (* (cbrt (/ A (* l V))) (cbrt (/ A (* l V)))))
4.0ms	(cbrt (/ 1 (* l V)))
4.0ms	(sqrt (sqrt (/ A (* l V))))
4.0ms	(sqrt (/ A (* l V)))
3.0ms	(sqrt (/ 1 (* l V)))

prune739.0ms

Pruning

12 alts after pruning (11 fresh and 1 done)

Merged error: 8.2b

regimes1.1s

Accuracy

91.9% (0.7b remaining)

Error of 10.6b against oracle of 9.9b and baseline of 18.7b

bsearch9.0ms

end0.0ms

sample2.3s

Algorithm

intervals

Results

962.0ms	8909×	body	80	valid
791.0ms	8888×	body	80	nan