Details

sample217.0ms

Algorithm

intervals

Results

72.0ms	133×	body	320	valid
47.0ms	525×	pre	80	true
33.0ms	269×	body	80	nan
23.0ms	87×	body	160	valid
8.0ms	16×	body	640	valid
2.0ms	20×	body	80	valid

simplify142.0ms

Calls

1 calls:

Slowest

142.0ms

(/ (+ (- b) (sqrt (- (* b b) (* (* 3 a) c)))) (* 3 a))

prune20.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 53.5b

localize37.0ms

Local error

Found 4 expressions with local error:

26.1b	(- (sqrt (- (* b b) (* (* 3 a) c))) b)
0.2b	(* (* 3 a) c)
0.2b	(/ (- (sqrt (- (* b b) (* (* 3 a) c))) b) (* 3 a))
0.0b	(- (* b b) (* (* 3 a) c))

rewrite1.0s

Algorithm

rewrite-expression-head

Rules

164×	`add-sqr-sqrt`
82×	`*-un-lft-identity`
72×	`times-frac`
45×	`associate-l`
43×	`difference-of-squares`
42×	`add-cube-cbrt`
29×	`unswap-sqr`
27×	`associate-r`
20×	`distribute-lft-out--`
14×	`add-cbrt-cube` `add-exp-log` `sqrt-prod`
12×	`associate-/r` `-commutative`
9×	`pow1`
8×	`add-log-exp`
6×	`associate-/l*`
4×	`prod-exp` `cbrt-unprod` `insert-posit16`
3×	`flip3--` `swap-sqr` `pow-prod-down` `flip--`
2×	`cbrt-undiv` `sub-neg` `diff-log` `div-exp` `associate-/l/`
1×	`clear-num` `frac-2neg` `div-sub` `div-inv`

Calls

4 calls:

Slowest

578.0ms	(/ (- (sqrt (- (* b b) (* (* 3 a) c))) b) (* 3 a))
347.0ms	(- (sqrt (- (* b b) (* (* 3 a) c))) b)
38.0ms	(- (* b b) (* (* 3 a) c))
35.0ms	(* (* 3 a) c)

series392.0ms

Calls

4 calls:

Slowest

147.0ms	(/ (- (sqrt (- (* b b) (* (* 3 a) c))) b) (* 3 a))
141.0ms	(- (sqrt (- (* b b) (* (* 3 a) c))) b)
80.0ms	(- (* b b) (* (* 3 a) c))
25.0ms	(* (* 3 a) c)

simplify51.2s

Calls

239 calls:

Slowest

32.5s	(/ (- (sqrt (sqrt (- (* b b) (* (* 3 a) c)))) (sqrt b)) (* (cbrt 3) a))
477.0ms	(- (* (sqrt (- (* b b) (* (* 3 a) c))) (sqrt (- (* b b) (* (* 3 a) c)))) (* b b))
474.0ms	(* (* (* (* 3 3) 3) (* (* a a) a)) (* (* c c) c))
405.0ms	(* (* (* (* 3 a) (* 3 a)) (* 3 a)) (* (* c c) c))
348.0ms	(- (pow (sqrt (- (* b b) (* (* 3 a) c))) 3) (pow b 3))

prune2.4s

Pruning

13 alts after pruning (13 fresh and 0 done)

Merged error: 2.7b

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

prune83.0ms

Pruning

13 alts after pruning (12 fresh and 1 done)

Merged error: 2.7b

localize18.0ms

Local error

Found 3 expressions with local error:

0.4b	(/ (* -3/2 (/ (* a c) b)) (* 3 a))
0.2b	(/ (* a c) b)
0.2b	(* -3/2 (/ (* a c) b))

rewrite189.0ms

Algorithm

rewrite-expression-head

Rules

1180×	`times-frac`
860×	`associate-r`
853×	`add-sqr-sqrt`
531×	`*-un-lft-identity`
527×	`add-cube-cbrt`
344×	`associate-l`
156×	`unswap-sqr`
114×	`*-commutative`
91×	`associate-/l*`
49×	`add-cbrt-cube` `add-exp-log`
36×	`associate-*r/`
21×	`associate-/r*` `associate-/l/`
17×	`prod-exp` `cbrt-unprod`
16×	`cbrt-undiv` `div-exp` `div-inv`
6×	`clear-num` `un-div-inv`
5×	`pow1`
4×	`frac-2neg`
3×	`insert-posit16` `add-log-exp`
1×	`pow-prod-down`

Calls

3 calls:

Slowest

62.0ms	(/ (* -3/2 (/ (* a c) b)) (* 3 a))
50.0ms	(* -3/2 (/ (* a c) b))
28.0ms	(/ (* a c) b)

series81.0ms

Calls

3 calls:

Slowest

33.0ms	(* -3/2 (/ (* a c) b))
26.0ms	(/ (* a c) b)
22.0ms	(/ (* -3/2 (/ (* a c) b)) (* 3 a))

simplify4.8m

Calls

1484 calls:

Slowest

32.6s	(/ (/ (* a c) b) a)
32.6s	(/ (* -3/2 (/ (* (sqrt a) (sqrt c)) (* (cbrt b) (cbrt b)))) (* 3 1))
1.4s	(/ (* (* (* -3/2 -3/2) -3/2) (/ (* (* (* a a) a) (* (* c c) c)) (* (* b b) b))) (* (* (* 3 a) (* 3 a)) (* 3 a)))
1.3s	(/ (* (* (* -3/2 -3/2) -3/2) (/ (* (* (* a c) (* a c)) (* a c)) (* (* b b) b))) (* (* (* 3 a) (* 3 a)) (* 3 a)))
1.2s	(/ (* (* (* -3/2 -3/2) -3/2) (/ (* (* (* a a) a) (* (* c c) c)) (* (* b b) b))) (* (* (* 3 3) 3) (* (* a a) a)))

prune8.9s

Pruning

23 alts after pruning (22 fresh and 1 done)

Merged error: 2.7b

localize38.0ms

Local error

Found 4 expressions with local error:

0.7b	(cbrt (/ (* a c) b))
0.7b	(cbrt (/ (* a c) b))
0.7b	(cbrt (/ (* a c) b))
0.6b	(cbrt (* 3 a))

rewrite58.0ms

Algorithm

rewrite-expression-head

Rules

132×	`cbrt-prod`
111×	`add-sqr-sqrt`
108×	`times-frac`
85×	`*-un-lft-identity` `add-cube-cbrt`
54×	`cbrt-div`
39×	`associate-r` `associate-l`
36×	`associate-/l*`
13×	`*-commutative` `unswap-sqr`
9×	`associate-/r*`
4×	`pow1` `add-cbrt-cube` `pow1/3` `add-exp-log` `insert-posit16` `add-log-exp`
3×	`clear-num` `frac-2neg` `div-inv`

Calls

4 calls:

Slowest

18.0ms	(cbrt (/ (* a c) b))
13.0ms	(cbrt (/ (* a c) b))
12.0ms	(cbrt (/ (* a c) b))
7.0ms	(cbrt (* 3 a))

series775.0ms

Calls

4 calls:

Slowest

376.0ms	(cbrt (* 3 a))
149.0ms	(cbrt (/ (* a c) b))
125.0ms	(cbrt (/ (* a c) b))
124.0ms	(cbrt (/ (* a c) b))

simplify6.7s

Calls

198 calls:

Slowest

356.0ms	(* (exp (* 1/3 (- (log (/ -1 b)) (+ (log (/ -1 c)) (log (/ -1 a)))))) (cbrt -1))
314.0ms	(* (exp (* 1/3 (- (log (/ -1 b)) (+ (log (/ -1 c)) (log (/ -1 a)))))) (cbrt -1))
290.0ms	(* (exp (* 1/3 (- (log (/ -1 b)) (+ (log (/ -1 c)) (log (/ -1 a)))))) (cbrt -1))
225.0ms	(cbrt (/ (* a (* (cbrt c) (cbrt c))) (* (cbrt b) (cbrt b))))
223.0ms	(exp (* 1/3 (- (+ (log a) (log c)) (log b))))

prune3.5s

Pruning

25 alts after pruning (24 fresh and 1 done)

Merged error: 2.7b

regimes811.0ms

Accuracy

0% (3.5b remaining)

Error of 6.1b against oracle of 2.7b and baseline of 6.1b

bsearch1.0ms

end0.0ms

sample5.4s

Algorithm

intervals

Results

1.6s	3609×	body	320	valid
1.1s	8298×	body	80	nan
986.0ms	16298×	pre	80	true
797.0ms	2942×	body	160	valid
341.0ms	539×	body	640	valid
155.0ms	910×	body	80	valid