Details

sample437.0ms

Algorithm

intervals

Results

135.0ms	86×	body	5120	valid
95.0ms	355×	body	80	nan
59.0ms	196×	body	80	valid
49.0ms	49×	body	2560	valid
34.0ms	34×	body	1280	valid
22.0ms	19×	body	10240	exit
11.0ms	17×	body	640	valid
2.0ms	4×	body	160	valid
1.0ms	2×	body	320	valid

simplify375.0ms

Calls

1 calls:

Slowest

375.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)))))

prune18.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 58.8b

localize88.0ms

Local error

Found 4 expressions with local error:

31.6b	(+ (/ (* c0 (* d d)) (* (* w h) (* D D))) (sqrt (- (* (/ (* c0 (* d d)) (* (* w h) (* D D))) (/ (* c0 (* d d)) (* (* w h) (* D D)))) (* M M))))
15.8b	(/ (* c0 (* d d)) (* (* w h) (* D D)))
15.8b	(/ (* c0 (* d d)) (* (* w h) (* D D)))
15.8b	(/ (* c0 (* d d)) (* (* w h) (* D D)))

rewrite84.0ms

Algorithm

rewrite-expression-head

Rules

19×	`add-exp-log`
19×	`add-cbrt-cube`
6×	`add-log-exp`
6×	`div-exp`
6×	`*-un-lft-identity`
6×	`cbrt-undiv`
4×	`add-cube-cbrt`
4×	`pow1`
4×	`add-sqr-sqrt`
3×	`associate-/l*`
3×	`div-inv`
3×	`cbrt-unprod`
3×	`prod-exp`
3×	`times-frac`
3×	`frac-2neg`
3×	`associate-/r*`
3×	`clear-num`
2×	`frac-add`
2×	`sqrt-div`
1×	`distribute-lft-out`
1×	`flip--`
1×	`flip-+`
1×	`flip3--`
1×	`flip3-+`
1×	`sum-log`
1×	`+-commutative`

Calls

4 calls:

Slowest

69.0ms	(+ (/ (* c0 (* d d)) (* (* w h) (* D D))) (sqrt (- (* (/ (* c0 (* d d)) (* (* w h) (* D D))) (/ (* c0 (* d d)) (* (* w h) (* D D)))) (* M M))))
5.0ms	(/ (* c0 (* d d)) (* (* w h) (* D D)))
5.0ms	(/ (* c0 (* d d)) (* (* w h) (* D D)))
5.0ms	(/ (* c0 (* d d)) (* (* w h) (* D D)))

series403.0ms

Calls

4 calls:

Slowest

200.0ms	(+ (/ (* c0 (* d d)) (* (* w h) (* D D))) (sqrt (- (* (/ (* c0 (* d d)) (* (* w h) (* D D))) (/ (* c0 (* d d)) (* (* w h) (* D D)))) (* M M))))
72.0ms	(/ (* c0 (* d d)) (* (* w h) (* D D)))
67.0ms	(/ (* c0 (* d d)) (* (* w h) (* D D)))
64.0ms	(/ (* c0 (* d d)) (* (* w h) (* D D)))

simplify11.8s

Calls

39 calls:

Slowest

985.0ms	(* (* (* w h) (* D D)) (sqrt (+ (* (* (/ (* c0 (* d d)) (* (* w h) (* D D))) (/ (* c0 (* d d)) (* (* w h) (* D D)))) (* (/ (* c0 (* d d)) (* (* w h) (* D D))) (/ (* c0 (* d d)) (* (* w h) (* D D))))) (+ (* (* M M) (* M M)) (* (* (/ (* c0 (* d d)) (* (* w h) (* D D))) (/ (* c0 (* d d)) (* (* w h) (* D D)))) (* M M))))))
654.0ms	(+ (* (* c0 (* d d)) (sqrt (+ (* (* (/ (* c0 (* d d)) (* (* w h) (* D D))) (/ (* c0 (* d d)) (* (* w h) (* D D)))) (* (/ (* c0 (* d d)) (* (* w h) (* D D))) (/ (* c0 (* d d)) (* (* w h) (* D D))))) (+ (* (* M M) (* M M)) (* (* (/ (* c0 (* d d)) (* (* w h) (* D D))) (/ (* c0 (* d d)) (* (* w h) (* D D)))) (* M M)))))) (* (* (* w h) (* D D)) (sqrt (- (pow (* (/ (* c0 (* d d)) (* (* w h) (* D D))) (/ (* c0 (* d d)) (* (* w h) (* D D)))) 3) (pow (* M M) 3)))))
653.0ms	(/ (* (* (* c0 (* d d)) (* c0 (* d d))) (* c0 (* d d))) (* (* (* (* w h) (* w h)) (* w h)) (* (* (* D D) (* D D)) (* D D))))
619.0ms	(/ (* (* (* c0 (* d d)) (* c0 (* d d))) (* c0 (* d d))) (* (* (* (* w h) (* D D)) (* (* w h) (* D D))) (* (* w h) (* D D))))
611.0ms	(/ (* (* (* c0 (* d d)) (* c0 (* d d))) (* c0 (* d d))) (* (* (* (* w h) (* w h)) (* w h)) (* (* (* D D) (* D D)) (* D D))))

prune1.4s

Pruning

8 alts after pruning (8 fresh and 0 done)

Merged error: 29.9b

localize3.0ms

Local error

Found 1 expressions with local error:

7.2b	(* (/ c0 (* 2 w)) 0)

rewrite2.0ms

Algorithm

rewrite-expression-head

Rules

4×	`associate-l`
2×	`add-cube-cbrt`
2×	`*-un-lft-identity`
2×	`add-sqr-sqrt`
1×	`add-log-exp`
1×	`div-inv`
1×	`*-commutative`
1×	`add-exp-log`
1×	`associate-*l/`
1×	`mul0`
1×	`add-cbrt-cube`
1×	`pow1`

Calls

1 calls:

Slowest

2.0ms

(* (/ c0 (* 2 w)) 0)

series2.0ms

Calls

1 calls:

Slowest

2.0ms

(* (/ c0 (* 2 w)) 0)

simplify7.0ms

Calls

6 calls:

Slowest

3.0ms	(* (cbrt (/ c0 (* 2 w))) (cbrt (/ c0 (* 2 w))))
2.0ms	(sqrt (/ c0 (* 2 w)))
1.0ms	(* c0 0)
0.0ms	0
0.0ms	0

prune224.0ms

Pruning

8 alts after pruning (8 fresh and 0 done)

Merged error: 27.3b

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

prune64.0ms

Pruning

8 alts after pruning (7 fresh and 1 done)

Merged error: 27.3b

localize43.0ms

Local error

Found 4 expressions with local error:

31.6b	(+ (* (/ (/ c0 h) w) (* (/ d D) (/ d D))) (sqrt (* (+ M (* (/ (/ c0 h) w) (* (/ d D) (/ d D)))) (- (* (/ (/ c0 h) w) (* (/ d D) (/ d D))) M))))
14.3b	(* (/ (/ c0 h) w) (* (/ d D) (/ d D)))
14.3b	(* (/ (/ c0 h) w) (* (/ d D) (/ d D)))
14.3b	(* (/ (/ c0 h) w) (* (/ d D) (/ d D)))

rewrite68.0ms

Algorithm

rewrite-expression-head

Rules

83×	`frac-times`
69×	`associate-*r/`
56×	`frac-add`
56×	`sqrt-div`
47×	`associate-*l/`
22×	`flip-+`
22×	`flip3-+`
21×	`flip--`
21×	`flip3--`
19×	`add-exp-log`
19×	`add-cbrt-cube`
19×	`pow1`
12×	`associate-l`
9×	`cbrt-unprod`
9×	`prod-exp`
9×	`pow-prod-down`
7×	`add-cube-cbrt`
7×	`*-un-lft-identity`
7×	`add-sqr-sqrt`
6×	`add-log-exp`
3×	`div-inv`
3×	`*-commutative`
3×	`associate-r`
1×	`sum-log`
1×	`+-commutative`

Calls

4 calls:

Slowest

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

series762.0ms

Calls

4 calls:

Slowest

447.0ms	(+ (* (/ (/ c0 h) w) (* (/ d D) (/ d D))) (sqrt (* (+ M (* (/ (/ c0 h) w) (* (/ d D) (/ d D)))) (- (* (/ (/ c0 h) w) (* (/ d D) (/ d D))) M))))
117.0ms	(* (/ (/ c0 h) w) (* (/ d D) (/ d D)))
100.0ms	(* (/ (/ c0 h) w) (* (/ d D) (/ d D)))
97.0ms	(* (/ (/ c0 h) w) (* (/ d D) (/ d D)))

simplify33.0s

Calls

179 calls:

Slowest

510.0ms	(+ (log (/ (/ c0 h) w)) (+ (log (/ d D)) (log (/ d D))))
500.0ms	(+ (log (/ (/ c0 h) w)) (+ (log (/ d D)) (log (/ d D))))
479.0ms	(+ (log (/ (/ c0 h) w)) (+ (log (/ d D)) (log (/ d D))))
478.0ms	(* D (sqrt (* (- M (* (/ (/ c0 h) w) (* (/ d D) (/ d D)))) (+ (* (/ (/ c0 h) w) (* (/ d D) (/ d D))) M))))
474.0ms	(* (* w D) (sqrt (* (+ (* M M) (- (* (* (/ (/ c0 h) w) (* (/ d D) (/ d D))) (* (/ (/ c0 h) w) (* (/ d D) (/ d D)))) (* M (* (/ (/ c0 h) w) (* (/ d D) (/ d D)))))) (+ (* (* (/ (/ c0 h) w) (* (/ d D) (/ d D))) (* (/ (/ c0 h) w) (* (/ d D) (/ d D)))) (+ (* M M) (* (* (/ (/ c0 h) w) (* (/ d D) (/ d D))) M))))))

prune3.2s

Pruning

8 alts after pruning (6 fresh and 2 done)

Merged error: 27.3b

regimes1.0s

Accuracy

0% (2.9b remaining)

Error of 33.4b against oracle of 30.5b and baseline of 33.4b

bsearch0.0ms

end0.0ms

sample19.6s

Algorithm

intervals

Results

5.6s	2346×	body	5120	valid
4.2s	12993×	body	80	nan
3.5s	1725×	body	2560	valid
1.9s	6714×	body	80	valid
1.5s	903×	body	1280	valid
1.3s	596×	body	10240	exit
471.0ms	442×	body	640	valid
152.0ms	204×	body	320	valid
52.0ms	115×	body	160	valid