Details

sample498.0ms

Algorithm

intervals

Results

143.0ms	74×	body	5120	valid
107.0ms	397×	body	80	nan
105.0ms	59×	body	2560	valid
40.0ms	204×	body	80	valid
28.0ms	20×	body	10240	exit
19.0ms	20×	body	1280	valid
8.0ms	10×	body	640	valid
6.0ms	8×	body	320	valid
1.0ms	3×	body	160	valid

simplify1.1s

Calls

1 calls:

Slowest

1.1s	(* (/ 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)))))

prune19.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 49.8b

localize48.0ms

Local error

Found 4 expressions with local error:

26.8b	(+ (sqrt (* (+ M (/ (* (/ c0 w) (* (/ d D) (/ d D))) h)) (- (/ (* (/ c0 w) (* (/ d D) (/ d D))) h) M))) (/ (* (/ c0 w) (* (/ d D) (/ d D))) h))
13.5b	(sqrt (* (+ M (/ (* (/ c0 w) (* (/ d D) (/ d D))) h)) (- (/ (* (/ c0 w) (* (/ d D) (/ d D))) h) M)))
13.1b	(* (/ c0 w) (* (/ d D) (/ d D)))
13.1b	(* (/ c0 w) (* (/ d D) (/ d D)))

rewrite144.0ms

Algorithm

rewrite-expression-head

Rules

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

Calls

4 calls:

Slowest

59.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))
28.0ms	(sqrt (* (+ M (/ (* (/ c0 w) (* (/ d D) (/ d D))) h)) (- (/ (* (/ c0 w) (* (/ d D) (/ d D))) h) M)))
27.0ms	(* (/ c0 w) (* (/ d D) (/ d D)))
27.0ms	(* (/ c0 w) (* (/ d D) (/ d D)))

series1.9s

Calls

4 calls:

Slowest

914.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))
813.0ms	(sqrt (* (+ M (/ (* (/ c0 w) (* (/ d D) (/ d D))) h)) (- (/ (* (/ c0 w) (* (/ d D) (/ d D))) h) M)))
110.0ms	(* (/ c0 w) (* (/ d D) (/ d D)))
101.0ms	(* (/ c0 w) (* (/ d D) (/ d D)))

simplify27.9s

Calls

133 calls:

Slowest

913.0ms	(+ (* (sqrt (* (- (* M M) (* (/ (* (/ c0 w) (* (/ d D) (/ d D))) h) (/ (* (/ c0 w) (* (/ d D) (/ d D))) h))) (- (* (/ (* (/ c0 w) (* (/ d D) (/ d D))) h) (/ (* (/ c0 w) (* (/ d D) (/ d D))) h)) (* M M)))) h) (* (sqrt (* (- M (/ (* (/ c0 w) (* (/ d D) (/ d D))) h)) (+ (/ (* (/ c0 w) (* (/ d D) (/ d D))) h) M))) (* (/ c0 w) (* (/ d D) (/ d D)))))
808.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)))))
804.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)))))
648.0ms	(* (/ (* (* c0 c0) c0) (* (* w w) w)) (* (/ (* (* d d) d) (* (* D D) D)) (/ (* (* d d) d) (* (* D D) D))))
640.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)))))

prune2.7s

Pruning

15 alts after pruning (15 fresh and 0 done)

Merged error: 46.7b

localize64.0ms

Local error

Found 4 expressions with local error:

31.9b	(+ (sqrt (* (+ M (/ (* (/ c0 w) (* (/ d D) (/ d D))) h)) (- (/ (* (/ c0 w) (* (/ d D) (/ d D))) h) M))) (/ (* (* (/ c0 w) (/ d D)) (/ d D)) h))
13.5b	(sqrt (* (+ M (/ (* (/ c0 w) (* (/ d D) (/ d D))) h)) (- (/ (* (/ c0 w) (* (/ d D) (/ d D))) h) M)))
13.1b	(* (/ c0 w) (* (/ d D) (/ d D)))
13.1b	(* (/ c0 w) (* (/ d D) (/ d D)))

rewrite162.0ms

Algorithm

rewrite-expression-head

Rules

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

Calls

4 calls:

Slowest

50.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))
36.0ms	(* (/ c0 w) (* (/ d D) (/ d D)))
35.0ms	(* (/ c0 w) (* (/ d D) (/ d D)))
34.0ms	(sqrt (* (+ M (/ (* (/ c0 w) (* (/ d D) (/ d D))) h)) (- (/ (* (/ c0 w) (* (/ d D) (/ d D))) h) M)))

series2.2s

Calls

4 calls:

Slowest

1.1s	(sqrt (* (+ M (/ (* (/ c0 w) (* (/ d D) (/ d D))) h)) (- (/ (* (/ c0 w) (* (/ d D) (/ d D))) h) M)))
908.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))
89.0ms	(* (/ c0 w) (* (/ d D) (/ d D)))
81.0ms	(* (/ c0 w) (* (/ d D) (/ d D)))

simplify26.3s

Calls

133 calls:

Slowest

777.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))))
675.0ms	(* (/ (* (* c0 c0) c0) (* (* w w) w)) (* (/ (* (* d d) d) (* (* D D) D)) (/ (* (* d d) d) (* (* D D) D))))
647.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))))
579.0ms	(* (/ (* (* c0 c0) c0) (* (* w w) w)) (* (/ (* (* d d) d) (* (* D D) D)) (/ (* (* d d) d) (* (* D D) D))))
574.0ms	(* (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))))) h)

prune3.4s

Pruning

17 alts after pruning (17 fresh and 0 done)

Merged error: 44.5b

localize63.0ms

Local error

Found 4 expressions with local error:

26.8b	(+ (* (/ (* (/ d D) c0) h) (/ (/ d D) w)) (sqrt (* (+ M (* (/ (* (/ d D) c0) h) (/ (/ d D) w))) (- (* (/ (* (/ d D) c0) h) (/ (/ d D) w)) M))))
13.5b	(sqrt (* (+ M (* (/ (* (/ d D) c0) h) (/ (/ d D) w))) (- (* (/ (* (/ d D) c0) h) (/ (/ d D) w)) M)))
8.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))))) (/ c0 w))
6.2b	(* (/ (* (/ d D) c0) h) (/ (/ d D) w))

rewrite291.0ms

Algorithm

rewrite-expression-head

Rules

98×	`associate-*r/`
91×	`frac-times`
81×	`times-frac`
80×	`sqrt-div`
75×	`add-exp-log`
72×	`frac-add`
71×	`associate-*l/`
70×	`add-cbrt-cube`
57×	`add-sqr-sqrt`
56×	`associate-r`
48×	`*-un-lft-identity` `add-cube-cbrt`
33×	`flip3-+` `flip-+`
30×	`flip3--` `flip--`
28×	`prod-exp`
27×	`div-exp`
26×	`cbrt-undiv`
24×	`cbrt-unprod`
14×	`pow1`
8×	`associate-l`
6×	`div-inv` `add-log-exp`
5×	`pow-prod-down`
4×	`insert-posit16`
3×	`unswap-sqr`
2×	`sqrt-pow1` `1-exp` `*-commutative`
1×	`+-commutative` `sum-log` `pow1/2` `sqrt-prod`

Calls

4 calls:

Slowest

178.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))))) (/ c0 w))
42.0ms	(* (/ (* (/ d D) c0) h) (/ (/ d D) w))
30.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))))
29.0ms	(sqrt (* (+ M (* (/ (* (/ d D) c0) h) (/ (/ d D) w))) (- (* (/ (* (/ d D) c0) h) (/ (/ d D) w)) M)))

series2.5s

Calls

4 calls:

Slowest

1.3s	(sqrt (* (+ M (* (/ (* (/ d D) c0) h) (/ (/ d D) w))) (- (* (/ (* (/ d D) c0) h) (/ (/ d D) w)) M)))
672.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))))) (/ c0 w))
443.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))))
80.0ms	(* (/ (* (/ d D) c0) h) (/ (/ d D) w))

simplify1.3m

Calls

258 calls:

Slowest

1.3s	(* (* 1 (+ (* (* (* (/ d D) c0) (/ (/ d D) w)) (sqrt (* (- M (* (/ (* (/ d D) c0) h) (/ (/ d D) w))) (+ (* (/ (* (/ 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)))) (- (* (* (/ (* (/ d D) c0) h) (/ (/ d D) w)) (* (/ (* (/ d D) c0) h) (/ (/ d D) w))) (* M M))))))) c0)
1.1s	(* (/ (* (/ (* (* d d) d) (* (* D D) D)) (* (* c0 c0) c0)) (* (* h h) h)) (/ (/ (* (* d d) d) (* (* D D) D)) (* (* w w) w)))
999.0ms	(* (/ (* (* (* (/ d D) (/ d D)) (/ d D)) (* (* c0 c0) c0)) (* (* h h) h)) (* (* (/ (/ d D) w) (/ (/ d D) w)) (/ (/ d D) w)))
961.0ms	(* (/ (* (/ (* (* d d) d) (* (* D D) D)) (* (* c0 c0) c0)) (* (* h h) h)) (/ (* (* (/ d D) (/ d D)) (/ d D)) (* (* w w) w)))
954.0ms	(* (* 1 (+ (* (* (* (/ d D) c0) (/ (/ d D) w)) (sqrt (+ (* (* (/ (* (/ 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 (* (/ (* (/ d D) c0) h) (/ (/ d D) w))) (- (pow (* (/ (* (/ d D) c0) h) (/ (/ d D) w)) 3) (pow M 3))))))) c0)

prune5.2s

Pruning

21 alts after pruning (21 fresh and 0 done)

Merged error: 19.4b

localize6.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

21 alts after pruning (20 fresh and 1 done)

Merged error: 19.4b

regimes1.8s

Accuracy

-0.9% (12.0b remaining)

Error of 34.0b against oracle of 22.0b and baseline of 33.9b

bsearch1.4s

end0.0ms

sample19.2s

Algorithm

intervals

Results

5.9s	2266×	body	5120	valid
3.7s	13252×	body	80	nan
3.5s	1706×	body	2560	valid
1.7s	6861×	body	80	valid
1.7s	882×	body	1280	valid
1.1s	546×	body	10240	exit
543.0ms	449×	body	640	valid
175.0ms	224×	body	320	valid
87.0ms	131×	body	160	valid