Details

Time bar (total: 34.5s)

sample106.0ms

Algorithm
intervals
Results
65.0ms385×body80valid
22.0ms165×body80nan

simplify96.0ms

Calls
1 calls:
Slowest
96.0ms
(/ (* a (pow k m)) (+ (+ 1 (* 10 k)) (* k k)))

prune15.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 3.0b

localize31.0ms

Local error

Found 3 expressions with local error:

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

rewrite21.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
12.0ms
(/ (* (pow k m) a) (+ 1 (* k (+ k 10))))
5.0ms
(* (pow k m) a)
2.0ms
(* k (+ k 10))

series282.0ms

Calls
3 calls:
Slowest
143.0ms
(* (pow k m) a)
107.0ms
(/ (* (pow k m) a) (+ 1 (* k (+ k 10))))
31.0ms
(* k (+ k 10))

simplify2.2s

Calls
32 calls:
Slowest
332.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)))))
245.0ms
(* a (exp (* m (- (log -1) (log (/ -1 k))))))
178.0ms
(+ (* 1 1) (- (* (* k (+ k 10)) (* k (+ k 10))) (* 1 (* k (+ k 10)))))
175.0ms
(- (+ a (* (log k) (* m a))) (* 10 (* a k)))
162.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))))

prune652.0ms

Pruning

5 alts after pruning (4 fresh and 1 done)

Merged error: 0.0b

localize10.0ms

Local error

Found 4 expressions with local error:

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

rewrite18.0ms

Algorithm
rewrite-expression-head
Rules
24×associate-*l*
23×add-sqr-sqrt
21×*-un-lft-identity add-cube-cbrt
18×times-frac
15×sqrt-prod
11×add-exp-log
9×add-cbrt-cube associate-*r*
8×sqrt-div
6×pow1
5×flip3-+ flip-+
4×associate-/r/ insert-posit16 add-log-exp
3×prod-exp associate-*r/
2×rem-sqrt-square pow1/2 div-exp *-commutative cbrt-unprod div-inv
1×distribute-rgt-in frac-times pow-to-exp cbrt-undiv distribute-lft-in pow-prod-down associate-*l/
Calls
4 calls:
Slowest
12.0ms
(* (/ (pow k m) (sqrt (+ 1 (* k (+ k 10))))) (/ a (sqrt (+ 1 (* k (+ k 10))))))
2.0ms
(* k (+ k 10))
1.0ms
(sqrt (+ 1 (* k (+ k 10))))
1.0ms
(sqrt (+ 1 (* k (+ k 10))))

series147.0ms

Calls
4 calls:
Slowest
81.0ms
(* (/ (pow k m) (sqrt (+ 1 (* k (+ k 10))))) (/ a (sqrt (+ 1 (* k (+ k 10))))))
31.0ms
(* k (+ k 10))
20.0ms
(sqrt (+ 1 (* k (+ k 10))))
14.0ms
(sqrt (+ 1 (* k (+ k 10))))

simplify6.9s

Calls
70 calls:
Slowest
634.0ms
(/ (pow k m) (sqrt (+ (pow 1 3) (pow (* k (+ k 10)) 3))))
486.0ms
(sqrt (+ (pow 1 3) (pow (* k (+ k 10)) 3)))
452.0ms
(sqrt (+ (pow 1 3) (pow (* k (+ k 10)) 3)))
365.0ms
(/ (pow k m) (sqrt (- (* 1 1) (* (* k (+ k 10)) (* k (+ k 10))))))
291.0ms
(+ (- (log (pow k m)) (log (sqrt (+ 1 (* k (+ k 10)))))) (log (/ a (sqrt (+ 1 (* k (+ k 10)))))))

prune1.4s

Pruning

5 alts after pruning (3 fresh and 2 done)

Merged error: 0.0b

localize17.0ms

Local error

Found 4 expressions with local error:

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

rewrite56.0ms

Algorithm
rewrite-expression-head
Rules
11×add-cbrt-cube add-exp-log
10×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
9×pow1
7×associate-*r* associate-*l*
4×pow1/2 insert-posit16 add-log-exp
3×associate-/r* times-frac *-commutative
2×cbrt-undiv flip3-+ div-exp pow-prod-down prod-exp associate-*r/ associate-/r/ pow-prod-up sqrt-prod cbrt-unprod flip-+
1×pow2 distribute-rgt-in clear-num rem-square-sqrt frac-2neg distribute-lft-in pow-plus sqrt-unprod div-inv associate-/l*
Calls
4 calls:
Slowest
28.0ms
(/ (* (sqrt (* (pow k m) a)) (sqrt (* (pow k m) a))) (+ 1 (* k (+ k 10))))
19.0ms
(* (sqrt (* (pow k m) a)) (sqrt (* (pow k m) a)))
5.0ms
(* (pow k m) a)
2.0ms
(* k (+ k 10))

series393.0ms

Calls
4 calls:
Slowest
131.0ms
(* (sqrt (* (pow k m) a)) (sqrt (* (pow k m) a)))
130.0ms
(* (pow k m) a)
104.0ms
(/ (* (sqrt (* (pow k m) a)) (sqrt (* (pow k m) a))) (+ 1 (* k (+ k 10))))
27.0ms
(* k (+ k 10))

simplify3.6s

Calls
55 calls:
Slowest
579.0ms
(/ (* (* (* (sqrt (* (pow k m) a)) (sqrt (* (pow k m) a))) (* (sqrt (* (pow k m) a)) (sqrt (* (pow k m) a)))) (* (sqrt (* (pow k m) a)) (sqrt (* (pow k m) a)))) (* (* (+ 1 (* k (+ k 10))) (+ 1 (* k (+ k 10)))) (+ 1 (* k (+ k 10)))))
421.0ms
(/ (* (* (* (sqrt (* (pow k m) a)) (sqrt (* (pow k m) a))) (sqrt (* (pow k m) a))) (* (* (sqrt (* (pow k m) a)) (sqrt (* (pow k m) a))) (sqrt (* (pow k m) a)))) (* (* (+ 1 (* k (+ k 10))) (+ 1 (* k (+ k 10)))) (+ 1 (* k (+ k 10)))))
265.0ms
(* (* (* (sqrt (* (pow k m) a)) (sqrt (* (pow k m) a))) (sqrt (* (pow k m) a))) (* (* (sqrt (* (pow k m) a)) (sqrt (* (pow k m) a))) (sqrt (* (pow k m) a))))
197.0ms
(* a (exp (* m (- (log -1) (log (/ -1 k))))))
179.0ms
(* (exp (* -1 (* (log (/ 1 k)) m))) a)

prune1.0s

Pruning

5 alts after pruning (2 fresh and 3 done)

Merged error: 0.0b

localize53.0ms

Local error

Found 4 expressions with local error:

8.3b
(+ (- (/ (exp (* (log k) m)) (* (/ k a) k)) (* (/ (exp (* (log k) m)) (* (/ k a) k)) (/ 10 k))) (/ (* 99 a) (/ (pow k 4) (exp (* (log k) m)))))
6.2b
(- (/ (exp (* (log k) m)) (* (/ k a) k)) (* (/ (exp (* (log k) m)) (* (/ k a) k)) (/ 10 k)))
5.7b
(/ (exp (* (log k) m)) (* (/ k a) k))
5.7b
(/ (exp (* (log k) m)) (* (/ k a) k))

rewrite152.0ms

Algorithm
rewrite-expression-head
Rules
11×add-log-exp
10×*-un-lft-identity
8×add-sqr-sqrt add-cbrt-cube add-cube-cbrt
6×times-frac associate-*l/ frac-add add-exp-log frac-sub associate-/l*
4×pow1 insert-posit16
2×frac-times cbrt-undiv associate-+l+ clear-num associate-/r* sum-log sub-neg frac-2neg flip3-- diff-log div-exp associate-*r/ associate-/r/ div-inv flip-- sub-div
1×+-commutative flip3-+ associate-+l- flip-+ distribute-lft-out
Calls
4 calls:
Slowest
86.0ms
(+ (- (/ (exp (* (log k) m)) (* (/ k a) k)) (* (/ (exp (* (log k) m)) (* (/ k a) k)) (/ 10 k))) (/ (* 99 a) (/ (pow k 4) (exp (* (log k) m)))))
34.0ms
(- (/ (exp (* (log k) m)) (* (/ k a) k)) (* (/ (exp (* (log k) m)) (* (/ k a) k)) (/ 10 k)))
15.0ms
(/ (exp (* (log k) m)) (* (/ k a) k))
15.0ms
(/ (exp (* (log k) m)) (* (/ k a) k))

series552.0ms

Calls
4 calls:
Slowest
158.0ms
(- (/ (exp (* (log k) m)) (* (/ k a) k)) (* (/ (exp (* (log k) m)) (* (/ k a) k)) (/ 10 k)))
152.0ms
(+ (- (/ (exp (* (log k) m)) (* (/ k a) k)) (* (/ (exp (* (log k) m)) (* (/ k a) k)) (/ 10 k))) (/ (* 99 a) (/ (pow k 4) (exp (* (log k) m)))))
121.0ms
(/ (exp (* (log k) m)) (* (/ k a) k))
120.0ms
(/ (exp (* (log k) m)) (* (/ k a) k))

simplify11.9s

Calls
59 calls:
Slowest
993.0ms
(+ (* (- (pow (/ (exp (* (log k) m)) (* (/ k a) k)) 3) (pow (* (/ (exp (* (log k) m)) (* (/ k a) k)) (/ 10 k)) 3)) (/ (pow k 4) (exp (* (log k) m)))) (* (+ (* (/ (exp (* (log k) m)) (* (/ k a) k)) (/ (exp (* (log k) m)) (* (/ k a) k))) (+ (* (* (/ (exp (* (log k) m)) (* (/ k a) k)) (/ 10 k)) (* (/ (exp (* (log k) m)) (* (/ k a) k)) (/ 10 k))) (* (/ (exp (* (log k) m)) (* (/ k a) k)) (* (/ (exp (* (log k) m)) (* (/ k a) k)) (/ 10 k))))) (* 99 a)))
476.0ms
(/ (* a (exp (* m (- (log -1) (log (/ -1 k)))))) (pow k 2))
473.0ms
(- (/ (* (exp (* -1 (* (log (/ 1 k)) m))) a) (pow k 2)) (* 10 (/ (* (exp (* -1 (* (log (/ 1 k)) m))) a) (pow k 3))))
441.0ms
(* (+ (* (/ (exp (* (log k) m)) (* (/ k a) k)) (/ (exp (* (log k) m)) (* (/ k a) k))) (+ (* (* (/ (exp (* (log k) m)) (* (/ k a) k)) (/ 10 k)) (* (/ (exp (* (log k) m)) (* (/ k a) k)) (/ 10 k))) (* (/ (exp (* (log k) m)) (* (/ k a) k)) (* (/ (exp (* (log k) m)) (* (/ k a) k)) (/ 10 k))))) (/ (pow k 4) (exp (* (log k) m))))
438.0ms
(- (/ (* a (exp (* m (- (log -1) (log (/ -1 k)))))) (pow k 2)) (* 10 (/ (* a (exp (* m (- (log -1) (log (/ -1 k)))))) (pow k 3))))

prune1.5s

Pruning

6 alts after pruning (2 fresh and 4 done)

Merged error: 0b

regimes260.0ms

Accuracy

94.7% (0.1b remaining)

Error of 0.2b against oracle of 0.1b and baseline of 2.2b

bsearch13.0ms

end0.0ms

sample3.1s

Algorithm
intervals
Results
2.1s11907×body80valid
520.0ms4178×body80nan