Details

sample523.0ms

Algorithm

intervals

Results

146.0ms	435×	body	80	nan
129.0ms	60×	body	5120	valid
73.0ms	52×	body	2560	valid
51.0ms	230×	body	80	valid
36.0ms	32×	body	1280	valid
32.0ms	22×	body	10240	exit
16.0ms	20×	body	640	valid
4.0ms	6×	body	320	valid
1.0ms	3×	body	160	valid

simplify997.0ms

Calls

1 calls:

Slowest

997.0ms

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

prune32.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 50.7b

localize43.0ms

Local error

Found 4 expressions with local error:

24.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))
15.7b	(sqrt (* (+ M (/ (* (/ c0 w) (* (/ d D) (/ d D))) h)) (- (/ (* (/ c0 w) (* (/ d D) (/ d D))) h) M)))
10.9b	(* (/ c0 w) (* (/ d D) (/ d D)))
10.9b	(* (/ c0 w) (* (/ d D) (/ d D)))

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

26.0ms	(* (/ c0 w) (* (/ d D) (/ d D)))
19.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))
3.0ms	(sqrt (* (+ M (/ (* (/ c0 w) (* (/ d D) (/ d D))) h)) (- (/ (* (/ c0 w) (* (/ d D) (/ d D))) h) M)))

series1.0s

Calls

4 calls:

Slowest

484.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))
424.0ms	(sqrt (* (+ M (/ (* (/ c0 w) (* (/ d D) (/ d D))) h)) (- (/ (* (/ c0 w) (* (/ d D) (/ d D))) h) M)))
55.0ms	(* (/ c0 w) (* (/ d D) (/ d D)))
48.0ms	(* (/ c0 w) (* (/ d D) (/ d D)))

simplify13.9s

Calls

73 calls:

Slowest

777.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)))))
673.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)))))
652.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)))))
578.0ms	(* (/ c0 w) (* (/ d D) (/ d D)))
519.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))

prune1.9s

Pruning

16 alts after pruning (16 fresh and 0 done)

Merged error: 47.4b

localize33.0ms

Local error

Found 4 expressions with local error:

24.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))
24.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))
24.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))
15.7b	(sqrt (* (+ M (/ (* (/ c0 w) (* (/ d D) (/ d D))) h)) (- (/ (* (/ c0 w) (* (/ d D) (/ d D))) h) M)))

rewrite37.0ms

Algorithm

rewrite-expression-head

Rules

32×	`sqrt-div`
24×	`frac-add`
16×	`frac-times`
15×	`flip3-+` `flip-+`
12×	`flip3--` `flip--`
10×	`*-un-lft-identity` `add-log-exp`
8×	`associate-l/` `associate-r/`
4×	`add-sqr-sqrt` `pow1` `add-cbrt-cube` `add-exp-log` `add-cube-cbrt` `insert-posit16`
3×	`+-commutative` `sum-log` `distribute-lft-out`
1×	`pow1/2` `sqrt-prod`

Calls

4 calls:

Slowest

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

series2.0s

Calls

4 calls:

Slowest

531.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))
508.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))
498.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))
444.0ms	(sqrt (* (+ M (/ (* (/ c0 w) (* (/ d D) (/ d D))) h)) (- (/ (* (/ c0 w) (* (/ d D) (/ d D))) h) M)))

simplify25.3s

Calls

75 calls:

Slowest

925.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)))))
874.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)))))
800.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)))))
724.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)))))
707.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)))))

prune2.3s

Pruning

16 alts after pruning (16 fresh and 0 done)

Merged error: 47.4b

localize31.0ms

Local error

Found 4 expressions with local error:

14.6b	(* (/ (/ c0 w) h) (* (/ d D) (/ d D)))
10.9b	(* (/ c0 w) (* (/ d D) (/ d D)))
9.4b	(* (/ (+ (* (/ (/ c0 w) h) (* (/ d D) (/ d D))) (/ (* (/ c0 w) (* (/ d D) (/ d D))) h)) 2) (/ c0 w))
8.6b	(/ (* (/ c0 w) (* (/ d D) (/ d D))) h)

rewrite87.0ms

Algorithm

rewrite-expression-head

Rules

16×	`frac-times` `pow1` `add-cbrt-cube` `associate-*r/` `add-exp-log`
12×	`associate-l`
10×	`associate-*l/`
8×	`add-sqr-sqrt` `*-un-lft-identity` `add-cube-cbrt`
7×	`pow-prod-down` `prod-exp` `cbrt-unprod` `associate-/l/`
6×	`associate-r`
5×	`div-inv`
4×	`insert-posit16` `add-log-exp`
3×	`*-commutative`
1×	`clear-num` `frac-2neg` `associate-/l*`

Calls

4 calls:

Slowest

29.0ms	(* (/ (+ (* (/ (/ c0 w) h) (* (/ d D) (/ d D))) (/ (* (/ c0 w) (* (/ d D) (/ d D))) h)) 2) (/ c0 w))
23.0ms	(* (/ (/ c0 w) h) (* (/ d D) (/ d D)))
19.0ms	(* (/ c0 w) (* (/ d D) (/ d D)))
16.0ms	(/ (* (/ c0 w) (* (/ d D) (/ d D))) h)

series406.0ms

Calls

4 calls:

Slowest

186.0ms	(* (/ (+ (* (/ (/ c0 w) h) (* (/ d D) (/ d D))) (/ (* (/ c0 w) (* (/ d D) (/ d D))) h)) 2) (/ c0 w))
97.0ms	(* (/ (/ c0 w) h) (* (/ d D) (/ d D)))
68.0ms	(/ (* (/ c0 w) (* (/ d D) (/ d D))) h)
53.0ms	(* (/ c0 w) (* (/ d D) (/ d D)))

simplify9.1s

Calls

68 calls:

Slowest

541.0ms	(+ (log (/ (/ c0 w) h)) (log (* (/ d D) (/ d D))))
486.0ms	(* (/ (+ (* (/ (/ c0 w) h) (* (/ d D) (/ d D))) (/ (* (/ c0 w) (* (/ d D) (/ d D))) h)) 2) (/ c0 w))
458.0ms	(* (+ (* (/ (/ c0 w) h) (* (/ d D) (/ d D))) (/ (* (/ c0 w) (* (/ d D) (/ d D))) h)) (/ c0 w))
436.0ms	(+ (log (/ (+ (* (/ (/ c0 w) h) (* (/ d D) (/ d D))) (/ (* (/ c0 w) (* (/ d D) (/ d D))) h)) 2)) (log (/ c0 w)))
397.0ms	(* (+ (* (/ (/ c0 w) h) (* (/ d D) (/ d D))) (/ (* (/ c0 w) (* (/ d D) (/ d D))) h)) c0)

prune1.7s

Pruning

16 alts after pruning (16 fresh and 0 done)

Merged error: 38.2b

localize28.0ms

Local error

Found 4 expressions with local error:

7.5b	(/ (* (/ d D) c0) w)
7.5b	(/ (* (/ d D) c0) w)
7.5b	(/ (* (/ d D) c0) w)
7.5b	(/ (* (/ d D) c0) w)

rewrite41.0ms

Algorithm

rewrite-expression-head

Rules

4×	`add-sqr-sqrt` `pow1` `clear-num` `frac-2neg` `-un-lft-identity` `add-cbrt-cube` `associate-l/` `add-exp-log` `add-cube-cbrt` `insert-posit16` `div-inv` `associate-/l*` `add-log-exp` `associate-/l/`

Calls

4 calls:

Slowest

11.0ms	(/ (* (/ d D) c0) w)
11.0ms	(/ (* (/ d D) c0) w)
11.0ms	(/ (* (/ d D) c0) w)
7.0ms	(/ (* (/ d D) c0) w)

series97.0ms

Calls

4 calls:

Slowest

34.0ms	(/ (* (/ d D) c0) w)
22.0ms	(/ (* (/ d D) c0) w)
21.0ms	(/ (* (/ d D) c0) w)
20.0ms	(/ (* (/ d D) c0) w)

simplify633.0ms

Calls

20 calls:

Slowest

62.0ms	(/ (* c0 d) (* w D))
61.0ms	(/ (* c0 d) (* w D))
61.0ms	(/ (* c0 d) (* w D))
60.0ms	(/ (* c0 d) (* w D))
58.0ms	(/ (* c0 d) (* w D))

prune876.0ms

Pruning

18 alts after pruning (18 fresh and 0 done)

Merged error: 38.1b

regimes1.2s

Accuracy

0% (6.3b remaining)

Error of 46.9b against oracle of 40.6b and baseline of 46.9b

bsearch6.0ms

end0.0ms

sample19.6s

Algorithm

intervals

Results

5.6s	2216×	body	5120	valid
4.0s	13258×	body	80	nan
3.9s	1821×	body	2560	valid
1.8s	6821×	body	80	valid
1.3s	906×	body	1280	valid
1.0s	585×	body	10240	exit
584.0ms	234×	body	320	valid
485.0ms	451×	body	640	valid
54.0ms	126×	body	160	valid