Details

sample511.0ms

Algorithm

intervals

Results

127.0ms	68×	body	5120	valid
116.0ms	441×	body	80	nan
86.0ms	68×	body	2560	valid
63.0ms	217×	body	80	valid
36.0ms	17×	body	10240	exit
25.0ms	26×	body	1280	valid
6.0ms	7×	body	640	valid
4.0ms	7×	body	320	valid
0.0ms	1×	body	160	valid

simplify721.0ms

Counts

1 → 1

Iterations

Iter	Nodes
3	2972
2	280
1	59
0	21

prune41.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 55.8b

localize48.0ms

Local error

Found 4 expressions with local error:

15.7b	(/ (* (* c0 (/ d D)) (/ d D)) (* w h))
15.7b	(/ (* (* c0 (/ d D)) (/ d D)) (* w h))
17.4b	(sqrt (* (+ M (/ (* (* c0 (/ d D)) (/ d D)) (* w h))) (- (/ (* (* c0 (/ d D)) (/ d D)) (* w h)) M)))
26.2b	(+ (sqrt (* (+ M (/ (* (* c0 (/ d D)) (/ d D)) (* w h))) (- (/ (* (* c0 (/ d D)) (/ d D)) (* w h)) M))) (/ (* (* c0 (/ d D)) (/ d D)) (* w h)))

rewrite184.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 131

Calls

4 calls:

27.0ms	(/ (* (* c0 (/ d D)) (/ d D)) (* w h))
48.0ms	(/ (* (* c0 (/ d D)) (/ d D)) (* w h))
41.0ms	(sqrt (* (+ M (/ (* (* c0 (/ d D)) (/ d D)) (* w h))) (- (/ (* (* c0 (/ d D)) (/ d D)) (* w h)) M)))
63.0ms	(+ (sqrt (* (+ M (/ (* (* c0 (/ d D)) (/ d D)) (* w h))) (- (/ (* (* c0 (/ d D)) (/ d D)) (* w h)) M))) (/ (* (* c0 (/ d D)) (/ d D)) (* w h)))

series1.8s

Counts

4 → 12

Calls

4 calls:

95.0ms	(/ (* (* c0 (/ d D)) (/ d D)) (* w h))
94.0ms	(/ (* (* c0 (/ d D)) (/ d D)) (* w h))
736.0ms	(sqrt (* (+ M (/ (* (* c0 (/ d D)) (/ d D)) (* w h))) (- (/ (* (* c0 (/ d D)) (/ d D)) (* w h)) M)))
904.0ms	(+ (sqrt (* (+ M (/ (* (* c0 (/ d D)) (/ d D)) (* w h))) (- (/ (* (* c0 (/ d D)) (/ d D)) (* w h)) M))) (/ (* (* c0 (/ d D)) (/ d D)) (* w h)))

simplify1.2s

Counts

143 → 143

Iterations

Iter	Nodes
2	3560
1	668
0	224

prune2.6s

Pruning

12 alts after pruning (12 fresh and 0 done)

Merged error: 49.8b

localize33.0ms

Local error

Found 4 expressions with local error:

3.4b	(/ (* (* (* (/ d D) (/ d D)) (/ c0 (* w h))) 2) w)
7.2b	(* (/ c0 2) (/ (* (* (* (/ d D) (/ d D)) (/ c0 (* w h))) 2) w))
7.2b	(/ c0 (* w h))
16.3b	(* (* (/ d D) (/ d D)) (/ c0 (* w h)))

rewrite706.0ms

Algorithm

rewrite-expression-head

Rules

446×	`add-cbrt-cube` `add-exp-log`
213×	`prod-exp` `cbrt-unprod`
159×	`cbrt-undiv` `div-exp`
25×	`add-sqr-sqrt`
22×	`times-frac`
19×	`*-un-lft-identity` `add-cube-cbrt`
18×	`associate-*l/`
14×	`associate-r` `associate-l`
11×	`frac-times` `pow1`
7×	`associate-*r/` `associate-/l/`
5×	`div-inv`
4×	`associate-/r` `pow-prod-down` `insert-posit16` `associate-/l` `add-log-exp`
3×	`unswap-sqr`
2×	`clear-num` `frac-2neg` `*-commutative`

Counts

4 → 245

Calls

4 calls:

184.0ms	(/ (* (* (* (/ d D) (/ d D)) (/ c0 (* w h))) 2) w)
453.0ms	(* (/ c0 2) (/ (* (* (* (/ d D) (/ d D)) (/ c0 (* w h))) 2) w))
6.0ms	(/ c0 (* w h))
47.0ms	(* (* (/ d D) (/ d D)) (/ c0 (* w h)))

series362.0ms

Counts

4 → 12

Calls

4 calls:

129.0ms	(/ (* (* (* (/ d D) (/ d D)) (/ c0 (* w h))) 2) w)
117.0ms	(* (/ c0 2) (/ (* (* (* (/ d D) (/ d D)) (/ c0 (* w h))) 2) w))
25.0ms	(/ c0 (* w h))
91.0ms	(* (* (/ d D) (/ d D)) (/ c0 (* w h)))

simplify3.4s

Counts

257 → 257

Iterations

Iter	Nodes
2	6664
1	1221
0	373

prune3.6s

Pruning

25 alts after pruning (25 fresh and 0 done)

Merged error: 39.7b

localize32.0ms

Local error

Found 4 expressions with local error:

3.5b	(* (/ d D) (* (/ d D) (/ c0 (* w h))))
7.2b	(* (/ c0 2) (/ (* (* (/ d D) (* (/ d D) (/ c0 (* w h)))) 2) w))
7.2b	(/ c0 (* w h))
12.0b	(* (/ d D) (/ c0 (* w h)))

rewrite725.0ms

Algorithm

rewrite-expression-head

Rules

344×	`add-cbrt-cube` `add-exp-log`
163×	`prod-exp` `cbrt-unprod`
121×	`cbrt-undiv` `div-exp`
41×	`add-sqr-sqrt`
39×	`associate-l`
38×	`times-frac`
31×	`*-un-lft-identity` `add-cube-cbrt`
15×	`associate-r`
13×	`pow1`
7×	`frac-times` `associate-*r/`
6×	`div-inv`
5×	`pow-prod-down` `associate-*l/`
4×	`insert-posit16` `add-log-exp` `unswap-sqr`
3×	`-commutative` `associate-/l`
1×	`clear-num` `associate-/r*` `frac-2neg`

Counts

4 → 232

Calls

4 calls:

83.0ms	(* (/ d D) (* (/ d D) (/ c0 (* w h))))
600.0ms	(* (/ c0 2) (/ (* (* (/ d D) (* (/ d D) (/ c0 (* w h)))) 2) w))
6.0ms	(/ c0 (* w h))
28.0ms	(* (/ d D) (/ c0 (* w h)))

series306.0ms

Counts

4 → 12

Calls

4 calls:

72.0ms	(* (/ d D) (* (/ d D) (/ c0 (* w h))))
134.0ms	(* (/ c0 2) (/ (* (* (/ d D) (* (/ d D) (/ c0 (* w h)))) 2) w))
27.0ms	(/ c0 (* w h))
72.0ms	(* (/ d D) (/ c0 (* w h)))

simplify4.4s

Counts

244 → 244

Iterations

Iter	Nodes
2	7806
1	1358
0	394

prune3.5s

Pruning

24 alts after pruning (24 fresh and 0 done)

Merged error: 36.6b

localize25.0ms

Local error

Found 4 expressions with local error:

4.6b	(* (* (* (/ c0 2) (* (/ (/ d D) w) (/ c0 h))) (/ d D)) (/ 2 w))
5.9b	(/ (/ d D) w)
6.9b	(* (* (/ c0 2) (* (/ (/ d D) w) (/ c0 h))) (/ d D))
11.2b	(* (/ (/ d D) w) (/ c0 h))

rewrite924.0ms

Algorithm

rewrite-expression-head

Rules

656×	`add-cbrt-cube` `add-exp-log`
314×	`prod-exp` `cbrt-unprod`
238×	`cbrt-undiv` `div-exp`
177×	`times-frac`
123×	`add-sqr-sqrt`
102×	`*-un-lft-identity` `add-cube-cbrt`
67×	`frac-times`
55×	`associate-*l/`
45×	`associate-l`
39×	`associate-r`
35×	`associate-*r/`
29×	`pow1`
17×	`pow-prod-down`
13×	`associate-/l*`
12×	`div-inv`
6×	`unswap-sqr`
4×	`insert-posit16` `add-log-exp`
3×	`associate-/r` `-commutative`
1×	`clear-num` `frac-2neg` `associate-/l/`

Counts

4 → 441

Calls

4 calls:

650.0ms	(* (* (* (/ c0 2) (* (/ (/ d D) w) (/ c0 h))) (/ d D)) (/ 2 w))
17.0ms	(/ (/ d D) w)
214.0ms	(* (* (/ c0 2) (* (/ (/ d D) w) (/ c0 h))) (/ d D))
26.0ms	(* (/ (/ d D) w) (/ c0 h))

series345.0ms

Counts

4 → 12

Calls

4 calls:

131.0ms	(* (* (* (/ c0 2) (* (/ (/ d D) w) (/ c0 h))) (/ d D)) (/ 2 w))
32.0ms	(/ (/ d D) w)
111.0ms	(* (* (/ c0 2) (* (/ (/ d D) w) (/ c0 h))) (/ d D))
71.0ms	(* (/ (/ d D) w) (/ c0 h))

simplify1.1s

Counts

453 → 453

Iterations

Iter	Nodes
1	2163
0	642

prune7.0s

Pruning

28 alts after pruning (28 fresh and 0 done)

Merged error: 35.3b

regimes2.8s

Accuracy

3.7% (12.5b remaining)

Error of 48.1b against oracle of 35.6b and baseline of 48.6b

bsearch1.7s

Steps

Iters	Range		Point
7	1.0618504393241687e+67	3.380772145120847e+68	1.9060103432990615e+67
9	7.914798975468477e-284	3.079499679778097e-277	6.02676577709074e-283
8	-2.4661135192046376e-266	-7.771696704067562e-269	-1.1801178047435498e-268
7	-9.135119803988067e+73	-1.0508068966508024e+72	-1.7399590492020498e+73

simplify35.0ms

Iterations

Iter	Nodes
2	55
1	55
0	43

end0.0ms

sample20.8s

Algorithm

intervals

Results

5.3s	2314×	body	5120	valid
4.9s	12816×	body	80	nan
3.1s	1740×	body	2560	valid
1.9s	6762×	body	80	valid
1.7s	547×	body	10240	exit
1.6s	839×	body	1280	valid
485.0ms	476×	body	640	valid
293.0ms	227×	body	320	valid
80.0ms	121×	body	160	valid