Details

sample210.0ms

Algorithm

intervals

Results

169.0ms

586×

body

valid

simplify312.0ms

Calls

1 calls:

Slowest

311.0ms

(+ (- (* x (- (* y z) (* t a))) (* b (- (* c z) (* i a)))) (* j (- (* c t) (* i y))))

prune21.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 12.7b

localize74.0ms

Local error

Found 4 expressions with local error:

5.9b	(* j (- (* c t) (* i y)))
5.4b	(* x (- (* y z) (* t a)))
4.2b	(* b (- (* c z) (* i a)))
0.0b	(- (* x (- (* y z) (* t a))) (* b (- (* c z) (* i a))))

rewrite865.0ms

Algorithm

rewrite-expression-head

Rules

64×	`add-sqr-sqrt`
42×	`*-un-lft-identity`
33×	`associate-r`
25×	`associate-l`
19×	`unswap-sqr`
16×	`distribute-lft-out--` `difference-of-squares`
14×	`associate-*r/`
11×	`sub-neg`
10×	`distribute-rgt-in` `pow1` `distribute-lft-in` `add-cbrt-cube` `add-exp-log` `add-cube-cbrt`
8×	`flip3--` `flip--`
6×	`add-log-exp`
4×	`associate--l+` `frac-sub` `insert-posit16` `associate--r+`
3×	`pow-prod-down` `prod-exp` `*-commutative` `cbrt-unprod`
1×	`diff-log`

Calls

4 calls:

Slowest

658.0ms	(- (* x (- (* y z) (* t a))) (* b (- (* c z) (* i a))))
74.0ms	(* x (- (* y z) (* t a)))
67.0ms	(* j (- (* c t) (* i y)))
65.0ms	(* b (- (* c z) (* i a)))

series615.0ms

Calls

4 calls:

Slowest

317.0ms	(- (* x (- (* y z) (* t a))) (* b (- (* c z) (* i a))))
117.0ms	(* x (- (* y z) (* t a)))
96.0ms	(* j (- (* c t) (* i y)))
84.0ms	(* b (- (* c z) (* i a)))

simplify11.6s

Calls

113 calls:

Slowest

957.0ms	(* (* (* x x) x) (* (* (- (* y z) (* t a)) (- (* y z) (* t a))) (- (* y z) (* t a))))
935.0ms	(* (* (* b b) b) (* (* (- (* c z) (* i a)) (- (* c z) (* i a))) (- (* c z) (* i a))))
905.0ms	(* (* (* j j) j) (* (* (- (* c t) (* i y)) (- (* c t) (* i y))) (- (* c t) (* i y))))
803.0ms	(- (* a (* i b)) (+ (* z (* b c)) (* a (* x t))))
455.0ms	(* (+ (* (* y z) (* y z)) (+ (* (* t a) (* t a)) (* (* y z) (* t a)))) (+ (* (* c z) (* c z)) (+ (* (* i a) (* i a)) (* (* c z) (* i a)))))

prune2.9s

Pruning

19 alts after pruning (19 fresh and 0 done)

Merged error: 4.3b

localize29.0ms

Local error

Found 4 expressions with local error:

5.4b	(* x (- (* y z) (* t a)))
4.2b	(* b (- (* c z) (* i a)))
3.2b	(* (cbrt j) (- (* c t) (* i y)))
2.9b	(* (* (cbrt j) (cbrt j)) (* (cbrt j) (- (* c t) (* i y))))

rewrite621.0ms

Algorithm

rewrite-expression-head

Rules

176×	`add-sqr-sqrt`
83×	`unswap-sqr`
74×	`associate-r`
67×	`associate-l`
56×	`*-un-lft-identity`
51×	`cbrt-prod`
46×	`add-cbrt-cube`
41×	`cbrt-unprod`
24×	`add-cube-cbrt`
22×	`pow1` `add-exp-log`
16×	`distribute-lft-out--` `difference-of-squares`
14×	`distribute-rgt-in` `distribute-lft-in`
12×	`swap-sqr`
11×	`pow-prod-down` `prod-exp`
10×	`sub-neg` `associate-*r/`
9×	`*-commutative`
4×	`flip3--` `insert-posit16` `flip--` `add-log-exp`

Calls

4 calls:

Slowest

340.0ms	(* (* (cbrt j) (cbrt j)) (* (cbrt j) (- (* c t) (* i y))))
119.0ms	(* (cbrt j) (- (* c t) (* i y)))
90.0ms	(* x (- (* y z) (* t a)))
67.0ms	(* b (- (* c z) (* i a)))

series694.0ms

Calls

4 calls:

Slowest

348.0ms	(* (cbrt j) (- (* c t) (* i y)))
155.0ms	(* (* (cbrt j) (cbrt j)) (* (cbrt j) (- (* c t) (* i y))))
97.0ms	(* x (- (* y z) (* t a)))
94.0ms	(* b (- (* c z) (* i a)))

simplify22.0s

Calls

226 calls:

Slowest

976.0ms	(* (* (* b b) b) (* (* (- (* c z) (* i a)) (- (* c z) (* i a))) (- (* c z) (* i a))))
945.0ms	(* (* (* x x) x) (* (* (- (* y z) (* t a)) (- (* y z) (* t a))) (- (* y z) (* t a))))
828.0ms	(* (* (* (cbrt j) (cbrt j)) (cbrt j)) (* (* (- (* c t) (* i y)) (- (* c t) (* i y))) (- (* c t) (* i y))))
822.0ms	(* (* j j) (* j (* (* (- (* c t) (* i y)) (- (* c t) (* i y))) (- (* c t) (* i y)))))
448.0ms	(* (* (cbrt j) (cbrt j)) (* (cbrt j) (- (* i y))))

prune5.2s

Pruning

18 alts after pruning (18 fresh and 0 done)

Merged error: 3.1b

localize39.0ms

Local error

Found 4 expressions with local error:

5.6b	(* (- y) (* i j))
5.4b	(* x (- (* y z) (* t a)))
4.2b	(* b (- (* c z) (* i a)))
3.4b	(* (* (cbrt j) (cbrt j)) (* (* c t) (cbrt j)))

rewrite326.0ms

Algorithm

rewrite-expression-head

Rules

248×	`add-sqr-sqrt`
144×	`unswap-sqr`
83×	`add-cbrt-cube`
80×	`cbrt-unprod`
79×	`associate-r`
75×	`associate-l`
69×	`cbrt-prod`
45×	`*-un-lft-identity`
34×	`pow1` `add-exp-log`
29×	`add-cube-cbrt`
20×	`pow-prod-down` `prod-exp`
16×	`swap-sqr`
13×	`*-commutative`
8×	`distribute-lft-out--` `difference-of-squares`
4×	`distribute-rgt-in` `sub-neg` `distribute-lft-in` `associate-*r/` `insert-posit16` `add-log-exp`
3×	`distribute-lft-neg-in` `distribute-rgt-neg-in`
2×	`flip3--` `flip--`
1×	`distribute-lft-neg-out` `neg-mul-1`

Calls

4 calls:

Slowest

106.0ms	(* (* (cbrt j) (cbrt j)) (* (* c t) (cbrt j)))
104.0ms	(* b (- (* c z) (* i a)))
78.0ms	(* x (- (* y z) (* t a)))
32.0ms	(* (- y) (* i j))

series287.0ms

Calls

4 calls:

Slowest

109.0ms	(* b (- (* c z) (* i a)))
91.0ms	(* x (- (* y z) (* t a)))
55.0ms	(* (* (cbrt j) (cbrt j)) (* (* c t) (cbrt j)))
32.0ms	(* (- y) (* i j))

simplify19.9s

Calls

266 calls:

Slowest

922.0ms	(* (* (* x x) x) (* (* (- (* y z) (* t a)) (- (* y z) (* t a))) (- (* y z) (* t a))))
902.0ms	(* (* (* b b) b) (* (* (- (* c z) (* i a)) (- (* c z) (* i a))) (- (* c z) (* i a))))
492.0ms	(* (* j j) (* (* (* (* c t) (* c t)) (* c t)) j))
392.0ms	(* (* j j) (* (* (* (* c c) c) (* (* t t) t)) j))
256.0ms	(+ (* (* y z) (* y z)) (+ (* (* t a) (* t a)) (* (* y z) (* t a))))

prune6.6s

Pruning

18 alts after pruning (18 fresh and 0 done)

Merged error: 1.6b

localize23.0ms

Local error

Found 4 expressions with local error:

5.6b	(* (- y) (* i j))
5.4b	(* x (- (* y z) (* t a)))
4.2b	(* b (- (* c z) (* i a)))
3.8b	(* t (* j c))

rewrite243.0ms

Algorithm

rewrite-expression-head

Rules

60×	`add-sqr-sqrt`
52×	`associate-r`
34×	`*-un-lft-identity`
33×	`associate-l`
18×	`pow1` `add-cbrt-cube` `add-exp-log` `add-cube-cbrt` `unswap-sqr`
8×	`pow-prod-down` `prod-exp` `cbrt-unprod` `distribute-lft-out--` `difference-of-squares`
6×	`*-commutative`
4×	`distribute-rgt-in` `sub-neg` `distribute-lft-in` `associate-*r/` `insert-posit16` `add-log-exp`
3×	`distribute-lft-neg-in` `distribute-rgt-neg-in`
2×	`flip3--` `flip--`
1×	`distribute-lft-neg-out` `neg-mul-1`

Calls

4 calls:

Slowest

97.0ms	(* b (- (* c z) (* i a)))
81.0ms	(* x (- (* y z) (* t a)))
39.0ms	(* (- y) (* i j))
22.0ms	(* t (* j c))

series270.0ms

Calls

4 calls:

Slowest

101.0ms	(* x (- (* y z) (* t a)))
97.0ms	(* b (- (* c z) (* i a)))
38.0ms	(* (- y) (* i j))
34.0ms	(* t (* j c))

simplify6.2s

Calls

108 calls:

Slowest

1.0s	(* (* (* x x) x) (* (* (- (* y z) (* t a)) (- (* y z) (* t a))) (- (* y z) (* t a))))
902.0ms	(* (* (* b b) b) (* (* (- (* c z) (* i a)) (- (* c z) (* i a))) (- (* c z) (* i a))))
479.0ms	(* (* (* t t) t) (* (* (* j c) (* j c)) (* j c)))
436.0ms	(* (* (* t t) t) (* (* (* j j) j) (* (* c c) c)))
271.0ms	(+ (* (* y z) (* y z)) (+ (* (* t a) (* t a)) (* (* y z) (* t a))))

prune2.9s

Pruning

16 alts after pruning (16 fresh and 0 done)

Merged error: 1.6b

regimes2.3s

Accuracy

25.9% (7.7b remaining)

Error of 9.8b against oracle of 2.1b and baseline of 12.4b

bsearch510.0ms

end0.0ms

sample6.2s

Algorithm

intervals

Results

5.4s

18794×

body

valid