Details

sample592.0ms

Algorithm

intervals

Results

132.0ms	60×	body	5120	valid
114.0ms	55×	body	2560	valid
111.0ms	432×	body	80	nan
82.0ms	206×	body	80	valid
38.0ms	29×	body	1280	valid
38.0ms	18×	body	10240	exit
25.0ms	23×	body	640	valid
7.0ms	8×	body	320	valid
2.0ms	4×	body	160	valid

simplify1.0s

Calls

1 calls:

Slowest

1.0s	(* (/ c0 (* 2 w)) (+ (/ (* c0 (* d d)) (* (* w h) (* D D))) (sqrt (- (* (/ (* c0 (* d d)) (* (* w h) (* D D))) (/ (* c0 (* d d)) (* (* w h) (* D D)))) (* M M)))))

prune25.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 47.7b

localize76.0ms

Local error

Found 4 expressions with local error:

23.3b	(+ (sqrt (* (+ M (/ (* (/ c0 w) (* (/ d D) (/ d D))) h)) (- (/ (* (/ c0 w) (* (/ d D) (/ d D))) h) M))) (/ (* (/ c0 w) (* (/ d D) (/ d D))) h))
16.3b	(sqrt (* (+ M (/ (* (/ c0 w) (* (/ d D) (/ d D))) h)) (- (/ (* (/ c0 w) (* (/ d D) (/ d D))) h) M)))
13.0b	(* (/ c0 w) (* (/ d D) (/ d D)))
13.0b	(* (/ c0 w) (* (/ d D) (/ d D)))

rewrite47.0ms

Algorithm

rewrite-expression-head

Rules

18×	`frac-times`
16×	`sqrt-div`
14×	`pow1` `add-cbrt-cube` `associate-*r/` `add-exp-log`
10×	`associate-*l/`
8×	`-un-lft-identity` `associate-l*` `frac-add`
7×	`flip3-+` `flip-+`
6×	`add-sqr-sqrt` `flip3--` `pow-prod-down` `prod-exp` `add-cube-cbrt` `cbrt-unprod` `flip--` `add-log-exp`
4×	`insert-posit16`
2×	`associate-r` `*-commutative` `div-inv`
1×	`+-commutative` `sum-log` `pow1/2` `sqrt-prod` `distribute-lft-out`

Calls

4 calls:

Slowest

18.0ms	(* (/ c0 w) (* (/ d D) (/ d D)))
15.0ms	(+ (sqrt (* (+ M (/ (* (/ c0 w) (* (/ d D) (/ d D))) h)) (- (/ (* (/ c0 w) (* (/ d D) (/ d D))) h) M))) (/ (* (/ c0 w) (* (/ d D) (/ d D))) h))
9.0ms	(* (/ c0 w) (* (/ d D) (/ d D)))
4.0ms	(sqrt (* (+ M (/ (* (/ c0 w) (* (/ d D) (/ d D))) h)) (- (/ (* (/ c0 w) (* (/ d D) (/ d D))) h) M)))

series1.1s

Calls

4 calls:

Slowest

497.0ms	(sqrt (* (+ M (/ (* (/ c0 w) (* (/ d D) (/ d D))) h)) (- (/ (* (/ c0 w) (* (/ d D) (/ d D))) h) M)))
491.0ms	(+ (sqrt (* (+ M (/ (* (/ c0 w) (* (/ d D) (/ d D))) h)) (- (/ (* (/ c0 w) (* (/ d D) (/ d D))) h) M))) (/ (* (/ c0 w) (* (/ d D) (/ d D))) h))
55.0ms	(* (/ c0 w) (* (/ d D) (/ d D)))
49.0ms	(* (/ c0 w) (* (/ d D) (/ d D)))

simplify14.2s

Calls

73 calls:

Slowest

820.0ms	(+ (* (sqrt (* (+ (pow M 3) (pow (/ (* (/ c0 w) (* (/ d D) (/ d D))) h) 3)) (- (pow (/ (* (/ c0 w) (* (/ d D) (/ d D))) h) 3) (pow M 3)))) h) (* (sqrt (* (+ (* M M) (- (* (/ (* (/ c0 w) (* (/ d D) (/ d D))) h) (/ (* (/ c0 w) (* (/ d D) (/ d D))) h)) (* M (/ (* (/ c0 w) (* (/ d D) (/ d D))) h)))) (+ (* (/ (* (/ c0 w) (* (/ d D) (/ d D))) h) (/ (* (/ c0 w) (* (/ d D) (/ d D))) h)) (+ (* M M) (* (/ (* (/ c0 w) (* (/ d D) (/ d D))) h) M))))) (* (/ c0 w) (* (/ d D) (/ d D)))))
788.0ms	(+ (* (sqrt (* (- (* M M) (* (/ (* (/ c0 w) (* (/ d D) (/ d D))) h) (/ (* (/ c0 w) (* (/ d D) (/ d D))) h))) (- (pow (/ (* (/ c0 w) (* (/ d D) (/ d D))) h) 3) (pow M 3)))) h) (* (sqrt (* (- M (/ (* (/ c0 w) (* (/ d D) (/ d D))) h)) (+ (* (/ (* (/ c0 w) (* (/ d D) (/ d D))) h) (/ (* (/ c0 w) (* (/ d D) (/ d D))) h)) (+ (* M M) (* (/ (* (/ c0 w) (* (/ d D) (/ d D))) h) M))))) (* (/ c0 w) (* (/ d D) (/ d D)))))
674.0ms	(+ (* (sqrt (* (+ (pow M 3) (pow (/ (* (/ c0 w) (* (/ d D) (/ d D))) h) 3)) (- (* (/ (* (/ c0 w) (* (/ d D) (/ d D))) h) (/ (* (/ c0 w) (* (/ d D) (/ d D))) h)) (* M M)))) h) (* (sqrt (* (+ (* M M) (- (* (/ (* (/ c0 w) (* (/ d D) (/ d D))) h) (/ (* (/ c0 w) (* (/ d D) (/ d D))) h)) (* M (/ (* (/ c0 w) (* (/ d D) (/ d D))) h)))) (+ (/ (* (/ c0 w) (* (/ d D) (/ d D))) h) M))) (* (/ c0 w) (* (/ d D) (/ d D)))))
573.0ms	(* (exp (sqrt (* (+ M (/ (* (/ c0 w) (* (/ d D) (/ d D))) h)) (- (/ (* (/ c0 w) (* (/ d D) (/ d D))) h) M)))) (exp (/ (* (/ c0 w) (* (/ d D) (/ d D))) h)))
516.0ms	(* (/ c0 w) (* (/ d D) (/ d D)))

prune1.8s

Pruning

15 alts after pruning (15 fresh and 0 done)

Merged error: 44.3b

localize33.0ms

Local error

Found 4 expressions with local error:

29.1b	(+ (sqrt (* (+ M (/ (* (/ c0 w) (* (/ d D) (/ d D))) h)) (- (/ (* (/ c0 w) (* (/ d D) (/ d D))) h) M))) (/ (* (* (/ c0 w) (/ d D)) (/ d D)) h))
16.3b	(sqrt (* (+ M (/ (* (/ c0 w) (* (/ d D) (/ d D))) h)) (- (/ (* (/ c0 w) (* (/ d D) (/ d D))) h) M)))
13.0b	(* (/ c0 w) (* (/ d D) (/ d D)))
13.0b	(* (/ c0 w) (* (/ d D) (/ d D)))

rewrite39.0ms

Algorithm

rewrite-expression-head

Rules

18×	`frac-times`
16×	`sqrt-div`
14×	`pow1` `add-cbrt-cube` `associate-*r/` `add-exp-log`
10×	`associate-*l/`
8×	`-un-lft-identity` `associate-l*` `frac-add`
7×	`flip3-+` `flip-+`
6×	`add-sqr-sqrt` `flip3--` `pow-prod-down` `prod-exp` `add-cube-cbrt` `cbrt-unprod` `flip--` `add-log-exp`
4×	`insert-posit16`
2×	`associate-r` `*-commutative` `div-inv`
1×	`+-commutative` `sum-log` `pow1/2` `sqrt-prod` `distribute-lft-out`

Calls

4 calls:

Slowest

18.0ms	(* (/ c0 w) (* (/ d D) (/ d D)))
9.0ms	(* (/ c0 w) (* (/ d D) (/ d D)))
7.0ms	(+ (sqrt (* (+ M (/ (* (/ c0 w) (* (/ d D) (/ d D))) h)) (- (/ (* (/ c0 w) (* (/ d D) (/ d D))) h) M))) (/ (* (* (/ c0 w) (/ d D)) (/ d D)) h))
2.0ms	(sqrt (* (+ M (/ (* (/ c0 w) (* (/ d D) (/ d D))) h)) (- (/ (* (/ c0 w) (* (/ d D) (/ d D))) h) M)))

series1.1s

Calls

4 calls:

Slowest

560.0ms	(+ (sqrt (* (+ M (/ (* (/ c0 w) (* (/ d D) (/ d D))) h)) (- (/ (* (/ c0 w) (* (/ d D) (/ d D))) h) M))) (/ (* (* (/ c0 w) (/ d D)) (/ d D)) h))
428.0ms	(sqrt (* (+ M (/ (* (/ c0 w) (* (/ d D) (/ d D))) h)) (- (/ (* (/ c0 w) (* (/ d D) (/ d D))) h) M)))
54.0ms	(* (/ c0 w) (* (/ d D) (/ d D)))
46.0ms	(* (/ c0 w) (* (/ d D) (/ d D)))

simplify13.1s

Calls

73 calls:

Slowest

923.0ms	(+ (* (sqrt (* (+ (pow M 3) (pow (/ (* (/ c0 w) (* (/ d D) (/ d D))) h) 3)) (- (pow (/ (* (/ c0 w) (* (/ d D) (/ d D))) h) 3) (pow M 3)))) h) (* (sqrt (* (+ (* M M) (- (* (/ (* (/ c0 w) (* (/ d D) (/ d D))) h) (/ (* (/ c0 w) (* (/ d D) (/ d D))) h)) (* M (/ (* (/ c0 w) (* (/ d D) (/ d D))) h)))) (+ (* (/ (* (/ c0 w) (* (/ d D) (/ d D))) h) (/ (* (/ c0 w) (* (/ d D) (/ d D))) h)) (+ (* M M) (* (/ (* (/ c0 w) (* (/ d D) (/ d D))) h) M))))) (* (* (/ c0 w) (/ d D)) (/ d D))))
704.0ms	(+ (* (sqrt (* (+ (pow M 3) (pow (/ (* (/ c0 w) (* (/ d D) (/ d D))) h) 3)) (- (* (/ (* (/ c0 w) (* (/ d D) (/ d D))) h) (/ (* (/ c0 w) (* (/ d D) (/ d D))) h)) (* M M)))) h) (* (sqrt (* (+ (* M M) (- (* (/ (* (/ c0 w) (* (/ d D) (/ d D))) h) (/ (* (/ c0 w) (* (/ d D) (/ d D))) h)) (* M (/ (* (/ c0 w) (* (/ d D) (/ d D))) h)))) (+ (/ (* (/ c0 w) (* (/ d D) (/ d D))) h) M))) (* (* (/ c0 w) (/ d D)) (/ d D))))
688.0ms	(+ (* (sqrt (* (- (* M M) (* (/ (* (/ c0 w) (* (/ d D) (/ d D))) h) (/ (* (/ c0 w) (* (/ d D) (/ d D))) h))) (- (pow (/ (* (/ c0 w) (* (/ d D) (/ d D))) h) 3) (pow M 3)))) h) (* (sqrt (* (- M (/ (* (/ c0 w) (* (/ d D) (/ d D))) h)) (+ (* (/ (* (/ c0 w) (* (/ d D) (/ d D))) h) (/ (* (/ c0 w) (* (/ d D) (/ d D))) h)) (+ (* M M) (* (/ (* (/ c0 w) (* (/ d D) (/ d D))) h) M))))) (* (* (/ c0 w) (/ d D)) (/ d D))))
488.0ms	(+ (* (sqrt (* (+ (pow M 3) (pow (/ (* (/ c0 w) (* (/ d D) (/ d D))) h) 3)) (- (/ (* (/ c0 w) (* (/ d D) (/ d D))) h) M))) h) (* (sqrt (+ (* M M) (- (* (/ (* (/ c0 w) (* (/ d D) (/ d D))) h) (/ (* (/ c0 w) (* (/ d D) (/ d D))) h)) (* M (/ (* (/ c0 w) (* (/ d D) (/ d D))) h))))) (* (* (/ c0 w) (/ d D)) (/ d D))))
486.0ms	(+ (* (sqrt (* (+ M (/ (* (/ c0 w) (* (/ d D) (/ d D))) h)) (- (pow (/ (* (/ c0 w) (* (/ d D) (/ d D))) h) 3) (pow M 3)))) h) (* (sqrt (+ (* (/ (* (/ c0 w) (* (/ d D) (/ d D))) h) (/ (* (/ c0 w) (* (/ d D) (/ d D))) h)) (+ (* M M) (* (/ (* (/ c0 w) (* (/ d D) (/ d D))) h) M)))) (* (* (/ c0 w) (/ d D)) (/ d D))))

prune2.0s

Pruning

17 alts after pruning (17 fresh and 0 done)

Merged error: 42.2b

localize32.0ms

Local error

Found 4 expressions with local error:

23.3b	(+ (* (/ (* (/ d D) c0) h) (/ (/ d D) w)) (sqrt (* (+ M (* (/ (* (/ d D) c0) h) (/ (/ d D) w))) (- (* (/ (* (/ d D) c0) h) (/ (/ d D) w)) M))))
16.3b	(sqrt (* (+ M (* (/ (* (/ d D) c0) h) (/ (/ d D) w))) (- (* (/ (* (/ d D) c0) h) (/ (/ d D) w)) M)))
6.6b	(* (/ (* 1 (+ (* (/ (* (/ d D) c0) h) (/ (/ d D) w)) (sqrt (* (+ M (* (/ (* (/ d D) c0) h) (/ (/ d D) w))) (- (* (/ (* (/ d D) c0) h) (/ (/ d D) w)) M))))) 2) (/ c0 w))
5.4b	(/ (/ d D) w)

rewrite79.0ms

Algorithm

rewrite-expression-head

Rules

32×	`sqrt-div`
25×	`frac-times`
24×	`frac-add`
17×	`associate-l/` `associate-r/`
13×	`flip3-+` `flip-+`
12×	`flip3--` `flip--`
7×	`add-sqr-sqrt` `*-un-lft-identity` `add-cube-cbrt`
6×	`pow1` `add-cbrt-cube` `add-exp-log` `add-log-exp`
4×	`associate-r` `associate-l` `insert-posit16` `div-inv` `associate-/l*`
1×	`+-commutative` `clear-num` `sum-log` `frac-2neg` `pow1/2` `pow-prod-down` `prod-exp` `*-commutative` `sqrt-prod` `cbrt-unprod` `associate-/l/`

Calls

4 calls:

Slowest

38.0ms	(* (/ (* 1 (+ (* (/ (* (/ d D) c0) h) (/ (/ d D) w)) (sqrt (* (+ M (* (/ (* (/ d D) c0) h) (/ (/ d D) w))) (- (* (/ (* (/ d D) c0) h) (/ (/ d D) w)) M))))) 2) (/ c0 w))
19.0ms	(+ (* (/ (* (/ d D) c0) h) (/ (/ d D) w)) (sqrt (* (+ M (* (/ (* (/ d D) c0) h) (/ (/ d D) w))) (- (* (/ (* (/ d D) c0) h) (/ (/ d D) w)) M))))
17.0ms	(sqrt (* (+ M (* (/ (* (/ d D) c0) h) (/ (/ d D) w))) (- (* (/ (* (/ d D) c0) h) (/ (/ d D) w)) M)))
3.0ms	(/ (/ d D) w)

series1.3s

Calls

4 calls:

Slowest

613.0ms	(sqrt (* (+ M (* (/ (* (/ d D) c0) h) (/ (/ d D) w))) (- (* (/ (* (/ d D) c0) h) (/ (/ d D) w)) M)))
435.0ms	(* (/ (* 1 (+ (* (/ (* (/ d D) c0) h) (/ (/ d D) w)) (sqrt (* (+ M (* (/ (* (/ d D) c0) h) (/ (/ d D) w))) (- (* (/ (* (/ d D) c0) h) (/ (/ d D) w)) M))))) 2) (/ c0 w))
244.0ms	(+ (* (/ (* (/ d D) c0) h) (/ (/ d D) w)) (sqrt (* (+ M (* (/ (* (/ d D) c0) h) (/ (/ d D) w))) (- (* (/ (* (/ d D) c0) h) (/ (/ d D) w)) M))))
21.0ms	(/ (/ d D) w)

simplify29.2s

Calls

85 calls:

Slowest

1.2s	(+ (* (* (/ (* (/ d D) c0) h) (/ d D)) (sqrt (* (+ (* M M) (- (* (* (/ (* (/ d D) c0) h) (/ (/ d D) w)) (* (/ (* (/ d D) c0) h) (/ (/ d D) w))) (* M (* (/ (* (/ d D) c0) h) (/ (/ d D) w))))) (+ (* (* (/ (* (/ d D) c0) h) (/ (/ d D) w)) (* (/ (* (/ d D) c0) h) (/ (/ d D) w))) (+ (* M M) (* (* (/ (* (/ d D) c0) h) (/ (/ d D) w)) M)))))) (* w (sqrt (* (+ (pow M 3) (pow (* (/ (* (/ d D) c0) h) (/ (/ d D) w)) 3)) (- (pow (* (/ (* (/ d D) c0) h) (/ (/ d D) w)) 3) (pow M 3))))))
1.1s	(+ (* (* (* (/ d D) c0) (/ (/ d D) w)) (sqrt (* (+ (* M M) (- (* (* (/ (* (/ d D) c0) h) (/ (/ d D) w)) (* (/ (* (/ d D) c0) h) (/ (/ d D) w))) (* M (* (/ (* (/ d D) c0) h) (/ (/ d D) w))))) (+ (* (/ (* (/ d D) c0) h) (/ (/ d D) w)) M)))) (* h (sqrt (* (+ (pow M 3) (pow (* (/ (* (/ d D) c0) h) (/ (/ d D) w)) 3)) (- (* (* (/ (* (/ d D) c0) h) (/ (/ d D) w)) (* (/ (* (/ d D) c0) h) (/ (/ d D) w))) (* M M))))))
1.0s	(+ (* (* (* (/ d D) c0) (/ (/ d D) w)) (sqrt (* (- M (* (/ (* (/ d D) c0) h) (/ (/ d D) w))) (+ (* (* (/ (* (/ d D) c0) h) (/ (/ d D) w)) (* (/ (* (/ d D) c0) h) (/ (/ d D) w))) (+ (* M M) (* (* (/ (* (/ d D) c0) h) (/ (/ d D) w)) M)))))) (* h (sqrt (* (- (* M M) (* (* (/ (* (/ d D) c0) h) (/ (/ d D) w)) (* (/ (* (/ d D) c0) h) (/ (/ d D) w)))) (- (pow (* (/ (* (/ d D) c0) h) (/ (/ d D) w)) 3) (pow M 3))))))
961.0ms	(+ (* (* (* (/ d D) c0) (/ d D)) (sqrt (* (- M (* (/ (* (/ d D) c0) h) (/ (/ d D) w))) (+ (* (/ (* (/ d D) c0) h) (/ (/ d D) w)) M)))) (* (* h w) (sqrt (* (- (* M M) (* (* (/ (* (/ d D) c0) h) (/ (/ d D) w)) (* (/ (* (/ d D) c0) h) (/ (/ d D) w)))) (- (* (* (/ (* (/ d D) c0) h) (/ (/ d D) w)) (* (/ (* (/ d D) c0) h) (/ (/ d D) w))) (* M M))))))
954.0ms	(+ (* (* (* (/ d D) c0) (/ d D)) (sqrt (* (+ (* M M) (- (* (* (/ (* (/ d D) c0) h) (/ (/ d D) w)) (* (/ (* (/ d D) c0) h) (/ (/ d D) w))) (* M (* (/ (* (/ d D) c0) h) (/ (/ d D) w))))) (+ (* (/ (* (/ d D) c0) h) (/ (/ d D) w)) M)))) (* (* h w) (sqrt (* (+ (pow M 3) (pow (* (/ (* (/ d D) c0) h) (/ (/ d D) w)) 3)) (- (* (* (/ (* (/ d D) c0) h) (/ (/ d D) w)) (* (/ (* (/ d D) c0) h) (/ (/ d D) w))) (* M M))))))

prune2.5s

Pruning

19 alts after pruning (19 fresh and 0 done)

Merged error: 21.4b

localize1.0ms

Local error

Found 0 expressions with local error:

rewrite0.0ms

Algorithm

rewrite-expression-head

Rules

Calls

0 calls:

Slowest

series0.0ms

Calls

0 calls:

Slowest

simplify0.0ms

Calls

0 calls:

Slowest

prune1.0ms

Pruning

19 alts after pruning (18 fresh and 1 done)

Merged error: 21.4b

regimes1.6s

Accuracy

0.5% (11.0b remaining)

Error of 33.0b against oracle of 22.1b and baseline of 33.1b

bsearch1.0s

end0.0ms

sample20.0s

Algorithm

intervals

Results

5.7s	2350×	body	5120	valid
3.8s	1705×	body	2560	valid
3.5s	13071×	body	80	nan
2.3s	6947×	body	80	valid
1.8s	606×	body	10240	exit
1.3s	864×	body	1280	valid
526.0ms	465×	body	640	valid
170.0ms	247×	body	320	valid
80.0ms	111×	body	160	valid