Details

Time bar (total: 1.4m)

sample82.0ms

Algorithm
intervals
Results
47.0ms379×body80valid
18.0ms151×body80nan

simplify278.0ms

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

prune19.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 3.4b

localize36.0ms

Local error

Found 3 expressions with local error:

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

rewrite46.0ms

Algorithm
rewrite-expression-head
Rules
18×add-exp-log
13×add-sqr-sqrt
10×add-cbrt-cube
8×*-un-lft-identity add-cube-cbrt
7×associate-*l*
6×prod-exp
4×unpow-prod-down div-exp
3×expm1-log1p-u pow1 associate-/r* times-frac associate-*r* insert-posit16 log1p-expm1-u add-log-exp unswap-sqr
2×pow-to-exp cbrt-undiv pow-exp cbrt-unprod sqr-pow
1×clear-num frac-2neg *-commutative fma-udef div-inv associate-/l*
Counts
3 → 65
Calls
3 calls:
Slowest
23.0ms
(* (pow k m) a)
21.0ms
(/ (* (pow k m) a) (fma (+ k 10) k 1))
0.0ms
(fma (+ k 10) k 1)

series378.0ms

Counts
3 → 9
Calls
3 calls:
Slowest
177.0ms
(/ (* (pow k m) a) (fma (+ k 10) k 1))
170.0ms
(* (pow k m) a)
31.0ms
(fma (+ k 10) k 1)

simplify4.8s

Counts
43 → 74
Calls
43 calls:
Slowest
470.0ms
(/ (pow k m) (sqrt (fma (+ k 10) k 1)))
432.0ms
(* (* (* (pow k m) (pow k m)) (pow k m)) (* (* a a) a))
358.0ms
(- (log (* (pow k m) a)) (log (fma (+ k 10) k 1)))
303.0ms
(/ (* (* (* (pow k m) a) (* (pow k m) a)) (* (pow k m) a)) (* (* (fma (+ k 10) k 1) (fma (+ k 10) k 1)) (fma (+ k 10) k 1)))
290.0ms
(/ (* (* (* (pow k m) (pow k m)) (pow k m)) (* (* a a) a)) (* (* (fma (+ k 10) k 1) (fma (+ k 10) k 1)) (fma (+ k 10) k 1)))

prune1.0s

Pruning

7 alts after pruning (7 fresh and 0 done)

Merged error: 0.3b

localize34.0ms

Local error

Found 3 expressions with local error:

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

rewrite48.0ms

Algorithm
rewrite-expression-head
Rules
18×add-exp-log
13×add-sqr-sqrt
10×add-cbrt-cube
8×*-un-lft-identity add-cube-cbrt
7×associate-*l*
6×prod-exp
4×unpow-prod-down div-exp
3×expm1-log1p-u pow1 associate-/r* times-frac associate-*r* insert-posit16 log1p-expm1-u add-log-exp unswap-sqr
2×pow-to-exp cbrt-undiv pow-exp cbrt-unprod sqr-pow
1×clear-num frac-2neg *-commutative fma-udef div-inv associate-/l*
Counts
3 → 65
Calls
3 calls:
Slowest
25.0ms
(* (pow k m) a)
21.0ms
(/ (* (pow k m) a) (fma k (+ k 10) 1))
0.0ms
(fma k (+ k 10) 1)

series278.0ms

Counts
3 → 9
Calls
3 calls:
Slowest
133.0ms
(/ (* (pow k m) a) (fma k (+ k 10) 1))
126.0ms
(* (pow k m) a)
18.0ms
(fma k (+ k 10) 1)

simplify5.2s

Counts
43 → 74
Calls
43 calls:
Slowest
443.0ms
(* (* (* (pow k m) (pow k m)) (pow k m)) (* (* a a) a))
395.0ms
(/ (* (* (* (pow k m) a) (* (pow k m) a)) (* (pow k m) a)) (* (* (fma k (+ k 10) 1) (fma k (+ k 10) 1)) (fma k (+ k 10) 1)))
359.0ms
(- (log (* (pow k m) a)) (log (fma k (+ k 10) 1)))
345.0ms
(- (+ a (* (log k) (* m a))) (* 10 (* a k)))
322.0ms
(/ (pow k m) (sqrt (fma k (+ k 10) 1)))

prune830.0ms

Pruning

6 alts after pruning (6 fresh and 0 done)

Merged error: 0.3b

localize40.0ms

Local error

Found 4 expressions with local error:

3.4b
(/ (* (sqrt (pow k m)) (* (sqrt (pow k m)) a)) (fma k (+ k 10) 1))
0.2b
(sqrt (pow k m))
0.2b
(sqrt (pow k m))
0.0b
(* (sqrt (pow k m)) a)

rewrite66.0ms

Algorithm
rewrite-expression-head
Rules
25×add-sqr-sqrt
24×sqrt-prod
15×add-cbrt-cube add-exp-log
14×*-un-lft-identity add-cube-cbrt
12×unpow-prod-down
10×associate-*l*
6×pow1 rem-sqrt-square sqr-pow
4×expm1-log1p-u prod-exp cbrt-unprod insert-posit16 log1p-expm1-u add-log-exp unswap-sqr
3×cbrt-undiv associate-/r* times-frac div-exp associate-*r*
2×sqrt-pow1 pow1/2
1×clear-num frac-2neg pow-prod-down *-commutative div-inv associate-/l*
Counts
4 → 101
Calls
4 calls:
Slowest
49.0ms
(/ (* (sqrt (pow k m)) (* (sqrt (pow k m)) a)) (fma k (+ k 10) 1))
10.0ms
(* (sqrt (pow k m)) a)
2.0ms
(sqrt (pow k m))
2.0ms
(sqrt (pow k m))

series520.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
181.0ms
(* (sqrt (pow k m)) a)
126.0ms
(/ (* (sqrt (pow k m)) (* (sqrt (pow k m)) a)) (fma k (+ k 10) 1))
114.0ms
(sqrt (pow k m))
99.0ms
(sqrt (pow k m))

simplify10.7s

Counts
70 → 113
Calls
70 calls:
Slowest
917.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))) (* (* (fma k (+ k 10) 1) (fma k (+ k 10) 1)) (fma k (+ k 10) 1)))
704.0ms
(* a (sqrt (exp (* m (- (log -1) (log (/ -1 k)))))))
669.0ms
(sqrt (exp (* m (- (log -1) (log (/ -1 k))))))
640.0ms
(sqrt (exp (* m (- (log -1) (log (/ -1 k))))))
434.0ms
(- (+ (log (sqrt (pow k m))) (+ (log (sqrt (pow k m))) (log a))) (log (fma k (+ k 10) 1)))

prune1.7s

Pruning

6 alts after pruning (5 fresh and 1 done)

Merged error: 0.3b

localize29.0ms

Local error

Found 4 expressions with local error:

3.3b
(/ (fma k (+ k 10) 1) (* (sqrt (pow k m)) a))
0.2b
(sqrt (pow k m))
0.2b
(sqrt (pow k m))
0.2b
(/ (sqrt (pow k m)) (/ (fma k (+ k 10) 1) (* (sqrt (pow k m)) a)))

rewrite70.0ms

Algorithm
rewrite-expression-head
Rules
106×times-frac
70×sqrt-prod
60×add-sqr-sqrt
56×*-un-lft-identity add-cube-cbrt
32×unpow-prod-down
18×add-cbrt-cube add-exp-log
13×div-inv associate-/l*
12×sqr-pow
8×associate-/r*
7×cbrt-undiv div-exp
6×rem-sqrt-square
4×expm1-log1p-u pow1 insert-posit16 log1p-expm1-u add-log-exp
2×clear-num frac-2neg sqrt-pow1 pow1/2 prod-exp cbrt-unprod
1×associate-/r/
Counts
4 → 175
Calls
4 calls:
Slowest
39.0ms
(/ (sqrt (pow k m)) (/ (fma k (+ k 10) 1) (* (sqrt (pow k m)) a)))
18.0ms
(/ (fma k (+ k 10) 1) (* (sqrt (pow k m)) a))
5.0ms
(sqrt (pow k m))
5.0ms
(sqrt (pow k m))

series581.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
275.0ms
(/ (fma k (+ k 10) 1) (* (sqrt (pow k m)) a))
125.0ms
(/ (sqrt (pow k m)) (/ (fma k (+ k 10) 1) (* (sqrt (pow k m)) a)))
106.0ms
(sqrt (pow k m))
74.0ms
(sqrt (pow k m))

simplify51.0s

Counts
207 → 187
Calls
207 calls:
Slowest
763.0ms
(/ (sqrt (pow 1 m)) (* (cbrt (/ (fma k (+ k 10) 1) (* (sqrt (pow k m)) a))) (cbrt (/ (fma k (+ k 10) 1) (* (sqrt (pow k m)) a)))))
685.0ms
(sqrt (exp (* m (- (log -1) (log (/ -1 k))))))
654.0ms
(sqrt (exp (* m (- (log -1) (log (/ -1 k))))))
607.0ms
(/ (sqrt (pow k m)) (/ 1 (* (sqrt (pow k m)) a)))
549.0ms
(+ (* (sqrt (/ 1 (exp (* -1 (* (log (/ 1 k)) m))))) (/ (pow k 2) a)) (* 10 (* (sqrt (/ 1 (exp (* -1 (* (log (/ 1 k)) m))))) (/ k a))))

prune2.5s

Pruning

6 alts after pruning (4 fresh and 2 done)

Merged error: 0.2b

regimes187.0ms

Accuracy

98.1% (0.0b remaining)

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

bsearch111.0ms

end0.0ms

sample3.0s

Algorithm
intervals
Results
1.9s11824×body80valid
679.0ms4158×body80nan