Details

Time bar (total: 1.1m)

sample58.0ms

Algorithm
intervals
Results
35.0ms381×body80valid
10.0ms118×body80nan

simplify313.0ms

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

prune19.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 2.4b

localize19.0ms

Local error

Found 3 expressions with local error:

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

rewrite52.0ms

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

series278.0ms

Counts
3 → 9
Calls
3 calls:
Slowest
122.0ms
(* (pow k m) a)
103.0ms
(/ (* (pow k m) a) (+ (* k (+ k 10)) 1))
52.0ms
(* k (+ k 10))

simplify6.0s

Counts
60 → 85
Calls
60 calls:
Slowest
657.0ms
(* a (exp (* m (- (log -1) (log (/ -1 k))))))
516.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)))
511.0ms
(* (* (* (pow k m) (pow k m)) (pow k m)) (* (* a a) a))
509.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)))
339.0ms
(/ (pow k m) (sqrt (+ (* k (+ k 10)) 1)))

prune862.0ms

Pruning

4 alts after pruning (4 fresh and 0 done)

Merged error: 0b

localize54.0ms

Local error

Found 4 expressions with local error:

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

rewrite61.0ms

Algorithm
rewrite-expression-head
Rules
18×add-sqr-sqrt
15×add-cbrt-cube add-exp-log
14×*-un-lft-identity sqrt-prod
12×add-cube-cbrt
8×unpow-prod-down
6×pow1 rem-sqrt-square
4×associate-*r* prod-exp cbrt-unprod insert-posit16 add-log-exp sqr-pow
3×cbrt-undiv associate-/r* times-frac div-exp associate-*l*
2×sqrt-pow1 flip3-+ pow1/2 associate-*r/ associate-/r/ flip-+
1×distribute-rgt-in clear-num frac-2neg distribute-lft-in pow-prod-down *-commutative div-inv distribute-lft-out associate-/l* unswap-sqr
Counts
4 → 90
Calls
4 calls:
Slowest
36.0ms
(/ (* (sqrt (pow k m)) (* (sqrt (pow k m)) a)) (+ (* k (+ k 10)) 1))
15.0ms
(* k (+ k 10))
4.0ms
(sqrt (pow k m))
4.0ms
(sqrt (pow k m))

series348.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
127.0ms
(/ (* (sqrt (pow k m)) (* (sqrt (pow k m)) a)) (+ (* k (+ k 10)) 1))
86.0ms
(sqrt (pow k m))
75.0ms
(sqrt (pow k m))
60.0ms
(* k (+ k 10))

simplify8.5s

Counts
65 → 102
Calls
65 calls:
Slowest
711.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)))
694.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)))
633.0ms
(sqrt (exp (* m (- (log -1) (log (/ -1 k))))))
600.0ms
(sqrt (exp (* m (- (log -1) (log (/ -1 k))))))
596.0ms
(/ (* (* (* (sqrt (pow k m)) (* (sqrt (pow k m)) a)) (* (sqrt (pow k m)) (* (sqrt (pow k m)) a))) (* (sqrt (pow k m)) (* (sqrt (pow k m)) a))) (* (* (+ (* k (+ k 10)) 1) (+ (* k (+ k 10)) 1)) (+ (* k (+ k 10)) 1)))

prune1.4s

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0b

localize24.0ms

Local error

Found 4 expressions with local error:

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

rewrite101.0ms

Algorithm
rewrite-expression-head
Rules
59×add-exp-log
32×prod-exp
31×add-sqr-sqrt
26×*-un-lft-identity
24×add-cube-cbrt
22×add-cbrt-cube associate-*r*
18×times-frac
11×associate-*l*
10×div-exp
9×pow1
8×cbrt-unprod
5×pow-to-exp rec-exp 1-exp pow-exp
4×unpow-prod-down associate-/r/ insert-posit16 add-log-exp unswap-sqr
3×cbrt-undiv associate-/r* flip3-+ associate-*r/ *-commutative flip-+ associate-/l*
2×pow-prod-down div-inv sqr-pow
1×distribute-rgt-in clear-num frac-2neg distribute-lft-in un-div-inv pow-flip distribute-lft-out inv-pow
Counts
4 → 132
Calls
4 calls:
Slowest
62.0ms
(* (* (pow k m) a) (/ 1 (+ (* k (+ k 10)) 1)))
15.0ms
(/ 1 (+ (* k (+ k 10)) 1))
13.0ms
(* k (+ k 10))
9.0ms
(* (pow k m) a)

series349.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
145.0ms
(* (pow k m) a)
124.0ms
(* (* (pow k m) a) (/ 1 (+ (* k (+ k 10)) 1)))
47.0ms
(* k (+ k 10))
32.0ms
(/ 1 (+ (* k (+ k 10)) 1))

simplify12.1s

Counts
113 → 144
Calls
113 calls:
Slowest
651.0ms
(* a (exp (* m (- (log -1) (log (/ -1 k))))))
563.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))))
504.0ms
(* (* (pow k m) a) (/ 1 (+ (* k (+ k 10)) 1)))
401.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))))
391.0ms
(* (* (* (pow k m) (pow k m)) (pow k m)) (* (* a a) a))

prune1.6s

Pruning

4 alts after pruning (2 fresh and 2 done)

Merged error: 0b

localize49.0ms

Local error

Found 4 expressions with local error:

8.9b
(cbrt (* (* (/ 1 (+ (* k (+ k 10)) 1)) (/ 1 (+ (* k (+ k 10)) 1))) (/ 1 (+ (* k (+ k 10)) 1))))
2.4b
(* (* (pow k m) a) (cbrt (* (* (/ 1 (+ (* k (+ k 10)) 1)) (/ 1 (+ (* k (+ k 10)) 1))) (/ 1 (+ (* k (+ k 10)) 1)))))
0.1b
(* (/ 1 (+ (* k (+ k 10)) 1)) (/ 1 (+ (* k (+ k 10)) 1)))
0.1b
(/ 1 (+ (* k (+ k 10)) 1))

rewrite257.0ms

Algorithm
rewrite-expression-head
Rules
65×add-sqr-sqrt
58×add-exp-log
57×times-frac
49×*-un-lft-identity
41×add-cube-cbrt
23×prod-exp
22×pow1
21×add-cbrt-cube
20×cbrt-div
19×associate-*r*
18×div-exp
17×swap-sqr associate-*r/
16×associate-*l*
13×frac-times associate-*l/
10×associate-/r/
9×rec-exp 1-exp pow-flip inv-pow unswap-sqr
7×un-div-inv cbrt-unprod div-inv
5×cbrt-undiv flip3-+ pow-prod-up flip-+
4×pow-prod-down insert-posit16 add-log-exp
3×associate-/r* pow-sqr associate-/l*
2×cbrt-prod *-commutative
1×pow2 pow-to-exp clear-num frac-2neg pow-plus pow1/3 pow3 pow-exp rem-cbrt-cube
Counts
4 → 188
Calls
4 calls:
Slowest
109.0ms
(cbrt (* (* (/ 1 (+ (* k (+ k 10)) 1)) (/ 1 (+ (* k (+ k 10)) 1))) (/ 1 (+ (* k (+ k 10)) 1))))
84.0ms
(* (/ 1 (+ (* k (+ k 10)) 1)) (/ 1 (+ (* k (+ k 10)) 1)))
44.0ms
(* (* (pow k m) a) (cbrt (* (* (/ 1 (+ (* k (+ k 10)) 1)) (/ 1 (+ (* k (+ k 10)) 1))) (/ 1 (+ (* k (+ k 10)) 1)))))
16.0ms
(/ 1 (+ (* k (+ k 10)) 1))

series234.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
114.0ms
(* (* (pow k m) a) (cbrt (* (* (/ 1 (+ (* k (+ k 10)) 1)) (/ 1 (+ (* k (+ k 10)) 1))) (/ 1 (+ (* k (+ k 10)) 1)))))
42.0ms
(* (/ 1 (+ (* k (+ k 10)) 1)) (/ 1 (+ (* k (+ k 10)) 1)))
41.0ms
(/ 1 (+ (* k (+ k 10)) 1))
37.0ms
(cbrt (* (* (/ 1 (+ (* k (+ k 10)) 1)) (/ 1 (+ (* k (+ k 10)) 1))) (/ 1 (+ (* k (+ k 10)) 1))))

simplify28.4s

Counts
200 → 200
Calls
200 calls:
Slowest
892.0ms
(* (* (pow k m) a) (cbrt (* (* (/ 1 (+ (* k (+ k 10)) 1)) (/ 1 (+ (* k (+ k 10)) 1))) (/ 1 (+ (* k (+ k 10)) 1)))))
815.0ms
(cbrt (* (* (+ (* k (+ k 10)) 1) (+ (* k (+ k 10)) 1)) (+ (* k (+ k 10)) 1)))
746.0ms
(/ 1 (+ (pow (* k (+ k 10)) 3) (pow 1 3)))
671.0ms
(cbrt (* (* (/ 1 (+ (* k (+ k 10)) 1)) (/ 1 (+ (* k (+ k 10)) 1))) (/ 1 (+ (* k (+ k 10)) 1))))
649.0ms
(+ (+ (* (log k) m) (log a)) (log (cbrt (* (* (/ 1 (+ (* k (+ k 10)) 1)) (/ 1 (+ (* k (+ k 10)) 1))) (/ 1 (+ (* k (+ k 10)) 1))))))

prune2.6s

Pruning

4 alts after pruning (1 fresh and 3 done)

Merged error: 0b

regimes165.0ms

Accuracy

98.5% (0.0b remaining)

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

bsearch102.0ms

end0.0ms

sample3.2s

Algorithm
intervals
Results
1.8s11938×body80valid
502.0ms4177×body80nan