Details

sample56.0ms

Algorithm

intervals

Results

33.0ms	393×	body	80	valid
10.0ms	134×	body	80	nan

simplify89.0ms

Calls

1 calls:

Slowest

89.0ms

(/ (* a (pow k m)) (+ (+ 1 (* 10 k)) (* k k)))

prune18.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 2.1b

localize34.0ms

Local error

Found 3 expressions with local error:

2.1b	(/ (* (pow k m) a) (+ 1 (* k (+ k 10))))
0.0b	(* (pow k m) a)
0.0b	(* k (+ k 10))

rewrite26.0ms

Algorithm

rewrite-expression-head

Rules

7×	`add-sqr-sqrt` `*-un-lft-identity` `add-cube-cbrt`
5×	`add-cbrt-cube` `add-exp-log`
3×	`pow1` `associate-/r` `times-frac` `associate-r` `associate-l*` `insert-posit16` `add-log-exp`
2×	`flip3-+` `associate-r/` `associate-/r/` `-commutative` `flip-+`
1×	`distribute-rgt-in` `cbrt-undiv` `clear-num` `frac-2neg` `distribute-lft-in` `div-exp` `div-inv` `associate-/l*`

Calls

3 calls:

Slowest

18.0ms	(/ (* (pow k m) a) (+ 1 (* k (+ k 10))))
5.0ms	(* (pow k m) a)
2.0ms	(* k (+ k 10))

series252.0ms

Calls

3 calls:

Slowest

145.0ms	(* (pow k m) a)
78.0ms	(/ (* (pow k m) a) (+ 1 (* k (+ k 10))))
29.0ms	(* k (+ k 10))

simplify2.2s

Calls

32 calls:

Slowest

319.0ms	(/ (* (* (* (pow k m) a) (* (pow k m) a)) (* (pow k m) a)) (* (* (+ 1 (* k (+ k 10))) (+ 1 (* k (+ k 10)))) (+ 1 (* k (+ k 10)))))
214.0ms	(* a (exp (* m (- (log -1) (log (/ -1 k))))))
193.0ms	(- (+ a (* (log k) (* m a))) (* 10 (* a k)))
173.0ms	(+ (* 1 1) (- (* (* k (+ k 10)) (* k (+ k 10))) (* 1 (* k (+ k 10)))))
164.0ms	(- (+ (* 99 (/ (* (exp (* -1 (* (log (/ 1 k)) m))) a) (pow k 4))) (/ (* (exp (* -1 (* (log (/ 1 k)) m))) a) (pow k 2))) (* 10 (/ (* (exp (* -1 (* (log (/ 1 k)) m))) a) (pow k 3))))

prune728.0ms

Pruning

5 alts after pruning (5 fresh and 0 done)

Merged error: 0.0b

localize8.0ms

Local error

Found 4 expressions with local error:

15.2b	(sqrt (+ 1 (* k (+ k 10))))
15.2b	(sqrt (+ 1 (* k (+ k 10))))
0.0b	(/ (/ (* (pow k m) a) (sqrt (+ 1 (* k (+ k 10))))) (sqrt (+ 1 (* k (+ k 10)))))
0.0b	(* (pow k m) a)

rewrite21.0ms

Algorithm

rewrite-expression-head

Rules

114×	`times-frac`
66×	`sqrt-prod`
56×	`add-sqr-sqrt`
54×	`*-un-lft-identity` `add-cube-cbrt`
20×	`sqrt-div`
16×	`associate-/r/`
12×	`associate-/l*`
10×	`flip3-+` `flip-+`
9×	`add-cbrt-cube` `add-exp-log`
8×	`div-inv`
6×	`associate-/r*`
4×	`pow1` `insert-posit16` `add-log-exp`
3×	`cbrt-undiv` `div-exp` `associate-l`
2×	`rem-sqrt-square` `pow1/2`
1×	`clear-num` `frac-2neg` `*-commutative` `associate-/l/`

Calls

4 calls:

Slowest

10.0ms	(/ (/ (* (pow k m) a) (sqrt (+ 1 (* k (+ k 10))))) (sqrt (+ 1 (* k (+ k 10)))))
5.0ms	(* (pow k m) a)
1.0ms	(sqrt (+ 1 (* k (+ k 10))))
1.0ms	(sqrt (+ 1 (* k (+ k 10))))

series261.0ms

Calls

4 calls:

Slowest

121.0ms	(* (pow k m) a)
106.0ms	(/ (/ (* (pow k m) a) (sqrt (+ 1 (* k (+ k 10))))) (sqrt (+ 1 (* k (+ k 10)))))
18.0ms	(sqrt (+ 1 (* k (+ k 10))))
15.0ms	(sqrt (+ 1 (* k (+ k 10))))

simplify22.7s

Calls

194 calls:

Slowest

970.0ms	(/ (/ (* (pow k m) a) (sqrt (+ (pow 1 3) (pow (* k (+ k 10)) 3)))) (sqrt (sqrt (+ 1 (* k (+ k 10))))))
653.0ms	(/ (/ (* (pow k m) a) (sqrt (+ (pow 1 3) (pow (* k (+ k 10)) 3)))) (sqrt 1))
615.0ms	(/ (/ (* (pow k m) a) (sqrt (+ (pow 1 3) (pow (* k (+ k 10)) 3)))) (sqrt (* (cbrt (+ 1 (* k (+ k 10)))) (cbrt (+ 1 (* k (+ k 10)))))))
574.0ms	(/ (/ (* (pow k m) a) (sqrt (+ (pow 1 3) (pow (* k (+ k 10)) 3)))) 1)
565.0ms	(/ (/ (* (pow k m) a) (sqrt (+ (pow 1 3) (pow (* k (+ k 10)) 3)))) (sqrt (sqrt (+ 1 (* k (+ k 10))))))

prune2.2s

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0.0b

localize34.0ms

Local error

Found 4 expressions with local error:

15.2b	(sqrt (+ 1 (* k (+ k 10))))
15.2b	(sqrt (+ 1 (* k (+ k 10))))
15.2b	(sqrt (+ 1 (* k (+ k 10))))
0.1b	(/ a (sqrt (sqrt (+ 1 (* k (+ k 10))))))

rewrite7.0ms

Algorithm

rewrite-expression-head

Rules

18×	`sqrt-prod`
13×	`add-sqr-sqrt`
10×	`*-un-lft-identity` `sqrt-div` `add-cube-cbrt`
9×	`associate-/r*`
4×	`pow1` `flip3-+` `add-cbrt-cube` `add-exp-log` `flip-+` `insert-posit16` `add-log-exp`
3×	`rem-sqrt-square` `pow1/2`
2×	`associate-/r/`
1×	`clear-num` `frac-2neg` `div-inv`

Calls

4 calls:

Slowest

2.0ms	(/ a (sqrt (sqrt (+ 1 (* k (+ k 10))))))
1.0ms	(sqrt (+ 1 (* k (+ k 10))))
1.0ms	(sqrt (+ 1 (* k (+ k 10))))
1.0ms	(sqrt (+ 1 (* k (+ k 10))))

series182.0ms

Calls

4 calls:

Slowest

112.0ms	(/ a (sqrt (sqrt (+ 1 (* k (+ k 10))))))
23.0ms	(sqrt (+ 1 (* k (+ k 10))))
23.0ms	(sqrt (+ 1 (* k (+ k 10))))
23.0ms	(sqrt (+ 1 (* k (+ k 10))))

simplify5.0s

Calls

41 calls:

Slowest

582.0ms	(sqrt (+ (pow 1 3) (pow (* k (+ k 10)) 3)))
533.0ms	(sqrt (+ (pow 1 3) (pow (* k (+ k 10)) 3)))
492.0ms	(sqrt (+ (pow 1 3) (pow (* k (+ k 10)) 3)))
284.0ms	(sqrt (- (* 1 1) (* (* k (+ k 10)) (* k (+ k 10)))))
273.0ms	(sqrt (- (* 1 1) (* (* k (+ k 10)) (* k (+ k 10)))))

prune1.3s

Pruning

4 alts after pruning (2 fresh and 2 done)

Merged error: 0.0b

localize11.0ms

Local error

Found 3 expressions with local error:

3.6b	(/ (+ 1 (* k (+ k 10))) a)
0.5b	(/ (pow k m) (/ (+ 1 (* k (+ k 10))) a))
0.0b	(* k (+ k 10))

rewrite33.0ms

Algorithm

rewrite-expression-head

Rules

14×	`add-sqr-sqrt` `*-un-lft-identity` `add-cube-cbrt`
12×	`times-frac`
6×	`add-exp-log` `div-inv` `associate-/l*`
5×	`add-cbrt-cube`
4×	`associate-/r*`
3×	`pow1` `associate-r` `insert-posit16` `add-log-exp`
2×	`clear-num` `frac-2neg` `flip3-+` `div-exp` `associate-*r/` `flip-+` `associate-/l/`
1×	`distribute-rgt-in` `pow-to-exp` `cbrt-undiv` `distribute-lft-in` `associate-/r/` `*-commutative`

Calls

3 calls:

Slowest

21.0ms	(/ (+ 1 (* k (+ k 10))) a)
9.0ms	(/ (pow k m) (/ (+ 1 (* k (+ k 10))) a))
2.0ms	(* k (+ k 10))

series170.0ms

Calls

3 calls:

Slowest

109.0ms	(/ (pow k m) (/ (+ 1 (* k (+ k 10))) a))
30.0ms	(* k (+ k 10))
30.0ms	(/ (+ 1 (* k (+ k 10))) a)

simplify3.7s

Calls

53 calls:

Slowest

570.0ms	(+ (pow 1 3) (pow (* k (+ k 10)) 3))
300.0ms	(- (* 1 1) (* (* k (+ k 10)) (* k (+ k 10))))
177.0ms	(- (+ a (* (log k) (* m a))) (* 10 (* a k)))
150.0ms	(- (+ (* 99 (/ (* a (exp (* m (- (log -1) (log (/ -1 k)))))) (pow k 4))) (/ (* a (exp (* m (- (log -1) (log (/ -1 k)))))) (pow k 2))) (* 10 (/ (* a (exp (* m (- (log -1) (log (/ -1 k)))))) (pow k 3))))
147.0ms	(- (+ (* 99 (/ (* (exp (* -1 (* (log (/ 1 k)) m))) a) (pow k 4))) (/ (* (exp (* -1 (* (log (/ 1 k)) m))) a) (pow k 2))) (* 10 (/ (* (exp (* -1 (* (log (/ 1 k)) m))) a) (pow k 3))))

prune822.0ms

Pruning

4 alts after pruning (1 fresh and 3 done)

Merged error: 0.0b

regimes153.0ms

Accuracy

96% (0.1b remaining)

Error of 0.1b against oracle of 0.0b and baseline of 2.0b

bsearch127.0ms

end0.0ms

sample3.1s

Algorithm

intervals

Results

1.7s	12060×	body	80	valid
540.0ms	4356×	body	80	nan