Details

sample2.3s

Algorithm

intervals

Results

2.1s

2326×

body

valid

simplify181.0ms

Calls

1 calls:

Slowest

181.0ms

(+ (- (+ (+ (- (* (- (* x y) (* z t)) (- (* a b) (* c i))) (* (- (* x j) (* z k)) (- (* y0 b) (* y1 i)))) (* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)))) (* (- (* t j) (* y k)) (- (* y4 b) (* y5 i)))) (* (- (* t y2) (* y y3)) (- (* y4 c) (* y5 a)))) (* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0))))

prune44.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 27.8b

localize252.0ms

Local error

Found 4 expressions with local error:

11.1b	(* (- (* t y2) (* y y3)) (- (* y4 c) (* y5 a)))
9.7b	(* (- (* x y) (* z t)) (- (* a b) (* c i)))
9.4b	(* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)))
9.0b	(* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0)))

rewrite812.0ms

Algorithm

rewrite-expression-head

Rules

116×	`add-sqr-sqrt`
76×	`-un-lft-identity` `associate-l*`
44×	`associate-r`
36×	`unswap-sqr`
32×	`distribute-lft-out--` `difference-of-squares`
24×	`flip3--` `flip--`
16×	`frac-times`
12×	`pow1` `add-cbrt-cube` `add-exp-log` `add-cube-cbrt`
8×	`distribute-rgt-in` `sub-neg` `distribute-lft-in` `associate-l/` `associate-r/`
4×	`pow-prod-down` `prod-exp` `*-commutative` `cbrt-unprod` `insert-posit16` `add-log-exp`

Calls

4 calls:

Slowest

228.0ms	(* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)))
217.0ms	(* (- (* x y) (* z t)) (- (* a b) (* c i)))
203.0ms	(* (- (* t y2) (* y y3)) (- (* y4 c) (* y5 a)))
160.0ms	(* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0)))

series1.1s

Calls

4 calls:

Slowest

297.0ms	(* (- (* t y2) (* y y3)) (- (* y4 c) (* y5 a)))
277.0ms	(* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0)))
253.0ms	(* (- (* x y) (* z t)) (- (* a b) (* c i)))
238.0ms	(* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)))

simplify20.7s

Calls

164 calls:

Slowest

604.0ms	(* (+ (* x y) (* z t)) (+ (* a b) (* c i)))
565.0ms	(* (+ (* (* t y2) (* t y2)) (+ (* (* y y3) (* y y3)) (* (* t y2) (* y y3)))) (+ (* (* y4 c) (* y4 c)) (+ (* (* y5 a) (* y5 a)) (* (* y4 c) (* y5 a)))))
528.0ms	(* (- (* (* x y2) (* x y2)) (* (* z y3) (* z y3))) (- (* y0 c) (* y1 a)))
523.0ms	(* (+ (* (* x y) (* x y)) (+ (* (* z t) (* z t)) (* (* x y) (* z t)))) (+ (* (* a b) (* a b)) (+ (* (* c i) (* c i)) (* (* a b) (* c i)))))
486.0ms	(* (- (* (* k y2) (* k y2)) (* (* j y3) (* j y3))) (- (* y4 y1) (* y5 y0)))

prune13.0s

Pruning

23 alts after pruning (23 fresh and 0 done)

Merged error: 19.6b

localize194.0ms

Local error

Found 4 expressions with local error:

9.7b	(* (- (* x y) (* z t)) (- (* a b) (* c i)))
9.7b	(cbrt (- (* y4 c) (* y5 a)))
9.7b	(cbrt (- (* y4 c) (* y5 a)))
9.7b	(cbrt (- (* y4 c) (* y5 a)))

rewrite228.0ms

Algorithm

rewrite-expression-head

Rules

71×	`add-sqr-sqrt`
49×	`*-un-lft-identity`
33×	`cbrt-prod`
31×	`associate-l`
21×	`unswap-sqr`
20×	`distribute-lft-out--` `difference-of-squares`
11×	`associate-r`
9×	`flip3--` `add-cube-cbrt` `flip--`
6×	`pow1` `cbrt-div` `add-cbrt-cube` `add-exp-log`
4×	`frac-times` `insert-posit16` `add-log-exp`
3×	`pow1/3`
2×	`distribute-rgt-in` `sub-neg` `distribute-lft-in` `associate-l/` `associate-r/`
1×	`pow-prod-down` `prod-exp` `*-commutative` `cbrt-unprod`

Calls

4 calls:

Slowest

173.0ms	(* (- (* x y) (* z t)) (- (* a b) (* c i)))
25.0ms	(cbrt (- (* y4 c) (* y5 a)))
15.0ms	(cbrt (- (* y4 c) (* y5 a)))
14.0ms	(cbrt (- (* y4 c) (* y5 a)))

series816.0ms

Calls

4 calls:

Slowest

268.0ms	(* (- (* x y) (* z t)) (- (* a b) (* c i)))
205.0ms	(cbrt (- (* y4 c) (* y5 a)))
176.0ms	(cbrt (- (* y4 c) (* y5 a)))
167.0ms	(cbrt (- (* y4 c) (* y5 a)))

simplify10.5s

Calls

89 calls:

Slowest

534.0ms	(* (+ (* (* x y) (* x y)) (+ (* (* z t) (* z t)) (* (* x y) (* z t)))) (+ (* (* a b) (* a b)) (+ (* (* c i) (* c i)) (* (* a b) (* c i)))))
430.0ms	(cbrt (- (* (* y4 c) (* y4 c)) (* (* y5 a) (* y5 a))))
423.0ms	(cbrt (- (pow (* y4 c) 3) (pow (* y5 a) 3)))
415.0ms	(* (- (* (* x y) (* x y)) (* (* z t) (* z t))) (- (* a b) (* c i)))
411.0ms	(cbrt (- (* (* y4 c) (* y4 c)) (* (* y5 a) (* y5 a))))

prune9.3s

Pruning

23 alts after pruning (23 fresh and 0 done)

Merged error: 19.6b

localize244.0ms

Local error

Found 4 expressions with local error:

10.2b	(* (- (* x y) (* z t)) (- (* c i)))
9.7b	(* (- (* x y) (* z t)) (* a b))
9.7b	(cbrt (- (* y4 c) (* y5 a)))
9.7b	(cbrt (- (* y4 c) (* y5 a)))

rewrite297.0ms

Algorithm

rewrite-expression-head

Rules

79×	`add-sqr-sqrt`
50×	`*-un-lft-identity`
49×	`associate-r`
47×	`associate-l`
23×	`unswap-sqr`
22×	`cbrt-prod`
18×	`add-cube-cbrt`
16×	`distribute-lft-out--` `difference-of-squares`
12×	`distribute-lft-neg-in` `distribute-rgt-neg-in`
11×	`pow1` `add-cbrt-cube` `add-exp-log`
5×	`*-commutative`
4×	`cbrt-div` `flip3--` `pow-prod-down` `associate-*l/` `prod-exp` `cbrt-unprod` `insert-posit16` `flip--` `add-log-exp`
2×	`pow1/3`
1×	`neg-mul-1` `distribute-rgt-neg-out`

Calls

4 calls:

Slowest

142.0ms	(* (- (* x y) (* z t)) (- (* c i)))
111.0ms	(* (- (* x y) (* z t)) (* a b))
27.0ms	(cbrt (- (* y4 c) (* y5 a)))
14.0ms	(cbrt (- (* y4 c) (* y5 a)))

series717.0ms

Calls

4 calls:

Slowest

218.0ms	(cbrt (- (* y4 c) (* y5 a)))
207.0ms	(cbrt (- (* y4 c) (* y5 a)))
158.0ms	(* (- (* x y) (* z t)) (- (* c i)))
134.0ms	(* (- (* x y) (* z t)) (* a b))

simplify8.5s

Calls

103 calls:

Slowest

562.0ms	(* (- (* (* x y) (* x y)) (* (* z t) (* z t))) (- (* c i)))
489.0ms	(- (* t (* i (* z c))) (* i (* x (* c y))))
458.0ms	(- (* t (* i (* z c))) (* i (* x (* c y))))
445.0ms	(- (* a (* x (* y b))) (* a (* t (* b z))))
433.0ms	(- (* a (* x (* y b))) (* a (* t (* b z))))

prune10.8s

Pruning

24 alts after pruning (24 fresh and 0 done)

Merged error: 18.7b

localize226.0ms

Local error

Found 4 expressions with local error:

10.2b	(* (- (* x y) (* z t)) (- (* c i)))
9.7b	(cbrt (- (* y4 c) (* y5 a)))
9.7b	(cbrt (- (* y4 c) (* y5 a)))
9.7b	(cbrt (- (* y4 c) (* y5 a)))

rewrite212.0ms

Algorithm

rewrite-expression-head

Rules

69×	`add-sqr-sqrt`
47×	`*-un-lft-identity`
34×	`associate-r`
33×	`cbrt-prod` `associate-l`
19×	`unswap-sqr`
16×	`distribute-lft-out--` `difference-of-squares`
15×	`add-cube-cbrt`
12×	`distribute-lft-neg-in` `distribute-rgt-neg-in`
6×	`pow1` `cbrt-div` `add-cbrt-cube` `add-exp-log`
4×	`flip3--` `insert-posit16` `flip--` `add-log-exp`
3×	`pow1/3` `*-commutative`
2×	`associate-*l/`
1×	`neg-mul-1` `pow-prod-down` `prod-exp` `distribute-rgt-neg-out` `cbrt-unprod`

Calls

4 calls:

Slowest

168.0ms	(* (- (* x y) (* z t)) (- (* c i)))
14.0ms	(cbrt (- (* y4 c) (* y5 a)))
14.0ms	(cbrt (- (* y4 c) (* y5 a)))
14.0ms	(cbrt (- (* y4 c) (* y5 a)))

series792.0ms

Calls

4 calls:

Slowest

202.0ms	(cbrt (- (* y4 c) (* y5 a)))
202.0ms	(* (- (* x y) (* z t)) (- (* c i)))
198.0ms	(cbrt (- (* y4 c) (* y5 a)))
190.0ms	(cbrt (- (* y4 c) (* y5 a)))

simplify8.1s

Calls

89 calls:

Slowest

628.0ms	(* (- (* x y) (* z t)) (- (* c i)))
456.0ms	(* (- (* (* x y) (* x y)) (* (* z t) (* z t))) (- (* c i)))
447.0ms	(- (* t (* i (* z c))) (* i (* x (* c y))))
433.0ms	(cbrt (- (* (* y4 c) (* y4 c)) (* (* y5 a) (* y5 a))))
423.0ms	(cbrt (- (pow (* y4 c) 3) (pow (* y5 a) 3)))

prune8.8s

Pruning

23 alts after pruning (23 fresh and 0 done)

Merged error: 18.7b

regimes12.6s

Accuracy

-1.7% (7.9b remaining)

Error of 26.2b against oracle of 18.3b and baseline of 26.0b

bsearch3.1s

end0.0ms

sample1.2m

Algorithm

intervals

Results

1.0m

71822×

body

valid