Details

Time bar (total: 15.9s)

sample76.0ms

Algorithm
intervals
Results
39.0ms395×body80valid
16.0ms132×body80nan

simplify1.6s

Counts
1 → 1
Iterations
IterNodes
done2047
62047
5655
4215
397
252
126
012

prune14.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 2.5b

localize37.0ms

Local error

Found 2 expressions with local error:

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

rewrite40.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×expm1-log1p-u pow-to-exp pow1 cbrt-undiv pow-exp cbrt-unprod insert-posit16 log1p-expm1-u add-log-exp sqr-pow
1×clear-num frac-2neg *-commutative div-inv associate-/l*
Counts
2 → 54
Calls
2 calls:
17.0ms
(* (pow k m) a)
21.0ms
(/ (* (pow k m) a) (fma (+ k 10) k 1))

series272.0ms

Counts
2 → 6
Calls
2 calls:
111.0ms
(* (pow k m) a)
160.0ms
(/ (* (pow k m) a) (fma (+ k 10) k 1))

simplify1.3s

Counts
60 → 60
Iterations
IterNodes
done2008
32008
21033
1311
0129

prune355.0ms

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 2.5b

localize24.0ms

Local error

Found 4 expressions with local error:

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

rewrite56.0ms

Algorithm
rewrite-expression-head
Rules
108×times-frac
66×sqrt-prod
55×add-sqr-sqrt
53×*-un-lft-identity add-cube-cbrt
30×add-exp-log
18×add-cbrt-cube
13×div-exp
12×associate-/r*
11×associate-/l*
9×div-inv
7×cbrt-undiv
6×pow1 prod-exp
4×expm1-log1p-u insert-posit16 log1p-expm1-u add-log-exp
2×pow-to-exp rem-sqrt-square clear-num frac-2neg sqrt-pow1 pow1/2 pow-exp cbrt-unprod
1×associate-/l/
Counts
4 → 162
Calls
4 calls:
22.0ms
(/ (* (pow k m) a) (sqrt (fma (+ k 10) k 1)))
26.0ms
(/ (/ (* (pow k m) a) (sqrt (fma (+ k 10) k 1))) (sqrt (fma (+ k 10) k 1)))
2.0ms
(sqrt (fma (+ k 10) k 1))
1.0ms
(sqrt (fma (+ k 10) k 1))

series448.0ms

Counts
4 → 12
Calls
4 calls:
187.0ms
(/ (* (pow k m) a) (sqrt (fma (+ k 10) k 1)))
151.0ms
(/ (/ (* (pow k m) a) (sqrt (fma (+ k 10) k 1))) (sqrt (fma (+ k 10) k 1)))
57.0ms
(sqrt (fma (+ k 10) k 1))
53.0ms
(sqrt (fma (+ k 10) k 1))

simplify1.4s

Counts
174 → 174
Iterations
IterNodes
done2000
22000
1620
0240

prune1.1s

Pruning

5 alts after pruning (3 fresh and 2 done)

Merged error: 0.0b

localize37.0ms

Local error

Found 3 expressions with local error:

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

rewrite76.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
16×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
3×expm1-log1p-u cbrt-undiv associate-/r* insert-posit16 log1p-expm1-u associate-/l* add-log-exp unswap-sqr
2×*-commutative div-inv sqr-pow
1×clear-num frac-2neg pow-prod-down associate-*r/ un-div-inv pow-flip inv-pow
Counts
3 → 110
Calls
3 calls:
23.0ms
(* (pow k m) a)
8.0ms
(/ 1 (fma (+ 10 k) k 1))
42.0ms
(* (* (pow k m) a) (/ 1 (fma (+ 10 k) k 1)))

series335.0ms

Counts
3 → 9
Calls
3 calls:
146.0ms
(* (pow k m) a)
42.0ms
(/ 1 (fma (+ 10 k) k 1))
147.0ms
(* (* (pow k m) a) (/ 1 (fma (+ 10 k) k 1)))

simplify1.4s

Counts
119 → 119
Iterations
IterNodes
done2002
32002
21530
1492
0192

prune694.0ms

Pruning

4 alts after pruning (2 fresh and 2 done)

Merged error: 0.0b

localize58.0ms

Local error

Found 4 expressions with local error:

0.1b
(* (fma k (+ 10 k) 1) (fma k (+ 10 k) 1))
0.2b
(/ 1 (fma k (+ 10 k) 1))
2.5b
(* (* (pow k m) a) (cbrt (/ (/ 1 (fma k (+ 10 k) 1)) (* (fma k (+ 10 k) 1) (fma k (+ 10 k) 1)))))
8.2b
(cbrt (/ (/ 1 (fma k (+ 10 k) 1)) (* (fma k (+ 10 k) 1) (fma k (+ 10 k) 1))))

rewrite49.0ms

Algorithm
rewrite-expression-head
Rules
53×times-frac
35×add-sqr-sqrt
34×cbrt-prod
33×*-un-lft-identity add-cube-cbrt
23×associate-*r*
20×add-exp-log
14×pow1
11×add-cbrt-cube
8×prod-exp
5×div-inv
4×expm1-log1p-u associate-*l* cbrt-unprod insert-posit16 log1p-expm1-u add-log-exp
3×associate-/r* swap-sqr associate-/l*
2×cbrt-div div-exp pow-prod-down *-commutative fma-udef
1×pow2 distribute-rgt-in pow-to-exp cbrt-undiv rec-exp clear-num frac-2neg distribute-lft-in pow-plus pow1/3 1-exp pow-exp associate-*r/ pow-sqr pow-prod-up pow-flip inv-pow unswap-sqr
Counts
4 → 133
Calls
4 calls:
10.0ms
(* (fma k (+ 10 k) 1) (fma k (+ 10 k) 1))
7.0ms
(/ 1 (fma k (+ 10 k) 1))
24.0ms
(* (* (pow k m) a) (cbrt (/ (/ 1 (fma k (+ 10 k) 1)) (* (fma k (+ 10 k) 1) (fma k (+ 10 k) 1)))))
5.0ms
(cbrt (/ (/ 1 (fma k (+ 10 k) 1)) (* (fma k (+ 10 k) 1) (fma k (+ 10 k) 1))))

series237.0ms

Counts
4 → 12
Calls
4 calls:
32.0ms
(* (fma k (+ 10 k) 1) (fma k (+ 10 k) 1))
31.0ms
(/ 1 (fma k (+ 10 k) 1))
131.0ms
(* (* (pow k m) a) (cbrt (/ (/ 1 (fma k (+ 10 k) 1)) (* (fma k (+ 10 k) 1) (fma k (+ 10 k) 1)))))
44.0ms
(cbrt (/ (/ 1 (fma k (+ 10 k) 1)) (* (fma k (+ 10 k) 1) (fma k (+ 10 k) 1))))

simplify1.6s

Counts
145 → 145
Iterations
IterNodes
done2004
32004
21685
1543
0247

prune938.0ms

Pruning

4 alts after pruning (1 fresh and 3 done)

Merged error: 0.0b

regimes194.0ms

Accuracy

97.4% (0.1b remaining)

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

bsearch159.0ms

Steps
ItersRangePoint
10
0.00010584270785410943
3560132539.0791783
845009784.1006279

simplify22.0ms

Iterations
IterNodes
done61
361
256
149
036

end0.0ms

sample3.6s

Algorithm
intervals
Results
2.4s11884×body80valid
669.0ms4184×body80nan