Details

Time bar (total: 1.7m)

sample70.0ms

Algorithm
intervals
Results
42.0ms402×body80valid
11.0ms123×body80nan

simplify254.0ms

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

prune10.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.3b

localize18.0ms

Local error

Found 2 expressions with local error:

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

rewrite54.0ms

Algorithm
rewrite-expression-head
Rules
17×add-exp-log
12×add-sqr-sqrt
9×add-cbrt-cube
7×*-un-lft-identity associate-*l* add-cube-cbrt
6×prod-exp
4×unpow-prod-down div-exp
3×associate-/r* times-frac associate-*r* unswap-sqr
2×pow-to-exp pow1 cbrt-undiv pow-exp associate-/r/ cbrt-unprod insert-posit16 add-log-exp sqr-pow
1×clear-num frac-2neg flip3-+ *-commutative flip-+ div-inv associate-/l*
Counts
2 → 52
Calls
2 calls:
Slowest
33.0ms
(/ (* (pow k m) a) (+ (* k (+ k 10)) 1))
20.0ms
(* (pow k m) a)

series312.0ms

Counts
2 → 6
Calls
2 calls:
Slowest
169.0ms
(* (pow k m) a)
142.0ms
(/ (* (pow k m) a) (+ (* k (+ k 10)) 1))

simplify5.8s

Counts
42 → 58
Calls
42 calls:
Slowest
705.0ms
(* a (exp (* m (- (log -1) (log (/ -1 k))))))
611.0ms
(/ (* (* (* (pow k m) a) (* (pow k m) a)) (* (pow k m) a)) (* (* (+ (* k (+ k 10)) 1) (+ (* k (+ k 10)) 1)) (+ (* k (+ k 10)) 1)))
537.0ms
(/ (* (* (* (pow k m) (pow k m)) (pow k m)) (* (* a a) a)) (* (* (+ (* k (+ k 10)) 1) (+ (* k (+ k 10)) 1)) (+ (* k (+ k 10)) 1)))
439.0ms
(* (* (* (pow k m) (pow k m)) (pow k m)) (* (* a a) a))
398.0ms
(/ (pow k m) (sqrt (+ (* k (+ k 10)) 1)))

prune658.0ms

Pruning

5 alts after pruning (5 fresh and 0 done)

Merged error: 0.0b

localize42.0ms

Local error

Found 4 expressions with local error:

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

rewrite116.0ms

Algorithm
rewrite-expression-head
Rules
24×add-sqr-sqrt sqrt-prod
20×add-cbrt-cube associate-*l* add-exp-log
15×*-un-lft-identity add-cube-cbrt
11×pow1 unpow-prod-down
7×prod-exp cbrt-unprod
5×sqr-pow
4×associate-*r* pow-prod-down insert-posit16 add-log-exp unswap-sqr
3×cbrt-undiv rem-sqrt-square associate-/r* times-frac div-exp
2×associate-/r/ *-commutative
1×clear-num frac-2neg sqrt-pow1 flip3-+ pow1/2 flip-+ div-inv associate-/l*
Counts
4 → 101
Calls
4 calls:
Slowest
51.0ms
(* (sqrt (pow k m)) (* (sqrt (pow k m)) a))
47.0ms
(/ (* (sqrt (pow k m)) (* (sqrt (pow k m)) a)) (+ (* k (+ k 10)) 1))
15.0ms
(* (sqrt (pow k m)) a)
2.0ms
(sqrt (pow k m))

series540.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
196.0ms
(* (sqrt (pow k m)) a)
131.0ms
(* (sqrt (pow k m)) (* (sqrt (pow k m)) a))
119.0ms
(/ (* (sqrt (pow k m)) (* (sqrt (pow k m)) a)) (+ (* k (+ k 10)) 1))
94.0ms
(sqrt (pow k m))

simplify12.5s

Counts
77 → 113
Calls
77 calls:
Slowest
688.0ms
(* a (exp (* m (- (log -1) (log (/ -1 k))))))
659.0ms
(* (* (* (sqrt (pow k m)) (sqrt (pow k m))) (sqrt (pow k m))) (* (* (* (sqrt (pow k m)) (sqrt (pow k m))) (sqrt (pow k m))) (* (* a a) a)))
634.0ms
(/ (* (* (* (sqrt (pow k m)) (sqrt (pow k m))) (sqrt (pow k m))) (* (* (* (sqrt (pow k m)) (sqrt (pow k m))) (sqrt (pow k m))) (* (* a a) a))) (* (* (+ (* k (+ k 10)) 1) (+ (* k (+ k 10)) 1)) (+ (* k (+ k 10)) 1)))
626.0ms
(/ (* (* (* (sqrt (pow k m)) (sqrt (pow k m))) (sqrt (pow k m))) (* (* (* (sqrt (pow k m)) a) (* (sqrt (pow k m)) a)) (* (sqrt (pow k m)) a))) (* (* (+ (* k (+ k 10)) 1) (+ (* k (+ k 10)) 1)) (+ (* k (+ k 10)) 1)))
596.0ms
(* a (sqrt (exp (* m (- (log -1) (log (/ -1 k)))))))

prune1.5s

Pruning

5 alts after pruning (4 fresh and 1 done)

Merged error: 0.0b

localize30.0ms

Local error

Found 3 expressions with local error:

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

rewrite472.0ms

Algorithm
rewrite-expression-head
Rules
56×add-exp-log
31×prod-exp
26×add-sqr-sqrt
21×*-un-lft-identity add-cube-cbrt
19×add-cbrt-cube
18×times-frac associate-*r*
10×div-exp
8×associate-*l*
7×cbrt-unprod
6×pow1
5×pow-to-exp rec-exp 1-exp pow-exp
4×unpow-prod-down associate-/r/
3×cbrt-undiv associate-/r* insert-posit16 associate-/l* add-log-exp unswap-sqr
2×flip3-+ *-commutative flip-+ div-inv sqr-pow
1×clear-num frac-2neg pow-prod-down associate-*r/ un-div-inv pow-flip inv-pow
Counts
3 → 108
Calls
3 calls:
Slowest
430.0ms
(* (* (pow k m) a) (/ 1 (+ (* k (+ k 10)) 1)))
32.0ms
(/ 1 (+ (* k (+ k 10)) 1))
9.0ms
(* (pow k m) a)

series345.0ms

Counts
3 → 9
Calls
3 calls:
Slowest
157.0ms
(* (* (pow k m) a) (/ 1 (+ (* k (+ k 10)) 1)))
145.0ms
(* (pow k m) a)
43.0ms
(/ 1 (+ (* k (+ k 10)) 1))

simplify12.1s

Counts
95 → 117
Calls
95 calls:
Slowest
827.0ms
(* a (exp (* m (- (log -1) (log (/ -1 k))))))
548.0ms
(* (* (* (* (pow k m) a) (* (pow k m) a)) (* (pow k m) a)) (/ (* (* 1 1) 1) (* (* (+ (* k (+ k 10)) 1) (+ (* k (+ k 10)) 1)) (+ (* k (+ k 10)) 1))))
533.0ms
(* (* (* (* (pow k m) (pow k m)) (pow k m)) (* (* a a) a)) (/ (* (* 1 1) 1) (* (* (+ (* k (+ k 10)) 1) (+ (* k (+ k 10)) 1)) (+ (* k (+ k 10)) 1))))
477.0ms
(* (* (pow k m) a) (/ 1 (+ (* k (+ k 10)) 1)))
439.0ms
(+ (log (* (pow k m) a)) (- (log 1) (log (+ (* k (+ k 10)) 1))))

prune1.3s

Pruning

5 alts after pruning (3 fresh and 2 done)

Merged error: 0b

localize29.0ms

Local error

Found 4 expressions with local error:

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

rewrite223.0ms

Algorithm
rewrite-expression-head
Rules
146×add-sqr-sqrt
134×times-frac
76×*-un-lft-identity add-cube-cbrt sqrt-prod
48×associate-*l*
45×unpow-prod-down
33×add-exp-log
24×associate-*r*
21×unswap-sqr
19×sqr-pow
18×add-cbrt-cube
13×div-exp
10×sqrt-div
8×pow1 prod-exp
7×associate-/l*
6×associate-/r* associate-/r/
5×cbrt-undiv flip3-+ flip-+
4×cbrt-unprod insert-posit16 add-log-exp
3×pow-to-exp pow-exp div-inv
2×rem-sqrt-square sqrt-pow1 pow1/2
1×frac-times clear-num frac-2neg pow-prod-down associate-*l/ associate-*r/ *-commutative
Counts
4 → 222
Calls
4 calls:
Slowest
138.0ms
(* (/ (pow k m) (sqrt (+ (* k (+ k 10)) 1))) (/ a (sqrt (+ (* k (+ k 10)) 1))))
35.0ms
(/ (pow k m) (sqrt (+ (* k (+ k 10)) 1)))
22.0ms
(sqrt (+ (* k (+ k 10)) 1))
21.0ms
(sqrt (+ (* k (+ k 10)) 1))

series340.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
143.0ms
(* (/ (pow k m) (sqrt (+ (* k (+ k 10)) 1))) (/ a (sqrt (+ (* k (+ k 10)) 1))))
122.0ms
(/ (pow k m) (sqrt (+ (* k (+ k 10)) 1)))
43.0ms
(sqrt (+ (* k (+ k 10)) 1))
31.0ms
(sqrt (+ (* k (+ k 10)) 1))

simplify1.0m

Counts
258 → 234
Calls
258 calls:
Slowest
690.0ms
(sqrt (+ (pow (* k (+ k 10)) 3) (pow 1 3)))
665.0ms
(/ (pow k m) (sqrt (+ (pow (* k (+ k 10)) 3) (pow 1 3))))
657.0ms
(* (/ (sqrt (pow k m)) (sqrt (sqrt (+ (* k (+ k 10)) 1)))) (/ (sqrt a) (sqrt (sqrt (+ (* k (+ k 10)) 1)))))
647.0ms
(/ (cbrt (pow k m)) (cbrt (sqrt (+ (* k (+ k 10)) 1))))
576.0ms
(+ (- (log (pow k m)) (log (sqrt (+ (* k (+ k 10)) 1)))) (- (log a) (log (sqrt (+ (* k (+ k 10)) 1)))))

prune3.1s

Pruning

5 alts after pruning (2 fresh and 3 done)

Merged error: 0b

regimes156.0ms

Accuracy

0% (1.8b remaining)

Error of 1.9b against oracle of 0.0b and baseline of 1.9b

bsearch4.0ms

end0.0ms

sample3.1s

Algorithm
intervals
Results
2.1s11980×body80valid
457.0ms3988×body80nan