Details

Time bar (total: 1.7m)

sample94.0ms

Algorithm
intervals
Results
49.0ms387×body80valid
25.0ms141×body80nan

simplify237.0ms

Calls
1 calls:
Slowest
237.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.3b

localize32.0ms

Local error

Found 3 expressions with local error:

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

rewrite39.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*
Calls
3 calls:
Slowest
20.0ms
(/ (* (pow k m) a) (fma (+ k 10) k 1))
17.0ms
(* (pow k m) a)
0.0ms
(fma (+ k 10) k 1)

series293.0ms

Calls
3 calls:
Slowest
140.0ms
(/ (* (pow k m) a) (fma (+ k 10) k 1))
128.0ms
(* (pow k m) a)
25.0ms
(fma (+ k 10) k 1)

simplify4.7s

Calls
43 calls:
Slowest
442.0ms
(* (* (* (pow k m) (pow k m)) (pow k m)) (* (* a a) a))
437.0ms
(/ (pow k m) (sqrt (fma (+ k 10) k 1)))
347.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)))
333.0ms
(- (+ a (* (log k) (* m a))) (* 10 (* a k)))
294.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)))

prune882.0ms

Pruning

4 alts after pruning (4 fresh and 0 done)

Merged error: 0.0b

localize31.0ms

Local error

Found 4 expressions with local error:

2.3b
(/ (* (pow (* (cbrt k) (cbrt k)) m) (* (pow (cbrt k) m) a)) (fma (+ k 10) k 1))
0.6b
(cbrt k)
0.6b
(cbrt k)
0.6b
(cbrt k)

rewrite51.0ms

Algorithm
rewrite-expression-head
Rules
62×add-exp-log
32×prod-exp
17×div-exp
13×add-cbrt-cube
12×pow-exp
9×cbrt-prod add-sqr-sqrt *-un-lft-identity add-cube-cbrt
8×pow-to-exp
4×expm1-log1p-u pow1 insert-posit16 log1p-expm1-u add-log-exp
3×cbrt-undiv associate-/r* times-frac pow1/3 cbrt-unprod
1×clear-num frac-2neg div-inv associate-/l*
Calls
4 calls:
Slowest
44.0ms
(/ (* (pow (* (cbrt k) (cbrt k)) m) (* (pow (cbrt k) m) a)) (fma (+ k 10) k 1))
2.0ms
(cbrt k)
1.0ms
(cbrt k)
1.0ms
(cbrt k)

series1.3s

Calls
4 calls:
Slowest
470.0ms
(/ (* (pow (* (cbrt k) (cbrt k)) m) (* (pow (cbrt k) m) a)) (fma (+ k 10) k 1))
283.0ms
(cbrt k)
258.0ms
(cbrt k)
248.0ms
(cbrt k)

simplify11.2s

Calls
51 calls:
Slowest
885.0ms
(/ (* (* (* (pow (* (cbrt k) (cbrt k)) m) (* (pow (cbrt k) m) a)) (* (pow (* (cbrt k) (cbrt k)) m) (* (pow (cbrt k) m) a))) (* (pow (* (cbrt k) (cbrt k)) m) (* (pow (cbrt k) m) a))) (* (* (fma (+ k 10) k 1) (fma (+ k 10) k 1)) (fma (+ k 10) k 1)))
764.0ms
(/ (* (* (* (pow (* (cbrt k) (cbrt k)) m) (pow (* (cbrt k) (cbrt k)) m)) (pow (* (cbrt k) (cbrt k)) m)) (* (* (* (pow (cbrt k) m) a) (* (pow (cbrt k) m) a)) (* (pow (cbrt k) m) a))) (* (* (fma (+ k 10) k 1) (fma (+ k 10) k 1)) (fma (+ k 10) k 1)))
677.0ms
(/ (* (* (* (pow (* (cbrt k) (cbrt k)) m) (pow (* (cbrt k) (cbrt k)) m)) (pow (* (cbrt k) (cbrt k)) m)) (* (* (* (pow (cbrt k) m) (pow (cbrt k) m)) (pow (cbrt k) m)) (* (* a a) a))) (* (* (fma (+ k 10) k 1) (fma (+ k 10) k 1)) (fma (+ k 10) k 1)))
669.0ms
(- (+ (* 99 (/ (* (exp (* (log (* (pow (cbrt -1) 2) (pow (pow k 2) 1/3))) m)) (* a (exp (* (log (* (pow (* k -1) 1/3) (cbrt -1))) m)))) (pow k 4))) (/ (* (exp (* (log (* (pow (cbrt -1) 2) (pow (pow k 2) 1/3))) m)) (* a (exp (* (log (* (pow (* k -1) 1/3) (cbrt -1))) m)))) (pow k 2))) (* 10 (/ (* (exp (* (log (* (pow (cbrt -1) 2) (pow (pow k 2) 1/3))) m)) (* a (exp (* (log (* (pow (* k -1) 1/3) (cbrt -1))) m)))) (pow k 3))))
529.0ms
(- (+ (/ (* a (* (pow (pow (/ 1 k) -2/3) m) (pow (pow (/ 1 k) -1/3) m))) (pow k 2)) (* 99 (/ (* a (* (pow (pow (/ 1 k) -2/3) m) (pow (pow (/ 1 k) -1/3) m))) (pow k 4)))) (* 10 (/ (* a (* (pow (pow (/ 1 k) -2/3) m) (pow (pow (/ 1 k) -1/3) m))) (pow k 3))))

prune1.3s

Pruning

3 alts after pruning (3 fresh and 0 done)

Merged error: 0.0b

localize41.0ms

Local error

Found 4 expressions with local error:

2.3b
(* (* (pow (* (cbrt k) (cbrt k)) m) (* (pow (cbrt k) m) a)) (/ 1 (fma (+ k 10) k 1)))
0.6b
(cbrt k)
0.6b
(cbrt k)
0.6b
(cbrt k)

rewrite85.0ms

Algorithm
rewrite-expression-head
Rules
253×add-exp-log
196×prod-exp
48×pow-exp
34×div-exp
32×pow-to-exp
25×add-cbrt-cube
17×rec-exp 1-exp
14×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
13×associate-*r*
12×cbrt-unprod
9×cbrt-prod times-frac
6×pow1
4×expm1-log1p-u insert-posit16 log1p-expm1-u add-log-exp
3×cbrt-undiv pow1/3
1×associate-*l* pow-prod-down associate-*r/ un-div-inv *-commutative div-inv
Calls
4 calls:
Slowest
81.0ms
(* (* (pow (* (cbrt k) (cbrt k)) m) (* (pow (cbrt k) m) a)) (/ 1 (fma (+ k 10) k 1)))
1.0ms
(cbrt k)
1.0ms
(cbrt k)
1.0ms
(cbrt k)

series1.3s

Calls
4 calls:
Slowest
458.0ms
(* (* (pow (* (cbrt k) (cbrt k)) m) (* (pow (cbrt k) m) a)) (/ 1 (fma (+ k 10) k 1)))
317.0ms
(cbrt k)
302.0ms
(cbrt k)
263.0ms
(cbrt k)

simplify28.4s

Calls
112 calls:
Slowest
787.0ms
(+ (+ (* (+ (log (cbrt k)) (log (cbrt k))) m) (+ (* (log (cbrt k)) m) (log a))) (- (log 1) (log (fma (+ k 10) k 1))))
772.0ms
(* (* (* (* (pow (* (cbrt k) (cbrt k)) m) (pow (* (cbrt k) (cbrt k)) m)) (pow (* (cbrt k) (cbrt k)) m)) (* (* (* (pow (cbrt k) m) (pow (cbrt k) m)) (pow (cbrt k) m)) (* (* a a) a))) (/ (* (* 1 1) 1) (* (* (fma (+ k 10) k 1) (fma (+ k 10) k 1)) (fma (+ k 10) k 1))))
739.0ms
(* (* (* (* (pow (* (cbrt k) (cbrt k)) m) (pow (* (cbrt k) (cbrt k)) m)) (pow (* (cbrt k) (cbrt k)) m)) (* (* (* (pow (cbrt k) m) a) (* (pow (cbrt k) m) a)) (* (pow (cbrt k) m) a))) (/ (* (* 1 1) 1) (* (* (fma (+ k 10) k 1) (fma (+ k 10) k 1)) (fma (+ k 10) k 1))))
687.0ms
(- (+ (* 99 (/ (* (exp (* (log (* (pow (cbrt -1) 2) (pow (pow k 2) 1/3))) m)) (* a (exp (* (log (* (pow (* k -1) 1/3) (cbrt -1))) m)))) (pow k 4))) (/ (* (exp (* (log (* (pow (cbrt -1) 2) (pow (pow k 2) 1/3))) m)) (* a (exp (* (log (* (pow (* k -1) 1/3) (cbrt -1))) m)))) (pow k 2))) (* 10 (/ (* (exp (* (log (* (pow (cbrt -1) 2) (pow (pow k 2) 1/3))) m)) (* a (exp (* (log (* (pow (* k -1) 1/3) (cbrt -1))) m)))) (pow k 3))))
677.0ms
(* (* (* (* (pow (* (cbrt k) (cbrt k)) m) (* (pow (cbrt k) m) a)) (* (pow (* (cbrt k) (cbrt k)) m) (* (pow (cbrt k) m) a))) (* (pow (* (cbrt k) (cbrt k)) m) (* (pow (cbrt k) m) a))) (/ (* (* 1 1) 1) (* (* (fma (+ k 10) k 1) (fma (+ k 10) k 1)) (fma (+ k 10) k 1))))

prune2.1s

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0.0b

localize38.0ms

Local error

Found 3 expressions with local error:

3.1b
(/ (fma (+ k 10) k 1) a)
0.2b
(/ (pow k m) (/ (fma (+ k 10) k 1) a))
0.0b
(fma (+ k 10) k 1)

rewrite15.0ms

Algorithm
rewrite-expression-head
Rules
172×times-frac
95×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
42×unpow-prod-down
18×add-exp-log
16×associate-/r*
14×sqr-pow
10×add-cbrt-cube div-exp div-inv associate-/l*
4×cbrt-undiv
3×expm1-log1p-u pow1 insert-posit16 log1p-expm1-u add-log-exp
2×pow-to-exp clear-num frac-2neg pow-exp
1×associate-/r/ fma-udef
Calls
3 calls:
Slowest
8.0ms
(/ (pow k m) (/ (fma (+ k 10) k 1) a))
4.0ms
(/ (fma (+ k 10) k 1) a)
0.0ms
(fma (+ k 10) k 1)

series548.0ms

Calls
3 calls:
Slowest
475.0ms
(/ (pow k m) (/ (fma (+ k 10) k 1) a))
39.0ms
(/ (fma (+ k 10) k 1) a)
34.0ms
(fma (+ k 10) k 1)

simplify46.0s

Calls
242 calls:
Slowest
647.0ms
(/ (pow (* (cbrt k) (cbrt k)) m) (/ 1 (* (cbrt a) (cbrt a))))
614.0ms
(/ (cbrt (pow k m)) (/ (fma (+ k 10) k 1) (sqrt a)))
591.0ms
(/ (pow (sqrt k) m) (/ (* (cbrt (fma (+ k 10) k 1)) (cbrt (fma (+ k 10) k 1))) (sqrt a)))
549.0ms
(/ (pow (sqrt k) m) (/ (sqrt (fma (+ k 10) k 1)) 1))
541.0ms
(/ (pow (sqrt k) m) (/ 1 (* (cbrt a) (cbrt a))))

prune1.4s

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0.0b

regimes107.0ms

Accuracy

98% (0.0b remaining)

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

bsearch32.0ms

end0.0ms

sample2.2s

Algorithm
intervals
Results
1.5s12062×body80valid
424.0ms4413×body80nan