Details

sample45.0ms

Algorithm

intervals

Results

9.0ms	189×	body	80	valid
4.0ms	26×	body	640	valid
4.0ms	17×	body	1280	valid
4.0ms	114×	body	80	nan
3.0ms	19×	body	640	nan
2.0ms	10×	body	1280	nan
2.0ms	16×	body	320	valid
1.0ms	9×	body	320	nan
1.0ms	8×	body	160	valid
0.0ms	2×	body	160	nan

simplify94.0ms

Counts: 1 → 1

prune3.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 16.5b

localize27.0ms

Local error

Found 3 expressions with local error:

0.0b	(/ (- x y) (- 1.0 y))
2.9b	(- 1.0 (/ (- x y) (- 1.0 y)))
4.7b	(log (- 1.0 (/ (- x y) (- 1.0 y))))

rewrite102.0ms

Algorithm

rewrite-expression-head

Rules

50×	`add-sqr-sqrt`
44×	`*-un-lft-identity`
27×	`times-frac`
16×	`add-cube-cbrt` `difference-of-squares`
14×	`distribute-lft-out--`
6×	`add-exp-log` `log-prod`
5×	`associate-/r` `add-cbrt-cube` `associate-/l` `add-log-exp`
4×	`pow1` `flip3--` `flip--`
2×	`log-div` `div-sub` `associate-/r/` `associate-/l/`
1×	`cbrt-undiv` `sub-neg` `frac-2neg` `diff-log` `div-exp` `rem-log-exp` `clear-num` `log-pow` `div-inv` `associate--r-`

Counts

3 → 85

Calls

3 calls:

23.0ms	(/ (- x y) (- 1.0 y))
39.0ms	(- 1.0 (/ (- x y) (- 1.0 y)))
35.0ms	(log (- 1.0 (/ (- x y) (- 1.0 y))))

series235.0ms

Counts

3 → 9

Calls

3 calls:

50.0ms	(/ (- x y) (- 1.0 y))
75.0ms	(- 1.0 (/ (- x y) (- 1.0 y)))
110.0ms	(log (- 1.0 (/ (- x y) (- 1.0 y))))

simplify1.4s

Counts: 94 → 94

prune547.0ms

Pruning

3 alts after pruning (3 fresh and 0 done)

Merged error: 0b

localize23.0ms

Local error

Found 4 expressions with local error:

0.2b	(cbrt (- 1.0 y))
0.2b	(* (cbrt (- 1.0 y)) (cbrt (- 1.0 y)))
4.7b	(log (- 1.0 (* (/ 1 (* (cbrt (- 1.0 y)) (cbrt (- 1.0 y)))) (/ (- x y) (cbrt (- 1.0 y))))))
11.6b	(- 1.0 (* (/ 1 (* (cbrt (- 1.0 y)) (cbrt (- 1.0 y)))) (/ (- x y) (cbrt (- 1.0 y)))))

rewrite64.0ms

Algorithm

rewrite-expression-head

Rules

33×	`cbrt-prod`
32×	`add-sqr-sqrt`
30×	`*-un-lft-identity`
14×	`add-cube-cbrt` `cbrt-div`
12×	`pow1`
10×	`swap-sqr`
9×	`flip3--` `flip--`
8×	`associate-r` `associate-l`
7×	`add-exp-log` `pow1/3` `distribute-lft-out--`
6×	`add-log-exp`
5×	`difference-of-squares`
4×	`frac-times` `add-cbrt-cube` `unswap-sqr`
3×	`log-prod`
2×	`log-div` `associate-r/` `pow-prod-down` `associate-l/` `pow-sqr` `pow-prod-up`
1×	`pow2` `sub-neg` `pow-plus` `diff-log` `rem-log-exp` `prod-exp` `log-pow` `*-commutative` `cbrt-unprod`

Counts

4 → 97

Calls

4 calls:

7.0ms	(cbrt (- 1.0 y))
40.0ms	(* (cbrt (- 1.0 y)) (cbrt (- 1.0 y)))
4.0ms	(log (- 1.0 (* (/ 1 (* (cbrt (- 1.0 y)) (cbrt (- 1.0 y)))) (/ (- x y) (cbrt (- 1.0 y))))))
5.0ms	(- 1.0 (* (/ 1 (* (cbrt (- 1.0 y)) (cbrt (- 1.0 y)))) (/ (- x y) (cbrt (- 1.0 y)))))

series427.0ms

Counts

4 → 12

Calls

4 calls:

104.0ms	(cbrt (- 1.0 y))
127.0ms	(* (cbrt (- 1.0 y)) (cbrt (- 1.0 y)))
106.0ms	(log (- 1.0 (* (/ 1 (* (cbrt (- 1.0 y)) (cbrt (- 1.0 y)))) (/ (- x y) (cbrt (- 1.0 y))))))
89.0ms	(- 1.0 (* (/ 1 (* (cbrt (- 1.0 y)) (cbrt (- 1.0 y)))) (/ (- x y) (cbrt (- 1.0 y)))))

simplify770.0ms

Counts: 109 → 109

prune379.0ms

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0b

localize31.0ms

Local error

Found 4 expressions with local error:

0.3b	(- (log (- (pow 1.0 3) (pow (/ (- x y) (- 1.0 y)) 3))) (log (+ (* 1.0 1.0) (+ (* (/ (- x y) (- 1.0 y)) (/ (- x y) (- 1.0 y))) (* 1.0 (/ (- x y) (- 1.0 y)))))))
2.9b	(- (pow 1.0 3) (pow (/ (- x y) (- 1.0 y)) 3))
12.4b	(log (+ (* 1.0 1.0) (+ (* (/ (- x y) (- 1.0 y)) (/ (- x y) (- 1.0 y))) (* 1.0 (/ (- x y) (- 1.0 y))))))
13.8b	(log (- (pow 1.0 3) (pow (/ (- x y) (- 1.0 y)) 3)))

rewrite549.0ms

Algorithm

rewrite-expression-head

Rules

148×	`add-sqr-sqrt`
73×	`difference-of-squares`
72×	`log-prod`
54×	`unpow-prod-down` `cube-prod`
42×	`*-un-lft-identity`
33×	`associate--l+`
30×	`sqr-pow`
24×	`times-frac`
19×	`distribute-lft-out--`
10×	`pow1`
8×	`add-cube-cbrt` `log-div`
6×	`add-exp-log` `log-pow` `add-log-exp`
4×	`flip3--` `add-cbrt-cube` `flip--`
3×	`difference-cubes` `associate--r+`
2×	`associate--l-` `sub-neg` `flip3-+` `diff-log` `rem-log-exp` `flip-+` `associate--r-`

Counts

4 → 157

Calls

4 calls:

223.0ms	(- (log (- (pow 1.0 3) (pow (/ (- x y) (- 1.0 y)) 3))) (log (+ (* 1.0 1.0) (+ (* (/ (- x y) (- 1.0 y)) (/ (- x y) (- 1.0 y))) (* 1.0 (/ (- x y) (- 1.0 y)))))))
124.0ms	(- (pow 1.0 3) (pow (/ (- x y) (- 1.0 y)) 3))
75.0ms	(log (+ (* 1.0 1.0) (+ (* (/ (- x y) (- 1.0 y)) (/ (- x y) (- 1.0 y))) (* 1.0 (/ (- x y) (- 1.0 y))))))
114.0ms	(log (- (pow 1.0 3) (pow (/ (- x y) (- 1.0 y)) 3)))

series1.3s

Counts

4 → 12

Calls

4 calls:

515.0ms	(- (log (- (pow 1.0 3) (pow (/ (- x y) (- 1.0 y)) 3))) (log (+ (* 1.0 1.0) (+ (* (/ (- x y) (- 1.0 y)) (/ (- x y) (- 1.0 y))) (* 1.0 (/ (- x y) (- 1.0 y)))))))
213.0ms	(- (pow 1.0 3) (pow (/ (- x y) (- 1.0 y)) 3))
226.0ms	(log (+ (* 1.0 1.0) (+ (* (/ (- x y) (- 1.0 y)) (/ (- x y) (- 1.0 y))) (* 1.0 (/ (- x y) (- 1.0 y))))))
386.0ms	(log (- (pow 1.0 3) (pow (/ (- x y) (- 1.0 y)) 3)))

simplify952.0ms

Counts: 169 → 169

prune697.0ms

Pruning

3 alts after pruning (1 fresh and 2 done)

Merged error: 0b

localize23.0ms

Local error

Found 4 expressions with local error:

0.0b	(- (/ 1.0 y) (* 1.0 (/ x (pow y 2))))
3.8b	(- (/ x y) (- (/ 1.0 y) (* 1.0 (/ x (pow y 2)))))
4.1b	(log (- (/ x y) (- (/ 1.0 y) (* 1.0 (/ x (pow y 2))))))
9.0b	(/ x (pow y 2))

rewrite165.0ms

Algorithm

rewrite-expression-head

Rules

32×	`add-sqr-sqrt`
26×	`*-un-lft-identity` `times-frac`
22×	`add-cube-cbrt`
12×	`unpow-prod-down`
11×	`add-log-exp`
10×	`add-exp-log`
9×	`frac-sub`
8×	`associate-/r*`
6×	`log-prod` `add-cbrt-cube`
5×	`pow1` `log-div` `flip3--` `flip--`
4×	`diff-log` `unpow2` `difference-of-squares` `sqr-pow`
3×	`sub-neg` `associate-r/` `div-exp` `associate-/l` `distribute-lft-out--`
2×	`div-inv` `associate--r+`
1×	`cbrt-undiv` `pow-to-exp` `frac-2neg` `rem-log-exp` `pow-exp` `clear-num` `log-pow` `associate--r-`

Counts

4 → 105

Calls

4 calls:

21.0ms	(- (/ 1.0 y) (* 1.0 (/ x (pow y 2))))
54.0ms	(- (/ x y) (- (/ 1.0 y) (* 1.0 (/ x (pow y 2)))))
73.0ms	(log (- (/ x y) (- (/ 1.0 y) (* 1.0 (/ x (pow y 2))))))
11.0ms	(/ x (pow y 2))

series221.0ms

Counts

4 → 12

Calls

4 calls:

41.0ms	(- (/ 1.0 y) (* 1.0 (/ x (pow y 2))))
49.0ms	(- (/ x y) (- (/ 1.0 y) (* 1.0 (/ x (pow y 2)))))
93.0ms	(log (- (/ x y) (- (/ 1.0 y) (* 1.0 (/ x (pow y 2))))))
37.0ms	(/ x (pow y 2))

simplify721.0ms

Counts: 117 → 117

prune404.0ms

Pruning

3 alts after pruning (0 fresh and 3 done)

Merged error: 0b

regimes109.0ms

Accuracy

99.8% (0.0b remaining)

Error of 0.1b against oracle of 0.1b and baseline of 16.3b

bsearch187.0ms

Steps

Iters	Range		Point
9	9556.682540875734	241918210538.82648	33791339.15244166
10	-9.405557600769291e+21	-1501.2167507114543	-61158959.90174198

simplify695.0ms

end0.0ms

sample2.3s

Algorithm

intervals

Results

675.0ms	5751×	body	80	valid
432.0ms	825×	body	1280	valid
229.0ms	707×	body	640	valid
193.0ms	3739×	body	80	nan
85.0ms	351×	body	1280	nan
75.0ms	399×	body	640	nan
74.0ms	462×	body	320	valid
41.0ms	105×	body	160	nan
28.0ms	204×	body	320	nan
26.0ms	255×	body	160	valid